Results 31 to 40 of about 5,181 (248)
On simple generators of recursively enumerable languages
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Intersection-closed full AFL and the recursively enumerable languages
A study is made of conditions on a language L which ensure that the smallest intersection-closed full AFL containing L (written ℱ^∩(L)) does or does not contain all recursively enumerable languages. For example, it is shown that if L = {ani/j⩾0} and limi→∞ inf(ni+1/ni) > 1, then ℱ^∩(L) contains all recursively enumerable languages.
Seymour Ginsburg, Jonathan Goldstine
openaire +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
On optimal heuristic randomized semidecision procedures, with application to proof complexity [PDF]
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist.
Hirsch, Edward A., Itsykson, Dmitry
core +7 more sources
On the power of cooperation: a regular representation of recursively enumerable languages
A cooperating distributed grammar system (CDGS), as introduced by \textit{E. Csuhaj-Varju} and \textit{J. Dassow} [J. Inform. Process. Cybern. EIK 26, 49-63 (1990)] is a construct \(\gamma=(N,T,G_ 1,\dots\), \(G_ n,S)\), where \(N\), \(T\) are nonterminal and terminal vocabularies, \(S\in N\) and \(G_ i=(N_ i,T_ i,S_ i,P_ i)\) are grammars with \(N_ i ...
Erzsébet Csuhaj-Varjú, Jozef Kelemen
openaire +1 more source
Harnessing Machine Learning to Understand and Design Disordered Solids
This review maps the dynamic evolution of machine learning in disordered solids, from structural representations to generative modeling. It explores how deep learning and model explainability transform property prediction into profound physical insight.
Muchen Wang, Yue Fan
wiley +1 more source
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source
Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
Ideal Reasoners don’t Believe in Zombies [PDF]
The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and
Fraga Dantas, Danilo
core +3 more sources

