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.
Filters
Counter Machines and Distributed Automata
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
Other Versions
We prove the equivalence of two classes of counter machines and one class of distributed automata. ...
These devices form a subclass of linear-time one-way cellular automata. ...
We also thank Martin Kutrib and Pierre Guillon for interesting discussions, especially concerning the connection of our results with the field of cellular automata. ...
doi:10.1007/978-3-319-92675-9_2
fatcat:cbnyumg5tjgzloepyhlazr7atq
Reverse Engineering of Middleware for Verification of Robot Control Architectures
[chapter]
2014
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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2014 pre-print arXiv:1411.1907v1 fatcat:o4ubt4dwwrd7fey7b3hvpo3iqq
Both steps are carried out in a computer-assisted way using state-of-the-art techniques in automata-based identification and verification. ...
., because they are too large and complex to be described precisely in a cost-effective way. ...
The (synchronous) product of automata claims and the automaton representing the global state space is again a Büchi automaton. ...
doi:10.1007/978-3-319-11900-7_27
fatcat:ffcgs5rchrgbbit62dcnuwwdma
The Birth of Quantum Computing
[chapter]
2021
Law and Policy for the Quantum Age
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.
If the effort to build large-scale quantum computers is successful, these machines will surely be used to crack codes and model physics. ...
an appreciation of just how early we are in the development of these machines. ...
Apple II was a parallel machine, in that it could add and subtract 8 bits in parallel at a given time. ...
doi:10.1017/9781108883719.008
fatcat:qeesind6ofbtflvrr2dftgl334
Markets come to bits: Evolution, computation and markomata in economic science
2007
Journal of Economic Behavior and Organization
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.
The laws that are sought under the new paradigm are laws of the markets, not laws of human nature. 1 A symptom of the general oblivion to market structures is the urban myth about Walras being inspired ...
Based upon my previous historical work, I attempt to isolate and identify what appears to be a profound shift in the conception of the economy in recent economic research, focusing on five areas: mechanism ...
Acknowledgements I should like to thank the audiences at Carnegie-Mellon, University of Stirling, the University of Queensland and the Universidad Republica de Montevideo, Uruguay, and more particularly ...
doi:10.1016/j.jebo.2005.03.015
fatcat:cl53ijlwmvhwfdzkbsblnzfzp4
Digital Labor: The Internet as Playground and Factory, edited by Trebor Scholz. New York, NY: Routledge, 2013. 258 pp. $37.95 paper. ISBN 9780415896955 (paper)
2014
The Information Society
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.
Another critical advantage of using the concept of cognitive labor for a critical analysis is that by means of its embodied and distributed characteristics, it is possible to talk about the historical ...
The Oriental automata, through its association with liminal spaces and experiences in these literary accounts, conveyed surveillance, discipline, and enforcement of limits of morality. ...
doi:10.1080/01972243.2014.875790
fatcat:7arlygskv5ccrfkoqro6eq6rh4
Compression is Comprehension, and the Unreasonable Effectiveness of Digital Computation in the Natural World
[article]
2021
arXiv
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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1904.10258v2 fatcat:oqr7vygjxfa6tbghziexjbgu5uOther Versions
the system may be in a future state--in a shorter time than the time taken by the actual unfolding of the phenomenon in question. ...
I will discuss how the practice of science consists in conceiving a model that starts from certain initial values, running a computable instantiation, and awaiting a result in order to determine where ...
A long time ago we left behind explanations based on divinity, magic or paranormal phenomena in exchange for tools such as inference, and statistics. ...
arXiv:1904.10258v3
fatcat:xpdup4tcpbfszmfvv6uw4bsd2q
Artificial Intelligence is stupid and causal reasoning won't fix it
[article]
2020
arXiv
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 2020; you can also visit the original URL.
The file type is application/pdf.
patterns in data sets - often using an approach known as Deep Learning - and start building computer systems that from the moment of their assembly innately grasp three basic concepts: time, space and ...
It is a point that was echoed by Gary Marcus and Ernest Davis in a recent piece for the New York Times: 'we need to stop building computer systems that merely get better and better at detecting statistical ...
In the MTT Pearl imagines a machine presented with a [suitably encoded] story and subsequently being asked questions about the story pertaining to causal reasoning. ...
arXiv:2008.07371v1
fatcat:7sz56urg5jbc7ky5im3td3b264
Artificial Intelligence Is Stupid and Causal Reasoning Will Not Fix It
2021
Frontiers in Psychology
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.
patterns in data sets—often using an approach known as 'Deep Learning'—and start building computer systems that from the moment of their assembly innately grasp three basic concepts: time, space, and ...
It is a point that was echoed by Gary Marcus and Ernest Davis in a recent piece for the New York Times: "we need to stop building computer systems that merely get better and better at detecting statistical ...
In the MTT, Pearl imagines a machine presented with a [suitably encoded] story and subsequently being asked questions about the story pertaining to causal reasoning. ...
doi:10.3389/fpsyg.2020.513474
pmid:33584394
pmcid:PMC7874145
fatcat:elewnpxjrvhyxnmavh2vtxwf6y
Efficient Analysis and Synthesis of Complex Quantitative Systems
[article]
2018
PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University
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 increase the applicability of synthesis, we present a semi-algorithm for parameter synthesis for Timed Automata, extendable to more expressive formalisms. ...
As a final contribution to the topic, we present a tool which encompass both ideas from the formal methods community and the machine intelligence community, providing both safe and optimal control synthesis ...
Project ASAP and ANR contract Malthy. ...
doi:10.5278/vbn.phd.tech.00043
fatcat:fq4x5hnl5rgdzdtolcimzbonxm
Each One of us was Several: Networks, Rhizomes and Web Organisms
2013
Knowledge organization
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.
the spaces between technologies, and the spaces between persons. ...
The idea of the network has influenced the conceptual thinking about both the web, and its wider socio-cultural influence. ...
Nevertheless the Memex became principally a machine not for organising information, but for directing attention within a disordered information space. ...
doi:10.5771/0943-7444-2013-6-414
fatcat:deg2ozmwfrckvlvtgun7jcsy2y
NATURAL INDIVIDUALS AND INTRINSIC PROPERTIES
[chapter]
2009
Unity and Time in Metaphysics
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.
Persons, animals, and possibly the most fundamental physical simples are all natural individuals. What gives these entities the ontological status of a substantial unity? ...
A certain amount of skepticism regarding the full nature of absolutely intrinsic properties is nevertheless well-advised. ...
The basic facts of cellular automata, the distribution of properties over the grid of cells, necessitate the higher-level structural facts about stable emerging patterns. ...
doi:10.1515/9783110212358.237
fatcat:kojytge73ngatbqxu4sxeamtc4
Model-Based Design and Formal Verification Processes for Automated Waterway System Operations
2016
Systems
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.
The essential features of this methodology are highlighted in a case study examination of ship and lock-system behaviors in a two-stage lock system. ...
In a step toward overcoming these challenges, this paper argues that programs for waterway and canal modernization and sustainability can benefit significantly from system thinking, supported by systems ...
stories they tell. ...
doi:10.3390/systems4020023
fatcat:krzvtb25ezhntgtteq7nez6ug4
Computational Streetscapes
2016
Computation
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.
views of activity over whole urban spaces. ...
heuristics, artificial intelligence for navigation and way-finding, timing, synthetic vision, steering routines, kinematics, and geometrical treatment of collision detection and avoidance. ...
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation. ...
doi:10.3390/computation4030037
fatcat:ifjnyrellzfhnpb5mokov2irae
Embodied Conversational Agents: Representation and Intelligence in User Interfaces
2001
The AI Magazine
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 2015; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments Thanks to the other members of the REA team-in particular, Timothy Bickmore and Hannes Vilhjálmsson-for their contribution to the work and comments on this article. ...
Research leading to the preparation of this article was supported by the National Science Foundation (award IIS-9618939), AT&T, Deutsche Telekom, France Telecom, and other generous sponsors of the Massachusetts ...
handling, and feedback and error correction-and these kinds of behavior enable the exchange of multiple levels of representation of information in real time. ...
doi:10.1609/aimag.v22i4.1593
dblp:journals/aim/Cassell01
fatcat:ortpdclqrrgfbnklgj57hqub7u
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
2012
Electronic Proceedings in Theoretical 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 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. ...
Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. ...
In Uppaal, a system is modeled as a network of timed automata, called processes. A timed automaton is a finite-state machine extended with clock variables. ...
doi:10.4204/eptcs.91.4
fatcat:t7g5sypbzjdhfnjgjgkohfvag4
« Previous
Showing results 1 — 15 out of 915 results