Results 81 to 90 of about 31,117 (298)
Supporting Adaptive Tour with High Level Petri Nets
Procedia Computer Science, 2016 AbstractOne of the issues for tour planning applications is to adaptively provide personalized advices for different types of tourists and tour activities. This paper proposes a high level Petri Nets based approach to providing some level of adaptation by implementing adaptive navigation in a tour node space.
Shang Gao 0003 +2 more
openaire +1 more source
Advanced Functional Materials, EarlyView.We propose a suture‐complementary approach that integrates optical skin clearing with a strain‐programmable luminescent adhesive patch. Hyaluronic acid promotes transdermal delivery of tartrazine to improve optical clearing and stabilizes its interaction with a photosensitizer. Optical clearing increases the penetration depth of visible light into skin,
Seong‐Jong Kim +6 more
wiley +1 more source
Semantic Embedding of Petri Nets into Event-B
, 2005 We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets.
Attiogbe, Christian
core +1 more source
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
High Level Petri Nets Analysis with Helena [PDF]
, 2005 This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the reachable states of the system, and deadlock freeness. Some features of Helena make it particularly efficient in terms of memory management. Structural abstractions techniques,
openaire +2 more sources
Parallel 3D Bioprinting on SLIPS‐Microarrays
Advanced Functional Materials, EarlyView.This work introduces the first truly parallel 3D bioprinting method, enabling both the simultaneous fabrication of hundreds of cell laden hydrogel 3D structures and their HTS in individual liquid compartments. By integrating Digital Light Processing (DLP) stereolithography with functional micropatterns, the platform decouples printing time from array ...
Julius von Padberg +3 more
wiley +1 more source
Nanodiamond Quantum Sensors for Probing Free Radical Biology
Advanced Functional Materials, EarlyView.Free radicals play key roles in cellular signaling and disease but remain difficult to measure in living systems. Nanodiamonds (NDs) with nitrogen‐vacancy (NV) centers enable quantum sensing of local magnetic noise via T₁ relaxometry, providing nondestructive radical detection in living cells.
Qi Lu, Yingke Wu, Tanja Weil
wiley +1 more source
Multiplex Modular Nanorobotic Systems with Catalytic Activity under Magnetic Navigation
Advanced Functional Materials, EarlyView.We present modular nanorobots composed of a magnetic propulsion module and different extension modules carrying functional activities, assembled via DNA base pairing. The system integrates propulsion, optical tracking, enzymatic catalysis, and cell docking in a programmable manner.
Voichita Mihali +7 more
wiley +1 more source
A High-Level Petri Net Framework for Genetic Regulatory Networks
Journal of Integrative Bioinformatics, 2007 To understand the function of genetic regulatory networks in the development of cellular systems, we must not only realise the individual network entities, but also the manner by which they interact.
Banks Richard, Steggles L. Jason
doaj +1 more source
Enhanced
IEEE Access, 2017 Recent advancement in digital and communication technologies has brought privacy aspects to the forefront. Although e-health has many advantages and it facilitates the patients and health service providers significantly, the possibility of privacy ...
Farhana Jabeen +7 more
doaj +1 more source