Results 151 to 160 of about 7,378,234 (192)
Some of the next articles are maybe not open access.
2001
We study here the class of timed automata with a single clock which is reset at each transition. We adapt for these automata the classical results for finite automata: the Kleene Theorem, the closure under complementation and the Pumping Lemma. We provide an algorithm for the elimination of stuttering steps, which is essential in complementation. This
openaire +3 more sources
We study here the class of timed automata with a single clock which is reset at each transition. We adapt for these automata the classical results for finite automata: the Kleene Theorem, the closure under complementation and the Pumping Lemma. We provide an algorithm for the elimination of stuttering steps, which is essential in complementation. This
openaire +3 more sources
ACM SIGMINI Newsletter, 1975
Those who read a comment in last month's Newsletter about calculators and minicomputers are probably wondering who the person is who wrote it. Let me introduce myself. My name is John Barkley and I work at the National Bureau of Standards in the Analytical Chemistry Division.
openaire +1 more source
Those who read a comment in last month's Newsletter about calculators and minicomputers are probably wondering who the person is who wrote it. Let me introduce myself. My name is John Barkley and I work at the National Bureau of Standards in the Analytical Chemistry Division.
openaire +1 more source
Real-time squared: A real-time data set for real-time GDP forecasting
International Journal of Forecasting, 2008Abstract This paper uses real-time data to mimic real-time GDP forecasting activity. Through automatic searches for the best indicators for predicting GDP one and four steps ahead, we compare the out-of-sample forecasting performance of adaptive models using different data vintages, and produce three main findings.
GOLINELLI, ROBERTO, G. Parigi
openaire +1 more source
2004
The development of instruments that allow real-time monitoring of fluorescence within PCR reaction vessels is a significant advance in clinical bacteriology. The technology is very flexible, and many alternative instruments and fluorescent probe systems are currently available.
openaire +2 more sources
The development of instruments that allow real-time monitoring of fluorescence within PCR reaction vessels is a significant advance in clinical bacteriology. The technology is very flexible, and many alternative instruments and fluorescent probe systems are currently available.
openaire +2 more sources
Real Time in Distributed Real Time Systems
IFAC Proceedings Volumes, 1983Any real time computer control system must have a capability to measure the duration between events in the metric of real time and must respond to a stimulus within a given real time interval. This paper discusses some of the implications which result from the inclusion of this real time metric on the specification, communication and error detection in
openaire +1 more source
Real time logging and real time decisions
8th International Congress of the Brazilian Geophysical Society, 2003The exploration and development of oil fields are high cost activities, commonly involving millions of dollars. Usually, technicians face situations where proper and quick decisions could imply money saving. In offshore areas, an exploratory or development well may have a final cost close to 15 US$MM.
openaire +1 more source
New Scientist, 2013
This thesis is a novel about a thirty-six-year-old software consultant with an obsessive personality named Brent Stannic. At the novel’s opening, Brent’s obsessions focus primarily on the past, namely the dissolution of his once hugely successful high-frequency trading firm called Real Time Trades.
openaire +2 more sources
This thesis is a novel about a thirty-six-year-old software consultant with an obsessive personality named Brent Stannic. At the novel’s opening, Brent’s obsessions focus primarily on the past, namely the dissolution of his once hugely successful high-frequency trading firm called Real Time Trades.
openaire +2 more sources
An overview of real‐world data sources for oncology and considerations for research
Ca-A Cancer Journal for Clinicians, 2022Lynne Penberthy +2 more
exaly