29 Hits in 6.8 sec

Concurrency theory: timed automata, testing, program synthesis

Davide Sangiorgi
2011 Distributed computing  
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

Libero Nigro, Paolo F. Sciammarella
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  
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]

Sander van Bree, María Melcón, Luca Kolibius, Casper Kérren, Maria Wimber, Simon Hanslmayr
2021 bioRxiv   pre-print
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]

Cătălin Dima, Ruggero Lanotte
Lecture Notes in Computer Science  
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

Eileen R. Cardillo, Christine Watson, Anjan Chatterjee
2016 Behavior Research Methods  
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

Filippo Del Tedesco, David Sands, Alejandro Russo
2016 2016 IEEE 29th Computer Security Foundations Symposium (CSF)  
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


Architecture & Build Environment International Conference
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

Harry Braverman
1974 Monthly review  
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


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

Paolo Francesco Sciammarella, Libero Nigro, Domenico Grimaldi
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/ fatcat:m2xdstyp2zblxh4nvsyxx7tcdy

A cycle-accurate joulemeter for CMOS VLSI circuits

Eunseok Song, In-Chan Choi, Young-Kil Park, Soo-Ik Chae
ESSCIRC 2004 - 29th European Solid-State Circuits Conference (IEEE Cat. No.03EX705)  
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  
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

John Edgar Coover
1916 The Psychological Monographs  
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

Nicholas A. Knouf
2015 Leonardo: Journal of the International Society for the Arts, Sciences and Technology  
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

Ashley Whitmore, Ashley Dissertation
2015 unpublished
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.  ... 
« Previous Showing results 1 — 15 out of 29 results