Results 11 to 20 of about 629,043 (341)
Quotient inductive-inductive definitions [PDF]
In this thesis we present a theory of quotient inductive-inductive definitions, which are inductive-inductive definitions extended with constructors for equations. The resulting theory is an improvement over previous treatments of inductive-inductive and indexed inductive definitions in that it unifies and generalises these into a single framework. The
Dijkstra, Gabe
core +5 more sources
Recent Trends and Challenges in Near-Field Wireless Power Transfer Systems
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
Inductive content analysis: A guide for beginning qualitative researchers
Inductive content analysis (ICA), or qualitative content analysis, is a method of qualitative data analysis well-suited to use in health-related research, particularly in relatively small-scale, non-complex research done by health professionals ...
D. Vears, L. Gillam
semanticscholar +1 more source
Probabilistic inductive querying using problog
S.229-262We study how probabilistic reasoning and inductive querying can be combined within ProbLog, a recent probabilistic extension of Prolog. ProbLog can be regarded as a database system that supports both probabilistic and inductive reasoning through
Kersting, Kristian +5 more
core +2 more sources
Exploration of high school students' reasoning in solving trigonometric function problems
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
Inductive/Deductive Hybrid Thematic Analysis in Mixed Methods Research
Inductive/deductive hybrid thematic analysis offers significant opportunities for researchers, but its application within integrative mixed methods research has yet to be fully explored.
Kevin Proudfoot
semanticscholar +1 more source
Inductive biases for deep learning of higher-level cognition [PDF]
A fascinating hypothesis is that human and animal intelligence could be explained by a few principles (rather than an encyclopaedic list of heuristics).
Anirudh Goyal, Yoshua Bengio
semanticscholar +1 more source
Topology-Aware Correlations Between Relations for Inductive Link Prediction in Knowledge Graphs [PDF]
Inductive link prediction---where entities during training and inference stages can be different---has been shown to be promising for completing continuously evolving knowledge graphs.
Jiajun Chen +3 more
semanticscholar +1 more source
Wireless Power Transfer Technologies Applied to Electric Vehicles: A Review
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
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

