Results 81 to 90 of about 1,213,227 (214)
Engineering Reports, Volume 8, Issue 2, February 2026.Two‐degree‐of‐freedom manipulator driven by PAM. ABSTRACT Rehabilitation robots are machines that allow patients to perform practice movements and ought to be sufficiently compliant for safe human interaction. Most robots today use hydraulic systems and continually rotating servo motors, making them less suitable for rehabilitation.
Solomon Ferede Ezez +2 more
wiley +1 more source
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making
CAAI Transactions on Intelligence Technology, Volume 11, Issue 1, Page 167-189, February 2026.ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid +4 more
wiley +1 more source
Making mathematics meaningful: Using student-initiated problems to situate mathematics [PDF]
, 2014 Mathematics is everywhere-from the minute we open our eyes to check the alarm clock and calculate how many minutes extra we can afford to lie in bed, to measuring out our cereal for breakfast and estimating if we have enough petrol to make the 18 ...
Brough, Chris Jane, Calder, Nigel Stuart
core
Fitting Insurance Claim Reserves with Two-Way ANOVA and Intuitionistic Fuzzy Regression
AxiomsA highly relevant topic in the actuarial literature is so-called “claim reserving” or “loss reserving”, which involves estimating reserves to be provisioned for pending claims, as they can be deferred over various periods. This explains the proliferation
Jorge De Andrés-Sánchez
doaj +1 more source
Brouwer–Hilbert on the Limits of Mathematical Knowledge
Studia Universitatis Babeș-Bolyai. PhilosophiaBrouwer famously challenged the limits of mathematical knowledge by arguing that classical formalism obscures intuitive evidence. Hilbert, by contrast, considered that intuitive insights could safely be ignored as long as formal systems remained ...
Silviu-Constantin FEDEROVICI
doaj +1 more source
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +1 more source
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
H-GROUP STRUCTURE ON INTUITIONISTIC FUZZY TOPOLOGICAL SPACE
, 2019 In this study we investigate some properties of the pointed intuitionistic fuzzy topological spaces. Then some properties of intuitionistic fuzzy loop spaces are investigated Finally it is shown that an intuitionistic fuzzy loop space is an H-group.https:
Sibel DEMİRALP +3 more
core +1 more source
Troubling "understanding mathematics-in-depth": Its role in the identity work of student-teachers in England [PDF]
, 2013 Copyright @ The Author(s) 2013. This article is published with open access at Springerlink.comThis article has been made available through the Brunel Open Access Publishing Fund.In this paper, we focus on an initiative in England devised to prepare non ...
Adler, Jill +8 more
core +1 more source