Results 11 to 20 of about 2,511,435 (296)
Discussant in the Symposia "Research on Practices of Teacher Induction Part II"
, 2013 The symposium consists of two consecutive sessions (Research on Practices of Teacher Induction I and II). In the first paper of the first session (Part I), a theoretical framework was introduced, and the two following papers studied the practices of ...
Fransson, Göran,
core +9 more sources
Fibrational induction meets effects [PDF]
, 2012 This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its ...
Jacobs, Bart +3 more
core +6 more sources
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
Evaluation of online project-based induction activities in Forensic Science [PDF]
, 2023 A new project-based induction was designed for 2020. The induction was a fully online project for welcoming our first-year students. The aims of the activities were to concentrate on a smooth and successful transition into higher education, introducing ...
Cartwright, Victoria
core +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
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
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