Results 31 to 40 of about 555,393 (246)
Variations on the Theme of Conning in Mathematical Economics [PDF]
, 2007 The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core +1 more source
Pedagogical responsiveness: Focus on the Ukuqonda institute’s mode of engagement in mathematics
Interdisciplinary Journal of Sociality StudiesThis paper was prompted by mathematics teachers’ challenges in implementing the proposed framework that centres on teaching for understanding, as opposed to teaching aimed at producing marks as evidence of achievement.
Satsope Maoto +2 more
doaj +1 more source
Computability and analysis: the legacy of Alan Turing
, 2009 We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 ...
Avigad, Jeremy, Brattka, Vasco
core +2 more sources
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? [PDF]
, 2014 When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004 survey article on Auction Theory using the Isabelle/HOL system, and we ...
C. Lange +6 more
core +2 more sources
Design Principles for Serious Video Games in Mathematics Education: From Theory to Practice
International Journal of Serious Games, 2014 There is growing interest in the employment of serious video games in science education, but there are no clear design principles. After surveying previous work in serious video game design, we highlighted the following design principles: 1) engage the ...
Konstantinos Chorianopoulos +1 more
doaj +1 more source
Affine functions and series with co-inductive real numbers [PDF]
, 2006 We extend the work of A. Ciaffaglione and P. Di Gianantonio on mechanical verification of algorithms for exact computation on real numbers, using infinite streams of digits implemented as co-inductive types.
Bertot, Yves
core +5 more sources
Purcell‐Enhanced Spectrally Precise Emission in Dual‐Microcavity Organic Light‐Emitting Diodes
Advanced Functional Materials, EarlyView.Spectrally precise emission from broadband organic light‐emitting diodes is realized via a dual‐microcavity strategy. This architecture achieves narrowband emission (full width at half maximum, FWHM = 21 nm) with ultrapure color approaching BT.2020 by enhancing the Purcell effect via coupling of excitons with dual‐microcavity resonance.
Jun Yong Kim +3 more
wiley +1 more source
Inducing Ferromagnetism by Structural Engineering in a Strongly Spin‐Orbit Coupled Oxide
Advanced Functional Materials, EarlyView.ABSTRACT Magnetic materials with strong spin‐orbit coupling (SOC) are essential for the advancement of spin‐orbitronic devices, as they enable efficient spin‐charge conversion, complex magnetic structures, spin‐valley physics, topological phases and other exotic phenomena.
Ji Soo Lim +19 more
wiley +1 more source
Organic Electrochemical Transistors for Neuromorphic Devices and Applications
Advanced Materials, EarlyView.Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang +4 more
wiley +1 more source