Results 271 to 280 of about 69,366 (304)

SYMBOLS ON FORMAL GROUPS

Mathematics of the USSR-Izvestiya, 1982
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Formalizing symbolic boundaries

Poetics, 2018
Abstract Formal efforts to advance culture as an analytic concept can benefit from attending to the human disposition to categorize. I demonstrate this with regard to the concept of symbolic boundaries, which I conceptualize as dual classifications that describe what kinds of behavior or opinions are appropriate for different kinds of people and put ...
openaire   +1 more source

Symbols and the Hamiltonian Formalism

2020
This chapter begins with the conceptual definition of symbol of a differential operator in the classical and in the general algebraic situations and goes on to describe the general scheme of the Hamiltonian formalism in both of these situations.
openaire   +1 more source

Formal Specification of Symbolic-Probabilistic Systems

2004
We consider the formal specification and validation of systems where probabilistic information is not given by means of fixed values but as sets of probabilities. These sets will be intervals contained in (0,1] indicating the possible value of the real probability.
Natalia López, Manuel Núñez 0001, Ismael Rodríguez 0001   +2 more
openaire   +1 more source

FORMAL GROUPS AND THE NORM RESIDUE SYMBOL

Mathematics of the USSR-Izvestiya, 1980
This paper investigates the canonical pairing associated with a one-dimensional formal group law over the ring of integers of a finite extension of and an isogeny , just as the Hilbert symbol is associated with the multiplicative law and the isogeny raising to the th power. Formulas are obtained which generalize the formulas of Artin-Hasse, Iwasawa,
openaire   +3 more sources

Solving symbolic regression problems with formal constraints

Proceedings of the Genetic and Evolutionary Computation Conference, 2019
In many applications of symbolic regression, domain knowledge constrains the space of admissible models by requiring them to have certain properties, like monotonicity, convexity, or symmetry. As only a handful of variants of genetic programming methods proposed to date can take such properties into account, we introduce a principled approach capable ...
Iwo Bladek, Krzysztof Krawiec
openaire   +1 more source

A Formal Model for Detecting Bugs by Symbolic Execution of Programs

Programming and Computer Software, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov   +2 more
openaire   +2 more sources

An environment for formal verification based on symbolic computations

Formal Methods in System Design, 1995
We present an environment for formally verifying hardware, based on symbolic computations. This includes a new concurrency model, called the combinational/sequential or C/S concurrency model which has close ties to hardware. We allow fairness constraints and describe methods for specifying them and for formally verifying in their presence.
Ramin Hojati, Robert K. Brayton
openaire   +1 more source

A System of Symbols for Formal Analysis

Journal of the American Musicological Society, 1957
The present system evolved during the analysis of several hundred classical symphonies, particularly those of Haydn, in which thematic interrelationships challenge any system severely. Shorthand methods usually reflect idiosyncrasies of the analyst: what one finds workable may not prove satisfactory in the hands of another.
openaire   +1 more source

Parallelization of connectionist models based on a symbolic formalism

1997
In this paper we study the parallelization of the inference process for connectionist models. We use a symbolic formalism for the representation of the connectionist models. With this translation, the training mechanism is local in the elements of the network, the computing power is improved in the network nodes and a local hybridization with symbolic ...
José Santos Reyes, Manuel Cabarcos, Ramón P. Otero, José Mira   +3 more
openaire   +1 more source