Results 161 to 170 of about 2,084,052 (380)

Human Endometrial Extracellular Matrix Hydrogel Facilitated Endometrial Mesenchymal Stem Cells for Endometrial Regeneration

Advanced Healthcare Materials, EarlyView.
Adequate thickness of the uterine lining is crucial for women with thin or damaged endometrium to achieve pregnancies. Endometrial mesenchymal stem cells (eMSC) can facilitate the cyclical repair and regeneration of the human endometrium. In this study, the human endometrium derived extracellular matrix hydrogel supports the growth of eMSC promoting ...
Jingwen Xu, Philip C N Chiu, Ernest H Y Ng, Sentao Hu, Zi Ye, Liaobing Xin, Lie Ma, Songying Zhang, William S B Yeung, Rachel W S Chan   +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 of COTS-based software [PDF]

, 1999
Edward A. Addy, Murali Sitaraman
openalex   +1 more source

Formal specification of human-computer interfaces [PDF]

A high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described.
Auernheimer, Brent
core   +1 more source

Decellularized Extracellular Matrix Scaffolds to Engineer the Dormant Landscape of Microscopic Colorectal Cancer Liver Metastasis

Advanced Healthcare Materials, EarlyView.
Decellularized liver extracellular matrix scaffolds provide a platform to study dormant liver‐metastatic colorectal cancer. They induce reversible dormancy, in combination with nutrient depletion and low dose chemotherapy, through cell cycle arrest and chemotherapy resistance.
Sabrina N. VandenHeuvel, Lucia L. Nash, Abigail J. Clevenger, Claudia A. Collier, Oscar R. Benavides, Sanjana Roy, Brinlee Goggans, Aelita Salikhova, Anvitha Tharakesh, Svasti Haricharan, Amber N. Stratman, Scott Kopetz, Alex J. Walsh, Shreya A. Raghavan   +13 more
wiley   +1 more source

Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+

IEEE Access
Smart contracts provide convenience to the financial industry by automating complex transactions without intermediaries. In the context of decentralized finance, ensuring the correctness, reliability, and efficiency of these automated systems is crucial,
Seongho Yoon, Jin-Young Choi
doaj   +1 more source

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

Towards heterogeneous formal specifications [PDF]

, 1996
Gilles Bernot, Sophie Coudert, Pascale Le Gall   +2 more
openalex   +1 more source

Fabrication of Patterned Composite Microneedles via Inkjet Printing for Enhanced Drug Delivery

Advanced Healthcare Materials, EarlyView.
A novel inkjet printing‐based microneedle platform enabling multi‐material fabrication for customizable and scalable transdermal drug delivery. Abstract Microneedle (MN) technology offers a minimally invasive, patient‐friendly alternative to conventional hypodermic injections for dermal drug delivery.
Sanghyeok Jang, Jooyoung Lee, Hyungseok Lee   +2 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