Results 21 to 30 of about 318 (223)

The cosemanticness of Kaiser hulls of fixed classes of models

Қарағанды университетінің хабаршысы. Математика сериясы
In this article, within the framework of the study of Jonsson theories, the model-theoretic properties of cosemanticness classes belonging to the factor set of the Jonsson spectrum of an existentially closed models’ subclass of some Jonsson theory in a ...
A.R. Yeshkeyev, I.O. Tungushbayeva, A.K. Koshekova   +2 more
doaj   +1 more source

Generic expansions of countable models

, 2012
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity
Zambella D., Barbina S.
core   +2 more sources

Bilinear spaces over a fixed field are simple unstable [PDF]

, 2023
We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical frameworks. First we
Kamsma, Mark
core   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Staging an Experience of Cultural Heritage Preservation: Consumers' Willingness to Pay for Heirloom Rice in the Philippines

Agribusiness, EarlyView.
ABSTRACT The Cordillera Administrative Region in the Philippines is home to terraced rice embedded in centuries of cultural heritage. However, weak market incentives threaten sustained production, jeopardizing indigenous communities' cultural heritage and the in situ biodiversity of rice genetic resources.
Kofi Britwum, Matty Demont
wiley   +1 more source

Gate‐Align‐SED: Semi‐Supervised Sound Event Detection via Adaptive Feature Gating and Cross‐Task Alignment in Situation Awareness

Advanced Intelligent Systems, EarlyView.
Overview of the proposed Gate‐Align‐SED, including two stages of training: (1) Mean‐Teacher SSL Training; and (2) Enhancer Model Training. In complex real‐world environments such as disaster monitoring, effective sound event detection (SED) is often hindered by the presence of noise and limited labeled data.
Jieli Chen, Li‐Minn Ang, Chee Shen Lim, Kah Phooi Seng, Jeremy Smith   +4 more
wiley   +1 more source

On Conditional Axioms and Associated Inference Rules

Axioms
In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α(v ...
Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara-Martín   +2 more
doaj   +1 more source

The psychosocial toll of Dublin III on asylum seekers in the Netherlands

American Journal of Community Psychology, EarlyView.
Abstract The Dublin III Regulation determines which EU Member State is responsible for examining asylum claims, but its implementation carries significant consequences for those subjected to it. This study examines how Dublin III, as implemented in the Netherlands, affects asylum seekers' psychosocial wellbeing using Silove′s Adaptation and Development
Imen El Amouri
wiley   +1 more source

Classifying topoi and finite forcing [PDF]

, 1983
We show that Robinson's finite forcing, for a theory , is a universal construction in the sense of categorical algebra: it is the satisfaction relation for the universal model in the classifying topos of a certain universal Horn theory defined from ...
Scedrov, Andrej, Blass, Andreas
core   +1 more source

The Diagnosis That Arrived Decades Late: Living Without and Then With Myhre Syndrome

American Journal of Medical Genetics Part C: Seminars in Medical Genetics, EarlyView.
ABSTRACT Myhre syndrome (MIM #139210) is a rare multisystem disorder first described in 1981, characterized by short stature, neurodevelopmental delay, joint contractures, and cardiopulmonary complications. Its molecular basis, recurrent pathogenic variants in SMAD4, was not discovered until 2011. This narrative is based on a review of medical records,
Abdallah F. Elias
wiley   +1 more source