Results 31 to 40 of about 2,572,407 (303)
For Finitary Induction-Induction, Induction Is Enough.
, 2019 Inductive-inductive types (IITs) are a generalisation of inductive types in type theory. They allow the mutual definition of types with multiple sorts where later sorts can be indexed by previous ones. An example is the Chapman-style syntax of type theory with conversion relations for each sort where e.g. the sort of types is indexed by contexts.
Ambrus Kaposi +2 more
openaire +3 more sources
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj +1 more source
Materials & Design, 2019 Numerical and Gleeble experimental data are combined to predict potential microstructure and hardness profiles through the wall thickness of an induction hardened slurry transportation pipe made of a recently developed 0.4 wt% C, Nb-microalloyed steel ...
Vahid Javaheri +4 more
doaj +1 more source
Computationally efficient induction of classification rules with the PMCRI and J-PMCRI frameworks [PDF]
, 2012 In order to gain knowledge from large databases, scalable data mining technologies are needed. Data are captured on a large scale and thus databases are increasing at a fast pace.
Stahl, Frederic, Bramer, Max, Bramer, M.
core +1 more source
Supporting induction: relationships count [PDF]
, 2003 This article examines the structural changes to the induction of teachers in Scotland using the perceptions of a group of final year student teachers. This group would be the first probationer teachers to experience revised arrangements for new teacher ...
Martin, M., Rippon, J.
core +1 more source
SPEED CONTROL OF PERMANENT MAGNET SYNCHRONOUS MOTOR USING DIFFERENT STRATEGY OF SLIDING MODE APPROACH [PDF]
Journal of Engineering Science and Technology, 2017 In order to optimize the speed-control performance of the PMSM system with different disturbances and uncertainties, hybrid nonlinear speed-controls for the PMSM, based sliding-mode control, is developed.
I. BAKHTI +3 more
doaj
OX40 Regulates Both Innate and Adaptive Immunity and Promotes Nonalcoholic Steatohepatitis
Cell Reports, 2018 Summary: Both innate and adaptive immune cells are involved in the pathogenesis of nonalcoholic steatohepatitis (NASH), but the crosstalk between innate and adaptive immunity is largely unknown.
Guangyong Sun +20 more
doaj +1 more source
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 +4 more sources
Automatically Evolving Rule Induction Algorithms [PDF]
, 2006 Research in the rule induction algorithm field produced many algorithms in the last 30 years. However, these algorithms are usually obtained from a few basic rule induction algorithms that have been often changed to produce better ones.
Gisele L. Pappa +3 more
core +1 more source
SystemsEducational systems increasingly function as complex social environments in which schools, families, and communities interact across institutional boundaries.
Yehudit Chassida +2 more
doaj +1 more source