English
Related papers

Related papers: Computing with space: a tangle formalism for chora…

200 papers

A map is an abstract visual representation of a region, taken from a given space, usually designed for final human consumption. Traditional cartography focuses on the mapping of Euclidean spaces by using some distance metric. In this paper…

Digital Libraries · Computer Science 2013-03-26 Valeria Fionda , Claudio Gutierrez , Giuseppe Pirró

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by regions in this space. In this…

Artificial Intelligence · Computer Science 2018-11-15 Lucas Bechberger , Kai-Uwe Kühnberger

Cyberspace is an online world created by growing network of computing and communication technologies. It is a virtual space of the Internet, paralleled to geographic space we are living on. As becoming a recognized component of our society,…

Networking and Internet Architecture · Computer Science 2019-10-23 Congcong Miao , Jilong Wang , Shuying Zhuang , Changqing An

I am most honoured to have the privilege to present the Foreword to this fascinating and wonderfully varied collection of contributions, concerning the nature of computation and of its deep connection with the operation of those basic laws,…

General Literature · Computer Science 2012-05-29 Roger Penrose

An \'{e}tale space over a topological space $Y$ is defined as a local homeomorphism from a topological space $X$ into $Y$. They often come up in topos theory because of the equivalence between sheaves and \'{e}tale spaces over a space. In…

Logic · Mathematics 2026-05-01 Matthew de Brecht

As known, any numerical simulation is composed of two parts: (1) the initial part of writing the relevant code and (2) the running of this code on the computer screen. The second part of running the program is extensively discussed…

Data Analysis, Statistics and Probability · Physics 2007-05-23 D. Bar

Computational complexity characterizes the usage of spatial and temporal resources by computational processes. In the classical theory of computation, e.g. in the Turing Machine model, computational processes employ only local space and…

Quantum Physics · Physics 2025-09-25 Chris Fields , James F. Glazebrook , Antonino Marciano , Emanuele Zappala

Computational thinking is a new problem soling method named for its extensive use of computer science techniques. It synthesizes critical thinking and existing knowledge and applies them in solving complex technological problems. The term…

Artificial Intelligence · Computer Science 2012-12-05 Michael Gr. Voskoglou , Sheryl Buckley

A stronger foundation for earlier work on the effects of number scaling, and local mathematics is described. Emphasis is placed on the effects of scaling on coordinate systems. Effects of scaling are represented by a scalar field, $\theta,$…

Mathematical Physics · Physics 2015-06-19 Paul Benioff

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

For centuries, the rich nocturnal environment of the starry sky could be modelled only by analogue tools such as paper planispheres, atlases, globes and numerical tables. The immersive sky simulator of the twentieth century, the…

Instrumentation and Methods for Astrophysics · Physics 2021-04-05 Georg Zotti , Susanne M Hoffmann , Alexander Wolf , Fabien Chéreau , Guillaume Chéreau

The CLEARS (Computational Linguistics Education and Research for Semantics) tool provides a graphical interface allowing interactive construction of semantic representations in a variety of different formalisms, and using several…

cmp-lg · Computer Science 2008-02-03 David Milward , Karsten Konrad , Holger Maier , Manfred Pinkal

Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…

Symbolic Computation · Computer Science 2008-11-26 Kasper Peeters

This paper presents a computer program, written in Maple, that allows a user to simulate certain aspects of Shor's quantum factoring algorithm on a desktop or laptop computer. The program does not simulate the unitary operations carried out…

Quantum Physics · Physics 2007-05-23 J. F. Schneiderman , M. E. Stanley , P. K. Aravind

In quantum computing, the computation is achieved by linear operators in or between Hilbert spaces. In this work, we explore a new computation scheme, in which the linear operators in quantum computing are replaced by (higher) functors…

Quantum Physics · Physics 2024-07-09 Liang Kong , Hao Zheng

Quantum computing exposes the brilliance of quantum mechanics through computer science and, as such, gives oneself a marvelous and exhilarating journey to go through. This article leads along that journey with a historical and current…

Popular Physics · Physics 2024-03-18 Robert Kudelić

The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…

Mathematical Physics · Physics 2018-10-01 Arnold Neumaier

Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software…

Programming Languages · Computer Science 2024-09-09 Tony Garnock-Jones

Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…

General Topology · Mathematics 2010-04-20 Gintaras Valiukevicius

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by regions in this space. Our recent…

Artificial Intelligence · Computer Science 2017-12-08 Lucas Bechberger , Kai-Uwe Kühnberger