National Repository of Grey Literature 40 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
GENE EXPRESSION AND IMMUNOLOGICAL RESPONSE IN MICE EXPOSED TO ZnO NANOPARTICLES
Rössner ml., Pavel ; Vrbová, Kristýna ; Strapáčová, S. ; Rössnerová, Andrea ; Ambrož, Antonín ; Brzicová, Táňa ; Líbalová, Helena ; Javorková, Eliška ; Zajícová, Alena ; Holáň, Vladimír ; Kulich, P. ; Večeřa, Zbyněk ; Mikuška, Pavel ; Coufalík, Pavel ; Křůmal, Kamil ; Čapka, Lukáš ; Dočekal, Bohumil ; Šerý, Omar ; Machala, M. ; Topinka, Jan
We analyzed gene expression changes in the lungs and the immunological response in splenocytes of mice exposed by inhalation of ZnO nanoparticles - NP. Adult female ICR mice were treated for three days and three months, respectively. Analysis of differential expression in genes involved in oxidative stress was conducted using quantitative RT-PCR. The potential immunotoxic and immunomodulatory effects of ZnO NP were analyzed by phenotyping and cytokine production by splenocytes after three months exposure. Three days exposure resulted in down-regulation of GCLC, GSR, HMOX-1, NQO-1, NF-kB2, PTGS2 and TXNRD1 mRNA expression, three months exposure increased the expression of these genes. Three months exposure caused a significant decrease in the percentage of granulocytes in the spleen cells, and affected the production of IL-10 and IL-6 by lipopolysaccharide-stimulated leukocytes. In summary, our study revealed changes in the expression of genes involved in the oxidative stress response following acute ZnO NP exposure. Subchronic ZnO NP exposure induced immunomodulatory effects in the spleen.
Information system for a company making parts of transportation devices
Čech, Martin ; Kofroň, Jan (advisor) ; Šerý, Ondřej (referee)
In this work we propose a specific implementation of an information system for small and middle-sized companies. Its purpose is to manage data about employees, partner institutions (both providers and customers), purchase orders and products themselves. The application consists of three parts: a database layer, application server, and client program. In addition, it focuses on the products management, division into elementary components and production processes. Another significant part is documentation of workers' production, which enables supervising the process evolution and also generation of salaries. In this work we focus especially on solution of each program part and communication among them. Powered by TCPDF (www.tcpdf.org)
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.
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new debugging interface of the Java PathFinder application. As a suitable inte- face container was selected the Eclipse development environment. The created interface should visualize results of JPF and details of paused JVM state, es- pecially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new de- bugging interface to the Java PathFinder application. As a suitable interface container was selected the Eclipse development environment. The created inter- face visualizes results of JPF and details of paused JVM state, especially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
CMS Supporting Dynamically Generated Content
Nádraský, Václav ; Ježek, Pavel (advisor) ; Šerý, Ondřej (referee)
The topic of this thesis covers design and development of content management system which is easily extensible. It allows creating websites out of components which can be placed at any place in a web site. These components can contain a complex application logic which is independent of a layout of user controls. Content management system also contains a component allowing to place any data from any database into web site content without need to program or to create SQL queries.
Vector Graphics Editor for the AGE Project
Šebetovský, Jan ; Ježek, Pavel (advisor) ; Šerý, Ondřej (referee)
Present work studies possibilities of creating the vector graphics editor, which would be able to work as part of project AGE. Purpose of this project is to create integrated graphics tool. This work also contains program which is basic version of described editor. The advantage of this editor is especially ability to compute dimensions and colours of objects in picture from properties of another objecet in picture according to expression created by user. Editor also supports layers (in form of groups of objects), export of picture into bitmap formats and ability to work with Bézier curves. In addition this program almost fully supports filters, which are created in other work.
Investment Strategies Simulator
Helešic, Tomáš ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Title: Investment Strategies Simulator Author: Tomáš Helešic Department: Department of Software Engineering Supervisor: RNDr. Ondřej Šerý Supervisor's e-mail address: ondrej.sery@d3s.mff.cuni.cz Abstract: The goal of this thesis is the creation of an investment strategies simulator. The resulting program allows users to download current and historical stock data, visualize it using charts and implement on it the tools of technical analysis. These components are designed and linked to create fully worthwhile environment for the creation, evaluation and representation of user strategies. Keywords: Investment strategies; Technical analysis, Scripting;
Software pro rozvrhování operací a evidence nástrojů pro nemocniční zařízení
Tupec, Pavel ; Šerý, Ondřej (advisor) ; Kruliš, Martin (referee)
Nowadays in most medical facilities is daily schedule of operations mainly created manually or with minimal support of software tools. Result of this is occasional ineffectivity of operation schedule and primarily huge time consumption for surgery chief who could use his time for more important things related to his work. Another reason for creating this application is that information about patients, operations, wards and diagnosis are stored decentralized in different applications and systems, which makes working with them more difficult. Target of this application is implementation application for creating operating schedules in hospital facilities with assurance of necessary instruments, wards and instrument evidence. Where all data about all necessary entities will be stored and managed centralized. Purpose of final program is make schedule creating more effective and partially automatized operation planning.
Model Checking and Reduction of Behavior Protocols
Šerý, Ondřej
Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' internal data. While it seems to be a reasonable level of abstraction for checking correctness of communication of the software components, it can be still quite difficult for a human to read and understand. This thesis aims to help the software designer to understand the behavior specification of components more easily. An approach to automatic verification of the general temporal properties stated in Linear Temporal Logic is presented along with two techniques for reduction of behavior protocols. Reduction with respect to composition prunes out those parts of the protocols that are not used in the particular composition and clarifies the actual role of each component. Reduction with respect to property removes the parts of the protocols that are irrelevant to the given property. The behavior protocols reduced in this manner should emphasize which part of the protocol makes the given property satisfied.

National Repository of Grey Literature : 40 records found   1 - 10nextend  jump to record:
See also: similar author names
4 Šerý, Omar
3 Šerý, Ondřej
Interested in being notified about new results for this query?
Subscribe to the RSS feed.