English
Related papers

Related papers: A Simplification Method of Polymorphic Boolean Fun…

200 papers

Polynomial threshold gates are basic processing units of an artificial neural network. When the input vectors are binary vectors, these gates correspond to Boolean functions and can be analyzed via their polynomial representations. In…

Computational Complexity · Computer Science 2013-07-05 Yi Ming Zou

Results and tools on discrete interaction networks are often concerned with Boolean variables, whereas considering more than two levels is sometimes useful. Multivalued networks can be converted to partial Boolean maps, in a way that…

Discrete Mathematics · Computer Science 2018-12-11 Elisa Tonello

The information processing abilities of a multilayer neural network with a number of hidden units scaling as the input dimension are studied using statistical mechanics methods. The mapping from the input layer to the hidden units is…

Statistical Mechanics · Physics 2009-11-07 Michal Rosen-Zvi , Andreas Engel , Ido Kanter

Symbolic Mathematical tasks such as integration often require multiple well-defined steps and understanding of sub-tasks to reach a solution. To understand Transformers' abilities in such tasks in a fine-grained manner, we deviate from…

Artificial Intelligence · Computer Science 2021-04-30 Vishesh Agarwal , Somak Aditya , Navin Goyal

The rich and diverse dynamics of particle-based systems ultimately originates from the coupling of their degrees of freedom via internal interactions. To arrive at a tractable approximation of such many-body problems, coarse-graining is…

Soft Condensed Matter · Physics 2022-03-31 Matthias Schmidt

A number-conserving cellular automaton is a simplified model for a system of interacting particles. This paper contains two related constructions by which one can find all one-dimensional number-conserving cellular automata with one kind of…

Cellular Automata and Lattice Gases · Physics 2023-06-22 Markus Redeker

Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…

Computational Complexity · Computer Science 2010-06-29 Nadia Creignou , Johannes Schmidt , Michael Thomas

Polyregular functions are the class of string-to-string functions definable by pebble transducers, an extension of finite-state automata with outputs and multiple two-way reading heads (pebbles) with a stack discipline. If a polyregular…

Formal Languages and Automata Theory · Computer Science 2023-06-21 Sandra Kiefer , Lê Thành Dũng Nguyên , Cécilia Pradic

The method of many-body Green's functions is developed for arbitrary systems of electrons and nuclei starting from the full (beyond Born-Oppenheimer) Hamiltonian of Coulomb interactions and kinetic energies. The theory presented here…

Other Condensed Matter · Physics 2020-06-23 Ville J. Härkönen , Robert van Leeuwen , E. K. U. Gross

Iontronics combines ions as charge carriers with electronic-like operations, enabling unique information processing, chemical regulation, and enhanced bio-integrability. Standard simulation tools encounter difficulties in effectively…

Emerging Technologies · Computer Science 2024-12-12 Noa Edri Fraiman , Barak Sabbagh , Gilad Yossifon , Alexander Fish

It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…

Differential Geometry · Mathematics 2007-05-23 R. Feres , A. Zeghib

We prove that the graph of a continuous function $f$, defined on a domain of ${\mathbb C}^n$, is pluripolar if and only if $f$ is holomorphic.

Complex Variables · Mathematics 2013-02-25 N. V. Shcherbina

This paper addresses problems on the structural design of control systems taking explicitly into consideration the possible application to large-scale systems. We provide an efficient and unified framework to solve the following major…

Optimization and Control · Mathematics 2014-09-23 Sergio Pequito , Soummya Kar , A. Pedro Aguiar

This paper proposes a novel and insightful activation method termed FPLUS, which exploits mathematical power function with polar signs in form. It is enlightened by common inverse operation while endowed with an intuitive meaning of…

Computer Vision and Pattern Recognition · Computer Science 2021-11-30 Boxi Duan

Using methods of functional integration, and performing simple Gaussian integrals, I show that an interacting system of electrons can be bosonized in arbitrary dimensions, in terms of the electrostatic potential which mediates the…

Superconductivity · Physics 2007-05-23 Shirish M. Chitanvis

Scattering amplitudes at loop level can be expressed in terms of Feynman integrals. The latter satisfy partial differential equations in the kinematical variables. We argue that a good choice of basis for (multi-)loop integrals can lead to…

High Energy Physics - Theory · Physics 2013-06-26 Johannes M. Henn

We say that a circuit $C$ over a field $F$ functionally computes an $n$-variate polynomial $P$ if for every $x \in \{0,1\}^n$ we have that $C(x) = P(x)$. This is in contrast to syntactically computing $P$, when $C \equiv P$ as formal…

Computational Complexity · Computer Science 2016-05-16 Michael A. Forbes , Mrinal Kumar , Ramprasad Saptharishi

A quantum theory of feedback of bosonic many-atom systems is formulated. The feedback-induced many-atom correlations are treated by use of a parameterized correlation function, for which closed equations of motion are derived. Therefrom the…

Quantum Physics · Physics 2009-11-07 S. Wallentowitz

The conjugate function method is an algorithm for numerical computation of conformal mappings for simply and doubly connected domains. In this paper the conjugate function method is generalized for multiply connected domains. The key…

Numerical Analysis · Mathematics 2017-07-06 Harri Hakula , Tri Quach , Antti Rasila

This paper provides a first example of constructing Lyapunov functions in a class of piecewise linear systems with limit cycles. The method of construction helps analyze and control complex oscillating systems through novel geometric means.…

Chaotic Dynamics · Physics 2013-07-01 Yian Ma , Ruoshi Yuan , Yang Li , Ping Ao , Bo Yuan
‹ Prev 1 4 5 6 7 8 10 Next ›