نتایج جستجو برای: on state

تعداد نتایج: 8766342  

1993
G. Lazarides

We propose a new realization of the chaotic inflationary scenario in which the scalar field responsible for inflation also spontaneously breaks the underlying gauge symmetry at a superheavy scale ∼ 1015− 1017 GeV . A possible framework is provided by the superstring inspired gauge models, in which case several predictions are essentially model independent. The spectral index for the scalar pert...

2004
B. Ashcroft B. Takulapalli J. Yang G. M. Laws H. Q. Zhang N. J. Tao S. Lindsay D. Gust T. J. Thornton

B. Ashcroft, B. Takulapalli, J. Yang, G. M. Laws , H. Q. Zhang , N. J. Tao , S. Lindsay, D. Gust, and T. J. Thornton 3 1 Department of Physics & Astronomy, P.O. Box 871504, Arizona State University, Tempe, AZ 85287, USA 2 Center for Solid State Electronics Research, P.O. Box 876206, Arizona State University, Tempe, AZ 85287, USA 3 Department of Electrical Engineering, P.O. Box 875706, Arizona S...

2003
Stefania Gnesi Franco Mazzanti

In this paper we present an ``on the fly'' model checker for the verification of the dynamic behavior of UML models seen as a set of communicating state machines. The logic supported by the tool is an extension of the action based branching time temporal logic μ-ACTL and has the power of full μ-calculus. Early results on the application of this model checker to a case study have been also repor...

2017

In this hands-on session, we explore dynamic functional connectivity (dFC) through two different pipelines: (1) a sliding window analysis, where we explore the impact of window characteristics, dynamic graph metrics, and the generation of summarising eigenconnectivity building blocks; and (2) the generation of innovation-driven co-activation patterns (iCAPs), following the previous application ...

2008
Simon Johnston

The integrated profile of PSR B1641−45 can be decomposed into four Gaussian components. The sum of these Gaussian components can be made to replicate the total intensity, linear and circular polarization of the integrated profile, and the discontinuity in the swing of the position angle. Surprisingly, the single pulses from PSR B1641−45 can also be decomposed into these same Gaussian components...

2008
Ori J. Ganor

Compactifying the E8 non-critical string in 6D down to 5D the 6D strings give rise to particles and strings in 5D. Using the dual M-theory description compactified on an elliptically fibered Calabi-Yau we compare some of the 5D BPS states to what one expects from non-critical strings with an E8 chiral current algebra. The E8 multiplets of particle states comprise of 2-branes wrapping on irreduc...

Journal: :Informatica, Lith. Acad. Sci. 2005
Eduardas Bareisa Vacius Jusas Kestutis Motiejunas Rimantas Seinauskas

The design complexity of systems on a chip drives the need to reuse legacy or intellectual property cores, whose gate-level implementation details are unavailable. In this paper we consider the realization-independent testing and the impact of circuit realization on the fault coverage. We investigated two fault models (input-output pin pair fault and input-input-output pin triplet fault) that a...

1995
V. Mastropietro

Extending the results in (B.M.) on one dimensional interacting fermions in a periodic potential we study the infrared behaviour of the two points Schwinger function in the lled band case. If the fermions are spinless such behaviour is completely determined and it depends on the ratio between the amplitude of the gap and the strength of the interaction. If the ratio is large the Schwinger functi...

1997
Vijay Balasubramanian Finn Larsen

We calculate relativistic phase-shifts resulting from the large impact parameter scattering of 0-branes off p-branes within supergravity. Their full functional dependence on velocity agrees with that obtained by identifying the p-branes with D-branes in string theory. These processes are also described by 0-brane quantum mechanics, but only in the non-relativistic limit. We show that an improve...

1987
M J Schoppers

In: Proc 10th IJCAI, 1987, 1039ff. To date, reactive robot behavior has been achieved only through manual programming. This paper describes a new kind of plan, called a \universal plan", which can be synthesized automatically, yet generates appropriate behavior in unpredictable environments. In classical planning work, problems were posed with unique initial and nal world states; in my approach...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید