Results 51 to 60 of about 63,385 (219)
A propos the Puppeteer – Jean Vigo and the Cinema of Automata
Mise au Point, 2018 This essay focuses on two central elements of the cinema of Jean Vigo that have received little attention to date: Vigo’s use of puppets, manikins, and automata as a central part in his mise-en-scène, and Vigo’s status as a transitional film maker ...
Michael Wutz
doaj +1 more source
Configurable cellular automata for pseudorandom number generation
, 2005 This paper proposes a generalized structure of cellular automata (CA) – the configurable cellular automata (CoCA). With selected properties from programmable CA (PCA) and controllable CA (CCA), a new approach to cellular automata is developed.
Guan, SU +3 more
core +1 more source
Efficient Detection of Zeno Runs in Timed Automata [PDF]
, 2007 Zeno runs, where infinitely many actions occur in finite time, may inadvertently arise in timed automata specifications. Zeno runs may compromise the reliability of formal verification, and few model-checkers provide the means to deal with them: this ...
Gomez, Rodolfo, Bowman, Howard
core +1 more source
Theoretical Computer Science, 2008 19 pages. A preliminary version appears under the title "On a Model of Computation based on Optical Interference" in Proc. of the 16-th Australasian Workshop on Combinatorial Algorithms (AWOCA'05), pp.
openaire +3 more sources
Al-'Usur al-Wusta, 2023 Female domestic slaves designated as jawārī (sing. jāriya) featured in a range of medieval Arabic sources, including treatises on the mechanical arts. They appeared, for example, as liquid-serving devices and timekeepers. Scholarship on automated jawārī,
Lamia Balafrej
doaj +1 more source
Fungi as Turing automata with oracles
Royal Society Open ScienceIn the article, we aim to understand the responses of living organisms, exemplified by mycelium, to external stimuli through the lens of a Turing machine with an oracle (oTM).
Andrew Schumann +3 more
doaj +1 more source
Repeat after me: the automatic labours of love
Journal of Aesthetics & Culture, 2018 Modern romantic love is contemplated in association with industrial forms of production and labour. Attention is paid to the ways in which women are industrialisation’s automatic operatives par excellence, as well as the subjects and objects of love.
Lee Mackinnon
doaj +1 more source
Screenworks, 2022 In The Mechanism, we follow Josefine Baark’s research journey as she seeks to unveil the global networks, games and friendships that resulted in a mechanical tableaux made in China in the 1730s and then brought to Denmark.
Josefine Baark +2 more
doaj +1 more source
, 2005 MONA implements an efficient decision procedure for the logic WS1S, and has already been applied in many non-trivial problems. Among these, we follow on from previous work done by Smith and Klarlund on the verification of a sliding-window protocol.
Howard Bowman +2 more
core
Architectural Histories, 2023 A review of Angela Vanhalen, The Moving Statues of Seventeenth-Century Amsterdam: Automata, Waxworks, Fountains, Labyrinths.
Christopher Heuer
doaj +2 more sources