Thematische Bibliographien / Reduction of automata

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen
  3. Bücher
  4. Buchteile
  5. Konferenzberichte
  6. Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Reduction of automata“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 1. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Reduction of automata" 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 "Reduction of automata"

1

Kilibarda, Goran. "On reduction of automata in labyrinths." Publications de l'Institut Math?matique (Belgrade) 101, no. 115 (2017): 47–63. http://dx.doi.org/10.2298/pim1715047k.

Der volle Inhalt der Quelle
Annotation:
It is shown that every automaton acceptable for rectangular labyrinths can be reduced to an automaton that behaves according to either the left-hand rule or the right-hand rule, or does not move at all, in every plane rectangular labyrinth without leaves. This enables us to approach certain fundamental problems of the theory of automata in labyrinths in a quite different way.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Sargolzaei, A., K. K. Yen, K. Zeng, S. M. A. Motahari, and S. Noei. "Impulse Image Noise Reduction Using Fuzzy-Cellular Automata Method." International Journal of Computer and Electrical Engineering 6, no. 2 (2014): 191–95. http://dx.doi.org/10.7763/ijcee.2014.v6.820.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

JURDZIŃSKI, TOMASZ, and FRIEDRICH OTTO. "SHRINKING RESTARTING AUTOMATA." International Journal of Foundations of Computer Science 18, no. 02 (2007): 361–85. http://dx.doi.org/10.1142/s0129054107004723.

Der volle Inhalt der Quelle
Annotation:
Restarting automata were introduced by Jančar et al. to model the so-called analysis by reduction. A computation of a restarting automaton consists of a sequence of cycles such that in each cycle the automaton performs exactly one rewrite step, which replaces a small part of the tape content by another, even shorter word. Here we consider a natural generalization of this model, called shrinking restarting automaton, where we only require that there exists a weight function such that each rewrite step decreases the weight of the tape content with respect to that function. While it is still unkn
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

FIGUEIRA, DIEGO, PIOTR HOFMAN, and SŁAWOMIR LASOTA. "Relating timed and register automata." Mathematical Structures in Computer Science 26, no. 6 (2014): 993–1021. http://dx.doi.org/10.1017/s0960129514000322.

Der volle Inhalt der Quelle
Annotation:
Timed and register automata are well-known models of computation over timed and data words, respectively. The former has clocks that allow to test the lapse of time between two events, whilst the latter includes registers that can store data values for later comparison. Although these two models behave differently in appearance, several decision problems have the same (un)decidability and complexity results for both models. As a prominent example, emptiness is decidable for alternating automata with one clock or register, both with non-primitive recursive complexity. This is not by chance.This
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Mutyalamma, G., K. Komali, and G. Pushpa. "A Novel Algorithm for Reduction of Non-Deterministic Finite Automata." International Journal of Trend in Scientific Research and Development Volume-2, Issue-1 (2017): 1341–46. http://dx.doi.org/10.31142/ijtsrd8233.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Timmer, Mark, Joost-Pieter Katoen, Jaco van de Pol, and Mariëlle Stoelinga. "Confluence reduction for Markov automata." Theoretical Computer Science 655 (December 2016): 193–219. http://dx.doi.org/10.1016/j.tcs.2016.01.017.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Dauchet, Max, Anne-Cécile Caron, and Jean-Luc Coquidé. "Automata for Reduction Properties Solving." Journal of Symbolic Computation 20, no. 2 (1995): 215–33. http://dx.doi.org/10.1006/jsco.1995.1048.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Kleinert, Tobias, Frederik Zahn, and Veit Hagenmeyer. "On complexity reduction of the discrete-event subsystem of Flat Hybrid Automata for control design." at - Automatisierungstechnik 68, no. 7 (2020): 529–40. http://dx.doi.org/10.1515/auto-2020-0061.

Der volle Inhalt der Quelle
Annotation:
AbstractThe class of hybrid systems describes most technical systems in great detail. However, the respective models and their behavior tend to be very complex. Recently, a new subclass of hybrid automata has been introduced, the Flat Hybrid Automata (FHA) that relies on the concepts of differential flatness for the continuous parts, and strongly connected automaton graphs for the discrete event part, in order to deal with the complexity from a design perspective. Therefore, we introduce in the present paper an approach to reduce the automaton graph of an FHA in a systematic way by removing ed
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Tamm, Hellis, Matti Nykänen, and Esko Ukkonen. "On size reduction techniques for multitape automata." Theoretical Computer Science 363, no. 2 (2006): 234–46. http://dx.doi.org/10.1016/j.tcs.2006.07.027.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Peeva, Ketty G. "Behaviour, reduction and minimization of finite -automata." Fuzzy Sets and Systems 28, no. 2 (1988): 171–81. http://dx.doi.org/10.1016/0165-0114(88)90198-4.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dissertationen zum Thema "Reduction of automata"

1

Turcel, Matej. "Minimalizace automatů s jednoduchými čítači." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445565.

Der volle Inhalt der Quelle
Annotation:
Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept para
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Kaati, Lisa. "Reduction Techniques for Finite (Tree) Automata." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-9330.

Der volle Inhalt der Quelle
Annotation:
Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. Deterministic finite automata (DFAs) can be minimized efficiently, i.e., a DFA can be converted to an equivalent DFA that has a minimal number of states. This is not the case for non-deterministic finite automata (NFAs). To minimize an NFA we need to compute the corres
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Almeida, Ricardo Manuel de Oliveira. "Efficient algorithms for hard problems in nondeterministic tree automata." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28794.

Der volle Inhalt der Quelle
Annotation:
We present PTIME language-preserving techniques for the reduction of non-deterministic tree automata, both for the case of finite trees and for infinite trees. Our techniques are based on new transition removing and state merging results, which rely on binary relations that compare the downward and upward behaviours of states in the automaton. We use downward/upward simulation preorders and the more general but EXPTIME-complete trace inclusion relations, for which we introduce good under-approximations computable in polynomial time. We provide a complete picture of combinations of downward and
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Charvát, Lucie. "Deep Pushdown Automata and Their Restricted Versions." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363840.

Der volle Inhalt der Quelle
Annotation:
Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Carpi, Arturo. "Reduction et synchronisation d'automates non ambigus." Paris 7, 1988. http://www.theses.fr/1988PA077025.

Der volle Inhalt der Quelle
Annotation:
La notion de reduction non ambigue d'automates non ambigus est introduite. Il est montre que, sous des hypotheses tres generales, pour toute reduction booleenne d'automates non ambigus il y a une reduction non ambigue entre les automates consideres. Il est aussi demontre qu'il y a une reduction entre des convenables automates non ambigus finis reconnaissants deux sous monoides libre si et seulement s'ils sont engendres par deux codes rationnels x et z tels que x est compose d'un code complet par z. Dans la derniere partie, le probleme de la synchronisation pour les automates non ambigus est et
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Havlena, Vojtěch. "Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363849.

Der volle Inhalt der Quelle
Annotation:
The focus of this thesis is the comparison of languages and the reduction of automata used in network traffic monitoring. In this work, several approaches for approximate (language non-preserving) reduction of automata and comparison of their languages are proposed. The reductions are based on either under-approximating the languages of automata by pruning their states, or over-approximating the language by introducing new self-loops (and pruning redundant states later). The proposed approximate reduction methods and the proposed probabilistic distance utilize information from a network traffi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Luukkainen, Matti. "A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems." Helsinki : University of Helsinki, 2003. http://ethesis.helsinki.fi/julkaisut/mat/tieto/vk/luukkainen/.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Malinowski, Janusz. "Algorithmes pour la synthèse et le model checking." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4780/document.

Der volle Inhalt der Quelle
Annotation:
Nous avons étudié dans cette thèse une approche discrète de la synthèse de contrôleurs pour les systèmes hybrides permettant la manipulation de dynamiques non-linéaires : les états sont regroupés dans une partition finie au prix d'une sur-approximation non déterministe de la relation de transition. Nous avons développé des algorithmes permettant de réduire l'explosion du nombre d'états due à la discrétisation en exploitant des propriétés des systèmes ODE. Ces algorithmes sont basés sur une approche hiérarchique du problème de la synthèse en le résolvant pour des sous problèmes et en utilisant
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Schwartzmann, Benjamin. "Automatic X-Ray Parameter Analysis and Reduction." Thesis, KTH, Ljud- och bildbehandling, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-55378.

Der volle Inhalt der Quelle
Annotation:
This thesis describes research in the area of parameter analysis for X-ray imaging. This work was performed at Philips Healthcare in Best (the Netherlands) as a nal project for the Master study at the Sound and Image Processing Laboratory at Kungliga Tekniska Hogskolan (KTH), Stockholm. The objective of this project is to provide methods for automatic parameter analysis and reduction for X-ray tuning. These methods can be used to reduce the amount of parameters involving in X-ray tuning. X-ray processing is performed via a black-box process and parameter analysis consists in looking at the imp
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Rioual, Jean-Luc. "The automatic control of boundary layer transition." Thesis, University of Southampton, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259625.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Reduction of automata"

1

Langerhorst, Christina Theresia. Automated perimetry in glaucoma: Fluctuation behavior and general and local reduction of sensitivity. Kugler Publications/Ghedini Editore, 1988.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

NATO Advanced Research Workshop on Modelling, Robustness, and Sensitivity Reduction in Control Systems (1986 Groningen, Netherlands). Modelling, robustness, and sensitivity reduction in control systems. Springer-Verlag, 1987.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Ng, Kia, Atta Badii, and Pierfrancesco Bellini, eds. Axmedis 2006. Proceedings of the 2nd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution. Volume for Workshops, Tutorials, Applications and Industrial (Leeds, UK, 13-15 December 2006). Firenze University Press, 2006. http://dx.doi.org/10.36253/88-8453-525-5.

Der volle Inhalt der Quelle
Annotation:
The AxMEDIS 2006 International Conference seeks to promote discussion and exchange of ideas amongst researchers, practitioners, developers and users of tools, technology transfer experts, and project managers. This conference series brings together a variety of participants from the academic, business and industrial worlds, to address the emergent research and technological issues as well as the engineering and commercial challenges of large-scale collaborative production and distribution of media as experienced by the associated industrial sectors in the emergent media markets. The conference
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Automated reduction of data from images and holograms. National Aeronautics and Space Administration, Ames Research Center, 1987.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Anderson, Brian D. O. Model Reduction for Control System Design. Springer, 2012.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Automated problem scheduling and reduction of synchronization delay effects. National Aeronautics and Space Administration, Langley Research Center, 1987.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Curtain, Ruth F. Modelling Robustness, Sensitivity Reduction in Control Systems. Springer, 1987.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Facility, Dryden Flight Research, ed. Model reduction for control system design. National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, 1985.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Jia, Zuxin. Critical evaluation of Ouyang's model reduction method. 1989.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Curtain, Ruth F. Modelling, Robustness and Sensitivity Reduction in Control Systems. Springer, 2012.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Reduction of automata"

1

Kozen, Dexter C. "Reduction." In Automata and Computability. Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-1844-9_41.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Harrow, Aram W., Ashley Montanaro, and Anthony J. Short. "Limitations on Quantum Dimensionality Reduction." In Automata, Languages and Programming. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22006-7_8.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Tamm, Hellis, Matti Nykänen, and Esko Ukkonen. "Size Reduction of Multitape Automata." In Implementation and Application of Automata. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11605157_26.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Tamm, Hellis, Matti Nykänen, and Esko Ukkonen. "Size Reduction of Multitape Automata." In Implementation and Application of Automata. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-30500-2_39.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Simon, Klaus. "On minimum flow and transitive reduction." In Automata, Languages and Programming. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19488-6_140.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Khasidashvili, Zurab, and John Glauert. "The geometry of orthogonal reduction spaces." In Automata, Languages and Programming. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63165-8_219.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Almeida, Ricardo, Lukáš Holík, and Richard Mayr. "Reduction of Nondeterministic Tree Automata." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49674-9_46.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Timmer, Mark, Jaco van de Pol, and Mariëlle I. A. Stoelinga. "Confluence Reduction for Markov Automata." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40229-6_17.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Schnorr, C. P. "A more efficient algorithm for lattice basis reduction." In Automata, Languages and Programming. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16761-7_85.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Chekuri, Chandra, and Nitish Korula. "A Graph Reduction Step Preserving Element-Connectivity and Applications." In Automata, Languages and Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02927-1_22.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Reduction of automata"

1

Sharma, Arpit, and Joost-Pieter Katoen. "Layered Reduction for Abstract Probabilistic Automata." In 2014 14th International Conference on Application of Concurrency to System Design. IEEE, 2014. http://dx.doi.org/10.1109/acsd.2014.10.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Bishnoi, Bhupesh, Diwakar Agrawal, Vikas Nandal, Akshay Salimath, and Bahniman Ghosh. "Frequency reduction in Quantum dot cellular automata." In 2012 10th IEEE International Conference on Semiconductor Electronics (ICSE). IEEE, 2012. http://dx.doi.org/10.1109/smelec.2012.6417192.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Badhiye, Sagarkumar S., and P. N. Chatur. "Range Automata for Alphabetic Time Series Dimensionality Reduction." In 2018 First International Conference on Secure Cyber Computing and Communication (ICSCCC). IEEE, 2018. http://dx.doi.org/10.1109/icsccc.2018.8703206.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Labbe, Sebastien, Jean-Pierre Gallois, and Marc Pouzet. "Slicing Communicating Automata Specifications for Efficient Model Reduction." In 2007 Australian Software Engineering Conference (ASWEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aswec.2007.43.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Yalcinkaya, Beyazit, and Ebru Aydin Gol. "Clock Reduction in Timed Automata While Preserving Design Parameters." In 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE, 2019. http://dx.doi.org/10.1109/formalise.2019.00010.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Peldek, Serkan, and Yasar Becerikli. "Use of multiple attractor cellular automata for dimension reduction." In 2017 International Conference on Computer Science and Engineering (UBMK). IEEE, 2017. http://dx.doi.org/10.1109/ubmk.2017.8093528.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Tripathi, Alka, and Ranjeet Kaur. "A review of state minimization and state reduction techniques in fuzzy automata." In EMERGING TRENDS IN MATHEMATICAL SCIENCES AND ITS APPLICATIONS: Proceedings of the 3rd International Conference on Recent Advances in Mathematical Sciences and its Applications (RAMSA-2019). Author(s), 2019. http://dx.doi.org/10.1063/1.5086655.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Tomar, A. S., A. K. Garg, and G. S. Tomar. "Reduction in Cells of Quantum-Dot Cellular Automata in Perspective of NOT Gate." In 2010 International Conference on Computational Intelligence and Communication Networks (CICN 2010). IEEE, 2010. http://dx.doi.org/10.1109/cicn.2010.112.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Zhou, Xiaoyu, Qian Li, and Jianhua Zhao. "A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking." In 2012 International Conference on Software Security and Reliability Companion. IEEE, 2012. http://dx.doi.org/10.1109/sere-c.2012.45.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Wujie Chao, Yongmei Gan, Zhaoan Wang, and W. M. Wonham. "Representation of supervisory controls using state tree structures, binary decision diagrams, automata, and supervisor reduction." In 2012 24th Chinese Control and Decision Conference (CCDC). IEEE, 2012. http://dx.doi.org/10.1109/ccdc.2012.6242921.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Reduction of automata"

1

White, D., M. Stowell, and K. Lange. Automatic Complexity Reduction. Office of Scientific and Technical Information (OSTI), 2014. http://dx.doi.org/10.2172/1179112.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Fowler, Bruce W., and William C. McCorkle. Automated Target Recognition and Fratricide Reduction. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada444496.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Mosher, Scott W., Aaron M. Bevill, Seth R. Johnson, et al. ADVANTG An Automated Variance Reduction Parameter Generator. Office of Scientific and Technical Information (OSTI), 2013. http://dx.doi.org/10.2172/1105937.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Anastasiou, C. Automatic Integral Reduction for Higher Order Perturbative Calculations. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/826953.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Mosher, Scott W., Seth R. Johnson, Aaron M. Bevill, et al. ADVANTG An Automated Variance Reduction Parameter Generator, Rev. 1. Office of Scientific and Technical Information (OSTI), 2015. http://dx.doi.org/10.2172/1210162.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Bratvold, T. E. Validation and verification of radiological control automated data reduction program. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/313173.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Author, Not Given. Automated Boiler Combustion Controls for Emission Reduction and Efficiency Improvement. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/2022.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Turner, S. A. Automatic variance reduction for Monte Carlo simulations via the local importance function transform. Office of Scientific and Technical Information (OSTI), 1996. http://dx.doi.org/10.2172/212579.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

West, J. Automated boiler combustion controls for emission reduction and efficiency improvement. Quarterly report, February 1--May 15, 1995. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/656649.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Northrup, Jearldine I., Joyce C. Baird, Nona Y. Chan, James H. Johnson, and Hannon Maase. Pollution Reduction and Emission Prevention Automated Rule-based Expert (PREPARE) System for Operation and Maintenance of Pollution Control Equipment. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada371877.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie