Results 31 to 40 of about 31,249 (277)
MolE: a foundation model for molecular graphs using disentangled attention
Models that accurately predict properties based on chemical structure are valuable tools in the chemical sciences. However, for many properties, public and private training sets are typically small, making it difficult for models to generalize well ...
Oscar Méndez-Lucio +2 more
doaj +1 more source
Scale‐space image analysis for mapping spotted knapweed in grassland ecosystems
Abstract Premise This study investigates the value of scale‐space representations of spatial features for the identification and mapping of invasive plants using high‐resolution multispectral imagery. Scale‐space representations combine the two‐dimensional spatial domain with a third dimension representing spatial scale, such that features can be ...
Shohreh Sahebi, David J. Hill
wiley +1 more source
Assessing interaction recovery of predicted protein-ligand poses
The field of protein-ligand pose prediction has seen significant advances in recent years, with machine learning-based methods now being commonly used in lieu of classical docking methods or even to predict all-atom protein-ligand complex structures ...
David Errington +3 more
doaj +1 more source
We consider linear recursions of length two and related gap recursions where the indices may not be consecutive integers. Given a linear recursion of length two, we prove the existence of an explicit linear recursion of length [Formula: see text] with ...
Saeree Wananiyakul, Janyarak Tongsomporn
doaj +1 more source
Abstract Information science rests on a compact: its mediating signs maintain a traceable relation to what they describe. Large language models (LLMs) break it architecturally, generating discourse that is statistically plausible yet epistemically ungrounded, while standard metrics (precision, recall, relevance) cannot detect the rupture.
Martin Thellefsen, Alon Friedman
wiley +1 more source
On bar recursion of types 0 and 1 [PDF]
For general information on bar recursion the reader should consult the papers of Spector [8], where it was introduced, Howard [2] and Tait [11]. In this note we shall prove that the terms of Godel's theory T (in its extensional version of Spector [8]
HELMUT SCHWICHTENBERG +1 more
core
Recursively invariant β-recursion theory
AbstractWe introduce recursively invariant β-recursion theory as a new approach towards recursion theory on an arbitraty limit ordinal β. We follow Friedman and Sacks and call a subset of β β-recursively enumerable if it is Σ1-definable over Lβ. Since Friedman-Sacks' notion of a β-finite set is not invariant under β-recursive permutations of β we turn ...
openaire +1 more source
Non-Recursively Constructible Recursive Families of Graphs [PDF]
In a publication by Noy and Ribó, it was shown that recursively constructible families of graphs are recursive. The authors also conjecture that the converse holds; that is, recursive families are also recursively constructible. In this paper, we provide two specific counterexamples to this conjecture, which we then extend to an infinite family of ...
Colleen Bouey +3 more
openaire +3 more sources
Assessment of Gibbs Free Energy Calculation in PI‐Controlled Heating
For description and control of chemical processes in lab or industry thermodynamic variable Gibbs free energy provides opportunity to compare and interpret phenomena, even on a quantitative level. In a case study for PI‐controlled heating, impacts on its limits from control delay until parameter quantization are highlighted and assessed.
Jannik Dutschke +4 more
wiley +1 more source
Cerebral cavernous malformation (CCM) has variable clinical symptoms, including potentially fatal hemorrhagic stroke. Treatment options are very limited, presenting a large unmet need.
Ron Alfa +10 more
doaj +1 more source

