Results 41 to 50 of about 158 (143)
Integrated HEX-algorithms and applications in machine learning [PDF]
, 2020 Due to current trends in distributed systems and information integration, there is an increasing need for accessing external information sources from within knowledge representation formalisms such as answer set programming (ASP).
Kaminski, Tobias; orcid:
core +1 more source
Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
Mathematical Logic Quarterly, Volume 72, Issue 3, August 2026.ABSTRACT The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers, focused mostly on congruences and divisions. We show that similar methods can be used to extend these characterizations to arbitrary relations and their interplay.
Leonardo Raffaello Maximilian Gasparro +1 more
wiley +1 more source
Intelligent Acousto‐Electrical Metamaterials (IAM) for Sound Source Detection
Advanced Materials, Volume 38, Issue 36, 26 June 2026.Our proposed metamaterial concept enables sound source detection using a single material, in contrast to conventional arrays that require dozens or even hundreds of transducers. We show that the coupled acoustic–vibrational–electrical responses in piezoelectric metamaterials give rise to topology‐governed charge transport, producing distinct voltage ...
Victor Couëdel +7 more
wiley +1 more source
Alzheimer's &Dementia, Volume 22, Issue 6, June 2026.Abstract INTRODUCTION The Target Enablement to Accelerate Therapy Development for AD (TREAT‐AD) bioinformatics pipeline employs a rank‐and‐organize strategy. Disease‐associated genes drive enrichment of large AD‐linked endophenotypes. However, these biological areas were too large to promote hypothesis development or target identification.
Gregory A. Cary +9 more
wiley +1 more source
Constraint Answer Set Programming versus Satisfiability Modulo Theories
, 2016 Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories.
Lierler, Yuliya, Susman, Benjamin
core
Non‐negative Gaussian estimation of variance components in random effects models
Canadian Journal of Statistics, Volume 54, Issue 2, June 2026.Abstract When used to estimate variance components (VCs), confidence intervals (CIs) can be truncated at zero, have a point estimate not in the quoted CI, be empty with positive probability, or be all‐inclusive. This is because they have conflicting dual roles, since they are considered to cover the parameter with a specified probability while also ...
André Plante, Michael Plante
wiley +1 more source
Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles
Software: Practice and Experience, Volume 56, Issue 6, Page 615-642, June 2026.ABSTRACT The ability to reliably explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided explanations must be provably correct, and preferably without redundant information, called minimal explanations.
John Törnblom +2 more
wiley +1 more source
The Plant Journal, Volume 126, Issue 5, June 2026.SUMMARY The legume family originated ca. 60–65 million years ago and soon diversified into at least six lineages (now extant subfamilies). The signal of whole genome duplications (WGD) is apparent in species sampled from all six subfamilies. The early diversification has posed difficulties for resolving the legume backbone structure and the timing of ...
Hyun‐oh Lee +24 more
wiley +1 more source
On the cohomology of finite‐dimensional nilpotent groups and Lie rings
Bulletin of the London Mathematical Society, Volume 58, Issue 6, June 2026.Abstract We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model‐theoretic setting, namely for structures that are definable in a finite‐dimensional theory, which encompasses algebraic groups over algebraically closed fields ...
Samuel Zamour
wiley +1 more source
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories
, 2016 Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories.
Lierler, Yuliya, Susman, Benjamin
core