Results 21 to 30 of about 2,511,435 (296)
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 +6 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
Analytical Estimation of the Natural Oscillation Frequency of a Planar Lattice
Advanced Engineering Research, 2023 Introduction. A new scheme of a flat statically determinate regular lattice is proposed. The lattice rods are hinged. The study aims at deriving a formula for the dependence on the number of panels of the first natural oscillation frequency of nodes ...
M. N. Kirsanov
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
Study on Processing Grinding Sludge Conglomerates in Devices with a Rotating Electromagnetic Field
Advanced Engineering Research, 2023 Introduction. The key stages of sludge processing technology are the destruction of conglomerates into metal and non-metal components, as well as the grinding of component particles to obtain secondary raw materials of the required granulometric ...
V. A. Lebedev +3 more
doaj +1 more source
Prevalence of meconium stained liquor in postdated pregnancy in a tertiary care hospital in India [PDF]
New Indian Journal of OBGYN, 2023 Objective: To determine the prevalence of meconium stained liquor in women at and beyond expected date of delivery in Indian population. Methods: A retrospective analysis of all women delivered at more than 40 weeks from January 2017 to December 2018 in ...
Shatakshi Kulshreshtha , Sujata Siwatch
doaj +1 more source
Литьë и металлургия, 2022 The simulation of the chip heating process in the zones of gas-flame and induction heating of a continuous muffle furnace has been carried out. The mechanisms of heat transfer (conductive, convective, radiative) that have a conjugated character are ...
O. M. Dyakonov +2 more
doaj +1 more source