Results 241 to 250 of about 29,350 (298)

cDC1 Subtype‐Specific In Vivo Targeting of Liposomes

open access: yesAdvanced Science, EarlyView.
Dendritic cells, particularly the cDC1 subtype, offer a promising target for drug delivery via liposomes due to their pivotal role in immune regulation, allowing for amplified therapeutic responses. Herein, we show an integration of physicochemical characterization and cell experiments to achieve effective in vivo cDC1 targeting through anti‐CLEC9A ...
Maximilian Schaaf   +11 more
wiley   +1 more source

Extended Petri Net Processor for Embedded Systems

open access: green, 2020
Luis O. Ventre   +2 more
openalex   +1 more source

Photocatalytically Activated Cu‐N1S3 Single‐Atom Nanozyme: Enhancing Enzyme Activities and Antibacterial Synergy for Highly Efficient Fruit Preservation

open access: yesAdvanced Science, EarlyView.
This study presents S‐coordinated Cu single‐atom nanozymes (Cu/CNS) fabricated via mild photocatalytic self‐assembly strategy. The nanozyme exhibits exceptional multi‐enzyme activity and near‐perfect antimicrobial efficacy. Incorporated into chitosan‐gelatin film, it enables pH‐responsive, broad‐spectrum fruit preservation, more than doubling the shelf‐
Chuanlong Men   +7 more
wiley   +1 more source

From Sample to Mixed Reality: A Translational 3D MALDI Imaging Platform for Advanced 3D Spatial Omics Analysis of 3D Cell Culture Disease Models

open access: yesAdvanced Science, EarlyView.
A comprehensive technology platform enables high‐fidelity, volumetric MALDI imaging of 3D cell cultures by integrating custom embedding molds, a semi‐automated computational framework for 3D reconstruction, voxel‐instead of pixel‐based biomarker discovery, and immersive mixed reality data exploration.
Stefania Alexandra Iakab   +16 more
wiley   +1 more source

MathSATを用いたsafe Time Petri Netの非有界モデル検査手法

open access: green, 2018
直 井川   +5 more
openalex   +1 more source

Petri nets

open access: yes, 2008
Koch, I., Heiner, M.
openaire   +1 more source

Possibilistic Petri nets

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 1999
This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems.
Cardoso, Janette   +2 more
openaire   +4 more sources

Constrained Petri Nets

Fundamenta Informaticae, 1983
This paper investigates the use of sets of places of a Petri net as additional (to input places) constraints for granting concession to a transition. Various modes of using constraints give rise to various classes (of languages) of constrained Petri nets. The power of these classes is compared in the language theoretical framework.
Goeman, H. J. M.   +3 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy