Dissertations / Theses on the topic 'Monoïde des traces'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 34 dissertations / theses for your research on the topic 'Monoïde des traces.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
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.
Full textConcurrency 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.
Full textGuaiana, Giovanna. "Parties reconnaissables et morphismes sur les monoi͏̈des trace." Paris 7, 1994. http://www.theses.fr/1994PA077145.
Full textKufleitner, 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.
Full textWong, 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.
Full text黃功顯 and 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.
Full textBackus, 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.
Full textKirsten, 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.
Full textKirsten, Daniel. "Some Undecidability Results related to the Star Problem in Trace Monoids." Technische Universität Dresden, 1998. https://tud.qucosa.de/id/qucosa%3A26301.
Full textSjoeberg, 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.
Full textKirsten, 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.
Full textKirsten, Daniel, and 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.
Full textKirsten, 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.
Full textKirsten, Daniel, and 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.
Full textRichard, 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.
Full textThis 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.
Full textIn 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.
Full textChemistry and Chemical Biology
Kirsten, Daniel, and 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.
Full textHyer, 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.
Full textThesis 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.
Full textMade 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, and Jerzy Marcinkowski. "Two Techniques in the Area of the Star Problem." Technische Universität Dresden, 1999. https://tud.qucosa.de/id/qucosa%3A26306.
Full textWerbier, 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.
Full textWerbier, 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.
Full textDespois, 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.
Full textKowalski, 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.
Full textEriksson, 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.
Full textLhuissier, Franck. "Les pollens biomarqueurs de la pollution atmosphérique ? Approche microscopique et biochimique." Rouen, 1998. http://www.theses.fr/1998ROUES095.
Full textSvedberg, 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.
Full textGodrant, Aurélie. "The role of superoxide in iron acquisition by marine phytoplankton." Brest, 2009. http://www.theses.fr/2009BRES2061.
Full textIt 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, and 王芝學. "The Axon and Myelin Degradation After Carbon Monoxide Intoxication : Quantification of Specific Tracts on DTI." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/30980430303863977653.
Full text國立陽明大學
生物醫學影像暨放射科學系
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.
Full textJanse, 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.
Full textDissertation (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.
Full texttext
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.
Full text