Results 51 to 60 of about 92,095 (302)
Instructional strategies in explicating the discovery function of proof for lower secondary school students [PDF]
, 2009 In this paper, we report on the analysis of teaching episodes selected from our pedagogical and cognitive research on geometry teaching that illustrate how carefully-chosen instructional strategies can guide Grade 8 students to see and appreciate the ...
Ding, Liping, Jones, Keith
core
From mathematical axioms to mathematical rules of proof : recent developments in proof analysis [PDF]
, 2019 A short text in the hand of David Hilbert, discovered in Gottingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900.
Von Plato J. +3 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Engineered red blood cell‐derived extracellular vesicles (eRBCEVs) are synthesized via controlled microfluidic assembly from native RBC lipids, enabling tunable encapsulation of proteins, nucleic acids, nanoparticles, and viral vectors. The platform demonstrates reproducible nanoscale architecture, preserved membrane composition, and functional cargo ...
Chiranth K. Nagaraj +23 more
wiley +1 more source
Ideas for a high-level proof strategy language [PDF]
, 2010 Finding ways to prove theorems mechanically was one of the earliest challenges tackled by the AI community. Notable progress has been made but there is still always a limit to any set of heuristic search techniques.
Gudmund Grov +5 more
core
The Algorithmic-Device View of Informal Rigorous Mathematical Proof [PDF]
A new approach to informal rigorous mathematical proof is offered. To this end, algorithmic devices are characterized and their central role in mathematical proof delineated.
Azzouni, Jody, Bueno, Otávio
core +1 more source
Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells
Advanced Materials, EarlyView.This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno +16 more
wiley +1 more source
On Wittgenstein's notion of the objectivity of mathematical proofs [PDF]
, 2013 This work analyses and defends Wittgenstein's definition of mathematical objectivity, looking particularly at his account of mathematical proofs, of what makes them normative, and what role mathematical and linguistic practices play in their ...
Trevino-Tarango, Martha Alicia
core
Coalition-proof equilibrium [PDF]
, 1996 We characterize the agreements that the players of a noncooperative game may reach when they can communicate prior to play, but they cannot reach binding agreements: A coalition-proo[ equilibrium is a correlated strategy from which no coalition has an ...
Moreno, Diego, Wooders, John
core +1 more source
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
Tools and techniques for formalising structural proof theory [PDF]
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core