Streszczenie. In this paper we consider a class of Time Petri nets defined by structural restrictions. Each Time Petri net which belongs to this class has the property that their liveness behaviour does not depend on the time. Therefore, the Time Petri net is live when its skeleton is live.

in this study, independent variables were time (1-15 min0, temperature (25-45) and power of ultrasound. results showed that time of ultrasound was linear (p

Introduction: The dwell time and transit time components contribute to the overall delivered dose to patients in high dose rate (HDR) brachytherapy treatments. The transit time results from source entry and exit as well as source movements between dwell positions. It depends on various parameters such as the source speed profile, source indexer distance to dwell position, and ...

We study graphs in which the maximum and the minimum sizes of a maximal independent set differ by exactly one. We call these graphs almost well-covered, in analogy with the class of well-covered graphs, in which all maximal independent sets have the same size. A characterization of graphs of girth at least 8 having exactly two different sizes of maximal independent sets due to Finbow, Hartnell,...

Spatial Independent Component Analysis (ICA) is an increasingly used data-driven method to analyze functional Magnetic Resonance Imaging (fMRI) data. To date, it has been used to extract meaningful patterns without prior information. However, ICA is not robust to mild data variation and remains a parameter-sensitive algorithm. The validity of the extracted patterns is hard to establish, as well...