Results 131 to 140 of about 1,643,554 (351)

Formal semantic specification of a core object-oriented language

, 2004
Thomas Bietenhader
openalex   +2 more sources

Injectable Dual‐Network Hydrogel System for Osteochondral Repair Combining Immunomodulation, Mechanical Adaptability, and Enhanced Tissue Integration

Advanced Functional Materials, EarlyView.
A UV‐triggered injectable dual‐network hydrogel is reported as the first application of bletilla striata polysaccharide (BSP) in osteochondral repair. By integrating methacrylamide‐modified BSP and nitrobenzaldehyde‐functionalized hyaluronic acid, the system achieves immunomodulation, mechanical reinforcement, and dynamic tissue adhesion, thereby ...
Jiaming Cui, Feifei Zhou, Yuan Luo, Tao Ouyang, Huiwu Zhang, Songmiao Cheng, Qiang Li, Xu Jiang, Yingying Yu, Yicheng Wang, Hong Ming   +10 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

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications [PDF]

, 2011
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow   +3 more
openalex   +1 more source

Micro and Nanostructural Diversity of Lizard Osteoderm Capping Tissue in Relation to Mechanical Performance

Advanced Functional Materials, EarlyView.
This study shows that lizard osteoderm capping tissue is a hyper‐mineralized hydroxyapatite layer consistently covering the superficial osteoderm surface in those species studied here, yet it varies greatly in morphology, nanostructure, and mechanical performance across species.
Adrian Rodriguez‐Palomo, Marius Didziokas, Malene Siri Berg Jacobsen, Thorbjørn Erik Køppen Christensen, Innokenty Kantor, Mads Ry Vogel Jørgensen, Klaus Pagh Almtoft, Jesper Skovhus Thomsen, Anthony Herrel, Catherine J.A. Williams, Henrik Birkedal   +10 more
wiley   +1 more source

Formal Specification and Verification of CRDTs

Formal Techniques for (Networked and) Distributed Systems, 2014
Peter Zeller, Annette Bieniusa, A. Poetzsch-Heffter   +2 more
semanticscholar   +1 more source

Poly(lactic‐co‐glycolic acid) Nanoparticles for IL‐12 Self‐Amplifying RNA Delivery in Glioblastoma Models

Advanced Functional Materials, EarlyView.
xxxx. ABSTRACT Glioblastoma (GBM) remains one of the most lethal brain cancers, with median survival rarely exceeding 15 months after diagnosis. Interleukin‐12 (IL‐12) is a potent immunostimulatory cytokine capable of reshaping the tumor microenvironment (TME), yet its clinical translation is hindered by systemic toxicity and short half‐life. RNA‐based
Fatima Hameedat, Johan Sebastian Lopez‐Parra, Willem M. H. Hoogaars, Emma Dijkstra, Cynthia Huang, Irafasha C. Casmil, Anna K. Blakney, Peter Olinga, Barbara Rothen‐Rutishauser, Hélder A. Santos, Alke Petri‐Fink, Flávia Sousa   +11 more
wiley   +1 more source

Formal Specification for a Reflection-Based Coordination Model Using PiOZ

, 2011
Peng Ye, Youcong Ni, Zhang Linlin, Ming Hua Hu   +3 more
openalex   +1 more source

Are constructive formal specifications less abstract? [PDF]

, 1990
Ivo Van Horebeek, Johan Lewi
openalex   +1 more source

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

IEEE International Conference on Services Computing, 2014
S. Cheikhrouhou, Slim Kallel, Nawal Guermouche, M. Jmaiel   +3 more
semanticscholar   +1 more source