Wyniki wyszukiwania - BazTech

1

Using multitype branching models to analyze bacterial pathogenicity

Tahir Daniah, Kaj Ingemar, Bartoszek Krzysztof, Majchrzak Marta, Parniewski Paweł, Sakowski Sebastian

Mathematica Applicanda

|

2020

|

Vol. 48, no. 1

59--86

EN

We apply multitype continuous time Markov branching models to study pathogenicity in E. coli, a bacterium belonging to the genus Escherichia. First, we examine briefly the properties of multitype branching processes and we also survey some fundamental limit theorems regarding the behavior of such models under various conditions. These theorems are then applied to discrete, state dependent models in order to analyze pathogenicity in a published clinical data set consisting of 251 strains of E. coli. We use well established methods, incorporating maximum likelihood techniques, to estimate speciation rates as well as the rates of transition between diffrerent states of the models. From the analysis, we not only derive new results, but we also verify some preexisting notions about virulent behavior in bacterial strains.

PL

W celu zbadania patogenności szczepów E. coli, bakterii z rodzaju Escherichia, użyto wielorodzajowego markowskiego procesu gałązkowego z czasem ciągłym. W pierwszej kolejności zrobiono przegląd własności wykorzystywanego procesu wraz z najważniejszymi wynikami granicznymi opisującymi zachowanie procesu przy różnych założeniach. Następnie przyjęto konkretny model, w którym rozgałęzienia są zależne od stanu oraz zastosowano go do badania patogenności w zestawie 251 szczepów E. coli pochodzących z II Centralnego Szpitala Klinicznego Wojskowej Akademii Medycznej. Parametry modelu, tempa narodzin oraz mutacji, zostały uzyskane metodą największej wiarygodności. Przedstawiona w artykule analiza potwierdza znane własności patogenności bakterii oraz sugeruje nowe ścieżki pracy badawczej.

2

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Woźna-Szcześniak B.

Fundamenta Informaticae

|

2016

|

Vol. 143, nr 1/2

173--205

EN

We present WECTL*KD, a weighted branching time temporal logic to specify knowledge, and correct functioning behaviour in multi-agent systems (MAS).We interpret the formulae of the logic over models generated by weighted deontic interpreted systems (WDIS). Furthermore, we investigate a SAT-based bounded model checking (BMC) technique for WDIS and for WECTL*KD.

3

Branching-Time Model Checking Gap-Order Constraint Systems

Mayr R., Totzke P.

Fundamenta Informaticae

|

2016

|

Vol. 143, nr 3/4

339--353

EN

We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS are nondeterministic infinitely branching processes described by evolutions of integer-valued variables, subject to Presburger constraints of the form x−y ≥ k, where x and y are variables or constants and k ∈ N is a non-negative constant. We show that EG model checking is undecidable for GCS, while EF is decidable. In particular, this implies the decidability of strong and weak bisimulation equivalence between GCS and finite-state systems.

4

Geometric stable and semistable distributions on Z+d

Bouzar N.

Probability and Mathematical Statistics

|

2015

|

Vol. 35, Fasc. 2

223--245

EN

The aim of this article is to study geometric F-semistable and geometric F-stable distributions on the d-dimensional lattice Zd+. We obtain several properties for these distributions, including characterizations in terms of their probability generating functions.We describe a relation between geometric F-semistability and geometric F-stability and their counterparts on Rd+ and, as a consequence, we derive some mixture representations and construct some examples.We establish limit theorems and discuss the related concepts of complete and partial geometric attraction for distributions on Zd+. As an application, we derive the marginal distribution of the innovation sequence of a Zd+-valued stationary autoregressive proces of order p with a geometric F-stable marginal distribution.

5

Defining Multi-Party Compromises using Unfoldings of Workflow Nets

Köhler-Bußmeier M.

Fundamenta Informaticae

|

2013

|

Vol. 128, nr 1-2

97--111

EN

In this paper we develop a negotiation and contracting framework for inter-organisational workflows. The overall aim is to compute a group-plan from a given set of individual plans, where plans are formulated in the context of a given inter-organisational workflow between the agents. A general problem is that the individual plans are not consistent, i.e. the intersection of all individual plans does not contain a complete process, which leads from the initial state of the workflow to its final state. Therefore, negotiation is needed to obtain a compromise. In this paper we develop a generic negotiation protocol and use branching processes as the elementary data structure. The generic protocol is adapted within the specifics of our SONAR-framework. SONAR is a specification framework that defines the organisational structure of multi-agent systems. SONAR has a formal notion of teams and team-formation which is used here to instantiate the strategy parameters.

6

Branching Processes of General Petri Nets

Couvreur J. M., Poitrenaud D., Weil P.

Fundamenta Informaticae

|

2013

|

Vol. 122, nr 1-2

31--58

EN

We propose a new model of branching processes, suitable for describing the behavior of general Petri nets, without any finiteness or safeness assumption. In this framework, we define a new class of branching processes and unfoldings of a net N, which we call faithful. These coincide with the safe branching processes and unfoldings if N is safe, or weakly safe as in [Engelfriet 1991], but not in general. However, faithful branching processes and processes satisfy the good order-theoretic properties which make the safe processes of safe nets so useful in practice, and which are known not to hold for the safe processes of a general net. Faithful processes represent therefore good candidates to generalize the theory of safe nets to the general case.

7

Artificial intelligence, branching processes and coalescent methods in evolution of humans and early life

Cyran K.A.

Studia Informatica

|

2011

|

Vol. 32, nr 1B

340-340

EN

The book is composed of two parts, which are preceded by the introduction given in Chapter 1, The introduction presents the genesis of problems considered in the monograph, as well as its organization and objectives. Based on these objectives the main problems discussed in the dissertation are formulated. Part I, which is as a presentation of methodological apparatus used in the research studies performed by the author, consists of two chapters, Chapter 2 concerning artificial intelligence, and Chapter 3 related to population genetics. Part II shows how the methods described in Part I are applied in author's evolutionary genetics studies. These studies are roughly focused in three areas, the neutral theory of evolution described in Chapter 4, the evolution of humans discussed in Chapter 5, and the origin of life, considered in Chapter 6. The more specific description of particular chapters is given below. The organization of Chapter 2 is motivated by the natural discrimination between the methods which are inspired by biology, such as artificial neural networks and evolutionary computation, and methods based on formal logie, such as rule-based information systems. It is author's full responsibility that out of many currently studied machine learning methods, he has subjectively chosen in his research neural and evolving systems as those which had arisen from contemplation of life and the rough set theory as the formal logic-based method. However, after this choice has been done and reflected in his studies, the composition of Chapter 2 could not be different. That is also an explanation why the last section in this chapter is a case study - its goal is to illustrate how in one practical application, all these three approaches have found their place. Chapter 3 is a brief presentation of population genetics models, which are used, in addition to machine learning and computer simulations, in author's studies considered in Part II. Comparing the content of this chapter with what is classically understood as a population genetics, the reader will notice that except typical material, such as the Wright-Fisher model of a genetic drift, drift-mutation-selection interplay, and the coalescent method, the chapter also contains a section about genealogy of branching processes. This latter is again the subjective choice, which has been made before writing of the book was started. It was made at the time when the author, inspired by an excellent Kimmel's and Axelrod's book, has introduced to population genetics-related research the branching processes models, in particular the 0'Connell model of branching processes genealogy. Chapter 4, entitled "Theory of Neutral Evolution", after presenting introductory material concerning Kimura's theory of neutral molecular evolution and its relation to the Darwinian selection-driven evolution, focuses on how this theory can be used in search for signatures of natural selection at molecular level. The neutrality tests, which have been designed for detection of such selection are presented, before the case study on that issue is given. The problems with interpretation of the results are the starting point for development of two author's methods: multi-null-hypotheses method and the machine learning-based quasi dominant rough set approach. In Chapter 5, the human evolution is the central point. Within this field many approaches are used for inferring the past of our species, including paleontology and evolutionary genetics. On the background of two competing theories of modern human origin, the multiregional and the recent out-of-Africa hypotheses, there are presented studies concerning detection of past population expansion using classical and author's neural network-based tests. This material is followed by reporting on the research concerning the mitochondrial DNA record. In particular, it is shown how the date of the root of mitochondrial DNA polymorphism is estimated using the 0'Connell and the Wright-Fisher models in forward-time computer simulations of slightly supercritical branching processes. Additionally, in Chapter 5 it is demonstrated how the criticality of branching processes has been used for modeling the decay of hypothetical admixture of Neanderthal mitochondrial DNA in a gene pool of the Upper Paleolithic anatomically modern humans. This issue is currenfly hot debated in the light of results from the Neandertal Genome Project and discussions about interbreeding between H. sapiens and H. neanderthalensis. As Chapter 5 was focused on evolution, which took place less than million years ago, the Chapter 6 speculates about the times almost as ancient as the age of Earth. The point of gravity of Chapter 6 is computer science contribution to the problem of how life has emerged. With that regard, three models are discussed. The first is the Demetrius-Kimmel complexity threshold model supplemented by the author to include hydrolysis of RNA strands caused by phosphodiester bond break reaction. The second is the modification of the Niesert compartment model with random segregation of genetic material. The third is the Monte-Carlo model proposed by Ma and collaborators in 2007, and supplemented by simulation of non-enzymatic template-based RNA recombination process, which seemed to be significant in the emergence of the RNA World. Finally, these three application-oriented chapters which constitute Part JJ of the book, are followed by Chapter 7, which gives the opportunity, not only to summarize the issues discussed in the whole monograph, but also to go beyond that material, by speculating on philosophical matters, which naturally occur when the artificial intelligence is considered.

PL

Niniejsza monografia składa się z dwóch części, które są poprzedzone wstępem zawartym w rozdziale 1. We wprowadzeniu przedstawiono genezę problemów rozważanych w monografii, jak również jej organizację oraz cele. Na podstawie tych celów zostały sformułowane główne problemy rozprawy. Część I, będąca prezentacją aparatu metodologicznego wykorzystywanego w badaniach naukowych autora, składa się z dwóch rozdziałów: rozdziału 2 dotyczącego sztucznej inteligencji i rozdziału 3 na temat genetyki populacyjnej. W części II pokazano, jak metody opisane w części I są wykorzystywane w badaniach prowadzonych przez autora w zakresie genetyki ewolucyjnej. Badania te skupiają się wokół trzech dziedzin: teorii neutralnej ewolucji, opisanej w rozdziale 4, ewolucji człowieka, opisanej w rozdziale 5, oraz pochodzenia życia, rozważanego w rozdziale 6. Bardziej szczegółowy opis poszczególnych rozdziałów znajduje się poniżej. Organizacja rozdziału 2 jest motywowana naturalnym zróżnicowaniem pomiędzy metodami, które są inspirowane przez biologię, takimi jak sztuczne sieci neuronowe i obliczenia ewolucyjne, oraz metodami opartymi na logice formalnej, takimi jak regałowe systemy informacyjne. Autor bierze pełną odpowiedzialność za to, że spośród wielu aktualnie wykorzystywanych metod uczenia maszynowego wybrał w swoich badaniach systemy neuronowe i ewolucyjne jako te, które wyrosły z kontemplacji życia, oraz teorię zbiorów przybliżonych jako metodę opartą na logice formalnej. Jednakże, po dokonaniu tego wyboru odzwierciedlonego w jego badaniach, kompozycja rozdziału 2 nie mogła być już inna. Wybór ten wyjaśnia również, dlaczego ostatnia sekcja tego rozdziału jest poświęcona studium przypadku - jej celem jest zilustrowanie, jak wszystkie te trzy podejścia znajdują swoje miejsca w jednym praktycznym zastosowaniu. Rozdział 3 jest zwartą prezentacją modeli genetyki populacyjnej, które wykorzystywane są, obok uczenia maszynowego i komputerowych symulacji, w badaniach autora rozważanych w części II. Porównując zawartość tego rozdziału z klasycznie ujmowaną genetyką populacyjną czytelnik zauważy, że oprócz typowego materiału, takiego jak model dryfu genetycznego Wrighta-Fishera, współdziałania dryru, mutacji i selekcji oraz metody koalescentu, rozdział zawiera sekcję na temat genealogii procesów gałązkowych. To ostatnie zagadnienie jest znowu subiektywnym wyborem, dokonanym przed rozpoczęciem pisania książki. Decyzja została podjęta, kiedy autor, zainspirowany przez doskonałą książkę Kimmla i Axelroda, wprowadził do swych badań z zakresu genetyki populacyjnej modele procesów gałązkowych, a w szczególności model 0'Connella, dotyczący genealogii procesów gałązkowych. Rozdział 4, zatytułowany "Teoria ewolucji neutralnej", po przedstawieniu materiału wstępnego dotyczącego teorii Kiury, zwanej teorią neutralnej ewolucji molekularnej, jak również jej związków z Darwinowską ewolucją napędzaną przez selekcję, rozważa, jak teoria ta może być wykorzystana w poszukiwaniu znamion selekcji naturalnej na poziomie molekularnym. Pokazano testy neutralności, które zostały zaprojektowane do wykrywania takiej selekcji, a następnie ich wykorzystanie w studium przypadku. Problemy interpretacji rezultatów tych testów stanowiły punkt wyjścia do rozwinięcia dwóch autorskich metod: metody wielu hipotez zerowych oraz metody opartej na uczeniu maszynowym z użyciem podejścia ąuasi-dominujących zbiorów przybliżonych. W rozdziale 5 centralnym punktem jest ewolucja człowieka. W tej dziedzinie zaproponowano wiele podejść, by odkryć przeszłość naszego gatunku, w tej liczbie, metody paleontologiczne i genetyczne. Na tle dwóch konkurujących teorii pochodzenia człowieka współczesnego, hipotezy wieloregionalnej oraz hipotezy pożegnania z Afryką zaprezentowane są badania, mające na celu wykrycie przeszłych okresów ekspansji populacji z wykorzystaniem metod klasycznych, oraz, opartej na sieciach neuronowych, metod autora. Następnie przedstawiono raport z badań na temat zapisu mitochondrialnego DNA. W szczególności pokazano, jak estymowano epokę korzenia polimorfizmu mitochondrialnego DNA z wykorzystaniem modeli 0'Connella oraz Wrighta-Fishera w symulacjach komputerowych lekko nadkrytycznych procesów gałązkowych. Ponadto, w rozdziale 5 pokazano, jak wykorzystać krytyczność procesu gałązkowego do modelowania zaniku hipotetycznej domieszki neandertalskiego mitochondrialnego DNA w puli genów ludzi anatomicznie współczesnych Górnego Paleolitu. Ta kwestia jest aktualnie gorąco dyskutowana w świetle rezultatów Projektu Neandertalskiego Genomu oraz dyskusji na temat krzyżowania pomiędzy H. sapiens i H. Neanderthalensis. O ile rozdział 5 był poświęcony ewolucji działającej w okresie mniej niż milion lat wstecz, rozdział 6 spekuluje na temat czasów prawie tak starych jak sama Ziemia. Punktem ciężkości rozdziału 6 jest wkład informatyki do problemu powstania życia. W tym kontekście są dyskutowane trzy modele. Pierwszy, to model granicy złożoności Demetriusa-Kimmla, uzupełniony przez autora tak, by uwzględniał hydrolizę łańcuchów RNA spowodowaną przez reakcję rozpadu wiązania fosfodiestrowego. Drugi, to modyfikacja kompartmentowego modelu Niesert z losową segregacją materiału genetycznego. Trzeci, to model Monte-Carlo zaproponowany przez Ma i współpracowników w 2007, i uzupełniony przez symulację procesu nieenzymatycznej opartej na wzorcu rekombinacji RNA, który to proces wydaje się być znaczący w powstaniu świata RNA. Na koniec, po tych trzech zorientowanych na zastosowania rozdziałach, które stanowią część II monografii, rozdział 7 stanowi okazję nie tylko do podsumowania problemów poruszanych w całej rozprawie, ale również do wyjścia poza ten materiał poprzez rozważanie kwestii filozoficznych, które naturalnie się pojawiają w myśleniu o sztucznej inteligencji.

8

Asymptotic analysis of three random branching walk models arising in molecular biology

Świerniak A., Polański A., Śmieja J., Kimmel M., Rzeszowska-Wolny J.

Control and Cybernetics

|

2003

|

Vol. 32, no 1

147-162

EN

Using asymptotic techniques based on Laplace transforms, spectral analysis and theory of feedback systems, we characterise the asymptotic behaviour of the repeat loci in microsatellite DNA and cancer cells with increasing number of copies of genes responsible for coding proteins causing drug removal or metabolisation as well as telomeres shortening, which is supposed to be the mechanism of ageing and death. These three problems are described by models in the form of infinitely many differential linear or bilinear first order equations, resulting from branching random walk processes used to represent the evolution of particles in these problems.

PL

Wykorzystując techniki asymptotyczne oparte na transformatach Laplace'a, analizę spektralną oraz teorię układów ze sprzężeniem zwrotnym w artykule scharakteryzowano zachowanie asymptotyczne powtórek w DNA mikrosatelitarnym oraz w komórkach rakowych z rosnącą liczbą kopii genów odpowiedzialnych za kodowanie białek powodujących usuwanie lub przemianę metaboliczną leków, a także skracanie telomerów, o którym się sądzi, że jest mechanizmem starzenia się i śmierci. Te trzy zagadnienia są opisywane przy pomocy modeli w postaci nieskończonej liczby liniowych lub biliniowych równań pierwszego rzędu, wynikających z procesów błądzenia, stosowanych do opisu ewolucji cząstek w tych zagadnieniach.

9

Qualitative analysis of controlled drug resistance model - inverse Laplace and and semigroup approach

Świerniak A., Polański A., Kimmel M., Bobrowski A., Śmieja J.

Control and Cybernetics

|

1999

|

Vol. 28, no 1

61-73

EN

In this paper we study some properties of infinite models of the controlled evolution of drug resistance. We combine asymptotic techniques used in previous studies of similar models with methods of control theory and of semigroup theory. It enables us to find conditions for stability of the model both when the sensitive population is annihilated and when there exists a permanent influx from the sensivite compartment into drug resistant one. The conditions are expressed in terms of relationships between amplification and deamplification ratios as well as average life times of cells and intensity of anticancer drug action.