Results 41 to 50 of about 168,182,808 (297)

The "fundamental theorem" for the algebraic K-theory of spaces. II: The canonical involution [PDF]

, 2002
Hüttemann T, Klein JR, Vogell W, Waldhausen F, Williams B. The "fundamental theorem" for the algebraic K-theory of spaces. II: The canonical involution. Journal of Pure and Applied Algebra.
Waldhausen, Friedhelm, Williams, Bruce, Vogell, Wolrad, Hüttemann, Thomas, Klein, John R.   +4 more
core   +1 more source

Research on group type theory and its functorial semantic models in category logic.

PLoS ONE
This paper explores the introduction of group structures within type theory, drawing from the algebraic theory proposed by Roy L. Crole. We define types with group structures and demonstrate that models of these types in categories with finite products ...
Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng   +3 more
doaj   +1 more source

Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane, Salama Makni, Mourad Kchaou, Ahmed El Hajjaji   +3 more
wiley   +1 more source

Algebraic entropy for algebraic maps [PDF]

, 2015
We propose an extension of the concept of algebraic entropy, as introduced by Bellon and Viallet for rational maps, to algebraic maps (or correspondences) of a certain kind. The corresponding entropy is an index of the complexity of the map.
Hone, A. N. W., Zullo, F., RAGNISCO, Orlando, Zullo, Federico, Hone, Andrew N.W.   +4 more
core   +1 more source

Structure and Combinatorics on Right Groups

Mathematics
Right groups form an important bridge between group theory and semigroup theory, combining the algebraic symmetry of groups with the one-sided structure of right zero semigroups.
Aftab Hussain Shah, Dilawar Juneed Mir, Bana Al Subaiei   +2 more
doaj   +1 more source

Petrographic structures and Hardy – Weinberg equilibrium

Записки Горного института, 2020
The article is devoted to the most narrative side of modern petrography – the definition, classification and nomenclature of petrographic structures. We suggest a mathematical formalism using the theory of quadratic forms (with a promising extension to ...
Yury L. VOYTEKHOVSKY, Alena A. ZAKHAROVA
doaj   +1 more source

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

Advanced Engineering Materials, EarlyView.
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani, Mohamed‐Ali Belloum, Laurence Boudet, Valentin Fouillard, Edwin Friedmann, Guillaume Lacharme, Ali Mahmoud, Jean‐Philippe Poli   +7 more
wiley   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Algebraic Quantum Field Theory [PDF]

, 2006
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras,
Halvorson, Hans, Mueger, Michael
core  

Categorical structures for type theory in univalent foundations [PDF]

Logical Methods in Computer Science, 2018
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in univalent type
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky   +2 more
doaj   +1 more source