Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

Source URL: www.ps.uni-saarland.de

Toward Real-Time Simulation of Cardiac Dynamics Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka and Flavio H. Fenton. In CMSB 2011: Proceedings of the 9th ACM International Conference on Comp

Source URL: thevirtualheart.org

The 2nd EU Strategy for the Baltic Sea Region Annual Forum and the 13th Baltic Development Forum Summit GdanskOctober 2011 Anna Smolka, CCB Water Policy Officer The Baltic Development Forum and European Commission

Source URL: www.ccb.se

• Europe
• Baltic states
• European Union
• Political philosophy
• Euroregion Baltic
• Baltic Compass
• Baltic Sea
• Baltic Development Forum
• Geography of Europe

PHYSICAL REVIEW A 86, Continuous-wave spatial quantum correlations of light induced by multiple scattering Stephan Smolka,1,* Johan R. Ott,1 Alexander Huck,2 Ulrik L. Andersen,2 and Peter Lodahl3,† 1

Source URL: quantum-photonics.nbi.ku.dk

• Optics
• Quantum electrodynamics
• Nonclassical light
• Photon
• Coherent states
• Coherence
• Squeezed coherent state
• Wigner quasi-probability distribution
• Quantum tomography
• Physics
• Quantum mechanics
• Quantum optics

Theory and Practice in English Studies): Proceedings from the Eighth Conference of British, American and Canadian Studies. Brno: Masarykova univerzita Non-extraposed Subject Clauses Vladislav Smolka

Source URL: www.phil.muni.cz

BRICS NS-05-4 Smolka & Srba (eds.): INFINITY ’05 Preliminary Proceedings BRICS Basic Research in Computer Science

Source URL: www.brics.dk

J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·

Source URL: www21.in.tum.de

• Automated theorem proving
• Proof theory
• Mathematical proofs
• Logical syntax
• First-order logic
• Proof assistant
• Theorem
• Isabelle
• Natural deduction
• Logic
• Mathematics
• Mathematical logic

Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers

Source URL: www21.in.tum.de

• Model theory
• Automated theorem proving
• Predicate logic
• First-order logic
• Herbrandization
• Mathematical proof
• Isabelle
• Proof assistant
• Constructible universe
• Mathematics
• Mathematical logic
• Logic

Future Plans Planning for Working Programme 2 and beyond Anselm Smolka, Secretary General, GEM Foundation OpenQuake Release, Pavia, January 21, 2015

Source URL: www.globalquakemodel.org

• United States Agency for International Development
• Non-governmental organization
• Political science
• Politics
• Sociology
• Civil Affairs
• Decentralization
• Organizational theory

Butler, Jennie C From: Smolka, Barbara A Sent:

Source URL: www.fda.gov

• Buffalo
• New York
• FedEx
• Geography of New York
• New York
• Erie Canal