Global ETD Search

81	Skákající jazykové modely / Jumping Language Models Ošmera, Lubomír January 2019 (has links) The main goal of this master thesis is introduction and investigation of extended version of jumping automata and grammars. New versions are primarily focused on bioinformatic applications - DNA computing. This thesis examine their power and other properties of new models and makes comparison with existing computer science models. Then thesis demontrates practical applications, specifically amino acid and protein detections inside DNA sequence and makes comparision with existing tools in DNA computing for example Mark´s probabilistic models.
82	Víceelektrodový systém ionizačního detektoru pro environmentální rastrovací elektronový mikroskop / Multi-electrode system of ionization detector for environmental scanning electrone microscope Uhlář, Vít January 2015 (has links) Thesis deals with environmental scanning electron microscopy and with detection of signal electrons by using ionization detector. First part talks about the principle of environmental scanning electron microscope. Second part describes signals generated by interaction of primary electron beam with sample. Third section explains the principle of impact ionization and ionization detector. Experimental part deals with usage of segmental ionization detector and with measuring of signal amplification from copper and platinum. Thesis also examines arrangement of electrodes of ionisation detector on material contrast and examines also on influence of voltage contrast on base - emitter junction of an NPN bipolar transistor. All experiments were carried out in dependency on saturated water vapour pressure in sample chamber.
83	Rekonfigurovatelná analýza strojového kódu / Retargetable Analysis of Machine Code Křoustek, Jakub Unknown Date (has links) Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
84	Präzisionsmassebestimmung einzelner Partikel im Femtogrammbereich und Anwendungen in der Oberflächenphysik Illemann, Jens 26 July 2000 (has links) In this work, a new method for mass determination of single low-charged particles in the sub-picogram regime is developed. It opens applications to chemical physics and surface science via determination of growth rates. The method combines the well-known electrodynamic quadrupole ion trap in a UHV-chamber and fourier transformation of scattered light. The achieved mass resolution of down to $10^{-4}$ at 100 fg mass on a time scale of ten seconds allows a resolution of a few percent of the mass of an adsorbed monolayer and to determine growth rates down to one molecule per second on a time scale of one day. The observation of temperature dependent sticking coefficients results in the measures of the energy of an adsorption barrier. Observation of discrete steps in the rate gives information about the density of molecules in an ordered layer. Temperature dependent desorption data gives the binding energy. The dependence of these observables on the controllable curvature and charge of the substrate's surface is measurable. The first part of this dissertation consists of a description of the common theory of the quadrupole ion trap with the completion of not widely known, newly introduced, contributions to the trapping potential. These contributions lead to systematic shifts in the mass determination. In particular the influence of the inhomogenity of the electrical field, that is used for compensating the gravitational force, is investigated analytically and corroborated experimentally. It is assumed, that the particle's finite size effects in a further shift. In the experimental part initial demonstrative measurements are presented: the time-resolved adsorption of fullerene, anthracene and NO on silica spheres with 500nm diameter has been measured at room temperature. In addition the secondary electron yield of in-situ prepared particles during irradiation with monoenergetic electrons has been determined by analyzing the distribution of change of the number of elementary charges by single events of charging. info:eu-repo/classification/ddc/530 ddc:530 info:eu-repo/classification/ddc/620 ddc:620 Adsorptionskinetik Quadrupolmassenspektrometrie ICR-Spektroskopie Sekundärelektronenemission Nanopartikel high precision mass determination weighing picogram femtogram quadrupole trap electrodynamic trap octopole term multipole extension anharmonicity adsorption desorption monolayer scattered light aerosol particle dust fullerene anthracene nitrogenmonoxyd silicondioxyd secondary electron emission yield
85	Formální modely distribuovaného výpočtu / Formal Models of Distributed Computation Soukup, Ondřej January 2017 (has links) Tato disertační práce představuje derivační stromy několika různých typů gramatik ve zobecněné Kurodově normální formě; jmenovitě obecné a regulárně řízené gramatiky, gramatiky s rozptýleným kontextem a spolupracující distribuované gramatické systémy. Definuje jednoduché stromové rysy založené na kontextových vlastnostech jednotlivých diskutovaných gramatik a dokazuje, že pokud existuje limitující konstanta k taková, že každá věta generovaného jazyka L odpovídá řetězci listových uzlů derivačního stromu, ve kterém je výskyt definovaných stromových rysů omezen konstantou k, jazyk L je ve skutečnosti bezkontextový. Tato práce dále ukazuje, že dosažený výsledek představuje silný nástroj důkazu bezkontextovosti jazyka. Vše je doplněno příklady praktického využití nástroje.
86	Compression et inférence des opérateurs intégraux : applications à la restauration d’images dégradées par des flous variables / Approximation and estimation of integral operators : applications to the restoration of images degraded by spatially varying blurs Escande, Paul 26 September 2016 (has links) Le problème de restauration d'images dégradées par des flous variables connaît un attrait croissant et touche plusieurs domaines tels que l'astronomie, la vision par ordinateur et la microscopie à feuille de lumière où les images sont de taille un milliard de pixels. Les flous variables peuvent être modélisés par des opérateurs intégraux qui associent à une image nette u, une image floue Hu. Une fois discrétisé pour être appliqué sur des images de N pixels, l'opérateur H peut être vu comme une matrice de taille N x N. Pour les applications visées, la matrice est stockée en mémoire avec un exaoctet. On voit apparaître ici les difficultés liées à ce problème de restauration des images qui sont i) le stockage de ce grand volume de données, ii) les coûts de calculs prohibitifs des produits matrice-vecteur. Ce problème souffre du fléau de la dimension. D'autre part, dans beaucoup d'applications, l'opérateur de flou n'est pas ou que partialement connu. Il y a donc deux problèmes complémentaires mais étroitement liés qui sont l'approximation et l'estimation des opérateurs de flou. Cette thèse a consisté à développer des nouveaux modèles et méthodes numériques permettant de traiter ces problèmes. / The restoration of images degraded by spatially varying blurs is a problem of increasing importance. It is encountered in many applications such as astronomy, computer vision and fluorescence microscopy where images can be of size one billion pixels. Variable blurs can be modelled by linear integral operators H that map a sharp image u to its blurred version Hu. After discretization of the image on a grid of N pixels, H can be viewed as a matrix of size N x N. For targeted applications, matrices is stored with using exabytes on the memory. This simple observation illustrates the difficulties associated to this problem: i) the storage of a huge amount of data, ii) the prohibitive computation costs of matrix-vector products. This problems suffers from the challenging curse of dimensionality. In addition, in many applications, the operator is usually unknown or only partially known. There are therefore two different problems, the approximation and the estimation of blurring operators. They are intricate and have to be addressed with a global overview. Most of the work of this thesis is dedicated to the development of new models and computational methods to address those issues. Opérateurs intégraux Flou variable Parcimonie Approximation Estimation Fléau de la dimension Restauration Décomposition multi-Échelle Défloutage Déconvolution Problème inverse Grande dimension Interpolation de données éparpillées Produit-Convolution Algorithmes rapides Bruit multiplicatif structuté Mesure de similarité Microscopie Astronomie Integral operators Spatially varying blur Sparsity Approximation Estimation Curse of dimensionality Restoration Multi-Scale approximation Deblurring Deconvolution Inverse problem High-Dimension Scattered data interpolation Product-Convolution Fast algorithms Structured multiplicative noise Similarity measure Microscopy Astronomy 510

Page generated in 0.0693 seconds