English
Related papers

Related papers: Visualization of the Computation Process of a Univ…

200 papers

Program classification can be regarded as a high-level abstraction of code, laying a foundation for various tasks related to source code comprehension, and has a very wide range of applications in the field of software engineering, such as…

Software Engineering · Computer Science 2022-05-03 Kesu Wang , Meng Yan , He Zhang , Haibo Hu

The complexity and cost of building and running high-power electrical systems make the use of simulations unavoidable. The simulations available today provide great understanding about how systems really operate. This paper helps the reader…

Accelerator Physics · Physics 2016-07-06 Narcisse Ngada

Humans are universal decision makers: we reason causally to understand the world; we act competitively to gain advantage in commerce, games, and war; and we are able to learn to make better decisions through trial and error. In this paper,…

Artificial Intelligence · Computer Science 2021-11-01 Sridhar Mahadevan

Inspired by the emergent behaviors in large language models that generalized human intelligence, the research community is pursuing similar emergent capabilities within world models, with a emphasis on modeling the physical world. Within…

Artificial Intelligence · Computer Science 2026-05-21 Kunqi Xu , Jitao Li , Jianglong Ye , Tianshu Tang , Isabella Liu , Sifei Liu , Xueyan Zou

Modelling non-linear activation functions on quantum computers is vital for quantum neurons employed in fully quantum neural networks, however, remains a challenging task. We introduce an amplitude-based implementation for approximating…

Quantum Physics · Physics 2023-02-09 Jonas Koppe , Mark-Oliver Wolf

We introduce a formal definition of Wolfram's notion of computational process based on cellular automata, a physics-like model of computation. There is a natural classification of these processes into decidable, intermediate and complete.…

Computational Complexity · Computer Science 2009-06-18 Klaus Sutner

The cellular automata with local permutation invariance are considered. We show that in the two-state case the set of such automata coincides with the generalized Game of Life family. We count the number of equivalence classes of the rules…

Mathematical Physics · Physics 2007-05-23 Vladimir V. Kornyak

A simple sparse coding mechanism appears in the sensory systems of several organisms: to a coarse approximation, an input $x \in \R^d$ is mapped to much higher dimension $m \gg d$ by a random linear transformation, and is then sparsified by…

Neural and Evolutionary Computing · Computer Science 2020-06-09 Sanjoy Dasgupta , Christopher Tosh

Neural networks that compute over graph structures are a natural fit for problems in a variety of domains, including natural language (parse trees) and cheminformatics (molecular graphs). However, since the computation graph has a different…

Neural and Evolutionary Computing · Computer Science 2017-02-23 Moshe Looks , Marcello Herreshoff , DeLesley Hutchins , Peter Norvig

The neural mechanism of memory has a very close relation with the problem of representation in artificial intelligence. In this paper a computational model was proposed to simulate the network of neurons in brain and how they process…

Neurons and Cognition · Quantitative Biology 2020-12-02 Hui Wei

I describe a quantum cellular automaton capable of performing universal quantum computation. The automaton has an elementary transition function that acts on Margolus cells of $2\times 2$ qubits, and both the ``quantum input'' and the…

Quantum Physics · Physics 2009-11-10 Robert Raussendorf

We explore the main processes involved in the evolution of general quantum systems by means of Diagrams of States, a novel method to graphically represent and analyze how quantum information is elaborated during computations performed by…

Quantum Physics · Physics 2009-12-02 Sara Felloni , Alberto Leporati , Giuliano Strini

In a compiler, an essential component is the register allocator. Two main algorithms have dominated implementations, graph coloring and linear scan, differing in how live values are modeled. Graph coloring uses an edge in an `interference…

Programming Languages · Computer Science 2020-11-12 Ian Rogers

This paper examines an area of Game Theory called Voting Power Theory. With the adoption of a measure theoretic framework it argues that the many different indices and tools currently used for measuring voting power can be replaced by just…

Statistics Theory · Mathematics 2012-01-24 Sreejith Das , Iead Rezek

Taking the absolute value of consecutive differences of a cyclicly ordered list of integers constitutes a simple dynamical system. For lists of lenght a power of two the process will terminate in all zeros, but examples with arbitarily long…

Dynamical Systems · Mathematics 2011-09-02 Benedict Freedman

This paper introduces a special type of systems, defines their properties, and then demonstrates that a reduction machine for pure untyped extensional lambda calculus can be implemented as a system of the introduced type. Specifically, we…

Logic in Computer Science · Computer Science 2010-11-22 Anton Salikhmetov

Probabilistic circuits are a unifying representation of functions as computation graphs of weighted sums and products. Their primary application is in probabilistic modeling, where circuits with non-negative weights (monotone circuits) can…

Machine Learning · Computer Science 2025-02-26 Benjie Wang , Guy Van den Broeck

Computational devices combining two or more different parts, one controlling the operation of the other, for example, derive their power from the interaction, in addition to the capabilities of the parts. Non-classical computation has…

Emerging Technologies · Computer Science 2012-10-03 Susan Stepney , Viv Kendon , Peter Hines , Angelika Sebald

A quantum processor is a programmable quantum circuit in which both the data and the program, which specifies the operation that is carried out on the data, are quantum states. We study the situation in which we want to use such a processor…

Quantum Physics · Physics 2009-11-11 Mark Hillery , Mario Ziman , Vladimir Buzek

Various data visualization applications such as reverse engineering and interactive authoring require a vocabulary that describes the structure of visualization scenes and the procedure to manipulate them. A few scene abstractions have been…

Human-Computer Interaction · Computer Science 2024-08-12 Zhicheng Liu , Chen Chen , John Hooker