|
|
Planning Task Monitoring System
Maga, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
Task of this bachelor work is to create system for monitoring of statuses of planned jobs according to requirements defined by sponsor Red Hat. The main target is to understand what planning problem means, how can be defined, stored to system, how to initiate his planning and to monitor progress. Planning system has been split to the 2 parts. The first part is user interface build up based on technologies JavaServer Faces, RichFaces a Twitter Bootstrap which allows recording, beginning and put on hold of running jobs. The second part represents web service with combination of technology Enterprise JavaBeans which processes requirements for beginning/put on hold of planning run accomplishes with utilization of framework OptaPlanner, planning progress is being stored to MySQL database. Information about planning problems is obtained from this database and continuously is being displayed in user interface. For implementation both parts has been used platform Java Enterprise Edition 6 and has been deployed in application server JBoss. System has been tested on artificial planning problem N Queen and practical problems from Red Hat company cloud balancing and travelling tournament on platform UNIX via cloud service OpenShift by users.
|
|
|
Use of Hsp90 as a target of biological therapy of tumors
Bednárová, Kristína ; Bouchalová,, Pavla (referee) ; Müller, Petr (advisor)
Antibody-drug conjugates (ADCs) represent a relatively new class of highly potent anti-tumor drugs. Thanks to highly specific monoclonal antibodies, ADCs are able to deliver a cytotoxic payload directly to tumor cells and thus minimize damage to healthy cells. Therapeutic efficacy depends on the selection of an appropriate antigen that undergoes internalization upon conjugate binding. For this project, pro-oncogenic Hsp90 and c-Met were selected as potential targets. Hsp90 is a molecular chaperone that is overexpressed in tumor cells and, in addition, can be translocated to the membrane of these cells. Overexpressed Hsp90 contributes to angiogenesis, tumor cell motility or metastasis. C-Met is a receptor tyrosine kinase that plays a central role in epithelial morphogenesis and malignant transformation. Its increased activity induces pathways responsible for the proliferation, invasion and migration of malignant cells. The aim of the diploma thesis was to study the potential use of antibodies with anti-Hsp90 and anti-c-Met activities in anti-tumor therapy. The experimental part involved the purification of the EEV1-2.1 antibody with anti-Hsp90 activity and its subsequent characterization. Furthermore, it included the characterization and selection of anti-c-Met antibody clones. It was also focused on selection and optimization of the right conjugation strategy. The activity of the antibodies and their conjugates was examined by fluorescence microscopy and flow cytometry. In vivo experiments were further aimed at verifying the efficacy of ADC by monitoring the rate of inhibition of proliferation of selected tumor cell lines. The results revealed that the EEV1 antibody does not enter the cells specifically by antigen-mediated way, and is therefore not suitable for use in conjugation with a cytostatic drug. On the other hand, anti-c-Met antibody ADC conjugates exhibit high affinity for native antigen, internalization through antigen binding, and additionally inhibited proliferation of c-Met overexpressing OE33 cells.
|
|
|
Use of Peltier Elements for Temperature Cycling
Müller, Petr ; Starý, Jiří (referee) ; Šandera, Josef (advisor)
This project deals with the use of Peltier frames for thermal cycling in the implementation of rapid testing in the workplace for thermo-mechanical stress solder joints. Its base is describing the various parts of the workplace. Peltier effect is shown and Peltier cells are described, which is the base of the workplace. They are analyzed possible ways to control workplace and summarized their advantages and disadvantages. It was constructed and described the system entering temperature cycles with electronics indicating fault frame.
|
|
|
Automated Methods of Finding Bugs in Compilers
Müller, Petr ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (referee) ; Müller, Petr (advisor)
Tato práce se zaobírá použitím metody fuzzingu na testování aplikací komunikujících přes systém D-Bus. První část je zaměřená na seznámení s pojmem fuzzing a na využití této metody při testování aplikací. Následuje popis systému D-Bus a jeho architektury. V druhé části se práce zaobírá vhodným způsobem, jakým by se daly pomocí metody fuzzingu testovat aplikace komunikující přes systém D-Bus. V rámci práce byl implementovaný nástroj na testování aplikací, které využívají tento systém na meziprocesovou komunikaci. Při implementaci tohoto nástroje byl kladen důraz na to, aby s ním bylo možné otestovat co největší spektrum aplikací. Testování proběhlo na třech vybraných aplikacích - GNOME Shell , IMSettings a Evince . Ve dvou ze tří zmíněných aplikacích ( GNOME Shell , IMSettings ) byly nalezeny chyby, které způsobily jejich pád. Implementovaný nástroj taktéž detekoval úniky paměti v aplikaci IMSettings .
|
|
|
Nitrate Client Performance Improvement with Cache Implementation
Holec, Filip ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
The goal of the thesis is to design and implement performance improvements in python-nitrate module. Performance improvements are based on gathered use cases, which use large amount of data and network bandwidth. Performance test suite was implemented in order to measure impact of changes in module. Testing proved, that python-nitrate module with integrated performance improvements is in certain cases several times faster, but also can be slower in two cases. Discussion regarding possible extensions is present in the conclusion.
|
|
| |
|
|
Tolerable risk
Müller, Petr ; Vokoun, Rudolf (advisor) ; Bohuslav, Lukáš (referee)
1 Tolerable risk Abstract The theme of this diploma thesis is a tolerable risk (or allowable risk) as one of the circumstances excluding illegality in the Czech criminal law. The introductory chapter is devoted to the general principles of the circumstances excluding illegality, related institutes and to the ultima ratio principle meaning that criminal liability is a last resort. Furthermore, the individual circumstances excluding illegality and their mutual relations are examined, as we can observe similar or even identical building blocks between the circumstances definitions, which make them very similar to each other so that lay people are sometimes unable to distinguish them from one another. The following chapter deals with the tolerable risk itself - its history in Czechoslovakia and later Czechia until its explicit inclusion in the Criminal code from 2009, analysis of the current legal definition and details of individual elements that the Criminal code requires for undertaking a risk. It is also compared with foreign countries (Slovak and Polish) law, as these two states penal codes include similar articles about tolerable risk. Finally, the thesis deals with two specific fields of human activity which are frequently associated with tolerable risk - sport and health care. Pointed out are their...
|
|
|
Use of Hsp90 as a target of biological therapy of tumors
Bednárová, Kristína ; Bouchalová,, Pavla (referee) ; Müller, Petr (advisor)
Antibody-drug conjugates (ADCs) represent a relatively new class of highly potent anti-tumor drugs. Thanks to highly specific monoclonal antibodies, ADCs are able to deliver a cytotoxic payload directly to tumor cells and thus minimize damage to healthy cells. Therapeutic efficacy depends on the selection of an appropriate antigen that undergoes internalization upon conjugate binding. For this project, pro-oncogenic Hsp90 and c-Met were selected as potential targets. Hsp90 is a molecular chaperone that is overexpressed in tumor cells and, in addition, can be translocated to the membrane of these cells. Overexpressed Hsp90 contributes to angiogenesis, tumor cell motility or metastasis. C-Met is a receptor tyrosine kinase that plays a central role in epithelial morphogenesis and malignant transformation. Its increased activity induces pathways responsible for the proliferation, invasion and migration of malignant cells. The aim of the diploma thesis was to study the potential use of antibodies with anti-Hsp90 and anti-c-Met activities in anti-tumor therapy. The experimental part involved the purification of the EEV1-2.1 antibody with anti-Hsp90 activity and its subsequent characterization. Furthermore, it included the characterization and selection of anti-c-Met antibody clones. It was also focused on selection and optimization of the right conjugation strategy. The activity of the antibodies and their conjugates was examined by fluorescence microscopy and flow cytometry. In vivo experiments were further aimed at verifying the efficacy of ADC by monitoring the rate of inhibition of proliferation of selected tumor cell lines. The results revealed that the EEV1 antibody does not enter the cells specifically by antigen-mediated way, and is therefore not suitable for use in conjugation with a cytostatic drug. On the other hand, anti-c-Met antibody ADC conjugates exhibit high affinity for native antigen, internalization through antigen binding, and additionally inhibited proliferation of c-Met overexpressing OE33 cells.
|
|
|
Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
This thesis deals with Java collections performance testing on multicore systems. The aim of the work is studying of core collections contained in Java Collection Framework and studying also some other collections from package java.util.concurrent and third-party project known as Javolution. The task was to suggest appropirate performance test for these collections and create based on its results a comparison. Afterwards the basic solution is an implementation of suggested tests in Java programming language and evaluation of achieved results.
|
guest ::
