Results 21 to 30 of about 37,011 (230)
Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms [PDF]
, 2008 Integrating heterogeneous data from sources as diverse as web pages, digital libraries, knowledge bases, the Semantic Web and databases is an open problem.
Price, S, Flach, PA
core +1 more source
Topological Completeness for Higher-Order Logic
, 2018 Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics".
Steven Awodey (3881575) +1 more
core +3 more sources
Cut-elimination in functional higher-order logic [PDF]
, 2016 It is known that there can be no elementary (reductive) proof of cut-elimination for a sequent calculus of higher-order logic, since this would provide an elementary proof of consistency of PA. Thus the cut-elimination proofs for higher-order calculi are
Pona, Nika
core +1 more source
Theory Propagation and Reification [PDF]
, 2015 SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, J. M. +5 more
core +1 more source
Geometrisation of first-order logic
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Binding-Time Analysis for Mercury
, 2004 In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available in Mercury programs, that allows the analyser to reason with partially ...
Wim Vanhoof +6 more
core +1 more source
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Free Higher-Order Logic - Notion, Definition and Embedding in HOL [PDF]
, 2020 Free logics are a family of logics that are free of any existential assumptions. This family can roughly be divided into positive, negative, neutral and supervaluational free logic whose semantics differ in the way how nondenoting terms are treated ...
Makarenko, Irina
core +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source