Results 1  10
of
1,901
Principles and methods of Testing Finite State Machines  a survey
 PROCEEDINGS OF IEEE
, 1996
"... With advanced computer technology, systems are getting larger to fulfill more complicated tasks, however, they are also becoming less reliable. Consequently, testing is an indispensable part of system design and implementation; yet it has proved to be a formidable task for complex systems. This moti ..."
Abstract

Cited by 345 (16 self)
 Add to MetaCart
problems which had been open for decades were resolved recently, new concepts and more intriguing problems from new applications emerge. We review the fundamental problems in testing finite state machines and techniques for solving these problems, tracing progress in the area from its inception
The factorized Smatrix of CFT/AdS
, 2004
"... We argue that the recently discovered integrability in the largeN CFT/AdS system is equivalent to diffractionless scattering of the corresponding hidden elementary excitations. This suggests that, perhaps, the key tool for finding the spectrum of this system is neither the gauge theory’s dilatati ..."
Abstract

Cited by 240 (7 self)
 Add to MetaCart
of a factorized Smatrix. Analyzing the available information, we find an intriguing relation between the three associated Smatrices. Assuming that the relation also holds in gauge theory, we derive the threeloop Smatrix of the sl(2) sector even though this sector’s dilatation operator is not yet
Micro Effects of Macro Announcements: RealTime Price Discovery in Foreign Exchange
, 2002
"... Using a new dataset consisting of six years of realtime exchange rate quotations, macroeconomic expectations, and macroeconomic realizations (announcements), we characterize the conditional means of U.S. dollar spot exchange rates versus German Mark, British Pound, Japanese Yen, Swiss Franc, and th ..."
Abstract

Cited by 275 (24 self)
 Add to MetaCart
, and the Euro. In particular, we find that announcement surprises (that is, divergences between expectations and realizations, or "news") produce conditional mean jumps; hence highfrequency exchange rate dynamics are linked to fundamentals. The details of the linkage are intriguing and include
The Intriguing Life of Autophagosomes
, 2012
"... Abstract: Autophagosomes are doublemembrane vesicles characteristic of macroautophagy, a degradative pathway for cytoplasmic material and organelles terminating in the lysosomal or vacuole compartment for mammals and yeast, respectively. This highly dynamic, multistep process requires significant ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
of the unresolved questions related to the molecular mechanisms that regulate the ―life and death ‖ of the autophagosome.
An intriguing correlation between the masses and periods of the transiting planets
, 2005
"... We point out an intriguing relation between the masses of the transiting planets and their orbital periods. For the six currently known transiting planets, the data are consistent with a decreasing linear relation. The other known shortperiod planets, discovered through radialvelocity techniques, ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We point out an intriguing relation between the masses of the transiting planets and their orbital periods. For the six currently known transiting planets, the data are consistent with a decreasing linear relation. The other known shortperiod planets, discovered through radialvelocity techniques
On An Intriguing Integral and Some Series Related to zeta(4)
, 1995
"... An intriguing logcosine integral is fully analyzed and shown to have value a rational multiple of 7r£(4), C being the Riemann zeta function. From this we deduce by means of generating functions and Parseval's identity the sums of certain series previously established by a completely differen ..."
Abstract
 Add to MetaCart
An intriguing logcosine integral is fully analyzed and shown to have value a rational multiple of 7r£(4), C being the Riemann zeta function. From this we deduce by means of generating functions and Parseval's identity the sums of certain series previously established by a completely
On An Intriguing Integral and Some Series Related to (4
 Proceedings of the American Mathematical Society
, 1995
"... ..."
A Theory of Networks for Approximation and Learning
 Laboratory, Massachusetts Institute of Technology
, 1989
"... Learning an inputoutput mapping from a set of examples, of the type that many neural networks have been constructed to perform, can be regarded as synthesizing an approximation of a multidimensional function, that is solving the problem of hypersurface reconstruction. From this point of view, t ..."
Abstract

Cited by 235 (24 self)
 Add to MetaCart
, this form of learning is closely related to classical approximation techniques, such as generalized splines and regularization theory. This paper considers the problems of an exact representation and, in more detail, of the approximation of linear and nonlinear mappings in terms of simpler functions
The Intriguing Distribution of Dark Matter in Galaxies
 Particle Physics in the New Millennium, volume 616 of Lecture Notes in Physics, Berlin
, 2003
"... Abstract. We review the most recent evidence for the amazing properties of the density distribution of the dark matter around spiral galaxies. Their rotation curves, coadded according to the galaxy luminosity, conform to an Universal profile which can be represented as the sum of an exponential thin ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
thin disk term plus a spherical halo term with a flat density core. From dwarfs to giants, these halos feature a constant density region of size r0 and core density ρ0 related by ρ0 = 4.5 × 10 −2 (r0/kpc) −2/3 M⊙pc −3. At the highest masses ρ0 decreases exponentially with r0, revealing a lack
LAURA AND PETRARCH: AN INTRIGUING CASE OF CYCLICAL
"... Abstract. Three ordinary dierential equations are proposed to model the dynamics of love between Petrarch, a celebrated Italian poet of the 14th century, and Laura, a beautiful but married lady. The equations are nonlinear but can be studied through the singular perturbation approach if the inspirat ..."
Abstract
 Add to MetaCart
if the inspiration of the poet is assumed to have very slow dynamics. In such a case, explicit conditions are found in the appeals of Laura and Petrarch and in their behavioral parameters that guarantee the existence of a globally stable slowfast limit cycle. These conditions are consistent with the relatively
Results 1  10
of
1,901