Results 141 to 150 of about 526,453 (338)

Fibrous Pressure Sensor with Unique Resistance Increase under Partial Compression: Coaxial Wet‐Spun TiO2/Graphene/Thermoplastic Polyurethane Multi‐Wall Multifunctional Fiber

Advanced Materials, EarlyView.
TGTMW fibers are designed to show a sharp resistance increase under pressure, as the multi‐wall structure in the transition region between compressed and uncompressed areas bends and forms microcracks. This design breaks the physical sensitivity limit of conventional fiber‐shaped pressure sensors, which usually show resistance reduction under pressure ...
Ziwei Chen, Dandan Xie, Kanae Kojima, Chunxia Gao, Jian Shi, Jian Xing, Hideaki Morikawa, Chunhong Zhu   +7 more
wiley   +1 more source

Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+

IEEE Access
Smart contracts provide convenience to the financial industry by automating complex transactions without intermediaries. In the context of decentralized finance, ensuring the correctness, reliability, and efficiency of these automated systems is crucial,
Seongho Yoon, Jin-Young Choi
doaj   +1 more source

Formal specification of user interfaces [PDF]

, 1996
Christopher Rouff
openalex   +1 more source

AI‐Enhanced Gait Analysis Insole with Self‐Powered Triboelectric Sensors for Flatfoot Condition Detection

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
The given research presents an innovative insole‐based device employing self‐powered triboelectric nanogenerators (TENG) for flatfoot detection. By integrating TENG tactile sensors within an insole, the device converts mechanical energy from foot movements to electrical signals analyzed via machine learning, achieving an 82% accuracy rate in flatfoot ...
Moldir Issabek, Sabyrzhan Oralkhan, Adeliya Anash, Nuriya Nurbergenova, Azat Balapan, Azamat Yeshmukhametov, Yeltay Rakhmanov, Gulnur Kalimuldina   +7 more
wiley   +1 more source

The complexity of formal specifications - assessments by α - metric [PDF]

, 1999
Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia   +3 more
openalex   +1 more source

Electrochemical‐Doping of Tungsten on Nickel‐Boron‐Phosphide Microspheres for Accelerated Industrial‐Scale Water Electrolysis at High Current Density

Advanced Materials Technologies, EarlyView.
The bifunctional W/NiBP (+) || W/NiBP (−) demonstrates superior overall water splitting (OWS) performance as compared to the benchmark of Pt/C (+) || RuO2 (−). Notably, the W/NiBP (+, −) exhibits an ultra‐low cell voltage of 2.68 V at 2000 mA cm−2 high current density as compared to the benchmark value of 3.29 V.
Md Ahasan Habib, Sumiya Akter Dristy, Shusen Lin, Mehedi Hasan Joni, Md Najibullah, Rutuja Mandavkar, Jihoon Lee   +6 more
wiley   +1 more source

Formal specification of complex reasoning systems

, 1994
Jan Treur, Thomas C. Wetter
openalex   +1 more source

A study of collaborative work: answers to a test on formal specification in B [PDF]

, 1999
Henri Habrias, Pascal Poizat, Jean-Yves Lafaye   +2 more
openalex   +1 more source

Transformative 4D Printed SMPs into Soft Electronics and Adaptive Structures: Innovations and Practical Insights

Advanced Materials Technologies, EarlyView.
This review highlights recent advancements in 3DP techniques that incorporate emerging multifunctional SMP materials for applications in e‐electronics, soft actuators, biomedical devices, and more. Abstract Shape memory polymers (SMP) have recently gained significant attention as multifunctional materials for flexible and wearable electronics ...
Muhammad Yasir Khalid, Adam Otabil, Omar Samir Mamoun, Khalid Askar, Mahdi Bodaghi   +4 more
wiley   +1 more source

A Unified Enhanced Quasi‐Electrostatic 3D Charge Model for Accurate Prediction and Design Optimization of Contact‒Separation Triboelectric Nanogenerators

Advanced Materials Technologies, EarlyView.
New theoretical model for vertical contact and separation mode triboelectric nanogenerator is proposed. Detailed derivation process and results are discussed. Numerical solutions and parametric studies are presented. Calculated results are validated by experimental outcomes.
Seokjin Kim, Jang‒Woo Han, Jihoon Chung   +2 more
wiley   +1 more source