5,458 research outputs found
Supersymmetric Unification
The measured value of the weak mixing angle is, at present, the only precise
experimental indication for physics beyond the Standard Model. It points in the
direction of Unified Theories with Supersymmetric particles at accessible
energies. We recall the ideas that led to the construction of these theories in
1981.Comment: 21 pages, latex, two figures available by snail-mail upon e-mail
request; Talk presented at the International Conference on the History of
Original Ideas and Basic Discoveries in Particle Physics held at Ettore
Majorana Centre for Scientific Culture, Erice, Sicily, July 29-Aug.4, 199
Density-Functional Theory (DFT) Computations on Organic Semiconductors
Undergraduate
Basi
Real-time and Probabilistic Temporal Logics: An Overview
Over the last two decades, there has been an extensive study on logical
formalisms for specifying and verifying real-time systems. Temporal logics have
been an important research subject within this direction. Although numerous
logics have been introduced for the formal specification of real-time and
complex systems, an up to date comprehensive analysis of these logics does not
exist in the literature. In this paper we analyse real-time and probabilistic
temporal logics which have been widely used in this field. We extrapolate the
notions of decidability, axiomatizability, expressiveness, model checking, etc.
for each logic analysed. We also provide a comparison of features of the
temporal logics discussed
- …