A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Concurrency theory: timed automata, testing, program synthesis
2011
Distributed computing
Preserved Fulltext
The paper "A study on shuffle, stopwatches and independently evolving clocks", by Catalin Dima and Ruggero Lanotte, makes a comprehensive study of properties of timed languages. ...
Today, time automata and their stopwatch extension are one of the most studied models for real-time systems. ...
The paper "A study on shuffle, stopwatches and independently evolving clocks", by Catalin Dima and Ruggero Lanotte, makes a comprehensive study of properties of timed languages. ...
doi:10.1007/s00446-011-0156-2
fatcat:r6z4smxgfrcwhm5yzoh7sdye7a
Statistical Model Checking Of Multi-Agent Systems
2017
ECMS 2017 Proceedings edited by Zita Zoltay Paprika, Péter Horák, Kata Váradi, Péter Tamás Zwierczyk, Ágnes Vidovics-Dancs, János Péter Rádics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Usefulness and validation of the approach are checked by applying it to a known complex and adaptive model of the Iterated Prisoner's Dilemma (IPD) game, by studying the emergence of cooperation in the ...
This paper proposes an original approach to modelling and simulation of multi-agent systems which is based on statistical model checking (SMC). ...
Stopwatches, floating point (double) variables which can be assigned the value of a clock, and dynamic templates which can be instantiated and terminated at run time are supported too. ...
doi:10.7148/2017-0011
dblp:conf/ecms/NigroS17
fatcat:ecqet7vuyvbolhr67e2qzqe25m
Clock time: a foreign measure to brain dynamics
[article]
2021
bioRxiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Human thought is highly flexible and dynamic, achieved by evolving patterns of brain activity across groups of cells. ...
These brain dynamics do not obey clock time – they start out of tune with clock time and drift apart even further as oscillations unpredictably slow down, speed up, and undergo abrupt changes. ...
Acknowledgments We thank Ehren Newman, Federica Meconi, Gi-Yeul Bae, and Steven J. Luck for sharing their data, and Benjamin Griffiths for his insightful comments on the Brain Time Toolbox. ...
doi:10.1101/2021.06.09.447763
fatcat:yyav4krdqrhblcmo4wvqvs5phy
Distributed Time-Asynchronous Automata
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The closure results are obtained by showing that distributed time-asynchronous automata are equivalent with a subclass of shuffle regular expressions and its related class of stopwatch automata. ...
We show that the class of distributed time-asynchronous automata is more expressive than timed automata, has a decidable emptiness problem, is closed under union, concatenation, star, shuffle and renaming ...
In time passage transitions, all components evolve independently one of the other, the local times being incremented independently, which will increment the global time with the sum of local increments ...
doi:10.1007/978-3-540-75292-9_13
fatcat:onu6yv55afcsvpjwvaoq3mmwhu
Stimulus needs are a moving target: 240 additional matched literal and metaphorical sentences for testing neural hypotheses about metaphor
2016
Behavior Research Methods
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
To keep pace with these developments, in the present study we generated a large set of metaphoric and literal sentence pairs ideally suited to addressing the current methodological and conceptual needs ...
As the cognitive neuroscience of metaphor has evolved, so too have the theoretical questions of greatest interest. ...
Salient meanings, by contrast, are lexicalized, context-independent, and prominent senses of a word. ...
doi:10.3758/s13428-016-0717-1
pmid:26956680
fatcat:h52xbr6wavesdhfc3tlhmrem7m
Fault-Resilient Non-interference
2016
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
of a system and induces faults precisely. ...
Fault-tolerance typically has a high deployment cost -special hardware might be required to implement it -and provides weak statistical guarantees. ...
This work was partially financed by grants from the Swedish research agencies VR and SSF. Case 2: there is a stuck configuration in r. We consider the case in which a configuration in r is stuck. ...
doi:10.1109/csf.2016.35
dblp:conf/csfw/TedescoSR16
fatcat:grkokicrbzhhlc4s7rnjskcuma
SPECIAL ISSUE 1 : 2017
2017
PLANNING MALAYSIA JOURNAL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper was presented at 2015 Asia Pacific International Conference on Environment-Behaviour Studies. ...
This paper was presented at 2015 Asia Pacific International Conference on Environment-Behaviour Studies. ...
Figure 1 A Scaled Model of Kampung Laut Mosque After Independence, the first outstanding monument that stressed on the country's independence as a nation on the one hand, and on its Islamic inclination ...
doi:10.21837/pmjournal.v15.i1.350
fatcat:e5xq2zno6ndevngkefk5erl6gm
Labor and Monopoly Capital
1974
Monthly review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Punch Time Clock
Insert in clock
.0156
.0246
.0222
.0138
.0126
.0270
.1158
Identify card
Get from rack
Remove from clock
Identify position
But if a surplus labouring population ...
This system of dovetailing accounts is supplemented by a variety of independent checks and controls. ...
This polarity begins in each enterprise and is realized on a national and even international scale as a giant duality of classes which dominates the social structure. ...
doi:10.14452/mr-026-03-1974-07_1
fatcat:a7tb5vos2rbj5pgil357d7qpm4
ELEMENTARY INTRODUCTION TO PHONEMIC TRANSCIPTION
2021
EDITORIAL UNACH
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Later on, some materials and games have been analyzed and performed during authors' classes. ...
Some linguists suggest that non- English speakers trained in the International Phonetic Alphabet could comprehend how to pronounce English phonemes accurately, and improve their listening and pronunciation ...
Remarks: To make the game more challenging, use a stopwatch and give students on the hot chair a set time. For example, 5 minutes. ...
doi:10.37135/u.editorial.05.27
fatcat:lfek5cjnpbcn5kkydicb5krmj4
Modelling analysis and implementation of distributed probabilistic timed actors using theatre
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Dottorato in Information and Communication Technologies, Ciclo XXXI ...
It is based on a function f () which returns the next sample of a custom distribution function, a stopwatch d (duration), and a clock x used to measure the time elapsing in the SW ait (stochastic wait) ...
In addition, clocks are allowed to be stopped (stopwatches), thus retaining their values, and subsequently restarted from the value they were last stopped. ...
doi:10.13126/unical.it/dottorati/1719
fatcat:m2xdstyp2zblxh4nvsyxx7tcdy
A cycle-accurate joulemeter for CMOS VLSI circuits
ESSCIRC 2004 - 29th European Solid-State Circuits Conference (IEEE Cat. No.03EX705)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Power dissipation has become a critical design concern in recent years, driven by the increased levels of complexity and emergence of mobile applications. ...
Embedded applications are not an exception to this trend and thus, are also very much affected by the increasing power consumption and cooling and packaging costs of existing platforms for embedded computing ...
Since 1987 he has been at the engineering faculty, the University of Catania and is currently a Professor of computer networks. ...
doi:10.1109/esscirc.2003.1257211
fatcat:2tminukn2jfhjezaakh7plck7y
A short history of nearly everything
2003
ChoiceReviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
He also produced, with nothing but a scrap of cranium and one tooth, a model of the complete skull, which also proved uncannily accurate. ...
a child, with an intact face, a lower jaw, and what is known as an endocast-a natural cast of the brain-from a limestone quarry on the edge of the Kalahari Desert at a dusty spot called Taung. ...
shuffling around on top of. ...
doi:10.5860/choice.41-1524
fatcat:sabzor7alnhrbnfsybsryywsrq
Formal discipline form the standpoint of experimental psychology
1916
The Psychological Monographs
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
Records of the tapping were & JOHN EDGAR COOVER taken on a kymograph beside a seconds-line furnished by the laboratory clock. ...
Time was taken with a stopwatch which was selected from a collection of 10 for its favorable action. ...
This is a test in "reaction with discrimination and choice." On each of the packs of fifty cards the time and errors will be recorded. ...
doi:10.1037/h0093098
fatcat:44slhhfn3zgotismbyscpdszuu
Noisy Fields: Interference and Equivocality in the Sonic Legacies of Information Theory
2015
Leonardo: Journal of the International Society for the Arts, Sciences and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Considering noise as a material-discursive phenomenon, I trace its intersections with sonic practices and information theory. ...
Finally, I listen to the electronic vocal manipulations of Maja Ratkje and Holly Herndon iv to consider a micropolitics of the noisy voice. ...
Myron Scholes and independently by Robert C. ...
doi:10.1162/leon_a_01110
fatcat:ufx4ddxx3bel3dsbpxo4h4aw4i
"life Is A Luminous Halo": Gender And Androgynous Time In Virginia Woolf "LIFE IS A LUMINOUS HALO": GENDER AND ANDROGYNOUS TIME IN VIRGINIA WOOLF
2015
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Evelyn Cobley writes in Modernism and the Culture of Efficiency of the role of the stopwatch in the time and motion studies of the late nineteenth century, a role that eventually solidifies the stopwatch ...
evolving thoughts on time and gender and their important relationship. ...
fatcat:ah7oizpnizgy3g5etnandhxlw4
« Previous
Showing results 1 — 15 out of 29 results