Results 191 to 200 of about 2,084,052 (380)

Rigid Supramolecular Aramid Nanotubes as Catalyst Supports

Advanced Materials, EarlyView.
Molecular nanotube self‐assemblies with high aspect‐ratios and stiffness are demonstrated as nanocatalyst supports. The extended dimensions and tunable surface chemistries of the nanotubes enable tethered gold nanoparticle catalysts to remain dispersed in solution and to be easily recovered through simple filtration.
Yukio Cho, Kiera Y. Tai, Guillaume Lamour, Ty Christoff‐Tempesta, Debaditya Bose Sinha, Yu‐Jin Choi, Rebecca Meacham, Dechen T. Rota, Siyu Wu, Xiaobing Zuo, Julia H. Ortony   +10 more
wiley   +1 more source

Formal Specification from an Observation-Oriented Perspective [PDF]

, 2000
Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair   +2 more
openalex   +1 more source

Heterogenized Copper(II) Phenanthroline Catalysts for Electroreduction of CO2 to C2 Compounds: Substitution on the Ligand Causes Structural Changes to the Molecular Framework and Stability Enhancement

Advanced Materials, EarlyView.
Based on a previously reported binuclear Cu(II) phenanthroline catalyst, a structurally modified version with enhanced stability for electrochemical reduction of CO2 is developed. The second‐generation system allows for stable operation in an MEA electrolyzer with a Faradaic efficiency of >70% for C2 products at elevated current densities.
Na Liu, Trang Minh Pham, Yanan Han, Linfeng Yang, Olga S. Bokareva, Stephan Bartling, Armin Springer, Anke Spannenberg, Christoph Kubis, Jana Weiss, Dmitry E. Doronkin, Wen Ju, Robert Francke   +12 more
wiley   +1 more source

Cu and Cu‐30Ni Alloy as Anti‐Viral Materials for High‐Touch Surfaces: Efficacy in a Simulated Public Environment with Frequent Cleaning Practices

Advanced Materials Interfaces, EarlyView.
This study evaluates the antiviral efficacy and corrosion behavior of pure copper and Cu‐30Ni alloy on high‐touch surfaces under simulated public conditions with periodic cleaning. Copper shows faster virus inactivation due to higher ion release, while Cu‐30Ni offers better aesthetic durability.
Valentin Romanovski, Elena Romanovskaia, Victor Wallemacq, Carol F. Glover, John Emery, Tsuyoshi Miyake, Wuhuan Zhang, Timothy D. Montoya, Stephen J. McDonnell, Daniel A. Engel, John R. Scully   +10 more
wiley   +1 more source

Formal Specification and Verification of Java Card’s Application Identifier Class [PDF]

, 2001
Joachim van den Berg, Bart Jacobs, Erik Poll   +2 more
openalex   +1 more source

FORMS: Unifying reference model for formal specification of distributed self-adaptive systems

TAAS, 2012
Danny Weyns, S. Malek, J. Andersson
semanticscholar   +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

Event‐Driven Elongation Monitor for Soft Devices Using a Deformation‐Activated Piezoconductive Switch

Advanced Materials Technologies, EarlyView.
A stretchable, event‐driven strain sensor with low energy consumption is developed using positive piezoconductive composites. These composites remain insulative when relaxed, while they become conductive when stretched. Their electrical characteristics are modifiable by the nickel's weight ratio and cross‐sectional geometry. Strain‐induced switching is
Yuji Isano, Munkhzaya Purevdorj, Nyamjargal Ochirkhuyag, Tamami Takano, Shoki Kato, Hiroki Ota   +5 more
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Formal specification for building robust real-time microkernels [PDF]

, 2002
Manuel Rodríguez, J.-C. Fabre, Jean Arlat   +2 more
openalex   +1 more source