|
Games and the meaning of logical connectives
Majer, Ondrej
The main topic of the article is different understanding of logical connectives in logical systems (this is demonstrated on classical, intuitionistic and linear logic). The article focuses on the question how are the differences between the connectives captured in the game interpretation of the corresponding logical systems and on the adequacy of the game thoretical framework for characterising these differences.
|
|
Impact of the changes of personal income tax valid from the 1st January 2008 concerning entrepreneurs
PUPÍKOVÁ, Hana
The bachelor thesis analyzes the impact of the changes of personal income tax, including the changes in social security and health care insurance, valid from the 1st January 2008 and concerning entrepreneurs. The first part identifies the main changes in the taxation of entrepreneurs, the second part is devoted to the effects caused by introducing a linear tax rate of 15%, increase in tax bonifications and exclusion of pension insurance premiums and the contribution to the state employment policy and health care insurance from the tax deductible expenses. The thesis compares the taxation of income between 2007 and 2008 in both absolute and relative terms.
|
|
Detekce lineární části Patlak-Rutlandova grafu
Šmídl, Václav
Detection of linear part of a graph is a common problem in data analysis. Specifically for the Patlak-Rutland plot, this step is an important part of functional analysis of renal activity. An automated method for detection is proposed and tested on 16 data sets of real medical data.
|
|
Modeling development of incurred value of claim
Kantorová, Petra ; Zimmermann, Pavel (advisor) ; Hrevuš, Jan (referee)
This diploma project is focused on the estimation of incurred value of claim and probability of the claim remaining opened (not settled) in the specific stage of the insurance settlement process. The change of incurred value of claim means the change of settlement process stage. Generalized linear model is used for modelling these changes. Classical linear regression model also belongs into this theory, which is its special case, just with stricter premises. Generalized linear model among others allows solving the problem of heteroscedasticity in the unusual way using joint model. This model is applied in the practical part of this piece of work. Logistic regression is the part of the generalized linear model theory, which helps to model the probability of the claim remaining opened in this piece of work. The model outcome is presented in graphic way, especially the graphs containing probability that levels of given claim will occur in certain range.
|
|
Učení vícevrstvých perceptronů s po částech lineárními aktivačními funkcemi
Kozub, P. ; Holeňa, Martin
This paper presents an overview of the techniques used to solve constrained optimization problems using evolutionary algorithms. The construction of the fitness function together with the handling of feasible and infeasible individuals is discussed. Approaches using penalty functions, special representations, repair algorithms, methods based on separation of objective and constraints and multiobjective techniques are mentioned.
|
| |
|
Odhad zdánlivé lomové houževnatosti keramických laminátů založený na zobecněném faktoru hustoty deformační energie
Náhlík, Luboš ; Šestáková, Lucie ; Hutař, Pavel
The paper presented deals with fracture behavior of ceramic laminates. Assumptions of the linear elastic fracture mechanics and small scale yielding are considered. In this frame the residual stresses in individual layers of Al2O3/5vol.%t-ZrO2 (ATZ) and Al2O3/30vol.%m-ZrO2 (AMZ) are determined. The procedure based on generalization of Sih's strain energy density factor to the case of a crack touching the interfaces between two dissimilar materials is used for determination of effective values of stress intensity factor at material interfaces.Important increase of the fracture toughness at AMZ/ATZ interface was predicted in comparison to the fracture toughness of individual material components. Predicted values were compared with data available in literature and mutual good agreement was found. Procedure suggested can be used for estimation of resistance to crack propagation of multilayered structures and its design.
|
| |
|
Common specification of radiotherapeutical apparatuses and their appearance in departments of radiation therapy in the Czech republic
NOVÁK, Michal
From the first contact of patient with simulator to therapeutic application of radiation is the radiotherapy in direct contact with devices. The radiotherapeutical units are irreplaceable because the radiation therapy is impossible without these. The process of radiotherapy became more difficult with production of modern devices, using new techniques of irradiation, using new accesories, aids and especially with development of computer technology. This fact enabled approximation to the exacting requirements of modern radiotherapy. Today is the spectrum of radiotherapeutical units stabilize on several types which include most of clinical demands. These are linear accelerators, cobalt and cesium isotopic units, therapeutic X-ray devices and the automatic afterloading systems for brachytherapy. Today is the attention paid to expansion of technical abilities of existing units rather than to searching of new types of radiation sources. Using of unconventional sources of radiation, especially the neutron sources and accelerators of heavy parcticles, is exception. The subject of this bachelor essay is adumbrate meaning of devices in radiation therapy. Essay provide list of the most frequently devices which used for therapeutic application of ionizing radiation. These therapeutic units are generally specified in essay and there are provided important informations about incident of radiothe-rapeutical units at departments of radiotherapy in the Czech Republic.
|
|
Pseudospectra and non-stationary excitation
Kozánek, Jan ; Berthelot, F.
The behaviour of linear (and non-linear) dynamical systems is characterized with the help of the spectral properties. The pseudospectrum is in this situation better instrument, giving the estimation about the resolvent. The formal substitution (using a regression method) of the non-stationary excitation of rotating machines during start up and run down regimes by the exponencial function corresponding to the resolvent solution is proposed and discussed.
|
guest ::
