Results 261 to 270 of about 1,272,560 (299)
Some of the next articles are maybe not open access.
Engineering Applications of Artificial Intelligence, 1995
Abstract Temporal variables can be used to verify and enforce temporal consistency which is usually essential for safe operation of physical processes and devices. A theory of non-continous intervals is used to represent temporal variables. This results in a set of five axioms which form the foundation for an intuitive, deductive temporal logic.
A.G. Stothert, I.M. Macleod
openaire +1 more source
Abstract Temporal variables can be used to verify and enforce temporal consistency which is usually essential for safe operation of physical processes and devices. A theory of non-continous intervals is used to represent temporal variables. This results in a set of five axioms which form the foundation for an intuitive, deductive temporal logic.
A.G. Stothert, I.M. Macleod
openaire +1 more source
Temporal variability of bacterioplankton is habitat driven
Molecular Ecology, 2018AbstractTemporal dynamics of bacterioplankton are rarely investigated for multiple habitats and years within individual lakes, limiting our understanding of the variability of bacterioplankton community (BC) composition with respect to environmental factors.
Obertegger U. +4 more
openaire +3 more sources
Controllability of business processes with temporal variables
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019Explicitly introducing temporal variables increases the expressiveness of temporal process models significantly while maintaining the ability to check dynamic controllability of process definitions. We formally define the semantics of process models with temporal constraints and temporal variables and present procedures for checking the correctness of ...
Johann Eder +2 more
openaire +1 more source
Temporal variables in parkinsonian speech
Interspeech 2004, 2004Temporal variables were detailed and compared in a text read by ten French subjects with mild to moderate Parkinson disease (PDS’s) and ten French healthy control subjects (CS’s). Longer total pause times were found for PDS’s, correlated to higher numbers of pauses and longer mean pause duration.
openaire +1 more source
Investigation of temporal variability of sleep EEG
2011 8th International Conference on Information, Communications & Signal Processing, 2011In this study, a quantitative analysis method based on the local minima and maxima features is applied to the sleep EEG. The local minima (local maxima) is defined as a point whose amplitude is less (greater) than its neighbors. The average of local min-max intervals and the variance of local min-max intervals are used as temporal variability measures.
openaire +1 more source
Temporal variability of Cryptosporidium in the Chesapeake Bay
Parasitology Research, 2002Although Cryptosporidium has been found worldwide in molluscan shellfish from waters contaminated with human and animal feces, little or no related environmental data have been obtained. In the present study, oysters ( Crassostrea virginica) were collected eight times over 3 years from seven sites in the Chesapeake Bay or its tributaries, with ...
R, Fayer +6 more
openaire +2 more sources
On the semantics of (Bi)temporal variable databases
1994Numerous proposals for extending the relational data model to incorporate the temporal dimension of data have appeared during the past several years. These have ranged from historical data models, incorporating a valid time dimension, to rollback data models, incorporating a transaction time dimension, to bitemporal data models, incorporating both of ...
James Clifford, Tomás Isakowitz
openaire +1 more source
Modeling Temporally Variable Transportation Networks
2004In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatio-temporal aspect of temporally variable transportation networks. The basic idea of this model is to associate a temporal attribute to every node or edge of the graph system so that state changes (such as traffic jams and ...
Zhiming Ding, Ralf Hartmut Güting
openaire +1 more source
2019
Up to now we have treated only temporally constant electric and magnetic fields. All properties of these static fields caused by resting charges or stationary currents can be derived from a few basic equations (see Chaps. 1– 3).
openaire +1 more source
Up to now we have treated only temporally constant electric and magnetic fields. All properties of these static fields caused by resting charges or stationary currents can be derived from a few basic equations (see Chaps. 1– 3).
openaire +1 more source
Monitoring Temporal Logic with Clock Variables
2018We solve the offline monitoring problem for timed propositional temporal logic (TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider extends linear temporal logic (LTL) with clock variables and reset quantifiers, providing a mechanism to specify real-time constraints. We first describe a general monitoring algorithm based
Adrián Elgyütt +2 more
openaire +1 more source