Private and Secure Public-Key Distance Bounding Application to NFC Payment — Short Paper Serge Vaudenay EPFL CH-1015 Lausanne, Switzerland http://lasec.epfl.ch

Source URL: fc15.ifca.ai

• Cryptography
• Computational complexity theory
• Distance-bounding protocol
• Public-key cryptography
• Complexity classes
• Proof of knowledge
• IP
• Challengeresponse authentication
• NP
• Digital signature
• Security parameter
• Negligible function

Minimization of multi-penalty functionals by alternating iterative thresholding and optimal parameter choices Valeriya Naumova Simula Research Laboratory, Martin Linges vei 17, 1364 Fornebu, Norway Steffen Peter

Source URL: www-m15.ma.tum.de

INTERSPEECHRegularized Subspace n-Gram Model for Phonotactic iVector Extraction ˇ Mehdi Soufifar 1,2 , Luk´asˇ Burget1 , Oldˇrich Plchot1, Sandro Cumani1,3 , Jan “Honza” Cernock´ y1

Source URL: www.fit.vutbr.cz

• Statistics
• Estimation theory
• Probability
• Regression analysis
• Probability distributions
• N-gram
• Expectationmaximization algorithm
• Multinomial distribution
• Maximum likelihood estimation
• Parameter
• Logistic regression

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data Guy Van den Broeck∗ and Karthika Mohan∗ and Arthur Choi and Adnan Darwiche and Judea Pearl Computer Science Department University of C

Source URL: lirias.kuleuven.be

Application Note HiSIM_HV Single Geometry Parameter Extraction with Automated UTMOST-IV Optimization Introduction

Source URL: www.silvaco.com

PARAMETER CHOICE STRATEGIES FOR MULTI-PENALTY REGULARIZATION MASSIMO FORNASIER , VALERIYA NAUMOVA , AND SERGEI V. PEREVERZYEV Abstract. The widespread applicability of the multi-penalty regularization is limited by the f

Source URL: www-m15.ma.tum.de

Directed Subset Feedback Vertex Set is Fixed-Parameter Tractable? Rajesh Chitnis1 ?? ,

Source URL: www.cs.bme.hu

Universally Sloppy Parameter Sensitivities in Systems Biology Models Ryan N. Gutenkunst1*, Joshua J. Waterfall2, Fergal P. Casey3, Kevin S. Brown4, Christopher R. Myers5, James P. Sethna1 1 Laboratory of Atomic and Solid

Source URL: cbsu.tc.cornell.edu

NASA Formal Methods 2015 April 27th, 2015 Pasadena, CA, USA Reachability Preservation Based Parameter Synthesis for Timed Automata

Source URL: lipn.univ-paris13.fr

STEP 3 Table: Cedar River Chinook Population Goals and Outcomes (goals in bold print are reiterated from WRIA 8 Chinook Conservation Plan) VSP Parameter Historic/Template

Source URL: www.govlink.org