Results 21 to 30 of about 555,741 (309)

The first-order theory of ordering constraints over feature trees [PDF]

Discrete Mathematics & Theoretical Computer Science, 2001
The system FT ≤ of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees.
Martin Müller, Joachim Niehren, Ralf Treinen   +2 more
doaj   +2 more sources

Direct and Inverse Problems of Spectral Analysis for Arbitrary-Order Differential Operators with Nonintegrable Regular Singularities

Современная математика: Фундаментальные направления, 2021
A short review is presented of results on the spectral theory of arbitrary order ordinary differential operators with non-integrable regular singularities.
V. A. Yurko
doaj   +1 more source

ON THE THEORY OF ORDER IN ISAAC WARE'S : A Complete Body of Archtecture

Journal of Architecture, Planning and Environmental Engineering (Transactions of AIJ), 1990
Kazuhiko HOSHI
openalex   +3 more sources

A local complete active space 2nd-order perturbation theory method

, 2016
Filipe Menezes
openalex   +4 more sources

Grounded Theory with the Triple-C Model in an Effort to Minimize Academic Procrastinations in Learning Physics Based on Livezopadizdo

Ideguru, 2022
Procrastination in learning physics by students who are seen from the point of view of their failure in working on, completing, and collecting answers to physics which is the background of this research.
Hartini Dewi
doaj   +1 more source

Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories

Mathematics, 2022
In this survey, we report our recent work concerning combination results for interpolation and uniform interpolation in the context of quantifier-free fragments of first-order theories.
Silvio Ghilardi, Alessandro Gianola
doaj   +1 more source

Open Descendants of Non-Diagonal Invariants [PDF]

, 1999
The open descendants of simple current automorphism invariants are constructed. We consider the case where the order of the current is two or odd. We prove that our solutions satisfy the completeness conditions, positivity and integrality of the open and
A.N. Schellekens, Bantay, Behrend, Bianchi, Cardy, Fioravanti, Fuchs, Fuchs, Fuchs, Huiszoon, Intriligator, L.R. Huiszoon, Lewellen, N. Sousa, Pradisi, Pradisi, Sagnotti, Sagnotti, Schellekens, Schellekens, Schellekens, Verlinde   +21 more
core   +2 more sources

A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory

Axioms, 2021
It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due ...
Marcoen J. T. F. Cabbolet
doaj   +1 more source

FANS’ (ESTH)ET(H)ICS ELABORATION: POACHING AS TRUE LOVE PRACTICE [PDF]

RAE: Revista de Administração de Empresas, 2022
The current study takes the subculture of fans as being the core of productive consumers, and assumes consumption to be a subjectivation practice based on Foucault's theory, which defines subjectivity as the result of an ethical and aesthetic elaboration
Thiago Ianatoni Camargo, André Luiz Maranhão de Souza-Leão, Bruno Melo Moura   +2 more
doaj   +1 more source

Percolation model of combustion

MATEC Web of Conferences, 2018
Strong dependencies in equations cause dramatic boost of reaction rates in some rare but meaningful areas of a combustion gap. That leads to intermittent behavior of some values and for these reasons averaging approaches in calculations are not relevant.
Rybakov D., Lamazhapov Kh.
doaj   +1 more source