|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
Methodological innovations in psychological research
Frollová, Nikola ; Vranka, Marek (advisor) ; Fabianová, Ivana (referee)
The year 2012 opened an intense debate about the methodological problems of psychological research that lead to excessive publication of unreliable and nonreplicable results. The proposed improvements consist of conducting more replication studies, sharing data openly, limiting the "degrees of researcher freedom ", and improving the understanding and application of statistical methods for data analysis. This bachelor thesis aims to map the aforementioned problems, proposed solutions, as well as possible criticisms and problems with their implementation in practice. The research proposal consists of measuring the prevalence of questionable scientific practices among psychologists in Czech Republic.
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna
Viral RNA-dependent RNA polymerases (RdRps) are enzymes essential for viral multiplication. The general function of RdRp is universal for all RNA viruses: to recognise viral RNA, bind it and synthesize the complementary RNA strand. This series of steps is absolutely crucial for viral infection. It is important to mention that the non-infected cell is incapable of replicating any RNA. The host cell thus does not naturally express any RdRps. I chose RdRps for my research because these enzymes are key to viral replication and thus an excellent target for antivirals. This study characterises polymerases from Picornaviridae and Flaviviridae families, in depth. Picornaviral replication takes place in viral-induced membrane structures called Replication Organelles (ROs), where the polymerase is localised to the membrane. In this study, we investigated the recruitment of picornaviral polymerase membrane. Subsequently, we focused on the activation of picornaviral RdRp induced by the insertion of the very first residue into the protein core. Next, we focused on the flaviviral RdRps specifically from yellow fever virus (YFV) and Zika virus (ZIKV). This study reports the first structure of a full length YFV polymerase and a model of ZIKV polymerase in complex with RNA. The model of ZIKV RdRp in complex with...
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (advisor)
Interface automaton is a model of software component behaviour based on finite state machines. It describes component's provided interface, the supported usage, and required interface, the usage of other components. A considerable number of components can be used in parallel with no bound on the level of parallelism. It is not necessary for the model to attempt to capture such unboundedness. An alternative approach is to allow an increment of the level of parallelism on- demand. This thesis analyses on a theoretical level and proposes a final form of an operation to perform such replication to allow creation of models of an arbitrary level of parallelism of certain parts of its behaviour.
|
|
| |
|
|
Formation of complex chromosomal rearrangements in cancer cells and significance of these events
Rochlová, Kristina ; Zemanová, Zuzana (advisor) ; Rothová, Olga (referee)
Chromoanagenesis is a catch-all term of recently described catastrophic events that generate complex karyotypes. These events are divided according to the characteristic features and are termed chromothripsis, chromoplexis and chromoanasynthesis. Chromothripsis represents a disintegration of chromosomes or their parts into hundreds of small fragments. Those chromosome fragments are then incorrectly reassembled. Chromoplexis rearrangements are not very different from chromothripsis rearrangements. The main difference is a lower number of breakpoints and the distribution of aberrations in the whole genome. The erroneous replication processes occur during chromoanasynthesis. There are several mechanisms responsible for breakdowns of a DNA molecule. In the case of chromothripsis, micronucleus formation is probably the most important mechanism. During chromoplexis, transcriptional stress plays a major role. Replication stress is associated with chromoanasynthesis rearrangements. The result of all these processes are highly rearranged chromosomes with numerous losses or gains of genetic material. This work summarizes the current knowledge of the mechanisms that are mentioned above and the genesis of complex aberrations. At the same time, it represents the connection between complex karyotype and clonal...
|
|
| |
|
|
Metabolic control of the cell cycle in bacteria
Valtová, Aneta ; Lichá, Irena (advisor) ; Fišer, Radovan (referee)
Metabolic control of cell cycle has been studied for a long time in bacteria, but it is not still fully elucitated. The mechanisms described for several decades have been described in more detail and find new connections between basic metabolism and the cell division process itself. Cell cycle regulation, depending on metabolism and nutritional conditions, takes place over all steps of the cycle. The most mechanisms are studied at the level of bacterial division formation. Nutritional deprivation induces stress responses that use low-molecular substances which are involved in signaling pathways and which regulate the cell cycle. One of the most studying is the molecule of guanosine (penta)tetraphosphate (p)ppGpp, which affects cell cycle at the level of genes expression, at the level of proteins involved in the process of creating divisome, even at the level of replication. Recent research revealed that some enzymes with their already known enzymatic function in major metabolic pathways (glycolysis and TCA), also have a function as sensors that transmit a signal about the nutritional change directly to the division apparatus of the cell. These enzymes regulate the formation of the Z ring through the protein FtsZ or its auxiliary proteins most often and have been found in Gram-positive (Bacillus...
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna
Viral RNA-dependent RNA polymerases (RdRps) are enzymes essential for viral multiplication. The general function of RdRp is universal for all RNA viruses: to recognise viral RNA, bind it and synthesize the complementary RNA strand. This series of steps is absolutely crucial for viral infection. It is important to mention that the non-infected cell is incapable of replicating any RNA. The host cell thus does not naturally express any RdRps. I chose RdRps for my research because these enzymes are key to viral replication and thus an excellent target for antivirals. This study characterises polymerases from Picornaviridae and Flaviviridae families, in depth. Picornaviral replication takes place in viral-induced membrane structures called Replication Organelles (ROs), where the polymerase is localised to the membrane. In this study, we investigated the recruitment of picornaviral polymerase membrane. Subsequently, we focused on the activation of picornaviral RdRp induced by the insertion of the very first residue into the protein core. Next, we focused on the flaviviral RdRps specifically from yellow fever virus (YFV) and Zika virus (ZIKV). This study reports the first structure of a full length YFV polymerase and a model of ZIKV polymerase in complex with RNA. The model of ZIKV RdRp in complex with...
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna ; Bouřa, Evžen (advisor) ; Bařinka, Cyril (referee) ; Plevka, Pavel (referee)
Viral RNA-dependent RNA polymerases (RdRps) are enzymes essential for viral multiplication. The general function of RdRp is universal for all RNA viruses: to recognise viral RNA, bind it and synthesize the complementary RNA strand. This series of steps is absolutely crucial for viral infection. It is important to mention that the non-infected cell is incapable of replicating any RNA. The host cell thus does not naturally express any RdRps. I chose RdRps for my research because these enzymes are key to viral replication and thus an excellent target for antivirals. This study characterises polymerases from Picornaviridae and Flaviviridae families, in depth. Picornaviral replication takes place in viral-induced membrane structures called Replication Organelles (ROs), where the polymerase is localised to the membrane. In this study, we investigated the recruitment of picornaviral polymerase membrane. Subsequently, we focused on the activation of picornaviral RdRp induced by the insertion of the very first residue into the protein core. Next, we focused on the flaviviral RdRps specifically from yellow fever virus (YFV) and Zika virus (ZIKV). This study reports the first structure of a full length YFV polymerase and a model of ZIKV polymerase in complex with RNA. The model of ZIKV RdRp in complex with...
|
guest ::
