Results 41 to 50 of about 13,279 (258)
Constructive mathematics - its set theory and practice
, 1974 The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is laid down a set-theoretic foundation for constructive mathematics as understood by Errett Bishop and his followers. The work of this part closely follows the
Sutherland Bridges, Douglas
core +2 more sources
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT In recent decades, agriculture has become increasingly concentrated through horizontal mergers and acquisitions via corporate entities, and policy makers are concerned this will be exacerbated by the aging population of farm operators. To reduce market concentration in agriculture, many states have enacted policies to entice new prospective ...
Justin M. Ross +2 more
wiley +1 more source
The Effect of Gamification on the Academic Performance in Mathematics of fourth-grade Elementary Students [PDF]
رویکردهای نوین آموزشیGamification, due to its nature of incorporating elements of games into non-game contexts, has also been embraced in education. This study aimed to investigate the effects of gamification on the academic performance in mathematics of fourth-grade ...
Fatemeh Sadat Tabatabaei, Azam Esfijani
doaj +1 more source
A minimalist two-level foundation for constructive mathematics
, 2009 We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory.
MAIETTI, MARIA EMILIA
core +1 more source
A Critical Assessment of Bonding Descriptors for Predicting Materials Properties
Advanced Intelligent Discovery, EarlyView.The impact of new bonding descriptors in machine learning models for predicting material properties is assessed. Improvements are validated using significance tests, and new, intuitive descriptors for screening lattice thermal conductivity and projected force constants are introduced.
Aakash Ashok Naik +6 more
wiley +1 more source
Temperature‐Tunable Cholesteric Liquid Crystal Optical Combiners for Extended Reality Applications
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.Recent advancements in extended reality highlight their potential to enhance traditional displays like liquid crystal displays and organic light‐emitting diode screens. This article introduces an innovative cholesteric liquid crystal‐based optical combiner for head‐mounted displays, enabling seamless transitions between augmented reality, virtual ...
Yuanjie Xia +6 more
wiley +1 more source
Large Language Model‐Based Chatbots in Higher Education
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci +4 more
wiley +1 more source
On Martin-Löf’s Constructive Optimism
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/sts.xxxiv1.10 In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there
V. Alexis Peluce
doaj
, 2005 Partially ordered sets are investigated from the point of view of Bishop's constructive mathematics, which can be viewed as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable mathematics.
Baroni,Marian, Baroni, Marian
core +1 more source
Advanced Intelligent Systems, EarlyView.Musculoskeletal humanoids exhibit rich biomechanical properties that remain insufficiently unified in prior discussions. This article systematically categorizes muscle characteristics into five properties: redundancy, independency, anisotropy, variable moment arm, and nonlinear elasticity, and analyzes their combined effects on control.
Kento Kawaharazuka +2 more
wiley +1 more source