Results 71 to 80 of about 20,113 (245)
Attacks and Defenses in Mobile IP: Modeling with Stochastic Game Petri\n Net [PDF]
Sajedul Talukder +4 more
openalex +2 more sources
Abstract String theory has strong implications for cosmology, implying the absence of a cosmological constant, ruling out single‐field slow‐roll inflation, and that black holes decay. The origins of these statements are elucidated within the string‐theoretical swampland programme.
Kay Lehnert
wiley +1 more source
CRISPR/Cas9‐mediated mutagenesis of the white‐eye gene in the tephritid pest Bactrocera zonata
Abstract Bactrocera zonata is a highly invasive agricultural pest that causes extensive damage to fruit crops. The Sterile Insect Technique (SIT), a species‐specific and environmentally friendly pest control method, significantly benefits from the availability of Genetic Sexing Strains (GSSs) that enable efficient mass production of males for sterile ...
Albert Nazarov +13 more
wiley +1 more source
The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach
The basic reproduction number (R0) is an epidemiological metric that represents the average number of new infections caused by a single infectious individual in a completely susceptible population.
Trevor Reckell +2 more
doaj +1 more source
Bactrocera fruit flies are significant horticultural pests that cause major economic losses. A “neoclassical approach” incorporating genome editing via CRISPR/Cas9 to develop genetic sexing strains (GSS) could render the sterile insect technique (SIT) against these pests more efficient and cost‐effective.
Chrysanthi Ioannidou +5 more
wiley +1 more source
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
Representing Conversations for Scalable Overhearing
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols.
Gutnik, G., Kaminka, G. A.
core +1 more source
Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach
Alzheimer's Disease (AD) is the most common neuro-degenerative disorder in the elderly that leads to dementia. The hallmark of AD is senile lesions made by abnormal aggregation of amyloid beta in extracellular space of brain.
Javaria Ashraf +3 more
doaj +1 more source
Understanding the Hygienic Behavioral Dynamics of Ants Using Multi‐State Models
Leaf‐cutting ants adjust grooming to pathogen risk and vulnerable nestmates. Multi‐state Markov models reveal shorter, frequent self‐grooming bouts and reduced allogrooming persistence under stress, optimizing social immunity via stigmergic decision‐making.
Isabella Bueno +5 more
wiley +1 more source
Петрі-об’єктна модель системи управління транспортним рухом [PDF]
The article considers the simulation of traffic control's system based on Petri-object modeling. The dynamics of Petri-objects of the system are described by stochastic timed Petri net with conflict and multichannel transitions that allows to recreating ...
Стеценко, І. В.
core

