Results 91 to 100 of about 24,485 (301)
Inductive reasoning about unawareness [PDF]
, 2013 We develop a model of games with awareness that allows for differential levels of awareness. We show that, for the standard modal-logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware ...
Quiggin, John, Grant, Simon
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Reasoned modelling critics: turning failed proofs into modelling guidance [PDF]
, 2011 The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose
Gudmund Grov +8 more
core +1 more source
Advanced Science, EarlyView.Magnetoelectric nanoparticles (MENPs) enable fully wireless, minutely invasive neuromodulation, and potentially neural recording, by converting magnetic into electric and, conversely, electric into magnetic fields, respectively, at high spatiotemporal resolution.
Elric Zhang +14 more
wiley +1 more source
Knowledge Selection in Category-Based Inductive Reasoning [PDF]
, 2010 Current theories of category-based inductive reasoning can be distinguished by the emphasis they place on structured and unstructured knowledge. Theories which draw on unstructured knowledge focus on associative strength, or temporal and spatial ...
CRISP-BRIGHT, AIMEE,KAY
core
Research on a dynamic self-learning efficient intrusion detection model
Tongxin xuebao, 2007 A dynamic self-learning efficient intrusion detection model was proposed based on inductive reasoning.Ap-plying the method of inductive reasoning into intrusion detection,an incremental inductive reasoning algorithm for intru-sion detection was proposed ...
YANG Wu1 +3 more
doaj +2 more sources
Backward Induction versus Forward Induction Reasoning [PDF]
Games, 2010 In this paper we want to shed some light on what we mean by backward induction and forward induction reasoning in dynamic games. To that purpose, we take the concepts of common belief in future rationality (Perea [1]) and extensive form rationalizability (Pearce [2], Battigalli [3], Battigalli and Siniscalchi [4]) as possible representatives for ...
openaire +3 more sources
Advanced Science, EarlyView.The interfacial stability and activity of Ni‐Fe‐based AEMWE anodes can be directly enhanced by operando voltage‐cycling in a FeOOH‐containing electrolyte. This process simultaneously induces Ni oxidation and Fe incorporation, forming an integrated, porous (Fe, Ni)OOH layer with high conductivity and durability.
Euntaek Oh +10 more
wiley +1 more source
Challenges to Bayesian Confirmation Theory [PDF]
, 2011 While Bayesian analysis has enjoyed notable success with many particular problems of inductive inference, it is not the one true and universal logic of induction. I review why the Bayesian approach fails to provide this universal logic of induction. Some
Norton, JD +2 more
core +1 more source
Advanced Science, EarlyView.The 3rd‐generation magnetic super‐stable mineralizer M‐MgAl‐700 features a core‐shell structure, strong superparamagnetism, large surface area, and abundant oxygen defects. It achieves exceptional Cd(II) and As(V) mineralization capacities, reducing both pollutants in co‐contaminated water and soil to meet national standards.
Haoran Wang +9 more
wiley +1 more source