Completeness of Hoare Logic Relative to the Standard Model

2017 ◽  
pp. 119-131
Author(s):  
Zhaowei Xu ◽  
Wenhui Zhang ◽  
Yuefei Sui
Keyword(s):  
Standard Model ◽  
Hoare Logic ◽  
The Standard Model

scholarly journals Completeness of Hoare logic with inputs over the standard model

2016 ◽  
Vol 612 ◽  
pp. 23-28 ◽  
Author(s):  
Zhaowei Xu ◽  
Yuefei Sui ◽  
Wenhui Zhang
Keyword(s):  
Standard Model ◽  
Hoare Logic ◽  
The Standard Model

Indirect measurements in micro-space with the EM

1995 ◽  
Vol 53 ◽  
pp. 598-599
Author(s):  
Sterling P. Newberry
Keyword(s):  
Electron Microscope ◽  
Standard Model ◽  
Particle Physics ◽  
Information Storage ◽  
Storage Space ◽  
Indirect Measurements ◽  
Storage And Retrieval ◽  
Adequate Information ◽  
Compelling Reason ◽  
The Standard Model

At the 1958 meeting of our society, then known as EMSA, the author introduced the concept of microspace and suggested its use to provide adequate information storage space and the use of electron microscope techniques to provide storage and retrieval access. At this current meeting of MSA, he wishes to suggest an additional use of the power of the electron microscope.The author has been contemplating this new use for some time and would have suggested it in the EMSA fiftieth year commemorative volume, but for page limitations. There is compelling reason to put forth this suggestion today because problems have arisen in the “Standard Model” of particle physics and funds are being greatly reduced just as we need higher energy machines to resolve these problems. Therefore, any techniques which complement or augment what we can accomplish during this austerity period with the machines at hand is worth exploring.

An Interview with the Physicist that Her Head in the Universe and Both Feet on the Earth

2019 ◽  
Author(s):  
Adib Rifqi Setiawan
Keyword(s):  
Standard Model ◽  
Particle Physics ◽  
Space Time ◽  
Additional Dimension ◽  
The Earth ◽  
The Standard Model ◽  
The Universe

Put simply, Lisa Randall’s job is to figure out how the universe works, and what it’s made of. Her contributions to theoretical particle physics include two models of space-time that bear her name. The first Randall–Sundrum model addressed a problem with the Standard Model of the universe, and the second concerned the possibility of a warped additional dimension of space. In this work, we caught up with Randall to talk about why she chose a career in physics, where she finds inspiration, and what advice she’d offer budding physicists. This article has been edited for clarity. My favourite quote in this interview is, “Figure out what you enjoy, what your talents are, and what you’re most curious to learn about.” If you insterest in her work, you can contact her on Twitter @lirarandall.

An Interview with the Physicist that Her Head in the Universe and Both Feet on the Earth

2019 ◽  
Author(s):  
Adib Rifqi Setiawan
Keyword(s):  
Standard Model ◽  
Particle Physics ◽  
Space Time ◽  
Additional Dimension ◽  
The Earth ◽  
The Standard Model ◽  
The Universe

Put simply, Lisa Randall’s job is to figure out how the universe works, and what it’s made of. Her contributions to theoretical particle physics include two models of space-time that bear her name. The first Randall–Sundrum model addressed a problem with the Standard Model of the universe, and the second concerned the possibility of a warped additional dimension of space. In this work, we caught up with Randall to talk about why she chose a career in physics, where she finds inspiration, and what advice she’d offer budding physicists. This article has been edited for clarity. My favourite quote in this interview is, “Figure out what you enjoy, what your talents are, and what you’re most curious to learn about.” If you insterest in her work, you can contact her on Twitter @lirarandall.

Enhanced Attribute-Based Authenticated Key Agreement Protocol in the Standard Model

2014 ◽  
Vol 36 (10) ◽  
pp. 2156-2167
Author(s):  
Qiang LI ◽  
Deng-Guo FENG ◽  
Li-Wu ZHANG ◽  
Zhi-Gang GAO
Keyword(s):  
Standard Model ◽  
Key Agreement ◽  
Authenticated Key Agreement ◽  
Key Agreement Protocol ◽  
The Standard Model

Beyond the Standard Model

2017 ◽  
Author(s):  
Laurent Baulieu ◽  
John Iliopoulos ◽  
Roland Sénéor
Keyword(s):  
Field Theory ◽  
General Relativity ◽  
Supergravity Models ◽  
Standard Model ◽  
Field Theories ◽  
Beyond The Standard Model ◽  
Super Symmetry ◽  
The Standard Model ◽  
Topological Field ◽  
Supersymmetric Theories

The motivation for supersymmetry. The algebra, the superspace, and the representations. Field theory models and the non-renormalisation theorems. Spontaneous and explicit breaking of super-symmetry. The generalisation of the Montonen–Olive duality conjecture in supersymmetric theories. The remarkable properties of extended supersymmetric theories. A brief discussion of twisted supersymmetry in connection with topological field theories. Attempts to build a supersymmetric extention of the standard model and its experimental consequences. The property of gauge supersymmetry to include general relativity and the supergravity models.

Sign in / Sign up

Export Citation Format

Share Document