Results 1 to 10 of about 3,897,885 (202)
Comparative analysis and improved design of LLC inverters for induction heating
IET Power Electronics, 2023 This work presents a comparative analysis and design procedure of a converter based on an LLC resonant inverter used for induction heating applications depending on the transistor technology used and the selected operating frequency. A major objective of
Vicente Esteve +5 more
doaj +1 more source
European Journal of Materials, 2022 Additive Manufacturing (AM) has triggered development of advanced materials and supply chain strategies. Almost all newly launched metallurgical processing routes had initial technical limitations arising from the fact that their process-property ...
Amin S. Azar, Spyros Diplas
doaj +1 more source
Rheumatoid arthritis: historical aspects
Современная ревматология, 2023 The historical essay presents the main stages in the development of scientific views on rheumatoid arthritis, starting from the middle of the 19th century and until the middle of the 20th century, history of research of its characteristic clinical and ...
I. N. Shchedrigin, A. M. Lila
doaj +1 more source
Education Sciences, 2023 The use of social–emotional learning (SEL) practices in online literature teaching has not yet been sufficiently researched. This study addresses this lacuna by identifying SEL practices mentioned by lecturers and preservice teachers (PSTs) as they ...
Orna Levin, Yael Segev
doaj +1 more source
Frontiers in Cellular and Infection Microbiology, 2022 BackgroundBK polyomavirus infection results in renal allograft dysfunction, and it is important to find methods of prediction and treatment. As a regulator of host immunity, changes in the gut microbiota are associated with a variety of infections ...
Jian Zhang +6 more
doaj +1 more source
OX40 Expression in Eosinophils Aggravates OVA-Induced Eosinophilic Gastroenteritis
Frontiers in Immunology, 2022 Background & AimsEosinophils are the main inflammatory effector cells that damage gastrointestinal tissue in eosinophilic gastrointestinal diseases (EGIDs).
Longwei Xu +23 more
doaj +1 more source
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 +3 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 +4 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
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