Results 111 to 120 of about 532,868 (319)

Verified Correctness and Security of mbedTLS HMAC-DRBG

, 2017
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof.
Almeida José Bacelar, Almeida José Bacelar, Beringer Lennart, Bernstein Daniel J., Checkoway Stephen, Heninger Nadia, Hirose Shoichi, ISO., Shumow Dan   +8 more
core   +1 more source

Artificial Intelligence‐Driven Development in Rechargeable Battery Materials: Progress, Challenges, and Future Perspectives

Advanced Functional Materials, EarlyView.
AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu, Junyuan Lu, Jian Hui, Ziyuan Rao, Yang Ren, Hong Wang   +5 more
wiley   +1 more source

Formal Specification in “Z” Language by Software Z/EVES

Advances in Electrical and Electronic Engineering, 2006
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj  

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

International Journal of Distributed Sensor Networks, 2017
An unattended deployment of wireless sensor and actor networks in a harsh and inhospitable environment may cause its failure by partitioning it into the disjoint segments.
Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan   +2 more
doaj   +1 more source

A formal system for the specification of the syntax and translation of computer languages [PDF]

, 1967
John J. Donovan, Henry Ledgard
openalex   +1 more source

Recycling of Thermoplastics with Machine Learning: A Review

Advanced Functional Materials, EarlyView.
This review shows how machine learning is revolutionizing mechanical, chemical, and biological pathways, overcoming traditional challenges and optimizing sorting, efficiency, and quality. It provides a detailed analysis of effective feature engineering strategies and establishes a forward‐looking research agenda for a truly circular thermoplastic ...
Rodrigo Q. Albuquerque, Florian Stephan, Annalena Pongratz, Christian Brütting, Katharina Krause, Holger Ruckdäschel   +5 more
wiley   +1 more source

Compiler generation using formal specification of procedure-oriented and machine languages [PDF]

, 1967
Philip Gilbert, William G. McLellan
openalex   +1 more source

Engineering Highly Cellularized Living Materials via Mechanical Agitation

Advanced Functional Materials, EarlyView.
A mechanical agitation strategy is developed to engineer highly cellularized living materials, achieving cell densities of up to 1 billion cells per milliliter. By precisely tuning properties such as stiffness and toughness in blood clots, the approach is validated in both in vitro and in vivo studies.
Aram Bahmani, Shiyu Liu, Evan Johnston, Weiyi Wan, Xiaoyi Lan, Tianqin Ning, Alexander Nottegar, Ran Huo, Shuaibing Jiang, Jianyu Li   +9 more
wiley   +1 more source

In-House Knowledge Management Using a Large Language Model: Focusing on Technical Specification Documents Review

Applied Sciences
In complex construction projects, technical specifications have to be reviewed in a short period of time. Even experienced engineers find it difficult to review every detail of technical specifications. In addition, it is not easy to transfer experienced
Jooyeup Lee, Wooyong Jung, Seungwon Baek
doaj   +1 more source

Specifications for a tree processing language [PDF]

, 1965
R. Tabory, F. L. Zarnfaller
openalex   +1 more source