Results 21 to 30 of about 15,712 (268)
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
THE EXPERIMENTAL DEFINITION OF THE INDUCTANCE OF TOOLS AS INDUCTORS FOR MAGNETIC PULSE STRAIGHTENING [PDF]
Avtomobilʹnyj Transport (Harʹkov), 2014 The results of the experimental researches of the basic parameter – the inductance of the tools as inductors for magnetic pulse methods of the body repair of vehicles has been carried out.
A. Hnatov, Sch. Arhun, O. Vasyliovych
doaj
Effect of the Insulating Layer on the Properties of SMC Inductors
Applied Sciences, 2022 In inductor applications, different soft magnetic materials are used depending on the frequency range. Owing to powder metallurgy technology and to the increase in the implementation of innovative multifunctional materials, it is possible to find an ...
Emir Pošković +2 more
doaj +1 more source
Mutual inductance calculation for coils with misalignment in wireless power transfer
The Journal of Engineering, 2019 In wireless power transfer (WPT) systems, the energy transmission channel is established by the coupling relationship between transmitting coil and receiving coil, and the coupling strength is usually measured by coupling coefficient.
Xian Zhang +4 more
doaj +1 more source
Program for stator winding leakage inductance determination by FEA [PDF]
Journal of Electrical and Electronics Engineering, 2009 This paper presents a program designed by the author in order to determine the stator winding parameters. The program is realized in Visual Basic and, in fact, it is for computer aided design of AC machines.
Olivian Chiver, Micu Emil, Liviu Petrean
doaj
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2018 Machining characteristics of electrochemical machining with ultrashort pulses were investigated using numerical analysis considering the inductance of a power supply circuit. In a pulse power supply circuit of ECM, stray inductance occurs in the electric
Tomohiro KOYANO +2 more
doaj +1 more source
Identification and ranking of freehold resources (free) in collecting non-regular claims of the banking system Using a multi-criteria decision making model [PDF]
تحقیقات مالی اسلامی (پیوسته), 2019 The expansion of the growing volume of non-demand claims in addition to locking up and freezing of resources and slowdown of liquidity in the economy, reducing accreditation, the lack of optimal allocation of resources when providing facilities to ...
Rohallah Ebadi, Gelareh Hossin khani2
doaj
ELECTROLYTE-PLASMA TREATMENT UNDER NON-STATIONARY MODE IN A HIGH-GRADIENT ELECTRIC FIELD
Наука и техника, 2017 Electrolyte-plasma treatment has become widespread in the industry as an alternative to traditional chemical, electrochemical and mechanical methods of improving the surface quality of products made of metallic materials.
Yu. G. Aliakseyeu +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Acute lymphoblastic leukemia (ALL) is the most common pediatric cancer, with an overall survival now surpassing 90% in developed countries. However, treatments are not without adverse effects. In this study, we apply the severe toxicity‐free survival (STFS) framework to determine the prevalence of 21 physician‐defined severe ...
Lane Collier +10 more
wiley +1 more source
Proceedings of the Royal Society of Medicine, 1963 ' The first account of any artificial method of bringing on premature labour was given to me by Dr. C. Kelly. He informed me that'about the year I756 there was a consultation of the most eminent men in London at that time, to consider of the moral rectitude of, and advantages which may be expected from, this practice, which met with their general ...
openaire +4 more sources