Results 31 to 40 of about 15,119 (232)
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
Mapping Properties of Co-existentially Closed Continua [PDF]
A continuous surjection between compacta is called co-existential if it is the second of two maps whose composition is a standard ultracopower projection.
Bankston, Paul
core +1 more source
Homogeneity and prime models in torsion-free hyperbolic groups [PDF]
We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$.
Houcine, Abderezak Ould
core +3 more sources
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
Propositional Dynamic Logic for Message-Passing Systems [PDF]
We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
B. Bollig and D. Kuske +13 more
core +4 more sources
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 +4 more
wiley +1 more source
Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph [PDF]
We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph $R$. As a consequence we show that, for any countable graph $\Gamma$, there are uncountably many maximal subgroups of the endomorphism
Clifford +10 more
core +2 more sources
The psychosocial toll of Dublin III on asylum seekers in the Netherlands
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
Some applications of the ultrapower theorem to the theory of compacta [PDF]
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn allows analogs of
Bankston, Paul
core
Model Theory of Fields with Virtually Free Group Actions
For a group $G$, we define the notion of a $G$-kernel and show that the properties of $G$-kernels are closely related with the existence of a model companion of the theory of Galois actions of $G$.
Beyarslan, Özlem, Kowalski, Piotr
core +1 more source

