Results 31 to 40 of about 3,546,540 (364)
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
Fibrational induction meets effects [PDF]
, 2012 This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its ...
Jacobs, B. +12 more
core +1 more source
Clinical and Experimental Obstetrics & Gynecology, 2020 Objective: To evaluate the association between repeated doses of vaginal PGE2 and the maternal and neonatal outcomes for primigravid and multiparous women. Study design: A retrospective descriptive study was conducted at a teaching university hospital in
A.M. Sindiani +5 more
doaj +1 more source
Induction of Colonic Regulatory T Cells by Indigenous Clostridium Species
Science, 2010 Bacteria of the genus Clostridium promote the induction of suppressor T cells in the colons of mice. CD4+ T regulatory cells (Tregs), which express the Foxp3 transcription factor, play a critical role in the maintenance of immune homeostasis.
K. Atarashi +16 more
semanticscholar +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
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 +3 more sources
How to Improve University Orientation: Seven Good Practice Strategies for South Africa
Journal of Student Affairs in Africa, 2021 There is a great deal of variability in the practice of orientation across the country at South Africa's universities, and there is limited knowledge of what exactly constitutes good practice in orientation.
Annsilla Nyar
doaj +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
Multiphase induction motor drives - a technology status review [PDF]
, 2007 The area of multiphase variable-speed motor drives in general and multiphase induction motor drives in particular has experienced a substantial growth since the beginning of this century.
Williamson, S +12 more
core +1 more source
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