Results 11 to 20 of about 45,041 (307)
Electromagnetic inductance tomography (EMT): sensor, electronics and image reconstruction for a system with a rotatable parallel excitation. [PDF]
, 1998 The main features and principle of operation of an electromagnetic inductance tomography system are described. The system can image the distribution of electrically conducting and/or magnetically permeable materials and is analogous to the other ...
Peyton, A J; id_orcid +7 more
core +5 more sources
Frequency Dependent Model of Leakage Inductance for Magnetic Components [PDF]
, 2012 Theoretical methods for the calculation of winding losses with respect to frequency have been well documented, but the variation in leakage inductance of magnetic components due to frequency has been less well addressed. In this paper Dowell’s well-known
Wilcock, Reuben +5 more
core +2 more sources
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 +5 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 +6 more sources
Inductance and resistance calculations for a pair of rectangular conductors [PDF]
, 2005 In this review paper we present various semi-analytical and numerical calculations, for computing the inductance and resistance of a pair of rectangular conductors.
Goddard, K.F., Roy, A.A., Sykulski, J.K.
core +1 more source
Microwave Kinetic Inductance Detectors [PDF]
, 2005 Low temperature detectors have been a subject of intense interest to the scientific community over the last decade. These detectors work at very low temperatures, often well below 1 Kelvin, to minimize the noise in the measurement of photons.
Mazin, Benjamin A.
core +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
Effective Modeling of Leakage Inductance for use in Circuit Simulation
, 2008 Theoretical methods for the calculation of winding losses with respect to frequency have been well documented, but the variation in leakage inductance of magnetic components due to frequency has been less well addressed. In this paper Dowell’s well-known
Brown, Andrew, Wilson, Peter
core +2 more sources
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