1
Model Checking Software [E-Book] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings /
Table of Contents: ...-Valued Signals -- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks -- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench -- Bounded-Memory Runtime Enforcement -- Solving String Theories involving...

Full text 
2
Combinatorics on Words [E-Book] : 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings /
Table of Contents: ...Synchronized Sequences -- Continuants with equal values, a combinatorial approach -- Quaternary n-cubes and Isometric Words -- Strings from linear recurrences: a Gray code -- String Theories involving Regular Membership Predicates: From Practice...

Full text 
3
Quantum Theory and Symmetries [E-Book] : Proceedings of the 11th International Symposium, Montreal, Canada /
4
Strongly Coupled Field Theories for Condensed Matter and Quantum Information Theory [E-Book] : Proceedings, International Institute of Physics, Natal, Rn, Brazil, 2-21 August 2015 /
5
SOFSEM 2014: Theory and Practice of Computer Science [E-Book] : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings /
Table of Contents: ...Invited Papers -- Open Services for Software Process Compliance Engineering -- Episode-Centric Conceptual Modeling -- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems -- Advice Complexity: Quantitative Approach to A...

Full text 
6
String Theory: From Gauge Interactions to Cosmology [E-Book] : Proceedings of the NATO Advanced Study Institute on String Theory: From Gauge Interactions to Cosmology Cargèse, France 7–19 June 2004 /
7
String theory and cosmology : proceedings of Nobel Symposium 127, Sigtuna, Sweden, August 14-19, 2003 [E-Book] /
8
International Conference on Theoretical Physics [E-Book] : TH-2002, Paris, July 22–27, 2002 /
9
Beyond the Desert 2003 [E-Book] : Proceedings of the Fourth Tegernsee International Conference on Particle Physics Beyond the Standard Model, BEYOND 2003, Castle Ringberg, Tegernsee, Germany, 9–14 June 2003 /
10
Proceedings of the IX International Conference on Particles, Strings and Cosmology : Tata Institute of Fundamental Research Mumbai 3-8 January 2003 : [PASCOS'03] /
Book
11
Particle Physics in the New Millennium [E-Book] : Proceedings of the 8th Adriatic Meeting /
12
The Cosmology of Extra Dimensions and Varying Fundamental Constants [E-Book] : A JENAM 2002 Workshop Porto, Portugal 3–5 September 2002 /
Table of Contents: ...The cosmology of extra dimensions and varying fundamental constants -- String theory, cosmology and varying constants -- Cosmological parameters from Cosmic Microwave Background anisotropies: Status and prospects -- Cosmology in a brane-universe -- Brane...

Full text 
13
Astronomy, Cosmology and Fundamental Physics [E-Book] : Proceedings of the ESO/CERN/ESA Symposium Held in Garching, Germany, 4-7 March 2002 /
14
Modern Theoretical and Observational Cosmology [E-Book] : Proceedings of the 2nd Hellenic Cosmology Meeting, held in the National Observatory of Athens , Penteli, 19–20 April 2001 /
Table of Contents: ... consequence of Inflation -- Relaxation of the Cosmological Principle -- A Note on Wavemap-Tensor Cosmologies -- Inflation in String Theory and how you can get out of it -- Quantum Cosmology for the General Bianchi Vacuum Geometries -- Black Hole Entropy...

Full text 
15
Orbifolds in mathematics and physics : proceedings of a conference on mathematical aspects of orbifold string theory, May 4-8, 2001, University of Wisconsin, Madison, Wisconsin [E-Book] /
16
Sources and Detection of Dark Matter and Dark Energy in the Universe [E-Book] : Fourth International Symposium Held at Marina del Rey, CA, USA February 23–25, 2000 /
Table of Contents: ...I Overview of Cosmological Parameters and Concept -- Cosmological Parameters -- The Cosmological Constant Problems -- The Cosmological Constant from the Viewpoint of String Theory -- The Dark Matter Telescope -- II The Cosmological Constant Evidence...

Full text 
17
Dark Matter in Astro- and Particle Physics [E-Book] : Proceedings of the International Conference DARK 2000 Heidelberg, Germany, 10–14 July 2000 /
Table of Contents: ... -- On the Mystery of the Cosmic Vacuum Energy Density -- Can Quintessence Be Natural? -- Preheating, Thermilaziation and Supergravity -- Dark Energy in Extra Dimensions and String Theory: Consistency Conditions -- Models of Inflation, Supersymmetry Breaking...

Full text 
18
Quantum Field Theory [E-Book] : Proceedings of the Ringberg Workshop Held at Tegernsee, Germany, 21–24 June 1998 On the Occasion of Wolfhart Zimmermann’s 70th Birthday /
19
New Trends in HERA Physics 1999 [E-Book] : Proceedings of the Ringberg Workshop Held at Tegernsee, Germany, 30 May – 4 June 1999 /
20
Towards Quantum Gravity [E-Book] : Proceeding of the XXXV International Winter School on Theoretical Physics Held in Polanica, Poland, 2–11 February 1999 /
Table of Contents: ... Group -- Loop Quantum Gravity and the Meaning of Diffeomorphism Invariance -- Black Holes in String Theory -- Gravitational waves and massless particle fields....

Full text