Coq par l’exemple Coq par l’exemple Pierre Cast´eran, Universit´e Bordeaux 1 et LaBRI 28 janvier 2010

Source URL: www.labri.fr

BIPARTITE MINORS MARIA CHUDNOVSKY, GIL KALAI, ERAN NEVO, ISABELLA NOVIK, AND PAUL SEYMOUR Abstract. We introduce a notion of bipartite minors and prove a bipartite analog of Wagner’s theorem: a bipartite graph is plana

Source URL: www.math.washington.edu

doi:nature04979 ARTICLES A genomic code for nucleosome positioning Eran Segal1, Yvonne Fondufe-Mittendorf2, Lingyi Chen2, AnnChristine Tha˚stro¨m2, Yair Field1, Irene K. Moore2,

Source URL: www.wisdom.weizmann.ac.il

MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

Source URL: www.srl.inf.ethz.ch

• Edsger W. Dijkstra
• Curr
• Algorithm
• Goto
• Programming Language Design and Implementation

Near-Deterministic Inference of AS Relationships Yuval Shavitt Eran Shir

Source URL: www.eng.tau.ac.il

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: diyhpl.us

• Computational complexity theory
• Cryptography
• Theory of computation
• Circuit complexity
• Cryptographic protocols
• Complexity classes
• Quantum complexity theory
• Garbled circuit
• Circuit
• Secure multi-party computation
• NC
• Boolean circuit

A model of Internet topology using k-shell decomposition Shai Carmi*†, Shlomo Havlin*, Scott Kirkpatrick‡, Yuval Shavitt§, and Eran Shir§ *Minerva Center and Department of Physics, Bar-Ilan University, Ramat Gan 52

Source URL: www.eng.tau.ac.il

Journal of Machine Learning Research–588 Submitted 3/04; Revised 1/05; Published 4/05 Learning Module Networks Eran Segal

Source URL: genie.weizmann.ac.il

Biology of the Nucleus Nuclear Organization, Dynamics and Activity Course NoCourse teachers – Yosef Gruenbaum and Eran Meshorer This is an advance course for graduate students (M.Sc and Ph.D.). The course will

Source URL: www.kaganovichlab.com