Auswahl der wissenschaftlichen Literatur zum Thema „Monoïde des traces“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen 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.
Zeitschriftenartikel zum Thema "Monoïde des traces"
DUCHAMP, GÉRARD, und JEAN-GABRIEL LUQUE. „LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE“. International Journal of Algebra and Computation 17, Nr. 01 (Februar 2007): 53–60. http://dx.doi.org/10.1142/s0218196707003433.
Der volle Inhalt der QuelleKöcher, Chris, Dietrich Kuske und Olena Prianychnykova. „The inclusion structure of partially lossy queue monoids and their trace submonoids“. RAIRO - Theoretical Informatics and Applications 52, Nr. 1 (Januar 2018): 55–86. http://dx.doi.org/10.1051/ita/2018003.
Der volle Inhalt der QuelleHusainov, Ahmet A. „Cubical Sets and Trace Monoid Actions“. Scientific World Journal 2013 (2013): 1–9. http://dx.doi.org/10.1155/2013/285071.
Der volle Inhalt der QuelleJanicki, Ryszard, und Łukasz Mikulski. „Algebraic Structure of Step Traces and Interval Traces“. Fundamenta Informaticae 175, Nr. 1-4 (28.09.2020): 253–80. http://dx.doi.org/10.3233/fi-2020-1956.
Der volle Inhalt der QuelleHygate, Alexander P. S., J. M. Diederik Kruijssen, Mélanie Chevance, Andreas Schruba, Daniel T. Haydon und 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, Nr. 2 (25.07.2019): 2800–2824. http://dx.doi.org/10.1093/mnras/stz1779.
Der volle Inhalt der QuelleBERTONI, ALBERTO, und ROBERTO RADICIONI. „APPROXIMATING THE MEAN SPEEDUP IN TRACE MONOIDS“. International Journal of Foundations of Computer Science 19, Nr. 03 (Juni 2008): 497–511. http://dx.doi.org/10.1142/s0129054108005796.
Der volle Inhalt der QuelleDionatos, Odysseas, Lars E. Kristensen, Mario Tafalla, Manuel Güdel und Magnus Persson. „Feedback of molecular outflows from protostars in NGC 1333 revealed by Herschel and Spitzer spectro-imaging observations“. Astronomy & Astrophysics 641 (September 2020): A36. http://dx.doi.org/10.1051/0004-6361/202037684.
Der volle Inhalt der QuelleGarcía, A. R., R. Volkamer, L. T. Molina, M. J. Molina, J. Samuelson, J. Mellqvist, B. Galle, S. C. Herndon und 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, Nr. 6 (11.11.2005): 11583–615. http://dx.doi.org/10.5194/acpd-5-11583-2005.
Der volle Inhalt der QuelleGarcia, A. R., R. Volkamer, L. T. Molina, M. J. Molina, J. Samuelson, J. Mellqvist, B. Galle, S. C. Herndon und 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, Nr. 12 (09.10.2006): 4545–57. http://dx.doi.org/10.5194/acp-6-4545-2006.
Der volle Inhalt der QuelleMÉTIVIER, YVES, und BRIGITTE ROZOY. „ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS“. International Journal of Foundations of Computer Science 02, Nr. 03 (September 1991): 257–65. http://dx.doi.org/10.1142/s0129054191000169.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
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 QuelleBücher zum Thema "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.
Der volle Inhalt der QuelleBuchteile zum Thema "Monoïde des traces"
Messner, Jochen. „Pattern matching in trace monoids“. In Lecture Notes in Computer Science, 571–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0023490.
Der volle Inhalt der QuelleAbbes, Samy, und Jean Mairesse. „Uniform Generation in Trace Monoids“. In 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.
Der volle Inhalt der QuelleKuske, Dietrich, und Olena Prianychnykova. „The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids“. In Developments in Language Theory, 256–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53132-7_21.
Der volle Inhalt der QuelleBertol, Michael. „Efficient rewriting in cograph trace monoids“. In Fundamentals of Computation Theory, 146–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60249-6_47.
Der volle Inhalt der QuelleKrob, Daniel, Jean Mairesse und Ioannis Michos. „On the Average Parallelism in Trace Monoids“. In STACS 2002, 477–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45841-7_39.
Der volle Inhalt der QuelleBruyère, Véronique, und Clelia Eelice. „Coding and strong coding in trace monoids“. In STACS 95, 373–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59042-0_89.
Der volle Inhalt der QuelleKirsten, Daniel. „The Star Problem in Trace Monoids: Reductions Beyond C4“. In Automata, Languages and Programming, 591–602. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-48224-5_49.
Der volle Inhalt der QuelleKuske, Dietrich, und Markus Lohrey. „On the Theory of One-Step Rewriting in Trace Monoids“. In Automata, Languages and Programming, 752–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45465-9_64.
Der volle Inhalt der QuelleParrish, David D. „Carbon Monoxide and Light Alkanes as Tropospheric Tracers of Anthropogenic Ozone“. In 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.
Der volle Inhalt der QuelleBanderier, Cyril, und Massimiliano Goldwurm. „Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs“. In Lecture Notes in Computer Science, 251–63. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51466-2_22.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Monoïde des traces"
Wojtas, J., Z. Bielecki, J. Mikołajczyk, M. Nowakowski, D. Szabra, B. Zakrzewska und A. Prokopiuk. „Detection of the trace amounts of carbon monoxide using cavity enhanced spectroscopy“. In 11th Integrated Optics - Sensors, Sensing Structures and Methods, herausgegeben von Tadeusz Pustelny, Przemyslaw Struk, Pawel Mergo und Jacek Wojtas. SPIE, 2016. http://dx.doi.org/10.1117/12.2244473.
Der volle Inhalt der QuelleWalker, William, Ali Farhadi, George Tsvik, Tom Roesel, Naresh K. Selvarasu, Yeow Siow und Chenn Q. Zhou. „3-D Computational Fluid Dynamic Analysis of Bustle Gas Combustion in a Direct Reduced Iron Plant“. In ASME 2007 International Mechanical Engineering Congress and Exposition. ASMEDC, 2007. http://dx.doi.org/10.1115/imece2007-42403.
Der volle Inhalt der QuelleStrow, L. Larrabee. „A Signal-Processing Approach for the Retrieval of Global Tropospheric CO Using the Atmospheric Infrared Sounder (AIRS)“. In Optical Remote Sensing of the Atmosphere. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/orsa.1993.the.9.
Der volle Inhalt der QuellePougatchev, N. S., und G. W. Sachse. „Characterization of Carbon Monoxide Measurements by Gas Filter Correlation Radiometers from Satellites“. In Optical Remote Sensing of the Atmosphere. Washington, D.C.: Optica Publishing Group, 1997. http://dx.doi.org/10.1364/orsa.1997.owb.2.
Der volle Inhalt der QuelleShi, Yunye, Tejasvi Sharma und Albert Ratner. „Characterization of Real Time Producer Gas Generation From Paper Sludge Gasification“. In ASME 2013 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/imece2013-63986.
Der volle Inhalt der QuelleShi, Lichao, Wei Zhang, Jie Jin, Yidong Huang und Jiangde Peng. „Trace Level Multi-gas Sensing of Methane and Carbon Monoxide in a Quaternary Hollow-core Bragg Fiber“. In CLEO: Science and Innovations. Washington, D.C.: OSA, 2012. http://dx.doi.org/10.1364/cleo_si.2012.cw3b.5.
Der volle Inhalt der QuelleMcMillan, W. Wallace, L. Larrabee Strow und Brian Foutz. „Remote Sensing of CO Over the Continental US on September 12/13, 1994“. In Optical Remote Sensing of the Atmosphere. Washington, D.C.: Optica Publishing Group, 1995. http://dx.doi.org/10.1364/orsa.1995.tuc8.
Der volle Inhalt der QuelleHoerzer, Klaus, Hermann Haselbacher, Anthony J. Griffiths, Nick Syred und Thomas A. Fraser. „CFD-Analysis of the Combustion in the Primary Stage of a Two-Stage Combustion Chamber“. In ASME Turbo Expo 2002: Power for Land, Sea, and Air. ASMEDC, 2002. http://dx.doi.org/10.1115/gt2002-30610.
Der volle Inhalt der QuelleShi, Yunye, Diego M. Yepes Maya, Regis Nascimento, Tejasvi Sharma, Albert Ratner und Electo E. Silva Lora. „Experimental and Simulation Studies of Corn Kernel Gasification in a Double Air Stage Downdraft Reactor“. In ASME 2018 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/imece2018-88010.
Der volle Inhalt der QuelleTugulea, Andrian. „Dinamica numărului unităților de transport ca factor de poluare a aerului atmosferic în R.D. Nord a Republicii Moldova“. In 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.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Monoïde des traces"
Thompson und Anderson. GRl-90-0337 Identification of Injected Storage Gas. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), Dezember 1990. http://dx.doi.org/10.55274/r0011193.
Der volle Inhalt der Quelle