Results 11 to 20 of about 37,558,898 (309)
A Parameterized Algebra for Event Notification Services [PDF]
, 2002 Event notification services are used in various applications such as digital libraries, stock tickers, traffic control, or facility management. However, to our knowledge, a common semantics of events in event notification services has not been defined so
Hinze, Annika, Voisard, Agnès
core +2 more sources
Bounded Reachability for Temporal Logic over Constraint Systems [PDF]
, 2010 We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such logic can be ...
Bersani, Marcello M. +5 more
core +2 more sources
Model Checking CTL is Almost Always Inherently Sequential [PDF]
, 2009 The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations—restrictions already ...
Beyersdorff, Olaf +6 more
core +4 more sources
Development of an Interference Filter-Stabilized External-Cavity Diode Laser for Space Applications
Photonics, 2020 The National Time Service Center of China is developing a compact, highly stable, 698 nm external-cavity diode laser (ECDL) for dedicated use in a space strontium optical clock. This article presents the optical design, structural design, and preliminary
Linbo Zhang +6 more
doaj +1 more source
Applied Sciences, 2021 The self-comparison method is a powerful tool in the uncertainty evaluation of optical lattice clocks, but any drifts will cause a frequency offset between the two compared clock loops and thus lead to incorrect measurement result.
Chihua Zhou +4 more
doaj +1 more source
Time perception: Brain time or event time? [PDF]
Current Biology, 2001 Recent experiments show that synchronous events can appear to an observer to occur at different times. Neural processing time delays are offered as an explanation of these temporal illusions, but equating perceived time with processing time leads to some thorny philosophical problems.
Johnston, Alan, Nishida, Shin'ya
openaire +2 more sources
Distributional Energy-Momentum Densities of Schwarzschild Space-Time [PDF]
, 1997 For Schwarzschild space-time, distributional expressions of energy-momentum densities and of scalar concomitants of the curvature tensors are examined for a class of coordinate systems which includes those of the Schwarzschild and of Kerr-Schild types as
Eisaku Sakane +2 more
core +3 more sources
Changing times, challenging times [PDF]
Health Expectations, 2020 Editorial ...
openaire +3 more sources
Continuous-time games of timing [PDF]
Journal of Economic Theory, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vieille, Nicolas +2 more
openaire +7 more sources
Quantum Energy Expectation in Periodic Time-Dependent hamiltonians via Green Functions [PDF]
, 2009 Let $U_F$ be the Floquet operator of a time periodic hamiltonian $H(t)$. For each positive and discrete observable $A$ (which we call a {\em probe energy}), we derive a formula for the Laplace time average of its expectation value up to time $T$ in ...
César R. De +4 more
core +5 more sources