Results 61 to 70 of about 716,706 (268)

SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED LOGIC FUNCTIONS

Системный анализ и прикладная информатика, 2016
The rapid development of methods of error-correcting coding, cryptography, and signal synthesis theory based on the principles of many-valued logic determines the need for a more detailed study of the forms of representation of functions of many-valued ...
A. V. Sokolov, O. N. Zhdanov, O. A. Ayvazian   +2 more
doaj  

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, Kostya S. Novoselov, Seongmin Kim, Yousung Jung, Silvana Botti, Miguel A. L. Marques, Tigany Zarrouk, Miguel A. Caro, Sanggyu Chong, Michele Ceriotti, Marivi Fernandez‐Serra, Sara Navarro‐Rodriguez, Aakash Ashok Naik, Janine George, Ömer Hasan Omar, Victor Trinquet, Gian‐Marco Rignanese, Andrey Ustyuzhanin, Sonia Conesa‐Boj, Juan Rojo, Minh‐Tuan Dau, Simon M.‐M. Dubois, Jean‐Christophe Charlier, Jose H. Garcia, Romain Gautier, Rachid Laref, Junfeng Qiao, Giovanni Pizzi, Nicola Marzari, Camilla Coletti, Antonio Rossi, Jean‐Lucas Uslu, Chiara Zanardi, Vincenzo Palermo, Wide Hogenhout, Natalia Konchakova, Peter Klein, Tejs Vegge, Stephan Roche   +38 more
wiley   +1 more source

The Herfindahl neutral point: A firm‐level threshold for managing market concentration with evidence from US hog packing

American Journal of Agricultural Economics, EarlyView.
Abstract This paper derives a firm‐level threshold, the Herfindahl Neutral Point, from the standard concentration index used in merger review. At this threshold, a marginal expansion leaves the index unchanged. Firms below the threshold reduce concentration when they expand; firms above it increase concentration.
Andrew J. Keller, Krishna P. Paudel
wiley   +1 more source

From Logical to Distributional Models [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models.
Anne Preller
doaj   +1 more source

The epistemic ceiling: Veteran practitioners' perspectives on primary qualification entry standards for teaching secondary mathematics in Scotland

British Educational Research Journal, EarlyView.
Abstract This paper presents an exploratory analysis of contemporary curricular and professional qualification policies in the Scottish education system, focusing on minimum qualification thresholds for mathematics teaching. The study examines how veteran secondary mathematics practitioners perceive the structural and pedagogical implications of using ...
Paul Argyle McDonald
wiley   +1 more source

LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS [PDF]

The Review of Symbolic Logic, 2010
We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game.
Olde Loohuis, L., Venema, Y.
openaire   +3 more sources

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Bulletin of the Section of Logic, 2022
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

Algebraic Approach to Algorithmic Logic [PDF]

Formalized Mathematics, 2014
Summary We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined.
openaire   +2 more sources

Eco‐Innovation, Economic Complexity, and Sustainability: A Bibliometric and Systematic Literature Review

Business Strategy and the Environment, EarlyView.
ABSTRACT This study systematizes the literature on eco‐innovation and economic complexity, aiming to understand how the sophistication of productive structures shapes countries' capacity to develop environmentally responsible innovations, and how eco‐innovation may, in turn, influence productive sophistication.
Gregory Matheus Pereira de Moraes, Diogo Ferraz   +1 more
wiley   +1 more source

A Neighbourhood Semantics for the Logic TK

Principia: An International Journal of Epistemology, 2011
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK.
Hércules de Araújo Feitosa, Cezar A. Mortari   +1 more
doaj   +3 more sources