Results 171 to 180 of about 2,084,052 (380)

Formal specification of user interfaces [PDF]

, 1996
Christopher Rouff
openalex   +1 more source

Guides for Developing Hundreds of Novel Chiral MXenes and MBenes Nanosheets/Quantum Dots for Next‐Generation Chiral Engineered Biomaterials Applications

Advanced Healthcare Materials, EarlyView.
The emerging field of MXene/MBene materials has progressed rapidly, advancing diverse research fields, including biomedical engineering, biomedicine, agriculture, and the environment. This nanobiotechnology can tackle longstanding challenges in these areas.
Alireza Rafieerad, Ahmad Amiri
wiley   +1 more source

Formal specification and design techniques for wireless sensor and actuator networks. [PDF]

Sensors (Basel), 2011
Martínez D, González A, Blanes F, Aquino R, Simo J, Crespo A.   +5 more
europepmc   +1 more source

Formal specification of complex reasoning systems

, 1994
Jan Treur, Thomas C. Wetter
openalex   +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 Biosensor for Rapid Detection of Acute Rejection in Kidney Transplants

Advanced Healthcare Materials, EarlyView.
A low‐cost, rapid electrochemical immunosensor coated with a novel antifouling nanocomposite enables single‐step, dual‐biomarker profiling directly from unprocessed urine. Application in a clinical study shows accurate discrimination of acute rejection in kidney transplants from other acute kidney injuries via machine learning.
Rohit Gupta, Nikolaos Salaris, Ashish Kalkal, Fernando Yuen Chang, Maryam Javed, Azhar Ali Khan, Priya Mandal, Stavroula Balabani, Reza Motallebzadeh, Manish K. Tiwari   +9 more
wiley   +1 more source

Formal specification and verification techniques for RISC pipeline conflicts [PDF]

, 1995
Sofiène Tahar
openalex   +1 more source

AI‐Assisted Design and Evaluation of SLM‐Ti64 Implants for Enhanced Bone Regeneration

Advanced Healthcare Materials, EarlyView.
AI‐driven simulations of biological healing, combining biomechanical modeling and machine learning, enable personalized orthopedic treatments. By decoding healing patterns influenced by implants and patient‐specific factors, this approach advances fracture repair understanding, optimizes implant design, and supports precision medicine and sustainable ...
Muhammad Usama Zaheer, Muhammad Hassan Razzaq, Mehmet Fatih Aycan, Yogendra Kumar Mishra   +3 more
wiley   +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

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

IEEE International Conference on Services Computing, 2014
S. Cheikhrouhou, Slim Kallel, Nawal Guermouche, M. Jmaiel   +3 more
semanticscholar   +1 more source