Results 151 to 160 of about 1,643,554 (351)

Formal Nova interface specification : Formal specification of the micro-hypervisor interface

, 2008
Contains fulltext : 72454.pdf (Publisher’s version ) (Open Access)
Tews, H., Weber, T.M., Poll, E., Eekelen, M.C.J.D. van   +3 more
openaire   +1 more source

Few‐Layered Conductive Graphene Foams for Electrical Transdifferentiation of Mesenchymal Stem Cells Into Schwann Cell‐Like Phenotypes

Advanced Healthcare Materials, EarlyView.
Few‐layered three dimansional conductive graphene foams are promising cytocompatible platforms to transdifferentiate mesenchymal stem cells into Schwann cell‐like phenotypes using electrical and microstructural cues. Applied electrical stimulation conditions resulted in activation of MAPK, neurotrphin and RAS signaling pathways that led to upregulation
Ekin G. Simsar, Peifu Cheng, Tugce Dogruel, Maxsam Donta, Juhyung Jung, Naomi A. Asante, Donald S. Sakaguchi, Surya K. Mallapragada, Piran R. Kidambi, Metin Uz   +9 more
wiley   +1 more source

A Novel Microfluidic System for 3D Epidermis and Full‐Thickness Skin Growth for Nanoparticle Safety Assessment

Advanced Healthcare Materials, EarlyView.
This work presents a novel, dynamically perfused, configurable microfluidic system for epidermis‐only (E and full‐thickness skin (FT SoC) growth, emulating human skin structure and barrier function. Upon TiO2 nanoparticle exposure, the system reveals compromised barrier integrity, reduced metabolic activity, increased permeability, and chemokine‐driven
Samantha Costa, Ana B. Carneiro, Filipa Lebre, João Meneses, Alar Ainla, Cacilda Moura, Ernesto Alfaro‐Moreno, Ana R. Ribeiro   +7 more
wiley   +1 more source

Formal specification as a design tool [PDF]

, 1980
John V. Guttag, J. J. Horning
openalex   +1 more source

FORMS: Unifying reference model for formal specification of distributed self-adaptive systems

TAAS, 2012
Danny Weyns, S. Malek, J. Andersson
semanticscholar   +1 more source

Precise Control of Drug Release in Machine Learning‐Designed Antibody‐Eluting Implants for Postoperative Scarring Inhibition in Glaucoma

Advanced Healthcare Materials, EarlyView.
We developed a micro‐sized, biocompatible implant for postoperative sustained delivery of anti‐fibrotic antibodies in glaucoma surgery. Machine learning‐guided optimization of polymer composition, implant geometry, and porosity enabled precise control of drug release.
Mengqi Qin, Wenbing Jiang, Kai Xin Thong, Zeynep Ulker, Brihitejas Patel, Cynthia Yu‐Wai‐Man   +5 more
wiley   +1 more source

Formal Specification

The Journal of Aesthetics and Art Criticism, 1966
openaire   +1 more source

Geometrical Designs in Volumetric Bioprinting to Study Cellular Behaviors in Engineered Constructs

Advanced Healthcare Materials, EarlyView.
Curvature and spatial confinement guide cell behavior in volumetrically printed 3D constructs. Endothelial cells align and spread along specific geometries, while metastatic osteosarcoma cells proliferate independently of structural cues. Label‐free holographic microscopy captures real‐time, long‐term cell–material interactions, highlighting Gel‐PEG's ...
Julia Simińska‐Stanny, Pierre Tournier, Armin Shavandi, Shukry J Habib   +3 more
wiley   +1 more source

Formal specification and optimization of ETL scenarios

, 2006
Timos Sellis
openalex   +1 more source

Smart Catheters for Diagnosis, Monitoring, and Therapy

Advanced Healthcare Materials, EarlyView.
This study presents a comprehensive review of smart catheters, an emerging class of medical devices that integrate embedded sensors, robotics, and communication systems, offering increased functionality and complexity to enable real‐time health monitoring, diagnostics, and treatment. Abstract This review explores smart catheters as an emerging class of
Azra Yaprak Tarman, Samiha Ahmed, Majed Othman Althumayri, Megan Guy, Darlenne Chavez Lugo, Frances S. Ligler, George T. Ligler, Rahmi Oklu, Hiroshi Kawahira, Michael J. McShane, Jun Kameoka, Jonathan Bova, Hatice Ceylan Koydemir   +12 more
wiley   +1 more source