Results 11 to 20 of about 3,546,540 (364)
Inductive-Inductive Definitions [PDF]
, 2010 We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively.
Fredrik Nordvall Forsberg, Anton Setzer
openaire +4 more sources
Quotient Inductive-Inductive Types [PDF]
, 2018 Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of HoTT (i.e.
Thorsten Altenkirch +4 more
openaire +5 more sources
Signatures and Induction Principles for Higher Inductive-Inductive Types
Logical Methods in Computer Science, 2020 Higher inductive-inductive types (HIITs) generalize inductive types of dependent type theories in two ways. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalizing higher inductive types of homotopy type theory.
Ambrus Kaposi, András Kovács
openaire +5 more sources
Induction machine fault detection enhancement using a stator current high resolution spectrum [PDF]
, 2012 Fault detection in squirrel cage induction machines based on stator current spectrum has been widely investigated. Several high resolution spectral estimation techniques have been developed and used to detect induction machine abnormal operating ...
CHARPENTIER, Jean-Frederic +8 more
core +1 more source
Considerations in hiPSC-derived cartilage for articular cartilage repair
Inflammation and Regeneration, 2018 Background A lack of cell or tissue sources hampers regenerative medicine for articular cartilage damage. Main text We review and discuss the possible use of pluripotent stem cells as a new source for future clinical use.
Akihiro Yamashita +5 more
doaj +1 more source
AUTOMATIC POURING WITH STOPPER-CONTROLLED POURING MECHANISMS
Литьë и металлургия, 2010 .
A. Wolfgang
doaj +1 more source
IET Power Electronics, 2023 This paper presents a method that improves the reliability of half‐bridge (HB) series resonant inverters (SRI) for high‐frequency induction heating applications. Many industrial processes, like induction heat treatments, are very repetitive.
Vicente Esteve +3 more
doaj +1 more source
Fault diagnosis of induction motor based on decision trees and adaptive neuro-fuzzy inference [PDF]
, 2009 This paper presents a fault diagnosis method based on adaptive neuro-fuzzy inference system (ANFIS) in combination with decision trees. Classification and regression tree (CART) which is one of the decision tree methods is used as a feature selection ...
Yang, Bo-Suk +5 more
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
Evaluation of online project-based induction activities in Forensic Science
, 2023 A new project-based induction was designed for 2020. The induction was a fully online project for welcoming our first-year students. The aims of the activities were to concentrate on a smooth and successful transition into higher education, introducing ...
Cartwright, Victoria
core +1 more source