Results 91 to 100 of about 64,411 (297)

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]

, 2015
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
core   +3 more sources

Assembly of Cell‐Seeded 3D Printed Hydrogel Modules with Perfusable Channel Networks

Advanced Functional Materials, EarlyView.
Macroscale assembly was utilized to prepare perfusable tissue constructs from individually 3D printed hydrogel modules with embedded branched channel networks and port arrays for cell seeding. Novel multi‐material bioreactors were fabricated to facilitate the gluing of individual modules and the perfusion culture of assembled modular constructs seeded ...
Zachary J. Geffert, Daniel Fougnier, Bo Van Durme, Jenna Grutzmacher, Ryan Clarke, Susan Cao, Zhenghao Li, Ujjwal Aryal, Jason A. Horton, Sandra Van Vlierberghe, Pranav Soman   +10 more
wiley   +1 more source

Coagulative Granular Hydrogels with an Enzyme Catalyzed Fibrin Network for Endogenous Tissue Regeneration

Advanced Healthcare Materials, EarlyView.
Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng, Camila B. Tovani, Simona Bianco, Gianni Comandini, Aya Elghajiji, Mina Aleemardani, Roxana Moscalu, Jeremie Zappia, Bianca Fernandes, Olivia Annett, Chrissy L. Hammond, Jason Wong, Dave J. Adams, Fabrizio Scarpa, Michael R. Whitehouse, Annela M. Seddon, James P. K. Armstrong   +16 more
wiley   +1 more source

Mechanical and Electrical Phenotype of hiPSC‐Cardiomyocytes on Fibronectin‐Based Hydrogels

Advanced Healthcare Materials, EarlyView.
We introduce fibronectin‐based PEG hydrogels with controlled rigidity to enable the culture of iPSC‐derived cardiomyocytes. These substrates offer an alternative to the current culture of these cells on fibronectin‐coated glass, providing enhanced structural and functional behavior. The system provides a more physiologically relevant platform to assess
Ana Da Silva Costa, Lineta Stonkute, Sara Trujillo, Mariana Azevedo Gonzalez Oliva, Francis Burton, Matthew J. Dalby, Oana Dobre, Godfrey Smith, Manuel Salmeron‐Sanchez   +8 more
wiley   +1 more source

Co‐Electrospinning Extracellular Matrix with Polycaprolactone Enables a Modular Approach to Balance Bioactivity and Mechanics of a Multifunctional Bone Wrap

Advanced Healthcare Materials, EarlyView.
The incorporation of nondigested ECM and synthetic polymers into a co‐electrospinning system enables the decoupling of bioactivity and mechanical properties within a single wrap. This technique is used to develop a multifunctional bone wrap that achieves augmented membrane durability, sustained infection control, and enhanced vascularity for use in ...
Sarah Jones, Madeline Laude, Zeenat Oyebanji, Ruchi Birur, Andres Luengo Martinez, Isabelle Gilbert, Phillip Baek, Nichole Longbottom, Nicole McCullough, Staci J. Horn, Chien‐Yu Lin, Matthew J. Lohr, Fred Clubb, Manuel K. Rausch, Elizabeth Cosgriff‐Hernandez   +14 more
wiley   +1 more source

Reachability of Communicating Timed Processes

, 2012
We study the reachability problem for communicating timed processes, both in discrete and dense time. Our model comprises automata with local timing constraints communicating over unbounded FIFO channels.
A. Heußner, B. Bérard, D. Brand, G. Cécé, G. Delzanno, H. Gruber, K. Reinhardt, O.H. Ibarra, P. Chambart, P. Chandrasekaran, P. Krcal, P.A. Abdulla, P.A. Abdulla, P.A. Abdulla, R. Alur, R. Bonnet, S. Akshay, S. Akshay, S. Torre La   +18 more
core   +3 more sources

Fluid Forces Control Structural Remodeling of Blind‐Ended Lymphatic Microvessels

Advanced Healthcare Materials, EarlyView.
Using innovative microfluidic biofabrication with fluid mechanical insights, we recapitulated the blind‐ended microanatomy and physiological drainage properties of capillary lymphatics. Our results reveal the interrelationship between intra‐ and extraluminal regions of lymphatic vessels due to flow‐induced sprouting and morphological changes that ...
Jacob C. Holter, Shashwat S. Agarwal, Joseph W. Tinapple, Joseph M. Barlage, Travis H. Jones, Jonathan W. Song   +5 more
wiley   +1 more source

A Method of Sample Models of Program Construction in Terms of Petri Nets

Моделирование и анализ информационных систем, 2015
In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev   +3 more
doaj   +1 more source

Representation Theorems for Petri Nets

, 1997
This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core   +1 more source

Functional Precision Oncology Approach Using Nanoliter Droplet Array for Drug Sensitivity Testing in Lung Cancer

Advanced Healthcare Materials, EarlyView.
A miniaturized drug sensitivity and resistance testing (DSRT) workflow based on the Droplet Microarray (DMA) platform enables functional drug testing using minimal patient‐derived tumor material. By screening nanoliter‐scale droplets containing as few as 300 cells, this approach generates reproducible and tumor‐specific drug response profiles ...
Maryam Salarian, Vicky L. Schiling, Thomas Muley, Michael Allgäuer, Florian Eichhorn, Michael Meister, Marc A. Schneider, Anna A. Popova   +7 more
wiley   +1 more source