Results 141 to 150 of about 92,076 (301)
Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce
Zagadnienia Filozoficzne w Nauce, 2015 In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical ...
Krzysztof Wójtowicz
doaj
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This paper proposes a novel control framework to ensure safety of a robotic swarm. A feedback optimization controller is capable of driving the swarm toward a target density while keeping risk‐zone exposure below a safety threshold. Theory and experiments show how safety is more effectively achieved for sparsely connected swarms.
Longchen Niu, Gennaro Notomista
wiley +1 more source
Dowód matematyczny – argumentacja czy derywacja? – część I
Zagadnienia Filozoficzne w Nauce, 2011 The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart.
Krzysztof Wójtowicz
doaj
Vision‐Based Handover and Organization of Robotic Scrub Nurse for Seamless Surgical Flow
Advanced Intelligent Systems, EarlyView.This study presents a pose estimation‐based robotic scrub nurse (PERSN) that assists surgical procedures by estimating the surgeon's hand position, orientation, and grasping state, along with the constraint‐based 6D pose of surgical instruments. User evaluations show that PERSN provides greater immediate usability and reduces physical demand compared ...
Seongjoon Kang +9 more
wiley +1 more source
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
Zagadnienia Filozoficzne w Nauce, 2016 An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
David Charles McCarty, Piotr Urbańczyk
doaj
ICMI Study 19 Working Conference: Proof and Proving in Mathematics Education [PDF]
, 2009 The culture of mathematical explanations and writings based on conceptual understanding in proof construction is on the focus of the paper. We explore students’ attempts to explain construction of mathematical proofs after reading them and write ...
Yevdokimov, Oleksiy
core
Advanced Intelligent Systems, EarlyView.An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna +2 more
wiley +1 more source
Mathematical Libraries as Proof Assistant Environments
, 2008 . In this paper we analyse the modifications on logical operations-- as proof checking, type inference, reduction and convertibility-- that are required for the identification of a proof assistant environment with a distributed mathematical library ...
Claudio Sacerdoti Coen
core
Advanced Intelligent Systems, EarlyView.HTFC gets 3D refractive index tomograms of flowing cells. Label‐free monocytes are engineered to express patterns of cytoplasmic vacuoles. From the tomogram, an efficient dimensionality reduction is operated. Interpretable features are extracted to classify the expression severity of phenotypes coexisting in each cell, visually represented by a seven ...
Marika Valentino +9 more
wiley +1 more source