Results 181 to 190 of about 3,157,454 (357)

Formal specification and verification of control software for cryptographic equipment [PDF]

, 2002
D. Richard Kuhn, James F. Dray
openalex   +1 more source

Investigating the Cellular Effects of GALC Dosing in Enzyme Replacement Therapy for Krabbe Disease Supports the Role of Nanomedicine

Advanced Biology, EarlyView.
A detailed workflow for recombinant GALC production and characterization is presented to support enzyme replacement therapy for Krabbe disease. In vitro assays demonstrate that physiological GALC doses restore enzymatic activity and autophagic flux without affecting cell viability, whereas higher doses impair autophagy and reduce viability.
Ambra Del Grosso, Sara Carpi, Laura Colagiorgio, Miriam De Sarlo, Mariacristina Gagliardi, Marco Cecchini   +5 more
wiley   +1 more source

Formal verification of some potential contradictions in hybrid expert systems [PDF]

, 2002
Simon Shiu, Jingxuan Liu, Wing W. Y. Ng
openalex   +1 more source

Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models

International Conference on New Technologies, Mobility and Security, 2018
Tesnim Abdellatif, Kei-Léo Brousmiche
semanticscholar   +1 more source

Adipose Mesenchymal Stem Cell‐Derived Exosomes in Conjunction with Roflumilast Ameliorate Chronic Kidney Disease Through the Modulation of Fibrosis and Inflammation

Advanced Biology, EarlyView.
The novelty of this study showed that the injection of exosomes produced from ADMSCs in combination with Roflumilast poses a more favorable therapeutic outcome for CKD induced by Adriamycin, compared to therapy with exosomes or Roflumilast alone. Roflumilast and exosomes treatment lowered the expression of the apoptotic, fibrotic, and inflammatory ...
Mohamed Ali, Mohamed H. Sherif, Nashwa Barakat, Bassant Yahia, Ahmed A. Shokeir, Basel Sitohy   +5 more
wiley   +1 more source

Verification of a Formal Security Model for Multiapplicative Smart Cards

, 2000
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll   +5 more
openalex   +1 more source

Formal verification of replication on a distributed data space architecture [PDF]

, 2002
Jozef Hooman, Jaco van de Pol
openalex   +1 more source

Soft‐Layered Composites with Wrinkling‐Activated Multi‐Linear Elastic Behavior, Stress Mitigation, and Enhanced Strain Energy Storage

Advanced Engineering Materials, EarlyView.
In this study, exciting new bi‐/multi‐linear elastic behavior of soft elastic composites that accompany the activation of wrinkling in the embedded interfacial layers is analyzed. The new features and performance of these composite materials, including dramatic enhancements in energy storage, can be tailored by the concentration of interfacial layers ...
Narges Kaynia, Nicholas Xuanlai Fang, Mary C. Boyce   +2 more
wiley   +1 more source

Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point Divider

, 2001
Roope Kaivola, Katherine Kohatsu
openalex   +1 more source

Hierarchical formal verification using a hybrid tool [PDF]

, 2003
Skander Kort, Sofi�ne Tahar, Paul Curzon   +2 more
openalex   +1 more source