Log in

Relevant bibliographies by topics / Monoïde des traces / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Monoïde des traces.

Dissertations / Theses on the topic 'Monoïde des traces'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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.

1

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 text

Abstract:

La concurrence joue un rôle important dans les systèmes et la programmation modernes. Il révèle le phénomène selon lequel plusieurs calculs s'exécutent simultanément. Ces exécutions entrelacées entraînent le "problème d'explosion d'états". Dans cette thèse, nous visons à construire un cadre probabiliste sur les exécutions de systèmes concurrents à des fins de génération aléatoire. La mesure uniforme des exécutions s'inspire des monoïdes de traces définis sur des traces infinies. La théorie des traces a une solide base combinatoire autour du polynôme de Möbius. L'irréductibilité des monoïdes de

APA, Harvard, Vancouver, ISO, and other styles

2

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 text

APA, Harvard, Vancouver, ISO, and other styles

3

Guaiana, Giovanna. "Parties reconnaissables et morphismes sur les monoi͏̈des trace." Paris 7, 1994. http://www.theses.fr/1994PA077145.

Full text

Abstract:

Cette thèse porte sur les monoi͏̈des partiellement commutatifs libres ou monoi͏̈des trace, qui constituent un des principaux modèles sémantiques du parallélisme. Les thèmes abordés sont essentiellement la reconnaissabilité des langages trace et le codage sur les monoi͏̈des trace. Pour ce qui concerne le premier thème, nous donnons une nouvelle preuve de la clôture par produit de la famille des langages trace reconnaissables. Notre approche utilise une décomposition du langage produit induite par un treillis associé au graphe des commutations. Cela fournit un algorithme effectif pour le calcul

APA, Harvard, Vancouver, ISO, and other styles

4

Kufleitner, 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 text

APA, Harvard, Vancouver, ISO, and other styles

5

Wong, 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

APA, Harvard, Vancouver, ISO, and other styles

6

黃功顯 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 text

APA, Harvard, Vancouver, ISO, and other styles

7

Backus, 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 text

APA, Harvard, Vancouver, ISO, and other styles

8

Kirsten, 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 text

Abstract:

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by Richomme from 1994[30,31], we know that the Star Problem is decidable in trace monoids which do not contain a C4-submonoid. The C4 is (isomorphic to) the Caresian Product of two free monoids over doubleton alphabets. It is not known, whether the Star Problem is decidable in C4 or in trace monoids containing a C4. In this paper, we show undecidability of some related problems: Assume a trace mon

APA, Harvard, Vancouver, ISO, and other styles

9

Kirsten, 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 text

Abstract:

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by Richomme from 1994[30,31], we know that the Star Problem is decidable in trace monoids which do not contain a C4-submonoid. The C4 is (isomorphic to) the Caresian Product of two free monoids over doubleton alphabets. It is not known, whether the Star Problem is decidable in C4 or in trace monoids containing a C4. In this paper, we show undecidability of some related problems: Assume a trace mon

APA, Harvard, Vancouver, ISO, and other styles

10

Sjoeberg, 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 text

APA, Harvard, Vancouver, ISO, and other styles

11

Kirsten, 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 text

Abstract:

This paper deals with a connection between two decision problems for recognizable trace languages: the star problem and the finite power property problem. Due to a theorem by Richomme from 1994 [26, 28], we know that both problems are decidable in trace monoids which do not contain a C4 submonoid. It is not known, whether the star problem or the finite power property are decidable in the C4 or in trace monoids containing a C4. In this paper, we show a new connection between these problems. Assume a trace monoid IM (Σ, I) which is isomorphic to the Cartesian Product of two disjoint trace monoid

APA, Harvard, Vancouver, ISO, and other styles

12

Kirsten, 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 text

Abstract:

In the last decade, some researches on the star problem in trace monoids (is the iteration of a recognizable language also recognizable?) has pointed out the interest of the finite power property to achieve partial solutions of this problem. We prove that the star problem is decidable in some trace monoid if and only if in the same monoid, it is decidable whether a recognizable language has the finite power property. Intermediary results allow us to give a shorter proof for the decidability of the two previous problems in every trace monoid without C4-submonoid. We also deal with some earlier

APA, Harvard, Vancouver, ISO, and other styles

13

Kirsten, 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 text

Abstract:

This paper deals with a connection between two decision problems for recognizable trace languages: the star problem and the finite power property problem. Due to a theorem by Richomme from 1994 [26, 28], we know that both problems are decidable in trace monoids which do not contain a C4 submonoid. It is not known, whether the star problem or the finite power property are decidable in the C4 or in trace monoids containing a C4. In this paper, we show a new connection between these problems. Assume a trace monoid IM (Σ, I) which is isomorphic to the Cartesian Product of two disjoint trace monoid

APA, Harvard, Vancouver, ISO, and other styles

14

Kirsten, 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 text

Abstract:

In the last decade, some researches on the star problem in trace monoids (is the iteration of a recognizable language also recognizable?) has pointed out the interest of the finite power property to achieve partial solutions of this problem. We prove that the star problem is decidable in some trace monoid if and only if in the same monoid, it is decidable whether a recognizable language has the finite power property. Intermediary results allow us to give a shorter proof for the decidability of the two previous problems in every trace monoid without C4-submonoid. We also deal with some earlier

APA, Harvard, Vancouver, ISO, and other styles

15

Richard, 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 text

Abstract:

Ce travail de thèse a permis le développement et la caractérisation d'instruments basés sur la technique "OF-CEAS" dans le moyen infrarouge pour la détection de traces dans différents mélanges en phase gazeuse. Le Laser à Cascades Inter-bandes (ICL) est la dernière innovation des lasers à semi-conducteurs dans cette zone spectrale. La compatibilité des ICL avec l'OF-CEAS ouvre la voie vers de nouvelles applications pour la réalisation d'instruments compacts et robustes avec un temps de réponse rapide tout en présentant une très bonne limite de détection.Une démonstration de la bonne sensibilit

APA, Harvard, Vancouver, ISO, and other styles

16

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 text

Abstract:

Pour quantifier l'influence des activités humaines sur le climat et en particulier sur la composition chimique de l'atmosphère, il est primordial de disposer de mesures continues et homogènes. C'est pourquoi l'objet de ce travail de thèse a consisté, dans un premier temps, à installer une nouvelle station d'observation (OASIS pour Observations Atmosphériques par Spectrométrie Infrarouge Solaire) sur le toit de l'Université Paris-Est à Créteil, pour mesurer des spectres d'absorption solaire dans l'infrarouge, en vue d'analyser les concentrations de gaz traces et leurs différentes variabilités t

APA, Harvard, Vancouver, ISO, and other styles

17

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 text

Abstract:

Understanding future climate requires observations of trace species that can significantly influence the chemical or radiative properties of the atmosphere. The development of optical instruments, utilizing laser-systems as high-resolution light sources, for making in situ observations of trace species from either airborne- or ground-based platforms and results from field campaigns are presented. Glyoxal, the smallest \(\alpha\)-dicarbonyl, is a common product during the oxidation of volatile organic compounds. An instrument using the technique of laser-induced phosphorescence was developed to

APA, Harvard, Vancouver, ISO, and other styles

18

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 text

Abstract:

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by G. Richomme from 1994 [32, 33], we know that the star problem is decidable in trace monoids which do not contain a submonoid of the form {a,c}* x {b,d}*. Here, we consider a more general problem: Is it decidable whether for some recognizable trace language and some recognizable or finite trace language P the intersection R ∩ P* is recognizable? If P is recognizable, then we show that this probl

APA, Harvard, Vancouver, ISO, and other styles

19

Hyer, 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 text

Abstract:

Thesis (Ph. D.) -- University of Maryland, College Park, 2005.<br>Thesis 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.

APA, Harvard, Vancouver, ISO, and other styles

20

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 text

Abstract:

Made available in DSpace on 2014-10-09T12:49:38Z (GMT). No. of bitstreams: 0<br>Made available in DSpace on 2014-10-09T14:02:17Z (GMT). No. of bitstreams: 1 10427.pdf: 11180152 bytes, checksum: f8294650781a8994bcbc91409d2cadb8 (MD5)<br>Tese (Doutoramento)<br>IPEN/T<br>Intituto de Pesquisas Energeticas e Nucleares, IPEN/CNEN-SP

APA, Harvard, Vancouver, ISO, and other styles

21

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 text

Abstract:

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by G. Richomme from 1994 [32, 33], we know that the star problem is decidable in trace monoids which do not contain a submonoid of the form {a,c}* x {b,d}*. Here, we consider a more general problem: Is it decidable whether for some recognizable trace language and some recognizable or finite trace language P the intersection R ∩ P* is recognizable? If P is recognizable, then we show that this probl

APA, Harvard, Vancouver, ISO, and other styles

22

Werbier, 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 text

APA, Harvard, Vancouver, ISO, and other styles

23

Werbier, d'Antigneul Philippe de. "Contribution à l'étude du mécanisme de la réaction d'hydrocondensation du monoxyde de carbone sur catalyseur à base de cobalt à l'aide de traceurs." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610743s.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Despois, Didier. "Etude du gaz moléculaire tracé par le monoxyde de carbone ¹²CO et ¹³CO dans la galaxie et l'environnement d'étoiles OeBe à l'aide du mini-radiotélescope POM1 recherche de HCN dans les comètes /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37604509t.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Kowalski, 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 text

Abstract:

La diffusion du cobalt, du nickel, du calcium et du chrome, aux joints de grains du monoxyde de cobalt coO, est étudiée à l'aide de traceurs radioactifs. Il est montré que le chrome et le calcium manifestent une importante ségrégation aux joints de grains avec un facteur de ségrégation supérieur à 10. Les coefficients de diffusion aux joints de grains des 4 éléments ont été estimés. Le facteur d'accélération entre la diffusion en volume et la diffusion aux joints de grains est de l'ordre de 10#5 - 10#6. Les propriétés électriques (conductivité, pouvoir thermoélectrique) de films minces de coO

APA, Harvard, Vancouver, ISO, and other styles

26

Eriksson, Jonas. "Synthesis of ¹¹C-labelled Alkyl Iodides : Using Non-thermal Plasma and Palladium-mediated Carbonylation Methods." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Universitetsbibliotekt [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Lhuissier, Franck. "Les pollens biomarqueurs de la pollution atmosphérique ? Approche microscopique et biochimique." Rouen, 1998. http://www.theses.fr/1998ROUES095.

Full text

Abstract:

Nous avons étudié les potentialités de pollens comme bioindicateurs de pollution atmosphérique. Deux espèces ont été étudiées : le bouleau (Betula verrucosa Ehrh. ) et le dactyle (Dactylis glomerata L. ). Ces deux espèces sont responsables de plus de 95% des cas d'allergies au pollen en Europe. Des échantillons de pollen ont été exposés à différentes concentrations de monoxyde d'azote marqué à l'azote 15 ou de monoxyde de carbone marqué à l'oxygène 18. Ceci nous a permis de localiser les cibles cellulaires de chaque gaz en utilisant la microscopie d'émission d'ions secondaires (SIMS). Une anal

APA, Harvard, Vancouver, ISO, and other styles

28

Svedberg, 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. [distributör], 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4225.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Godrant, Aurélie. "The role of superoxide in iron acquisition by marine phytoplankton." Brest, 2009. http://www.theses.fr/2009BRES2061.

Full text

Abstract:

Le rôle clef du fer dans le cycle biogéochimique du carbone et de l’azote dans l’océan a été mis en évidence au cours de la dernière décennie. Une des découvertes majeures récentes en océanographie biologique est la limitation de la croissance du phytoplancton par la disponibilité en fer dans au moins 40% de l’océan mondial. Or, la chimie de cet élément dans l’océan est particulièrement complexe et la forme sous laquelle il est disponible pour le phytoplancton reste encore mal connue. Plusieurs mécanismes sont utilisés par le phytoplancton marin pour améliorer la solubilité du fer en eau de me

APA, Harvard, Vancouver, ISO, and other styles

30

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

Abstract:

碩士<br>國立陽明大學<br>生物醫學影像暨放射科學系<br>100<br>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

APA, Harvard, Vancouver, ISO, and other styles

31

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 text

APA, Harvard, Vancouver, ISO, and other styles

32

Janse, 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 text

Abstract:

An in-house developed method is presented for the purity analysis of nitrogen (N2) built-in purifier (BIPTM)) gas for the trace contaminant gases carbon dioxide (CO2), oxygen (O2)) and carbon monoxide (CO), using gas chromatography with a pulsed discharge helium ionisation detector (GC-PDHID). Nitrogen BIPTM gas is used as a “matrix” gas or diluent gas for the gravimetric preparation of binary reference materials of CO, CO2), sulphur dioxide (SO2)) and nitric oxide (NO) at the CSIR NML gas metrology laboratory. Purity analysis of nitrogen BIPTM is required to decrease the measurement uncertain

APA, Harvard, Vancouver, ISO, and other styles

33

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 text

Abstract:

Convective and long-range transport of air mass controls the global distributions and impacts of the pollutants generated in limited source regions. However, an observational characterization of such transport based on long-term satellite data has been difficult in part because adequate satellite measurements were not available until recent years and lack of an automated method for identifying the transport pathways. My dissertation addresses this problem through three steps: First, I developed a method to automate the identification of two pathways that are responsible for the transport of bi

APA, Harvard, Vancouver, ISO, and other styles

34

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

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!