915 Hits in 5.8 sec

Counter Machines and Distributed Automata [chapter]

Olivier Carton, Bruno Guillon, Fabian Reiter
2018 Lecture Notes in Computer Science  
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]

Ali Khalili, Lorenzo Natale, Armando Tacchella
2014 Lecture Notes in Computer Science  
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  
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

Philip Mirowski
2007 Journal of Economic Behavior and Organization  
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)

Kim Lacey
2014 The Information Society  
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]

Hector Zenil
2021 arXiv   pre-print
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]

John Mark Bishop
2020 arXiv   pre-print
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

J. Mark Bishop
2021 Frontiers in Psychology  
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]

Peter Gjøl Jensen
2018 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
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/ fatcat:fq4x5hnl5rgdzdtolcimzbonxm

Each One of us was Several: Networks, Rhizomes and Web Organisms

Luke Tredinnick
2013 Knowledge organization  
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


Ludger Honnefelder, Edmund Runggaldier, Benedikt Schick
2009 Unity and Time in Metaphysics  
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

Leonard Petnga, Mark Austin
2016 Systems  
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

Paul Torrens
2016 Computation  
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

Justine Cassell
2001 The AI Magazine  
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

M. Usman Iftikhar, Danny Weyns
2012 Electronic Proceedings in Theoretical Computer Science  
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