Skip to main content Accessibility help
×
  1. Home
  2. Browse subjects
  3. Computer Science
  4. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

48285 results in Computer Science

Page 259 of 2415

Introduction to Choreographies
  • Fabrizio Montesi
  • Published online:
    11 May 2023
    Print publication:
    25 May 2023
  • In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that. Choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies and their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.

Algorithmic Information Dynamics
  • A Computational Approach to Causality with Applications to Living Systems
  • Hector Zenil, Narsis A. Kiani, Jesper Tegnér
  • Published online:
    11 May 2023
    Print publication:
    25 May 2023
  • Biological systems are extensively studied as interactions forming complex networks. Reconstructing causal knowledge from, and principles of, these networks from noisy and incomplete data is a challenge in the field of systems biology. Based on an online course hosted by the Santa Fe Institute Complexity Explorer, this book introduces the field of Algorithmic Information Dynamics, a model-driven approach to the study and manipulation of dynamical systems . It draws tools from network and systems biology as well as information theory, complexity science and dynamical systems to study natural and artificial phenomena in software space. It consists of a theoretical and methodological framework to guide an exploration and generate computable candidate models able to explain complex phenomena in particular adaptable adaptive systems, making the book valuable for graduate students and researchers in a wide number of fields in science from physics to cell biology to cognitive sciences.

  • A low-cost indoor positioning system based on data-driven modeling for robotics research and education

  • Junlin Ou, Seong Hyeon Hong, Tristan Kyzer, Haizhou Yang, Xianlian Zhou, Yi Wang
  • Journal:
    Robotica / Volume 41 / Issue 9 / September 2023
    Published online by Cambridge University Press:
    11 May 2023, pp. 2648-2667

  • This paper presents a low-cost, accurate indoor positioning system that integrates image acquisition and processing and data-driven modeling algorithms for robotics research and education. Multiple overhead cameras are used to obtain normalized image coordinates of ArUco markers, and a new procedure is developed to convert them to the camera coordinate frame. Various data-driven models are proposed to establish a mapping relationship between the camera and the world coordinates. One hundred fifty data pairs in the camera and world coordinates are generated by measuring the ArUco marker at different locations and then used to train and test the data-driven models. With the model, the world coordinate values of the ArUco marker and its robot carrier can be determined in real time. Through comparison, it is found that a straightforward polynomial regression outperforms the other methods and achieves a positioning accuracy of about 1.5 cm. Experiments are also carried out to evaluate its feasibility for use in robot control. The developed system (both hardware and algorithms) is shared as an open source and is anticipated to contribute to robotic studies and education in resource-limited environments and underdeveloped regions.

  • ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC

  • Part of
  • BRUNO DA RÉ, DAMIAN SZMUC, EMMANUEL CHEMLA, PAUL ÉGRÉ
  • Journal:
    The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
    Published online by Cambridge University Press:
    11 May 2023, pp. 682-704
    Print publication:
    September 2024

  • Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible.

Page 259 of 2415