Results 101 to 110 of about 2,046,692 (239)

Degradable, Skin‐Conformal Nanocomposite‐Based Bioelectronic Patches for High‐Fidelity Electrophysiology and Gesture‐Controlled Robotics

Advanced Functional Materials, EarlyView.
A degradable, skin‐conformal bioelectronic patch combines a starch‐dominated nanocomposite conductor with a gelatin substrate to enable sensitive strain sensing, high‐fidelity electrocardiography, electromyography, electrooculography, and machine‐learning‐assisted gesture control.
Ming Dong, Hongna Yuan, Shubo Liu, Abdulkadir Sanli, Emiliano Bilotti, Han Zhang, Pietro Cataldi, Karin Hing, Oliver Fenwick, Colin J. Humphreys, Dimitrios G. Papageorgiou   +10 more
wiley   +1 more source

AI-assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review

Jurnal Pembelajaran, Bimbingan, dan Pengelolaan Pendidikan
Formal proof is at the heart of university-level plane geometry because it requires students to build deductively valid arguments based on definitions, theorems, and known results, rather than visual observation or intuition.
I Putu Wisna Ariawan, I Made Candiasa, Ni Made Sri Mertasari, Dewa Gede Hendra Divayana, I Made Sugiarta   +4 more
doaj   +1 more source

HOW DOES PRE-SERVICE MATHEMATICS TEACHER PROVE THE LIMIT OF A FUNCTION BY FORMAL DEFINITION?

Journal on Mathematics Education, 2018
The purpose of this study was to investigate the flow of thought of the pre-service mathematics teachers through the answers of a function limit evaluation by formal definition. This study used a qualitative approach with descriptive method. The research
Rina Oktaviyanthi, Tatang Herman, Jarnawi Afgani Dahlan   +2 more
doaj   +1 more source

Transparency in Formal Proof [PDF]

, 2009
The oft-emphasized virtue of formal proof is correctness; a machine-checked proof adds greatly to our confidence in a result. But the rigors of formalization give rise to another possible virtue, namely clarity.
Petschulat, Cap
core  

Selenium‐Integrated Cyanine Dye With Enhanced Photophysical Properties for Optoacoustic‐Guided Cancer Imaging and Therapy

Advanced Functional Materials, EarlyView.
This study introduces selenium‐integrated cyanine dye (Se‐Cyn), with superior photostability, absorption, and photothermal efficiency, outperforming ICG in NIR window. Its nanoparticle form remains stable in water, accumulates in tumors, and enables strong optoacoustic imaging and effective phototherapy outcomes.
Divyesh Shelar, Snehal Salunkhe, Tony Fröhlich, Uwe Klemm, Pia Anzenhofer, Birgit Rathkolb, Martin Hrabě de Angelis, Oliver Plettenburg, Michael Sattler, Sudesh T. Manjare, Vipul Gujrati, Vasilis Ntziachristos   +11 more
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  

Heteroengineering‐Induced Electronic Reconstruction for Ammonium‐Ion Energy Storage

Advanced Functional Materials, EarlyView.
An integrated electronic reconstruction behavior is induced by local heteroengineering on VO2(B) electrode material surface of NH4+ supercapacitor, rationally modulating the electronic structure, enabling enhanced intrinsic conductivity and extra driving force for NH4+ intercalation reaction.
Ji‐Chi Liu, Nuo Xu, Liberty L. Mguni, Kexin Wang, Lanxiang Ma, Ying Sun, Hui Li, Lingfeng Zhu, Yali Yao, Xu Han, Zi‐Hang Huang, Tianyi Ma   +11 more
wiley   +1 more source

Digitally Printed Eco‐Friendly Electronic Devices

Advanced Functional Materials, EarlyView.
Fabrication of electronics using eco‐friendly materials through digital printing routes is a promising strategy for improving life cycle sustainability and reducing the environmental impacts of conventional manufacturing. This review highlights state‐of‐the‐art eco‐friendly materials, green ink formulations, various resource‐efficient digital printing ...
Nitheesh M. Nair, Mikel Rincón‐Iglesias, Cristian Mendes‐Felipe, Fatemeh Etehadi, Senentxu Lanceros‐Méndez, Gerardo Hernandez‐Sosa   +5 more
wiley   +1 more source

Architectural Tuning of Bouligand Electrospun Laminates Enables Coupled Mechanical Robustness and Electromechanical Sensing

Advanced Functional Materials, EarlyView.
Bioinspired Bouligand architectures are translated into biodegradable polymer laminates with integrated sensing, revealing how structural design governs multifunctional performance. A 20° interlayer rotation optimizes strength, flexibility, and electromechanical response, while embedded nanotube networks enable real‐time damage detection and wearable ...
Piotr K. Szewczyk, Daniel P. Ura, Michał Kopacz, Katarzyna Marszalik, Urszula Stachewicz   +4 more
wiley   +1 more source

Streams and strings in formal proofs

Theoretical Computer Science, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources