Dissertationen zum Thema „Monoïde des traces“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-34 Dissertationen für die Forschung zum Thema "Monoïde des traces" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Chen, Yi ting. „Random generation of executions of concurrent systems“. Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS071.pdf.
Der volle Inhalt der QuelleConcurrency has an important role in modern systems and programming. It reveals the phenomenon that multiple computations run simultaneously. These interleaved executions cause the so-called "State explosion problem". In this thesis, we aim at constructing a probabilistic framework on the executions of concurrent systems for the purpose of random generation. The uniform measure of executions is inspired by trace monoids defined on infinite traces. Trace theory has a strong combinatorial foundation around the Möbius polynomial. The irreducibility of trace monoids implies the strong connectivity of the digraph of cliques. Hence, a dominant eigenvalue exists and determines the growth rate of trace monoids. In our work, we view the abstract concurrent systems as monoid actions on a finite set of states. This setting encompasses 1-bounded Petri nets. We give two interpretations to a uniform measure of executions for concurrent systems. One is constructed by the elementary cylinders in trace monoids. This uniform measure is realized a Markov chain of states-and-cliques. The other is to study the Parry measure on the digraph of states-and-cliques. The difficulty to extend to concurrent systems is that the Perron-Frobenius theorem is not applicable. To resolve this problem, we found the spectral property of the irreducible concurrent systems. This allows us to distinguish the main components which determine the characteristic root of the system. We also prove the uniqueness of this uniform measure. The transition matrix can be obtained either from the Markov chain of states-and-cliques or from the Parry measure with the spectral radius of the dominant components
Duboc, Christine. „Commutations dans les monoïdes libres : un cadre théorique pour l'étude du parallélisme“. Rouen, 1986. http://www.theses.fr/1986ROUES003.
Der volle Inhalt der QuelleGuaiana, Giovanna. „Parties reconnaissables et morphismes sur les monoi͏̈des trace“. Paris 7, 1994. http://www.theses.fr/1994PA077145.
Der volle Inhalt der QuelleKufleitner, Manfred. „Logical fragments for Mazurkiewicz traces expressive power and algebraic characterizations /“. [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-27812.
Der volle Inhalt der QuelleWong, Kung-hin. „Clinical application of trace analysis of carbon monoxide in expired air /“. [Hong Kong : University of Hong Kong], 1986. http://sunzi.lib.hku.hk/hkuto/record.jsp?B1222070X.
Der volle Inhalt der Quelle黃功顯 und Kung-hin Wong. „Clinical application of trace analysis of carbon monoxide in expired air“. Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B31207972.
Der volle Inhalt der QuelleBackus, John. „An analysis of methods to measure carbon monoxide in residential construction“. Menomonie, WI : University of Wisconsin--Stout, 2007. http://www.uwstout.edu/lib/thesis/2007/2007backusj.pdf.
Der volle Inhalt der QuelleKirsten, Daniel. „Some Undecidability Results related to the Star Problem in Trace Monoids“. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100431.
Der volle Inhalt der QuelleKirsten, Daniel. „Some Undecidability Results related to the Star Problem in Trace Monoids“. Technische Universität Dresden, 1998. https://tud.qucosa.de/id/qucosa%3A26301.
Der volle Inhalt der QuelleSjoeberg, Tristan Nenne. „The distribution and cycling of dissolved carbon monoxide in estuarine, coastal and shelf break environments“. Thesis, University of East Anglia, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302077.
Der volle Inhalt der QuelleKirsten, Daniel. „A Connection between the Star Problem and the Finite Power Property in Trace Monoids“. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100445.
Der volle Inhalt der QuelleKirsten, Daniel, und Gwénaël Richomme. „Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids“. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100451.
Der volle Inhalt der QuelleKirsten, Daniel. „A Connection between the Star Problem and the Finite Power Property in Trace Monoids“. Technische Universität Dresden, 1998. https://tud.qucosa.de/id/qucosa%3A26302.
Der volle Inhalt der QuelleKirsten, Daniel, und Gwénaël Richomme. „Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids“. Technische Universität Dresden, 1999. https://tud.qucosa.de/id/qucosa%3A26303.
Der volle Inhalt der QuelleRichard, Lucile. „Développements de spectromètres ultrasensibles pour l'analyse de gaz par « optical feedback cavity enhanced absorption spectrocopy » dans le moyen infrarouge avec des lasers à cascades inter-bandes“. Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAY004/document.
Der volle Inhalt der QuelleThis work of these has made it possible to develop and characterize the use of instruments on the "OF-CEAS" technique in the mid-infrared for traces' detection in different mixtures in the gas phase. Inter-band Cascade Laser (ICL) is the latest innovation in semiconductor lasers in this spectral region. Compatibility of ICL with OF-CEAS offers new applications for compact and robust instruments with fast response time and a low detection limit. A demonstration of the good sensitivity and stability of the OF-CEAS instruments was performed with continua absorption measurements (water vapor and nitrogen). But also with the detection of a very low intensity quadrupole line of nitrogen (3x10-29 cm-1/(moléc cm-2). The main objective of this work was to develop an instrument dedicated to nitrogen oxide detection for the analysis of exhaled breath. The analyzer is presented at the sensitivity of 6x10-10 cm-1 in an acquisition of 180 ms. Its limit of detection on NO is at the state of the art, with short term (180 ms) limit of 50 ppt. It reaches the sub-ppt level (0.9 ppt) with 12 min of integration
Viatte, Camille. „Observations de la composition atmosphérique par mesures infrarouges en occultation solaire depuis la station d’izana (Tenerife) et la nouvelle plateforme Oasis à Créteil“. Thesis, Paris Est, 2011. http://www.theses.fr/2011PEST1127/document.
Der volle Inhalt der QuelleIn the frame of atmospheric composition change related to human activities, homogeneous and continuous atmospheric measurements have to be performed. This is why a new observatory (called OASIS for Observation of the Atmosphere by Solar occultation Infrared Spectroscopy) has been installed on the roof of the University of Paris-Est in order to analyze concentrations and variations of key atmospheric trace species, such as ozone and carbon monoxide. Development of experimental methodology and adaptation of inversion code (PROFFIT) allow to retrieved total and partial columns of these gases. Results are compared to different data from ground-based (SAOZ for O3), satellites (IASI, GOME-2, OMI, for O3, and IASI and MOPITT for CO) and from atmospheric model calculations (REPROBUS for O3 and MOCAGE for CO). Very good correlations were found, showing that a middle resolution instrument, such as OASIS is able to monitor atmospheric trace gases with a good accuracy. Then, thanks to a measurements campaign (April-May 2009), realized at Izaña (Tenerife, clear atmospheric conditions) observatory which is equipped with high resolution spectrometer, we provide valuable information about the performance of various total column ozone measuring instruments from ground (Brewer) and space (IASI, OMI, GOME-2). All temporal O3 and CO variabilities (seasonal, day-to-day, diurnal and extreme events) observed at both sites, such as respective high and middle resolution instruments capabilities were discussed in details
O'Brien, Anthony. „Development and Deployment of Optical Instruments to Measure Trace Atmospheric Species: I. Water Isotopologues; II. Glyoxal; III. Iodine Monoxide“. Thesis, Harvard University, 2012. http://dissertations.umi.com/gsas.harvard:10075.
Der volle Inhalt der QuelleChemistry and Chemical Biology
Kirsten, Daniel, und Jerzy Marcinkowski. „Two Techniques in the Area of the Star Problem“. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100584.
Der volle Inhalt der QuelleHyer, Edward Joseph. „Investigating uncertainties in trace gas emissions from boreal forest fires using MOPITT measurements of carbon monoxide and a global chemical transport model“. College Park, Md. : University of Maryland, 2005. http://hdl.handle.net/1903/2924.
Der volle Inhalt der QuelleThesis research directed by: Geography. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
PRETTO, ANGELICA. „O Estudo do comportamento dos gases-traco Osub(3), NOx, CO, SOsub(2) e de COVs na atmosfera da cidade de Sao Paulo“. reponame:Repositório Institucional do IPEN, 2005. http://repositorio.ipen.br:8080/xmlui/handle/123456789/11221.
Der volle Inhalt der QuelleMade available in DSpace on 2014-10-09T14:02:17Z (GMT). No. of bitstreams: 1 10427.pdf: 11180152 bytes, checksum: f8294650781a8994bcbc91409d2cadb8 (MD5)
Tese (Doutoramento)
IPEN/T
Intituto de Pesquisas Energeticas e Nucleares, IPEN/CNEN-SP
Kirsten, Daniel, und Jerzy Marcinkowski. „Two Techniques in the Area of the Star Problem“. Technische Universität Dresden, 1999. https://tud.qucosa.de/id/qucosa%3A26306.
Der volle Inhalt der QuelleWerbier, d'Antigneul Philippe de. „Contribution a l'etude du mecanisme de la reaction d'hydrocondensation du monoxyde de carbone sur catalyseur a base de cobalt a l'aide de traceurs“. Poitiers, 1987. http://www.theses.fr/1987POIT2104.
Der volle Inhalt der QuelleWerbier, d'Antigneul Philippe de. „Contribution à l'étude du mécanisme de la réaction d'hydrocondensation du monoxyde de carbone sur catalyseur à base de cobalt à l'aide de traceurs“. Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610743s.
Der volle Inhalt der QuelleDespois, Didier. „Etude du gaz moléculaire tracé par le monoxyde de carbone ¹²CO et ¹³CO dans la galaxie et l'environnement d'étoiles OeBe à l'aide du mini-radiotélescope POM1 recherche de HCN dans les comètes /“. Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37604509t.
Der volle Inhalt der QuelleKowalski, Kazimierz. „Étude de la ségrégation et de la diffusion dans le monoxyde de cobalt pur et dope et des propriétés électriques de cet oxyde“. Nancy 1, 1994. http://www.theses.fr/1994NAN10413.
Der volle Inhalt der QuelleEriksson, Jonas. „Synthesis of 11C-labelled Alkyl Iodides : Using Non-thermal Plasma and Palladium-mediated Carbonylation Methods“. Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Universitetsbibliotekt [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7171.
Der volle Inhalt der QuelleLhuissier, Franck. „Les pollens biomarqueurs de la pollution atmosphérique ? Approche microscopique et biochimique“. Rouen, 1998. http://www.theses.fr/1998ROUES095.
Der volle Inhalt der QuelleSvedberg, Urban. „Fourier Transform Infrared Spectroscopy in Industrial Hygiene Applications : Assessment of Emissions from and Exposures in Wood Processing Industries“. Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4225.
Der volle Inhalt der QuelleGodrant, Aurélie. „The role of superoxide in iron acquisition by marine phytoplankton“. Brest, 2009. http://www.theses.fr/2009BRES2061.
Der volle Inhalt der QuelleIt is hypothesised that, under iron limitation, phytoplankton cells develop biochemical mechanisms to increase their iron uptake efficiency with one of these mechanisms involving the production of superoxide in the extracellular environment that increases the bioavailability of iron in seawater by reducing Fe(III) to the more soluble Fe(II). The main objectives of this work were 1) to develop an appropriate method to detect extracellular production of superoxide by marine phytoplankton, and 2) to examine the relationship between extracellular production of superoxide and iron acquisition by Trichodesmium erythraeum. A method to measure superoxyde production is described using red-CLA and MCLA probes, yielding considerable improvement for analysis compared to other available methods. Extracellular superoxide production and iron uptake rates were measured simultaneously on iron replete and iron deplete Trichodesmium erythraeum IMS 101 laboratory cultures : iron starvation leads to a 2. 9-fold increase in superoxide production rate and 10-fold decrease in the iron uptake rate (except when a reducing compound was added) compared to iron replete cultures. Extracellular superoxide production shows a pronounced circadian rythm in iron deplete cultures, but less so in iron replete cultures. Overall, no direct impact of extracellular superoxide production by Trichodesmium is observed, but both processes are shown to be related. Both iron deplete and iron replete cultures demonstrate greater ability to uptake iron bound to weaker iron-binding ligands such as citrate. Application of the method to field studies in the Great Barrier Reef lagoon showed an accumulation of biologically significant concentrations of reduced trace metals including Fe(II) when the concentration of superoxide was lower than 1 nM. When the concentration of superoxide was higher than 1 nM, most of the reduced species were oxidised resulting in high rates of hudrogen peroxide production rates, consistent with laboratory studies. Overall, this thesis permitted the development of a method to detect superoxide production rates by marine phytoplankton cells that could be used routinely in field studies. The observations are in accord with the conclusion that fit the ongoing hypothesis that the extablished Fe' uptake model for phytoplankton would be strongly influenced by such organisms that are able to modify the redox equilibrium of the solution at their cells surface
Wang, Chih-Hsueh, und 王芝學. „The Axon and Myelin Degradation After Carbon Monoxide Intoxication : Quantification of Specific Tracts on DTI“. Thesis, 2012. http://ndltd.ncl.edu.tw/handle/30980430303863977653.
Der volle Inhalt der Quelle國立陽明大學
生物醫學影像暨放射科學系
100
Carbon monoxide (CO) intoxication is an unexpected condition. Patients have several symptoms include neurological sequelae, neurobehavioral changes, and cognitive impairments. After acute CO intoxication, part of patients may develop progressive chronic CO intoxication and the others appear delayed syndrome by probability effect. Evidence suggests that the white matter (WM) demyelination caused by CO intoxication may lead to functional disintegration of neurocognitive networks due to disconnection between cortex areas. Diffusion tensor imaging (DTI) is a noninvasive method to intercepted information about the anatomy of WM pathways and provides advantage for clinical diagnosis. In this study, we used pre-created WM parcellation atlas-based probabilistic maps of 11 major WM tracts in FSL to quantify and evaluate WM tract damages in patients with CO intoxication.
Janse, van Rensburg Melissa. „Analysis of trace amounts of oxygen, carbon monoxide and carbon dioxide in nitrogen using gas chromatography“. 2007. http://upetd.up.ac.za/thesis/available/etd-04222008-121343.
Der volle Inhalt der QuelleJanse, van Rensburg Mellisa. „Analysis of trace amounts of oxygen, carbon monoxide and carbon dioxide in nitrogen using gas chromatography“. Diss., 2007. http://hdl.handle.net/2263/24065.
Der volle Inhalt der QuelleDissertation (MSc (Chemistry))--University of Pretoria, 2008.
Chemistry
unrestricted
Huang, Lei active 2013. „Transport pathways of fire generated tracers to the upper troposphere as determined by A-Train satellite measurements“. 2013. http://hdl.handle.net/2152/20801.
Der volle Inhalt der Quelletext
Prados-Román, Cristina [Verfasser]. „Aircraft-borne spectroscopic limb measurements of trace gases absorbing in the UV-A spectral range : investigations of bromine monoxide in the Arctic troposphere / put forward by Cristina Prados-Román“. 2010. http://d-nb.info/1009881337/34.
Der volle Inhalt der Quelle