Results 11 to 20 of about 174,509,923 (100)
On Algebras of Distributions of Binary Formulas for Theories of Unars
Известия Иркутского государственного университета: Серия "Математика", 2016 Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory.
D. Emelyanov
doaj +1 more source
Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids
Известия Иркутского государственного университета: Серия "Математика", 2019 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emelyanov
doaj +1 more source
Invariants of binary forms [PDF]
, 2014 We work over the field of complex numbers. Consider the set V_n of binary forms of degree n, i.e., homogeneous polynomials of degree n in two variables. An invariant of V_n is a polynomial in the coefficients of a form in V_n whose value does not change ...
Popoviciu Draisma, Mihaela Ileana
core +1 more source
, 1998 In previous work we have found it necessary to argue that certain theorems of Kleene algebra hold even when the symbols are interpreted as nonsquare matrices. In this note we define and investigate typed Kleene algebra, a typed version of Kleene algebra
Kozen, Dexter
core +5 more sources
ON SPECIALITY OF BINARY-LIE ALGEBRAS [PDF]
, 2011 In the present work, binary-Lie, assocyclic, and binary (-1,1) algebras are studied. We prove that, for every assocyclic algebra A, the algebra A(-) is binary-Lie. We find a simple non-Malcev binary-Lie superalgebra T that cannot be embedded in A(-s) for
IVAN SHESTAKOV +3 more
core +1 more source
Disjunctive Multiple-Conclusion Consequence Relations [PDF]
, 2019 The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion ...
Nowak, Marek
core +2 more sources
Algebras of distributions of binary isolating formulas of a complete theory
, 2012 41 pages, 1 ...
Shulepov, Ilya V., Sudoplatov, Sergey V.
openaire +2 more sources
PERMANENT AND DOMINANT OF MATRIX OVER INTERVAL MIN-PLUS ALGEBRA [PDF]
A min-plus algebra is a set , where is the set of all real numbers equipped with two binary operations, namely minimum and addition . Every square matrix in min-plus algebra can always be calculated as a permanent and dominant matrix. The
Kurniawan, Vika Yugi +2 more
core +1 more source
Artificial Intelligence for Advanced Functional Materials: Progress and Emerging Frontiers
Advanced Intelligent Systems, EarlyView.Artificial intelligence is transforming the discovery of functional materials by linking synthesis, characterization, simulation, and design in unified workflows. Advances in machine learning, autonomous experimentation, and foundation models are accelerating innovation across energy, electronics, and biomedicine, while revealing new frontiers for ...
Cristiano Malica +38 more
wiley +1 more source
Advanced Physics Research, EarlyView.This graphical abstract illustrates the unified framework of Data Field Theory (DFT), integrating hyperbolic geometry for hierarchical embedding, gauge theory for internal symmetries, renormalization group for multi‐scale dynamics, Lévy processes for heavy‐tailed fluctuations, noncommutative geometry for quantum‐inspired cognition, and higher ...
Mohammadreza Nehzati
wiley +1 more source