Results 131 to 140 of about 526,453 (338)

Suppressing t(4;11) Acute Leukemia by Lipopolymer Nanoparticle Delivery of siRNA Targeting KMT2A::AFF1 with Enhanced Extrahepatic Delivery

Advanced Healthcare Materials, EarlyView.
This study introduces a new lipopolymer nanoparticle (LPNP) system that efficiently delivers siRNA to leukemia cells. The LPNPs silence the leukemia fusion gene KMT2A::AFF1, induce apoptosis, and decrease leukemia burden in mice. These results demonstrate the potential of LPNPs as a targeted siRNA therapy for acute lymphoblastic leukemia.
Mohammad Nasrullah, Remant KC, Amarnath Praphakar Rajendran, Saba Abbasi Dezfouli, Cezary Kucharski, Xiaoyan Jiang, Spencer B. Gibson, Joseph Brandwein, Olaf Heidenreich, Hasan Uludağ   +9 more
wiley   +1 more source

Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification. [PDF]

J Healthc Inform Res, 2017
Abomhara M, Yang H, Køien GM, Lazreg MB.   +3 more
europepmc   +1 more source

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

, 1995
Sofiène Tahar
openalex   +1 more source

Computational Modeling of Reticular Materials: The Past, the Present, and the Future

Advanced Materials, EarlyView.
Reticular materials are advanced materials with applications in emerging technologies. A thorough understanding of material properties at operating conditions is critical to accelerate the deployment at an industrial scale. Herein, the status of computational modeling of reticular materials is reviewed, supplemented with topical examples highlighting ...
Wim Temmerman, Ruben Goeminne, Kuber Singh Rawat, Veronique Van Speybroeck   +3 more
wiley   +1 more source

DECLAREd: A Polytime LTL_f Fragment

Logics
This paper considers a specification rewriting meachanism for a specific fragment of Linear Temporal Logic for Finite traces, DECLAREd, working through an equational logic and rewriting mechanism under customary practitioner assumptions from the Business
Giacomo Bergami
doaj   +1 more source

Formal verification of word-level specifications [PDF]

, 1999
Stefan Höreth, Rolf Drechsler
openalex   +1 more source

Granular Hydrogels as Brittle Yield Stress Fluids

Advanced Materials, EarlyView.
This work reports the Kamani‐Donley‐Rogers yield stress fluid model can describe granular hydrogel deformation. The model robustly captures transient rheology and self‐healing behavior for granular gels of varying composition using only six parameters. This framework provides new insight regarding the effect of material parameters on granular yielding ...
Gunnar B. Thompson, Jiye Lee, Krutarth M. Kamani, Noah Flores‐Velasco, Simon A. Rogers, Brendan A. C. Harley   +5 more
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 and validation at work [PDF]

, 1998
Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert   +2 more
openalex   +1 more source

Reconfigurable Liquid Crystal‐Based Physical Unclonable Function Integrating Optical and Electrical Responses

Advanced Materials, EarlyView.
Reconfigurable physical unclonable function (PUF) integrating optical and electrical responses in organic field‐effect transistor is developed by using unique optical fingerprint textures and random molecular alignment of the semiconductive smectic liquid crystal. This approach enhances security by enabling hierarchical authentication, providing robust
Hee Seong Yun, Dayan Wei, Sungjun Yang, Geonhyeong Park, Min Seok Kim, Tae Joo Shin, David M. Walba, Moon Jong Han, Dong Ki Yoon   +8 more
wiley   +1 more source