Search Results - "Tucker, John V"

Synthetic Fracterm Calculus by Bergstra, Jan, Tucker, John V

“…Previously, in [Bergstra and Tucker 2023], we provided a systematic description of elementary arithmetic concerning addition, multiplication, subtraction and…”
Get full text

Naive Fracterm Calculus by Bergstra, Jan, Tucker, John V.

“…An outline is provided of a new perspective on elementary arithmetic, based on addition, multiplication, subtraction and division, which is informal and unique…”
Get full text

Which Arithmetical Data Types Admit Fracterm Flattening? by Bergstra, Jan A., Tucker, John V.

“…The formal theory of division in arithmetical algebras reconstructs fractions as syntactic objects called fracterms. Basic to calculation, is the…”
Get full text

Computational complexity with experiments as oracles by Beggs, Edwin, Costa, José Félix, Loff, Bruno, Tucker, John V

“…We discuss combining physical experiments with machine computations and introduce a form of analogue–digital (AD) Turing machine. We examine in detail a case…”
Get full text

On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness by Bergstra, Jan A, Tucker, John V

“…Abstract Common meadows are arithmetic structures with inverse or division, made total on $0$ by a flag $\bot $ for ease of calculation. We examine some…”
Get full text

‘I am not a number’: Conceptualising identity in digital surveillance by Wang, Victoria, Tucker, John V.

“…Surveillance, now a commonplace phenomenon in everyday life, has been explored from various disciplines over three decades. Today's surveillance practices…”
Get full text

A model of systems with modes and mode transitions by Beggs, Edwin, Tucker, John V.

“…We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own…”
Get full text

Phatic systems in digital society by Wang, Victoria, Tucker, John V.

“…In our contemporary society, phatic technologies routinely establish, develop and maintain personal and emotional relationships across time and space. This…”
Get full text

Surveillance and identity: conceptual framework and formal models by Wang, Victoria, Tucker, John V

Get full text

Axiomatizing physical experiments as oracles to algorithms by Beggs, Edwin J., Costa, José Félix, Tucker, John V.

“…We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our…”
Get full text

Phatic technologies in modern society by Wang, Victoria, Tucker, John V., Haines, Kevin

“…A phatic technology’s purpose is to establish, develop and maintain personal and social relationships. The invention and development of phatic technologies,…”
Get full text

The data type of spatial objects by Johnson, Kenneth, Tucker, John V.

“…A spatial object consists of data assigned to points in a space. Spatial objects, such as memory states and three dimensional graphical scenes, are diverse and…”
Get full text

On phatic technologies for creating and maintaining human relationships by Wang, Victoria, Tucker, John V., Rihll, Tracey E.

“…In our time, with the growth in the Internet and associated technologies, technology and society are increasingly integrated. Although technology studies focus…”
Get full text

Oracles that measure thresholds: the Turing machine and the broken balance by Beggs, E., Costa, J. F., Pocas, D., Tucker, J. V.

“…What can algorithms compute with the help of information provided by an oracle that is a physical system? We have developed a theory that combines Turing…”
Get full text

Constructive Volume Geometry by Chen, Min, Tucker, John V.

“…We present an algebraic framework, called Constructive Volume Geometryn (CVG), for modelling complex spatial objects using combinational operations. By…”
Get full text

Deviance and Control in Communities with Perfect Surveillance – The Case of Second Life by Wang, Victoria, Haines, Kevin, Tucker, John V

“…Advanced cybercommunities are communities in which perfect surveillance is possible – software tools allow everything to be observed, recorded, archived, pored…”
Get full text

Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero by Bergstra, Jan A., Tucker, John V.

“…Abstract Arithmetical texts involving division are governed by conventions that avoid the risk of problems to do with division by zero (DbZ). A model for…”
Get full text

People watching: Abstractions and orthodoxies of monitoring by Wang, Victoria, Tucker, John V.

“…Our society has an insatiable appetite for data. Much of the data is collected to monitor the activities of people, e.g., for discovering the purchasing…”
Get full text

Partial arithmetical data types of rational numbers and their equational specification by Bergstra, Jan A., Tucker, John V.

“…Upon adding division to the operations of a field we obtain a meadow. It is conventional to view division in a field as a partial function, which complicates…”
Get full text

Eager Term Rewriting For The Fracterm Calculus Of Common Meadows by Bergstra, Jan A, Tucker, John V

“…Abstract Eager equality is a novel semantics for equality in the presence of partial operations. We consider term rewriting for eager equality for arithmetic…”
Get full text