Results 51 to 60 of about 18,076 (303)
A Logic For Inductive Probabilistic Reasoning [PDF]
Synthese, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Electrolyte Design for Simultaneous Interfacial Stabilization in Si||NCM811 Full Cells
Advanced Science, EarlyView.A dual‐additive electrolyte (DAEL) system was optimized to regulate interfacial reactions in both Si anode and the NCM811 cathode. DAEL suppresses gas evolution and degradation, enabling stable interphases. These synergistic effects enhance electrochemical stability and extend battery cycle life in high‐energy lithium‐ion cells.
Seo Yun Jang +6 more
wiley +1 more source
Using Abductive Research Logic to Construct a Rigorous Explanation of Amorphous Evaluation Findings
Journal of MultiDisciplinary Evaluation, 2010 Background: Two kinds of research logic prevail in scientific research: deductive research logic and inductive research logic. However, both fail in the field of evaluation, especially evaluation conducted in unfamiliar environments.
Miri Levin-Rozalis
doaj +1 more source
Deeply Semantic Inductive Spatio-Temporal Learning [PDF]
, 2016 We present an inductive spatio-temporal learning framework rooted ininductive logic programming. With an emphasis on visuo-spatial language, logic,and cognition, the framework supports learning with relational spatio-temporalfeatures identifiable in a ...
Bhatt, Mehul, +2 more
core
Advanced Science, EarlyView.Adult stem cell therapy requires more than high in vitro potency. This review proposes a systems framework in which cell‐intrinsic programs, instructive microenvironmental cues, and pre‐/post‐delivery engineering are co‐designed under standardized translational rules.
Soo‐Rim Kim +2 more
wiley +1 more source
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures [PDF]
, 2004 Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel +5 more
core +1 more source
Advanced Science, EarlyView.Safe and precise bioorthogonal therapy of tumors was achieved by an ultrasound‐responsive heterostructured nanoreactor with on‐demand catalytic activity. Under piezoelectric catalysis, the system undergoes reversible Pd2+/Pd0 redox cycling, concurrently enabling spatiotemporally controlled prodrug activation and self‐terminating catalytic dose ...
Daqing Xia +9 more
wiley +1 more source
Exploiting Belief Bases for Building Rich Epistemic Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed ...
Emiliano Lorini
doaj +1 more source
Relational Rippling: A General Approach [PDF]
, 1995 We propose a new version of rippling, called relational rippling. Rippling is a heuristic for guiding proof search, especially in the step cases of inductive proofs. Relational rippling is designed for representations in which value passing is by shared
Vincent Lombart +3 more
core