Results 21 to 30 of about 34,259 (189)
Discussion on Redundant Processing Algorithm of Association Rules Based on Hypergraph in Data Mining
Journal of Robotics, 2022 With the rapid advancement of big data, it is becoming a great problem for people to find objective information in the database. The relevance data processing rule for digging the information can be the way. Relevance data processing rule for digging the
Jintan Zhu
doaj +1 more source
Learning Probabilities: Towards a Logic of Statistical Learning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We propose a new model for forming beliefs and learning about unknown probabilities (such as the probability of picking a red marble from a bag with an unknown distribution of coloured marbles).
Alexandru Baltag +2 more
doaj +1 more source
Translating dependent type theory into higher order logic [PDF]
, 2006 This paper describes a translation of the complex calculus of dependent type theory into the relatively simpler higher order logic originally introduced by Church. In particular, it shows how type dependency as found in Martin-Lof's Intuitionistic Type Theory can be simulated in the formulation of higher order logic mechanized by the HOL theoremproving
Jacobs, B, Melham, T
openaire +2 more sources
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
(In)consistency of Extensions of Higher Order Logic and Type Theory [PDF]
, 2007 It is well-known, due to the work of Girard and Coquand, that adding polymorphic domains to higher order logic, HOL, or its type theoretic variant ¿HOL, renders the logic inconsistent. This is known as Girard’s paradox, see [4]. But there is also another presentation of higher order logic, in its type theoretic variant called ¿PRED¿, to which ...
openaire +3 more sources
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
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source