Results 91 to 100 of about 909,831 (291)
A Categorical Semantics for Inductive-Inductive Definitions [PDF]
, 2011 Induction-induction is a principle for defining data types in Martin-Lof Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa.
Thorsten Altenkirch +3 more
openaire +2 more sources
Inactivating SARS‐CoV‐2 Virus with MOF‐Composites as Smart Face Masks
Advanced Functional Materials, EarlyView.In situ preparation and functionalization of MOF@Cotton fabrics as smart face masks for the immobilization of proteins and inactivation viruses, such as SARS‐CoV‐2. Abstract The significant impact of the SARS‐CoV‐2 (COVID‐19) pandemic outbreak on people's lives has highlighted the urgent need for effective personal protective equipment.
Romy Ettlinger +9 more
wiley +1 more source
Slight Truncation Changes in Iron Oxide Nanocubes Strongly Affect Their Magnetic Properties
Advanced Functional Materials, EarlyView.Subtle variations in nanoparticle morphology can lead to significant changes in functional properties. An automated shape‐fitting method captures minor differences in corner truncation between iron oxide nanocubes of similar sizes synthesized under identical conditions, revealing pronounced disparities in their magnetic and hyperthermia behavior ...
Kingsley Poon +7 more
wiley +1 more source
Elaborating Inductive Definitions
, 2012 We present an elaboration of inductive definitions down to a universe of datatypes. The universe of datatypes is an internal presentation of strictly positive families within type theory.
Dagand, Pierre-Evariste, McBride, Conor
core +1 more source
Inductive Algebras for Finite Heisenberg Groups
, 2008 A characterization of the maximal abelian sub-algebras of matrix algebras that are normalized by the canonical representation of a finite Heisenberg group is given.
Amritanshu Prasad +4 more
core +1 more source
From Single Atoms to Nanoparticles: Pathways Toward Efficient and Durable Pt/TiO2 Photocatalysts
Advanced Functional Materials, EarlyView.Platinum single atoms on TiO2 nanosheets evolve into clusters and nanoparticles under ethanol photoreforming and thermal treatments. By controlling deposition and post‐treatments, particle size and location on specific facets are modulated. The study reveals how stability pathways determine efficiency, guiding the design of more durable photocatalysts.
Juan José Delgado +6 more
wiley +1 more source
Why There Can\u27t be a Logic of Induction [PDF]
, 1994 Carap\u27s attempt to develop an inductive logic has been criticized on a variety of grounds, and while there may be some philosophers who believe that difficulties with Carnap\u27s approach can be overcome by further elaborations and modifications of ...
Glennan, Stuart
core +1 more source
Shaping Ti3C2 MXene Nanospheres for Precision Near‐Infrared Photothermal Therapy
Advanced Functional Materials, EarlyView.In this study, we report producing spherical MXenes via fs laser fragmentation of Ti3C2 flakes in liquid medium. The nanoparticles demonstrated pronounced light absorption and high photothermal conversion efficiencies of 68% and 63% under heating with NIR‐I and NIR‐II lasers, respectively.
Julia S. Babkova +21 more
wiley +1 more source
K-8 Preservice Teachers’ Inductive Reasoning in the Problem-Solving Contexts [PDF]
, 2012 This paper reports the results from an exploratory study of K-8 pre-service teachers’ inductive reasoning. The analysis of 130 written solutions to seven tasks and 77 reflective journals completed by 20 pre-service teachers lead to descriptions of ...
Magiera, Marta
core +1 more source