Acceder

Bibliografías temáticas / Monoïde des traces / Tesis

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Monoïde des traces.

Tesis sobre el tema "Monoïde des traces"

Autor: Grafiati

Publicado: 25 de mayo de 2024

Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 34 mejores tesis para su investigación sobre el tema "Monoïde des traces".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

碩士<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!