Results 11 to 20 of about 15,571 (268)
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
Field and Inductance Calculation of Coaxial Coils with a Hollow Iron Core and a Magnetic Shield [PDF]
Journal of Electromagnetic Engineering and ScienceAn analytical model is developed for coaxial coils with a hollow iron core and a magnetic shield. The problem is solved by an enhanced version of truncated region eigenfunction expansion (TREE). The eigenvalues and eigenfunctions of the complicated mixed
Dongze Yu +8 more
doaj +1 more source
Applied Sciences, 2021 Power semiconductors based on wide bandgap (WBG) devices are capable of fast switching and have low on-resistance. Accordingly, a fast sensor with a higher bandwidth is required for circuit inspection based on switch current measurements.
Ui-Jin Kim
doaj +1 more source
Sensors, 2011 This paper discusses the effect of inductive coil shape on the sensing performance of a linear displacement sensor. The linear displacement sensor consists of a thin type inductive coil with a thin pattern guide, thus being suitable for tiny space ...
Hiroyuki Wakiwaka +5 more
doaj +1 more source
Wearable Device to Monitor Back Movements Using an Inductive Textile Sensor
Sensors, 2020 Low back pain (LBP) is the most common work-related musculoskeletal disorder among healthcare workers and is directly related to long hours of working in twisted/bent postures or with awkward trunk movements.
Astrid García Patiño +2 more
doaj +1 more source
Research on the excitation method of symmetrical spiral online detecting sensor of metal debris
The Journal of Engineering, 2019 By connecting the symmetrical spiral inductive sensor to the oil return pipeline of the lubricating oil, a full flow online detection of the size, quantity and other parameters of the tiny metal debris particles in the lubricating oil solution is ...
Yuhai Gu +3 more
doaj +1 more source
Membranes, 2015 Our understanding of the electrical properties of cell membranes is derived from experiments where the membrane is exposed to a perturbation (in the form of a time-dependent voltage or current change) and information is extracted from the measured output.
Lars D. Mosgaard +3 more
doaj +1 more source
Технічна інженерія, 2023 The article investigates mathematical modeling of the induction heating element (IHE) at the base of the thermo-anemometric flow meter (TAFM) for measuring the flow of diesel fuel (DF).
Y.O. , O.O.
doaj +1 more source