Results 91 to 100 of about 60,348 (227)

Stochastic High-level Petri Nets and Applications

IEEE Transactions on Computers, 1988
A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and ...
Lin, Chuang, Marinescu, Dana Cristian
openaire   +4 more sources

Using Colored Stochastic Petri Net (CS-PN) software for protocol specification, validation, and evaluation [PDF]

The specification, verification, validation, and evaluation, which make up the different steps of the CS-PN software are outlined. The colored stochastic Petri net software is applied to a Wound/Wait protocol decomposable into two principal modules ...
Luguern, Jean-Pierre, Zenie, Alexandre
core   +1 more source

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]

, 2010
Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Henk A.P. Blom, Manuela Bujorianu, Mariken H.C. Everdij, Michael Fisher   +3 more
core   +3 more sources

Gene Flow Disruption and Population Declines in a Soil Arthropod in Fragmented Habitats

Molecular Ecology, EarlyView.
ABSTRACT The intensification of land use over past millennia has accelerated habitat loss and fragmentation. This is hypothesized to lead to reductions in population sizes and restrictions in gene flow, processes that amplify genetic drift with profound negative impacts on species and populations.
Tammy Ai Tian Ho, Jeppe Bayer Pedersen, Anne Aagaard, Mads F. Schou, Jesper Bechsgaard, Derek Corcoran, Tove Hedegaard Jørgensen, Signe Normand, Trine Bilde   +8 more
wiley   +1 more source

A Three‐Stage Model of the Maturation of Nascent Policy Subsystems Toward Stable Advocacy Coalitions, With Evidence From the UK's Response to COVID‐19

Policy Studies Journal, EarlyView.
ABSTRACT Policy subsystems are comprised of competing advocacy coalitions, in which public and private political actors with shared belief systems learn from each other and coordinate their strategies in the pursuit of influencing policy making in their favor.
Kristijan Garic, Philip Leifeld
wiley   +1 more source

Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors

, 2010
In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-protein-coupled receptors (GPCRs) as a driving example.
Adriana Compagnoni, Alida Palmisano, Andrew D. Howard, Andrew Phillips, Andrew Phillips, Brian K. Kobilka, Corrado Priami, Federica Ciocchetta, Federica Ciocchetta, Gabriel Ciobanu, J'er^ome Feret, Jane Hillston, Janet D. Robishaw, John W. Pinney, Jos'e M. G. Vilar, Joseph Glavy, Joël Bockaert, Kristen L. Pierce, Louis M. Luttrell, Luca Cardelli, Luca Cardelli, Luca Cardelli, Luca Cardelli, Luca Cardelli, Maciej Koutny, Maria Luisa Guerriero, Mor Peleg, Nan Hao, Ozan Kahramanogullari, Tau M. Yi, Tommy White, William M. Oldham, Yifei Bao, Yifei Bao   +33 more
core   +2 more sources

Robust solutions via optimisation and predictive process monitoring for the scheduling of the interventional radiology procedures

International Transactions in Operational Research, Volume 32, Issue 4, Page 2189-2214, July 2025.
Abstract Interventional radiology (IR) is an increasingly used medical specialty relying on the possibilities offered by medical imaging guidance technologies to perform minimally invasive procedures (both diagnostic and therapeutic) through very small incisions or body orifices.
Matteo Di Cunzolo, Massimiliano Ronzani, Roberto Aringhieri, Chiara Di Francescomarino, Chiara Ghidini, Alberto Guastalla, Emilio Sulis   +6 more
wiley   +1 more source

An integrated approach for remanufacturing job shop scheduling with routing alternatives

Mathematical Biosciences and Engineering, 2019
Remanufacturing is a practice of growing importance due to increasing environmental awareness and regulations. However, the stochastic natures inherent in the remanufacturing processes complicate its scheduling.
Lingling Li , Congbo Li, Li Li , Ying Tang, Qingshan Yang   +4 more
doaj   +1 more source

Phylogenetic relationships and the identification of allopolyploidy in circumpolar Silene sect. Physolychnis

American Journal of Botany, Volume 112, Issue 6, June 2025.
Abstract Premise Species complexes are groups of closely related species with ambiguous delimitation, often composed of recently diverged lineages. Polyploidization and uniparental reproduction (i.e., selfing and apomixis) can play important roles in the origin of species complexes. These complexes pose challenges for species‐based scientific questions,
Anne‐Sophie Quatela, Patrik Cangren, Paola de Lima Ferreira, Yannick Woudstra, Andreas Zsoldos‐Skahjem, Christine D. Bacon, Hugo J. de Boer, Bengt Oxelman   +7 more
wiley   +1 more source

Increased activity of Piezo1 channel in red blood cells is associated with Alzheimer's disease‐related dementia

Alzheimer's &Dementia, Volume 21, Issue 6, June 2025.
Abstract INTRODUCTION Red blood cells (RBCs) are crucial for oxygen delivery to active tissues and endure significant mechanical forces in the microcirculatory bed. The enrichment of mechanosensitive Piezo1 channels, linked to the cytoskeleton, aids RBCs in navigating the narrow capillaries.
Valeriia Sitnikova, Dilyara Nurkhametova, Nicoletta Braidotti, Catalin D. Ciubotaru, Luca Giudice, Ulla Impola, Sari Kärkkäinen, Juho Kalapudas, Elina Penttilä, Heikki Löppönen, Ilkka Fagerlund, Katja M. Kanninen, Henrik Zetterberg, Tarja Kokkola, Saara Laitinen, Anne Koivisto, Dan Cojoc, Rashid Giniatullin, Tarja M. Malm   +18 more
wiley   +1 more source