γλώσσες
Σελίδες
Νομικός
Explore all categories to find your favorite topic
Ο ικογένεια και Φ ιλία Γάμος του Μοσά Μοσέ Μάντιλ και της Γαβριέλα Έλα στο Βελιγράδι, στις 17 Οκτωβρίου…
λ → ∀ =Is ab el le β α Nitpick Picking Nits A User’s Guide to Nitpick for Isabelle/HOL Jasmin Christian Blanchette Institut für Informatik, Technische Universität…
Slide 1Embedding Metric Spaces in Their Intrinsic Dimension Ittai Abraham, Yair Bartal*, Ofer Neiman The Hebrew University * also Caltech Slide 2 Emebdding Metric Spaces…
ΣπουδέΣ προπτυχιακέΣ και ΜέταπτυχιακέΣ • 1976-1980: Πανεπιστήμιο Αθηνών ΦΜΣ Τμήμα Βιολογίας • 1980:…
Petar Vukmirović Implementation of Lambda-Free Higher-Order Superposition Automatic theorem proving ‒ state of the art FOL HOL 2 Automatic theorem proving ‒ challenge…
Ofek Birnholtz, Tsvi Piran Racah Institute of Physics, Hebrew University of Jerusalem arXiv: v2arXiv: v2, submitted to PRD Yukawa International Seminar Yukawa Institute for…
HOLONOMY LIMITS OF COMPLEX PROJECTIVE STRUCTURES DAVID DUMAS 1 Introduction The set of complex projective structures on a compact Riemann sur- face X is parameterized by…
2019-10-10 127 PMSoul - Wikipedia Page 1 of 26https:enwikipediaorgwikiSoul Soul The soul in many religious philosophical and mythological traditions is the incorporeal essence…
[ T h e y r e p r e s e n t l i f e. ] M US E U M O F J E W I S H H E R I TAG E A L I V I N G M E M O R I A L T O T H E H O L O C A U S T 1 9 9 9 A N N U A L R E P O R T…
λ → ∀ =Is ab el le β α S/H Hammering Away A User’s Guide to Sledgehammer for Isabelle/HOL Jasmin Christian Blanchette Institut für Informatik, Technische Universität…
Tobias Nipkow Lawrence C. Paulson Markus Wenzel λ → ∀ =Is ab el le β α HOL A Proof Assistant for Higher-Order Logic February 20, 2021 Springer-Verlag Berlin Heidelberg…
Detecting GRB ν’s – an Opportunity For Observing Lorentz Invariance Violation Uri Jacob and Tsvi Piran The Hebrew University Jerusalem, Israel ν γ A possible violation…
The Tunneling Percolation Staircase Isaac Balberg Racah Institute of Physics, The Hebrew University, Jerusalem, Israel Stat. Mech. Day IV. 230611 GRANULAR METAL COMPOSITES…
Slide 1 EASTER IN ROMANIA BY ALEXANDRA DURAC Slide 2 EASTER EASTER (OLD ENGLISH ĒOSTRE; LATIN: PASCHA; GREEK ΠΆΣΧΑ PASKHA, THE LATTER TWO DERIVED FROM HEBREW: פֶּסַח…
Recent Progress in Hypernuclei INPC 2019, Glasgow, UK, July-Aug. 2019 Avraham Gal, Hebrew University, Jerusalem • Λ hypernuclei AΛZ i s-shell hypernuclei: overbinding…
An Intuitive Introduction to Ricci CurvatureEmanuel Milman Technion - I.I.T. May 26, 2016 Ricci Curvature and its Applications Ricci Curvature (after Gregorio Ricci-Curbastro
Typeness for ω-Regular Automata Orna Kupferman1�, Gila Morgenstern1, and Aniello Murano1,2�� 1 Hebrew University School of Engineering and Computer Science, Jerusalem…
S I χ ABRAHAM THE CONVERT A Jewish Tradition and Its Use by the Apostle Paul G E O R G E W. E . N I C K E L S B U R G The figure of Abraham looms large in the lore of the…
Dynamics and prime solutions to linear equations Tamar Ziegler TechnionHebrew University EMS Lecture Series Tamar Ziegler Patterns in primes Denote by P the set of prime…
ON THE ZERO-TEMPERATURE LIMIT OF GIBBS STATESJEAN-RENÉ CHAZOTTES AND MICHAEL HOCHMANAbstra t. We exhibit Lips hitz (and hen e Hölder) potentials on thefull shift {0, 1}N…