Results 81 to 90 of about 2,046,692 (239)

Bone‐Inspired Recyclable Composites for Damage‐Tolerant Circular Materials

Advanced Functional Materials, EarlyView.
Bone‐inspired architected composites are developed by combining osteon‐like reinforcements with a recyclable Elium thermoplastic matrix. The hierarchical architecture redirects cracks and promotes energy dissipation, while enabling recovery of intact, aligned, load‐bearing reinforcement units that retain their original stiffness, revealing a route ...
Alessandro Stagni, Nastaran Bahrami Novin, Luigi Benvenuto, Enrico Lertora, Flavia Libonati   +4 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   +2 more sources

Reservoir‐Driven Neuromorphic Computing Based on Composite Rare‐Earth/Transition Metal Oxide Memristor

Advanced Functional Materials, EarlyView.
A defect‐engineered Ag/Gd2O3:Nb2O5/Pt rare earth composite oxide memristor enables stable multilevel reservoir states through pulse driven conductance modulation. Experimentally measured device responses are incorporated into a device aware reservoir computing framework for CIFAR‐100 image classification, highlighting the potential of rare earth ...
Hammad Ghazanfar, Haider Abbas, Muhammad Rabeel, Honggyun Kim, Ghulam Dastgeer, Muhammad Nasim, Furqan Zahoor, Yawar Abbas, Waqas Ahmad, Deok‐kee Kim   +9 more
wiley   +1 more source

Safety cases for the formal verification of automatically generated code

, 2010
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains.
Basir, Nurlida
core   +1 more source

Preferential Interfacial Engineering of Hydrogels via Interdigitated Nanoparticle Assembly

Advanced Functional Materials, EarlyView.
Robust surface functionalization of hydrogel surfaces is performed via interdigitated metal nanoparticle assembly, inducing strong affinity with the hydrogel matrix. The partially exposed nanoparticle domains act as interfacial nanobridges that mediate both chemical and physical bonding with diverse materials, including small molecules, fluorous ...
Hyeonjin Kim, Hyeseoung Lim, Ji Min Lee, Heeyeon Kang, Yongkwon Song, Woojae Chang, So‐Jin Park, Jin Yoo, Atsushi Hozumi, Jinhan Cho, Jongkuk Ko, Sanghyuk Wooh   +11 more
wiley   +1 more source

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Моделирование и анализ информационных систем, 2019
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez   +3 more
doaj   +1 more source

PERSEPSI MAHASISWA DALAM MEMVALIDASI BUKTI MATEMATIS

Jurnal Magister Pendidikan Matematika, 2020
This study aims to describe the perceptions of prospective students in the first year in validating mathematical proof. This student's perception is discussed based on the answers given to the proof of a theorem.
Christi Matitaputty
doaj   +1 more source

An Integrated Oxygen‐Supplying Device and Predictive Multiphysics Model for Extended Ambient Transport of Insulin‐Producing Cells

Advanced Functional Materials, EarlyView.
Cell therapies typically rely on cold‐chain logistics and cryopreservation, limiting access and compromising cell quality. Here, a dual‐chamber device separates an oxygen‐supplying chamber from a hyaluronic acid cargo chamber, sustaining oxygen delivery for over 70 h and enabling ambient‐temperature shipment.
Daniel A. Domingo‐Lopez, Ruth Tarpey, Benjamin Brennan, Bryan D. Boyle, Amir M. Alsharabasy, Abhik Mallick, Gabriella Bellavia, Abhay Pandit, Garry P. Duffy, Ruth E. Levey   +9 more
wiley   +1 more source

Lower secondary school students’ understanding of algebraic proof

, 2009
Secondary school students are known to face a range of difficulties in learning about proof and proving in mathematics. This paper reports on a study designed to address the issue of students’ cognitive needs for conviction and verification in algebraic ...
Kumakura, Hiroyuki, Kunimune, Susumu, Jones, Keith, Fujita, Taro   +3 more
core   +1 more source

Towards a Coq-verified Chain of Esterel Semantics [PDF]

Leibniz Transactions on Embedded Systems
This article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj   +1 more source