Results 131 to 140 of about 131,074 (313)

Functional programming languages for verification tools: experiences with ML and Haskell [PDF]

, 2001
We compare Haskell with ML as programming languages for verification tools, based on our experience developing TRUTH in Haskell and the Edinburgh Concurrency Workbench (CWB) in ML.
Leucker, Martin, Noll, Thomas, Stevens, Perdita, Weber, Michael   +3 more
core   +3 more sources

Mechanically Tunable Bone Scaffolds: In Vivo Hardening of 3D‐Printed Calcium Phosphate/Polycaprolactone Inks

Advanced Functional Materials, EarlyView.
A 3D bone scaffold with osteogenic properties and capable of hardening in vivo is developed. The scaffold is implanted in a ductile state, and a phase transformation of the ceramic induces the stiffening and strengthening of the scaffold in vivo. Abstract Calcium phosphate 3D printing has revolutionized customized bone grafting.
Miguel Mateu‐Sanz, Pablo Varela, Laura del‐Mazo‐Barbara, Irene Lodoso‐Torrecilla, Emilio Jiménez‐Piqué, Jordi Franch, Miguel Alaminos, Maria‐Pau Ginebra   +7 more
wiley   +1 more source

Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude

, 2022
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani   +4 more
openalex   +1 more source

Host‐Directed Biomaterials for Combatting Bloodstream Infections: From Macrocyclic Peptides to Immune‐Activating Cell Backpacks

Advanced Functional Materials, EarlyView.
Bloodstream infections (BSI) are one of the leading causes of mortality and morbidity in both civilian and military populations. This paper summarizes recent progress in novel treatment strategies to manage BSI arising from both bacterial and fungal pathogens using molecules, particles, and materials to elicit host‐directed immunity.
Thomas Thomou, Jagadish Krishnappa, Justin B. Schaal, Prasad Tongaonkar, Dat Q. Tran, Wenchao Gu, Yung‐Fu Chang, Michael E. Selsted, Shaoyi Jiang, Samir Mitragotri, Michael Super, Christopher J. Bettinger   +11 more
wiley   +1 more source

SMAUG (-T), Revisited: Timing-Secure, More Compact, Less Failure

IEEE Access
SMAUG-T is a Module-LWE/LWR-based Key Encapsulation Mechanism (KEM) scheme, one of the Round 2 candidates in the Korean Post-Quantum Cryptography (KpqC) Standardization Competition.
Jung Hee Cheon, Hyeongmin Choe, Jungjoo Seo, Hyoeun Seong   +3 more
doaj   +1 more source

Transparent Inorganic–Organic Bilayer Neural Electrode Array and Integration to Miniscope System for In Vivo Calcium Imaging and Electrophysiology

Advanced Functional Materials, EarlyView.
This study presents the BioCLEAR system, a highly transparent and conductive neural electrode array composed of silver nanowires (AgNWs) and doped PEDOT:PSS, enabling neural recordings with minimal optical artifacts. When integrated with a GRIN lens, this cost‐effective neural implant allows simultaneous electrophysiological recording and GCaMP6‐based ...
Dongjun Han, Kevin Cheng, Swathy Sampath Kumar, Anil Bollimunta, Elizabeth E. Torr, Juhwan Kim, Kyoungmin Kim, Hyungjun Choi, Seongkwon Hwang, Sarah Brodnick, David Cheng, Lindsay Gray, Yei Hwan Jung, William L. Murphy, Aaron J. Suminski, Jonathan J. Nassi, Justin C. Williams, Dong‐Wook Park   +17 more
wiley   +1 more source

Highly Efficient and Light NTRU-Based Key Encapsulation Mechanisms with Small Moduli

Mathematics
In this paper, we present CTRU-Light, an IND-CCA-secure key encapsulation mechanism (KEM) derived from NTRU and RLWE (and RLWR in variant) assumptions over power-of-two cyclotomic rings. Our CTRU-Light employs a compact NTT-compatible modulus q=641 while
Jing Fan, Bo-Yue Fang, Wei-Ze Wang, Neng-Hai Yu, Feng-Hua Li, Long Wang   +5 more
doaj   +1 more source

Processes and methods for selecting system-wide parameters and analysis of resistance against third-party channel attacks for the key encapsulation mechanism DSTU 8961:2019

, 2021
V.A. Kulibaba
openalex   +2 more sources

Electroactive Metal–Organic Frameworks for Electrocatalysis

Advanced Functional Materials, EarlyView.
Electrocatalysis is crucial in sustainable energy conversion as it enables efficient chemical transformations. The review discusses how metal–organic frameworks can revolutionize this field by offering tailorable structures and active site tunability, enabling efficient and selective electrocatalytic processes.
Irena Senkovska, Yutong Luo, Ruyan Zhao, Jianjun Zhang, Mingchao Wang, Xinliang Feng, Eike Brunner, Stefan Kaskel   +7 more
wiley   +1 more source

Study of fault-tolerant software technology [PDF]

Presented is an overview of the current state of the art of fault-tolerant software and an analysis of quantitative techniques and models developed to assess its impact.
Broglio, C., Goldberg, J., Hitt, E., Levitt, K., Slivinski, T., Webb, J., Wild, C.   +6 more
core   +1 more source