Learn More
Fluid (or Hybrid) Petri Nets are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. With respect to previous formulations, the FSPN model presented in this paper, is augmented with a new primitive,(More)
Keywords: Marked Markov arrival process MMAP/MAP/1 queue Priority service Moments based analysis Output process a b s t r a c t This paper presents a Markov arrival process (MAP) based methodology for the analysis of two-class queueing networks with priority service nodes. We apply the multi-class extension of MAP, referred to as Marked MAP (MMAP), for the(More)
Alzheimer disease (AD) is the most frequent cause of major neurocognitive disorders with a huge economical and medical burden. Several studies pointed out that AD is associated with a high risk for developing epileptic seizures. The aims of our review were to evaluate and to summarize the current literature (ending in September 2015) of animal and human(More)
Uracil may occur in DNA due to either cytosine deamination or thymine replacing incorporation. Its quantitative characterization is important in assessing DNA damages in cells with perturbed thymidylate metabolism or within different DNA segments involved in immunoglobulin gene diversification. The archaeal DNA polymerase from Pyrococcus furiosus binds(More)
This article maybe used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents(More)
Single-molecule localization microscopy (SMLM) is rapidly gaining popularity in the life sciences as an efficient approach to visualize molecular distribution with nanoscale precision. However, it has been challenging to obtain and analyze such data within a cellular context in tissue preparations. Here we describe a 5-d tissue processing and immunostaining(More)
This paper presents a Markov arrival process (MAP) based methodology for the analysis of two-class queueing networks with priority service nodes. We apply the multi-class extension of MAP, referred to as Marked MAP (MMAP), for the description of the input and internal traffic in the queueing network. The MMAP traffic description allows to capture not only(More)