Results 1 to 10 of about 909,831 (291)
Signatures and Induction Principles for Higher Inductive-Inductive Types [PDF]
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.
Ambrus Kaposi, András Kovács
doaj +6 more sources
Constructing quotient inductive-inductive types [PDF]
Proceedings of the ACM on Programming Languages, 2019 Quotient inductive-inductive types (QIITs) generalise inductive types in two ways: a QIIT can have more than one sort and the later sorts can be indexed over the previous ones. In addition, equality constructors are also allowed. We work in a setting with uniqueness of identity proofs, hence we use the term QIIT instead of higher inductive-inductive ...
Ambrus Kaposi +2 more
exaly +2 more sources
Hybrid Magnetic–Inductive Angular Sensor with 360° Range and Stray-Field Immunity
Sensors, 2022 Magnetic and inductive sensors are the dominant technologies in angular position sensing for automotive applications. This paper introduces a new angular sensor: a hybrid concept combining the magnetic Hall and inductive principles.
Bruno Brajon, Lorenzo Lugani, Gael Close
doaj +1 more source
Recent Trends and Challenges in Near-Field Wireless Power Transfer Systems
IEEE Open Journal of the Solid-State Circuits Society, 2023 In recent years, wireless power transfer (WPT) has become a widespread method for charging and powering devices, including but not limited to consumer electronics, industrial applications, electric vehicles, medical devices, and sensor nodes.
Elisabetta Moisello +3 more
doaj +1 more source
Exploration of high school students' reasoning in solving trigonometric function problems
Al-Jabar, 2022 Reasoning has been extensively studied by many experts. However, Research on student reasoning in trigonometric problem solving, particularly those related to logical thinking skills is still sorely needed. This study aimed to explore students' reasoning
Marufi Marufi +4 more
doaj +1 more source
Wireless Power Transfer Technologies Applied to Electric Vehicles: A Review
Energies, 2021 The expansion on the use of Electric Vehicles demands new mechanisms to ease the charging process, making it autonomous and with a reduced user intervention. This paper reviews the technologies applied to the wireless charge of Electric Vehicles.
Alicia Triviño +2 more
doaj +1 more source
Allowing the Final Form Full-Voice: Inductive Bible Study Method
Religions, 2023 The Inductive Bible Study method is a hermeneutical approach and process for studying the Bible. Focusing on the final form of the text and trying to minimize or eliminate presuppositions, it takes into consideration all relevant sources of evidence ...
Rick Boyd
doaj +1 more source
Triadic Automata and Machines as Information Transformers
Information, 2020 Algorithms and abstract automata (abstract machines) are used to describe, model, explore and improve computers, cell phones, computer networks, such as the Internet, and processes in them.
Mark Burgin
doaj +1 more source
Cumhuriyet İlahiyat Dergisi, 2022 Bu çalışmada tümevarım ve tümdengelim metotları hakkında bilgiler ile bu metotlar arasındaki farklar verilmiştir. Daha sonra Türkiye’de dilbilgisi öğretiminin metot açısından değerlendirilmesi yapılmıştır.
Mesut Köksoy
doaj +1 more source
Quotients, inductive types, and quotient inductive types [PDF]
Logical Methods in Computer Science, 2022 This paper introduces an expressive class of indexed quotient-inductive types, called QWI types, within the framework of constructive type theory. They are initial algebras for indexed families of equational theories with possibly infinitary operators ...
Marcelo P. Fiore +2 more
doaj +1 more source