Yannick - PDFSEARCH.IO - Document Search Engine

Yannick
Results: 336

#	Item
221	On the Exact Security of Schnorr-Type Signatures in the Random Oracle Model Yannick Seurin ANSSI, France 18 April, EUROCRYPT 2012 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2012-04-20 07:04:21 Cryptographic protocols Schnorr signature Digital signature Random oracle Fiat-Shamir heuristic Paillier cryptosystem Cryptography Public-key cryptography Forking lemma
222	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
223	TABLE NOMINATIVE[removed]DÉBATS DU SÉNAT < PAGE >1 VAUGRENARD (Yannick) VAUGRENARD (Yannick) Add to Reading List Source URL: www.senat.fr Language: French - Date: 2015-02-23 18:28:30
224	TABLE NOMINATIVE[removed]DÉBATS DU SÉNAT < PAGE >1 VAUGRENARD (Yannick) VAUGRENARD (Yannick) Add to Reading List Source URL: www.senat.fr Language: French - Date: 2015-02-23 18:28:12
225	TABLE NOMINATIVE[removed]DÉBATS DU SÉNAT < PAGE >1 VAUGRENARD (Yannick) VAUGRENARD (Yannick) Add to Reading List Source URL: www.senat.fr Language: French - Date: 2015-02-22 18:15:53
226	Submission to the consultation of the EU Ombudsman on the transparency of the Transatlantic Trade and Investment Partnership (TTIP) negotiations Yannick Jadot, on behalf of the Greens/EFA Group in the European Parliament Add to Reading List Source URL: www.yannickjadot.fr Language: English - Date: 2014-11-21 03:52:24 Anti-Counterfeiting Trade Agreement Computer law Intellectual property law Dispute resolution World Trade Organization European Union European Parliament Negotiation Transparency Business Law International relations
227	ISMF World Championships - Relay Verbier - Val de Bagnes (Valais-Suisse) Edition[removed]février 2015 Add to Reading List Source URL: www.verbier2015.ch Language: English - Date: 2015-02-12 06:25:44 29148 Palzer Javier Martín de Villa Marc Pinsach Rubirola Martin Anthamatten Yannick Ecoeur
228	TABLE NOMINATIVE[removed]DÉBATS DU SÉNAT < PAGE >1 VAUGRENARD (Yannick) VAUGRENARD (Yannick) Add to Reading List Source URL: www.senat.fr Language: French - Date: 2013-12-09 23:22:06
229	TABLE NOMINATIVE[removed]DÉBATS DU SÉNAT < PAGE >1 VAUGRENARD (Yannick) VAUGRENARD (Yannick) Add to Reading List Source URL: www.senat.fr Language: French - Date: 2014-12-18 18:30:17
230	Accelerating reinforcement learning by reusing abstract policies Yannick Plaino Bergamo 1 , Tiago Matos 1 , Valdinei Freire da Silva 1 , Anna Helena Reali Costa 1 1 Laboratório de Técnicas Inteligentes (LTI/EPUSP) Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2012-04-05 12:47:26 Structure Markov decision process Q-learning Model theory Statistics Mathematics Reinforcement learning

UPDATE