Results 61 to 70 of about 118,373 (287)
Advanced Engineering Materials, EarlyView.Viktoriia Shtefan, Thorgund Nemec, Ute Hempel, Annett Gebert and coworkers demonstrate that anodic treatment of Ti–Cu‐based metallic glass in a nontoxic pyrophosphate electrolyte forms a protective bilayered Ti/Zr‐oxide film enriched with Cu nanocrystals.
Viktoriia Shtefan +8 more
wiley +1 more source
The Ableism of Quality of Life Judgments in Disorders of Consciousness: Who Bears Epistemic Responsibility? [PDF]
, 2016 In this peer commentary on L. Syd M. Johnson’s “Inference and Inductive Risk in Disorders of Consciousness,” I argue for the necessity of disability education as an integral component of decision-making processes concerning patients with DOC and, mutatis
Reynolds, Joel Michael
core +1 more source
Advanced Engineering Materials, EarlyView.Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir +5 more
wiley +1 more source
Semantic Probabilistic Inference of Predictions
Известия Иркутского государственного университета: Серия "Математика", 2017 Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Meniscus Pixel Printing for Contact‐Lens Vision Sensing and Robotic Control
Advanced Functional Materials, EarlyView.A visual‐sensing contact lens is enabled by meniscus pixel printing (MPP), which rapidly patterns a 200 µm perovskite photodetector pixel in 1 s without masks, vacuum processing, or bulky equipment. A deep‐learning‐based super‐resolution reconstructs sparse on‐lens signals into 80 × 80 high‐resolution visual information, while AI‐driven eye‐tracking ...
Byung‐Hoon Gong +7 more
wiley +1 more source
Inductive Inference and Reverse Mathematics [PDF]
, 2015 The present work investigates inductive inference from the perspective of reverse mathematics. Reverse mathematics is a framework which relates the proof strength of theorems and axioms throughout many areas of mathematics in an interdisciplinary way ...
, Jain, Sanjay, Stephan, Frank
core +1 more source
Advanced Functional Materials, EarlyView.With a charge‐ion coupling engineering strategy, a K+/vacancy disordered K0.5Mn0.8Co0.1Ti0.1O2 material has been designed. The targeted transition metal doping disrupts charge ordering and inducing K+/vacancy disordering, thereby enabling rapid K+ diffusion through interconnected channels and a stable solid‐solution reaction mechanism.
Yongfeng Jia +10 more
wiley +1 more source
Inductive inference of recursive functions: complexity bounds [PDF]
, 1991 This survey includes principal results on complexity of inductive inference for recursively enumerable classes of total recursive functions. Inductive inference is a process to find an algorithm from sample computations.
Barzdins, Janis +2 more
core
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source
INDUCTIVE INFERENCE FROM NEGATIVE DATA [PDF]
Bulletin of informatics and cybernetics, 1985 Inductive inference of a language L from negative data is the one based only on words not in L. The other words it is the inference of the complement \(L^ c\) from positive data. This paper describes the relation between inferability from positive data and that from negative data.
openaire +2 more sources