Littérature scientifique sur le sujet « Monoïde des traces »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Monoïde des traces ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Monoïde des traces"
DUCHAMP, GÉRARD, et JEAN-GABRIEL LUQUE. « LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE ». International Journal of Algebra and Computation 17, no 01 (février 2007) : 53–60. http://dx.doi.org/10.1142/s0218196707003433.
Texte intégralKöcher, Chris, Dietrich Kuske et Olena Prianychnykova. « The inclusion structure of partially lossy queue monoids and their trace submonoids ». RAIRO - Theoretical Informatics and Applications 52, no 1 (janvier 2018) : 55–86. http://dx.doi.org/10.1051/ita/2018003.
Texte intégralHusainov, Ahmet A. « Cubical Sets and Trace Monoid Actions ». Scientific World Journal 2013 (2013) : 1–9. http://dx.doi.org/10.1155/2013/285071.
Texte intégralJanicki, Ryszard, et Łukasz Mikulski. « Algebraic Structure of Step Traces and Interval Traces ». Fundamenta Informaticae 175, no 1-4 (28 septembre 2020) : 253–80. http://dx.doi.org/10.3233/fi-2020-1956.
Texte intégralHygate, Alexander P. S., J. M. Diederik Kruijssen, Mélanie Chevance, Andreas Schruba, Daniel T. Haydon et Steven N. Longmore. « An uncertainty principle for star formation – IV. On the nature and filtering of diffuse emission ». Monthly Notices of the Royal Astronomical Society 488, no 2 (25 juillet 2019) : 2800–2824. http://dx.doi.org/10.1093/mnras/stz1779.
Texte intégralBERTONI, ALBERTO, et ROBERTO RADICIONI. « APPROXIMATING THE MEAN SPEEDUP IN TRACE MONOIDS ». International Journal of Foundations of Computer Science 19, no 03 (juin 2008) : 497–511. http://dx.doi.org/10.1142/s0129054108005796.
Texte intégralDionatos, Odysseas, Lars E. Kristensen, Mario Tafalla, Manuel Güdel et Magnus Persson. « Feedback of molecular outflows from protostars in NGC 1333 revealed by Herschel and Spitzer spectro-imaging observations ». Astronomy & ; Astrophysics 641 (septembre 2020) : A36. http://dx.doi.org/10.1051/0004-6361/202037684.
Texte intégralGarcía, A. R., R. Volkamer, L. T. Molina, M. J. Molina, J. Samuelson, J. Mellqvist, B. Galle, S. C. Herndon et C. E. Kolb. « Separation of emitted and photochemical formaldehyde in Mexico City using a statistical analysis and a new pair of gas-phase tracers ». Atmospheric Chemistry and Physics Discussions 5, no 6 (11 novembre 2005) : 11583–615. http://dx.doi.org/10.5194/acpd-5-11583-2005.
Texte intégralGarcia, A. R., R. Volkamer, L. T. Molina, M. J. Molina, J. Samuelson, J. Mellqvist, B. Galle, S. C. Herndon et C. E. Kolb. « Separation of emitted and photochemical formaldehyde in Mexico City using a statistical analysis and a new pair of gas-phase tracers ». Atmospheric Chemistry and Physics 6, no 12 (9 octobre 2006) : 4545–57. http://dx.doi.org/10.5194/acp-6-4545-2006.
Texte intégralMÉTIVIER, YVES, et BRIGITTE ROZOY. « ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS ». International Journal of Foundations of Computer Science 02, no 03 (septembre 1991) : 257–65. http://dx.doi.org/10.1142/s0129054191000169.
Texte intégralThèses sur le sujet "Monoïde des traces"
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.
Texte intégralConcurrency 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.
Texte intégralGuaiana, Giovanna. « Parties reconnaissables et morphismes sur les monoi͏̈des trace ». Paris 7, 1994. http://www.theses.fr/1994PA077145.
Texte intégralKufleitner, 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.
Texte intégralWong, 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.
Texte intégral黃功顯 et 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.
Texte intégralBackus, 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.
Texte intégralKirsten, 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.
Texte intégralKirsten, Daniel. « Some Undecidability Results related to the Star Problem in Trace Monoids ». Technische Universität Dresden, 1998. https://tud.qucosa.de/id/qucosa%3A26301.
Texte intégralSjoeberg, 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.
Texte intégralLivres sur le sujet "Monoïde des traces"
Walsh, Denis M. “Chance Caught on the Wing”. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199377176.003.0008.
Texte intégralChapitres de livres sur le sujet "Monoïde des traces"
Messner, Jochen. « Pattern matching in trace monoids ». Dans Lecture Notes in Computer Science, 571–82. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0023490.
Texte intégralAbbes, Samy, et Jean Mairesse. « Uniform Generation in Trace Monoids ». Dans Mathematical Foundations of Computer Science 2015, 63–75. Berlin, Heidelberg : Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48057-1_5.
Texte intégralKuske, Dietrich, et Olena Prianychnykova. « The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids ». Dans Developments in Language Theory, 256–67. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53132-7_21.
Texte intégralBertol, Michael. « Efficient rewriting in cograph trace monoids ». Dans Fundamentals of Computation Theory, 146–55. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60249-6_47.
Texte intégralKrob, Daniel, Jean Mairesse et Ioannis Michos. « On the Average Parallelism in Trace Monoids ». Dans STACS 2002, 477–88. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45841-7_39.
Texte intégralBruyère, Véronique, et Clelia Eelice. « Coding and strong coding in trace monoids ». Dans STACS 95, 373–84. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59042-0_89.
Texte intégralKirsten, Daniel. « The Star Problem in Trace Monoids : Reductions Beyond C4 ». Dans Automata, Languages and Programming, 591–602. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-48224-5_49.
Texte intégralKuske, Dietrich, et Markus Lohrey. « On the Theory of One-Step Rewriting in Trace Monoids ». Dans Automata, Languages and Programming, 752–63. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45465-9_64.
Texte intégralParrish, David D. « Carbon Monoxide and Light Alkanes as Tropospheric Tracers of Anthropogenic Ozone ». Dans The Tropospheric Chemistry of Ozone in the Polar Regions, 155–69. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78211-4_11.
Texte intégralBanderier, Cyril, et Massimiliano Goldwurm. « Number of Prefixes in Trace Monoids : Clique Polynomials and Dependency Graphs ». Dans Lecture Notes in Computer Science, 251–63. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51466-2_22.
Texte intégralActes de conférences sur le sujet "Monoïde des traces"
Wojtas, J., Z. Bielecki, J. Mikołajczyk, M. Nowakowski, D. Szabra, B. Zakrzewska et A. Prokopiuk. « Detection of the trace amounts of carbon monoxide using cavity enhanced spectroscopy ». Dans 11th Integrated Optics - Sensors, Sensing Structures and Methods, sous la direction de Tadeusz Pustelny, Przemyslaw Struk, Pawel Mergo et Jacek Wojtas. SPIE, 2016. http://dx.doi.org/10.1117/12.2244473.
Texte intégralWalker, William, Ali Farhadi, George Tsvik, Tom Roesel, Naresh K. Selvarasu, Yeow Siow et Chenn Q. Zhou. « 3-D Computational Fluid Dynamic Analysis of Bustle Gas Combustion in a Direct Reduced Iron Plant ». Dans ASME 2007 International Mechanical Engineering Congress and Exposition. ASMEDC, 2007. http://dx.doi.org/10.1115/imece2007-42403.
Texte intégralStrow, L. Larrabee. « A Signal-Processing Approach for the Retrieval of Global Tropospheric CO Using the Atmospheric Infrared Sounder (AIRS) ». Dans Optical Remote Sensing of the Atmosphere. Washington, D.C. : Optica Publishing Group, 1993. http://dx.doi.org/10.1364/orsa.1993.the.9.
Texte intégralPougatchev, N. S., et G. W. Sachse. « Characterization of Carbon Monoxide Measurements by Gas Filter Correlation Radiometers from Satellites ». Dans Optical Remote Sensing of the Atmosphere. Washington, D.C. : Optica Publishing Group, 1997. http://dx.doi.org/10.1364/orsa.1997.owb.2.
Texte intégralShi, Yunye, Tejasvi Sharma et Albert Ratner. « Characterization of Real Time Producer Gas Generation From Paper Sludge Gasification ». Dans ASME 2013 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/imece2013-63986.
Texte intégralShi, Lichao, Wei Zhang, Jie Jin, Yidong Huang et Jiangde Peng. « Trace Level Multi-gas Sensing of Methane and Carbon Monoxide in a Quaternary Hollow-core Bragg Fiber ». Dans CLEO : Science and Innovations. Washington, D.C. : OSA, 2012. http://dx.doi.org/10.1364/cleo_si.2012.cw3b.5.
Texte intégralMcMillan, W. Wallace, L. Larrabee Strow et Brian Foutz. « Remote Sensing of CO Over the Continental US on September 12/13, 1994 ». Dans Optical Remote Sensing of the Atmosphere. Washington, D.C. : Optica Publishing Group, 1995. http://dx.doi.org/10.1364/orsa.1995.tuc8.
Texte intégralHoerzer, Klaus, Hermann Haselbacher, Anthony J. Griffiths, Nick Syred et Thomas A. Fraser. « CFD-Analysis of the Combustion in the Primary Stage of a Two-Stage Combustion Chamber ». Dans ASME Turbo Expo 2002 : Power for Land, Sea, and Air. ASMEDC, 2002. http://dx.doi.org/10.1115/gt2002-30610.
Texte intégralShi, Yunye, Diego M. Yepes Maya, Regis Nascimento, Tejasvi Sharma, Albert Ratner et Electo E. Silva Lora. « Experimental and Simulation Studies of Corn Kernel Gasification in a Double Air Stage Downdraft Reactor ». Dans ASME 2018 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/imece2018-88010.
Texte intégralTugulea, Andrian. « Dinamica numărului unităților de transport ca factor de poluare a aerului atmosferic în R.D. Nord a Republicii Moldova ». Dans Provocări şi tendinţe actuale în cercetarea componentelor naturale şi socio-economice ale ecosistemelor urbane şi rurale. Institute of Ecology and Geography, Republic of Moldova, 2020. http://dx.doi.org/10.53380/9789975891608.27.
Texte intégralRapports d'organisations sur le sujet "Monoïde des traces"
Thompson et Anderson. GRl-90-0337 Identification of Injected Storage Gas. Chantilly, Virginia : Pipeline Research Council International, Inc. (PRCI), décembre 1990. http://dx.doi.org/10.55274/r0011193.
Texte intégral