Results 61 to 70 of about 27,619 (295)
Microbubble‐Controlled Delivery of Biofilm‐Targeting Nanoparticles to Treat MRSA Infection
Advanced Functional Materials, EarlyView.Here, an effective strategy using microbubble (MB)‐controlled delivery of biofilm‐targeting nanoparticles (BTNs) for removal and therapy of methicillin‐resistant Staphylococcus aureus (MRSA) biofilm infections is introduced. In vivo delivery of MB with BTN is demonstrated to silence key bacterial genes involved in biofilm formation (icaA), bacterial ...
Ju Yeon Chung +6 more
wiley +1 more source
3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage
Advanced Functional Materials, EarlyView.A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu +9 more
wiley +1 more source
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools [PDF]
, 2017 Foragivenscientificcommunity,beingabletouseacommonandrich accepted benchmark for the evaluation of algorithms and prototypes is an added value. The goal of this paper is to present Petri Nets Repository, an open Petri nets models database. It offers two main ways to navigate through the benchmark using criteria related to Petri net properties: a Web ...
Hillah, Lom Messan, Kordon, Fabrice
openaire +3 more sources
Liquid Crystalline Networks Hamper the Malignancy of Cancer Cells
Advanced Healthcare Materials, Volume 14, Issue 7, March 14, 2025.Liquid Crystalline Networks are used as scaffolds for the growth of A375 melanoma cells demonstrating to affect their malignancy. Indeed, only by contact, these materials reduces cell proliferation and colony formation capacity, while increasing the number of senescent cells and promoting the mesenchymal to epithelial transition.
Daniele Martella +9 more
wiley +1 more source
Lower and upper bounds of shortest paths in reachability graphs
International Journal of Mathematics and Mathematical Sciences, 2004 We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at
P. K. Mishra
doaj +1 more source
On the semantics of Petri Nets
, 2006 Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the “token game” is too intensional, even in its more abstract interpretations in term of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding ...
Meseguer, J., Montanari, U., Sassone, V.
openaire +3 more sources
, 2012 Petri net is a graphical tool invented by Carl Adam Petri [13]. These are used for describing, designing and studying discrete event-driven dynamical systems that are characterized as being concurrent, asynchronous, distributed, parallel, random and/or nondeterministic. As a graphical tool, Petri net can be used for planning and designing a system with
Mukti Acharya +2 more
openaire +3 more sources
Advanced Healthcare Materials, EarlyView.A hollow‐structured Fe3O4@AgAu@PDA‐ZnPc nanosphere has been developed, exhibiting controllable catalytic activity and “photothermal‐photodynamic‐Ag+” coupling antibacterial characteristics. When subjected to a rotating magnetic field, these performances are uniquely enhanced by magnetic propulsion, allowing the nanosphere to function as a magnetic ...
Jing Wang +7 more
wiley +1 more source
Model Petri Net Pengajuan KKN Mahasiswa Universitas Lampung
Contemporary Mathematics and Applications (ConMathA)The Petri Net (PN) model is a powerful mathematical representation for describing dynamic systems involving processes, states, and interactions between its elements.
Nur Hamzah +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.The covalent binding of dexamethasone to the surface of polyimide represents the electrically inert part of implantable intraneural devices. This ensures a sustained release of the drug for 9 weeks. In vitro and in vivo tests confirm the reduction of the foreign body reactions and the improved biocompatibility of dexamethasone functionalized polyimide.
Giulia Turrin +19 more
wiley +1 more source