Results 51 to 60 of about 13,279 (258)
Preparing Teachers to ‘Teach’ Philosophy for Children
Journal of Philosophy in Schools, 2014 Like many others, I have resisted the idea that education, in general, is a form of training. We always talk about training for something, while an educated person is not educated for any one thing.
Laurance J Splitter
doaj +1 more source
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
Advanced Intelligent Systems, EarlyView.This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
Mohammadsadegh Dalvandi +5 more
core +1 more source
The Anatomical Record, EarlyView.Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li +12 more
wiley +1 more source
The Anatomical Record, EarlyView.Abstract Neandertals are known to possess very distinctive traits in their bony labyrinth morphology, such as an inferiorly positioned posterior canal and a very low number of turns in the cochlea. Hence, the inner ear has been often used to assess the Neandertal status of fragmentary fossils.
Alessandro Urciuoli +6 more
wiley +1 more source
On the Development of Non-Classical Mathematics [PDF]
, 2013 It is well known that classical theorems, when viewed from a constructive perspective, come apart at the seams. Typically there are crucial assumptions, implicitly made within the classical framework (a result of the classical validity of omniscience ...
McKubre-Jordens, M.
core +1 more source
Batteries &Supercaps, Volume 8, Issue 3, March 2025.“A simple 1D transfer matrix model of a battery is introduced and parametrized using harvested individual cell components at 0 % and 100 % SoC. This model allows for the calculation of group velocity and attenuation. The results of the model show good agreement with measured values, highlighting increased attenuation and group velocity at the ...
Simon Feiler +3 more
wiley +1 more source
Student perspectives on AI‐supported formative assessment in pharmacology
British Journal of Clinical Pharmacology, EarlyView.Abstract Aims High‐quality feedback is crucial for helping medical students understand and apply core concepts of pharmacology, yet personalized feedback is resource‐intensive to produce. Artificial intelligence (AI) offers a potential solution, but little is known about students' perspectives on AI‐generated feedback.
Jon Andsnes Berg +6 more
wiley +1 more source
British Journal of Clinical Pharmacology, EarlyView.Abstract Aims To learn effectively, students need timely, specific, actionable feedback—known as formative feedback—on what and how well they are learning and on how to improve further. Providing effective feedback to help students learn pharmacology is a complex task.
Thomas Anthony Angelo
wiley +1 more source