Log in

Relevant bibliographies by topics / Reduction of automata / Journal articles

To see the other types of publications on this topic, follow the link: Reduction of automata.

Journal articles on the topic 'Reduction of automata'

Author: Grafiati

Published: 28 June 2021

Last updated: 1 February 2022

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Reduction of automata.'

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 journal articles on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text

Abstract:

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, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

Abstract:

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 unknown whether the two most general types of one-way restarting automata, the RWW-automaton and the RRWW-automaton, differ in their expressive power, we will see that the classes of languages accepted by the shrinking RWW-automaton and the shrinking RRWW-automaton coincide. As a consequence of our proof, it turns out that there exists a reduction by morphisms from the language class [Formula: see text] to the class [Formula: see text]. Further, we will see that the shrinking restarting automaton is a rather robust model of computation. Finally, we will relate shrinking RRWW-automata to finite-change automata. This will lead to some new insights into the relationships between the classes of languages characterized by (shrinking) restarting automata and some well-known time and space complexity classes.

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

Abstract:

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 work confirms that there is indeed a tight relationship between the two models. We show that a run of a timed automaton can be simulated by a register automaton over ordered data domain, and conversely that a run of a register automaton can be simulated by a timed automaton. These are exponential time reductions hold both in the finite and infinite words settings. Our results allow to transfer decidability results back and forth between these two kinds of models, as well complexity results modulo an exponential time reduction. We justify the usefulness of these reductions by obtaining new results on register automata.

APA, Harvard, Vancouver, ISO, and other styles

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 (December 31, 2017): 1341–46. http://dx.doi.org/10.31142/ijtsrd8233.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (July 26, 2020): 529–40. http://dx.doi.org/10.1515/auto-2020-0061.

Full text

Abstract:

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 edges from the adjacency matrix. The main contribution of the paper is twofold: Firstly, based on practical considerations we develop a heuristic algorithm to reduce the automaton graph. Secondly, we present possible ways to include knowledge about the system in the reduction.

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Kilibarda, Goran. "Reduction of automata in labyrinths and universal traps." Publications de l'Institut Math?matique (Belgrade) 109, no. 123 (2021): 17–34. http://dx.doi.org/10.2298/pim2123017k.

Full text

Abstract:

We consider the problem of searching labyrinths by colletives of independent automata and show that for such colletives it is possible to construct, by using reduction of automata, traps of various types even in the class of all finite mosaic labyrinths.

APA, Harvard, Vancouver, ISO, and other styles

12

Vardi, Moshe Y. "A note on the reduction of two-way automata to one-way automata." Information Processing Letters 30, no. 5 (March 1989): 261–64. http://dx.doi.org/10.1016/0020-0190(89)90205-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

KUTRIB, MARTIN, and FRIEDRICH OTTO. "ON THE DESCRIPTIONAL COMPLEXITY OF THE WINDOW SIZE FOR DELETING RESTARTING AUTOMATA." International Journal of Foundations of Computer Science 24, no. 06 (September 2013): 831–46. http://dx.doi.org/10.1142/s0129054113400212.

Full text

Abstract:

The restarting automaton was inspired by the technique of ‘analysis by reduction’ from linguistics. A restarting automaton processes a given input word through a sequence of cycles. In each cycle the current word on the tape is scanned from left to right and a single local simplification (a rewrite) is executed. One of the essential parameters of a restarting automaton is the size of its read/write window. Here we study the impact of the window size on the descriptional complexity of several types of deterministic and nondeterministic restarting automata. For all k ≥ 4, we show that the savings in the economy of descriptions of restarting automata that can only delete symbols but not rewrite them (that is, the so-called R- and RR-automata) cannot be bounded by any recursive function, when changing from window size k to window size k + 1. This holds for deterministic as well as for nondeterministic automata, and for k ≥ 5, it even holds for the stateless variants of these automata. However, the trade-off between window sizes two and one is recursive for deterministic devices. In addition, a polynomial upper bound is given for the trade-off between RRWW-automata with window sizes k + 1 and k for all k ≥ 2.

APA, Harvard, Vancouver, ISO, and other styles

14

ABDULLA, PAROSH AZIZ, AHMED BOUAJJANI, LUKÁŠ HOLÍK, LISA KAATI, and TOMÁŠ VOJNAR. "COMPOSED BISIMULATION FOR TREE AUTOMATA." International Journal of Foundations of Computer Science 20, no. 04 (August 2009): 685–700. http://dx.doi.org/10.1142/s0129054109006814.

Full text

Abstract:

We address the problem of reducing the size of (nondeterministic, bottom-up) tree automata (TA) using suitable, language-preserving equivalences on the states of the automata. In particular, we propose the so-called composed bisimulation equivalence as a new language preserving equivalence. A composed bisimulation equivalence is defined in terms of two different relations, namely the upward and downward bisimulation equivalence. We provide simple and efficient algorithms for computing these relations. The notion of composed bisimulation equivalence is motivated by an attempt to obtain an equivalence that can provide better reductions than what currently known bisimulation-based approaches can offer, but which is not significantly more difficult to compute (and hence stays below the computational requirements of simulation-based reductions). The experimental results we present in the paper show that our composed bisimulation equivalence meets such requirements, and hence provides users of TA with a finer way to resolve the trade-off between the available degree of reduction and its cost.

APA, Harvard, Vancouver, ISO, and other styles

15

Dahmoune, Mohamed, El Houcein El Abdalaoui, and Djelloul Ziadi. "On the Transition Reduction Problem for Finite Automata." Fundamenta Informaticae 132, no. 1 (2014): 79–94. http://dx.doi.org/10.3233/fi-2014-1033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Lunze, Jan. "Complexity reduction in state observation of stochastic automata." IFAC Proceedings Volumes 37, no. 18 (September 2004): 339–44. http://dx.doi.org/10.1016/s1474-6670(17)30769-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Abdulla, Parosh Aziz, Yu-Fang Chen, Lukáš Holík, and Tomáš Vojnar. "Mediating for reduction (on minimizing alternating Büchi automata)." Theoretical Computer Science 552 (October 2014): 26–43. http://dx.doi.org/10.1016/j.tcs.2014.08.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Kuniba, Atsuo, Taichiro Takagi, and Akira Takenouchi. "Factorization, reduction and embedding in integrable cellular automata." Journal of Physics A: Mathematical and General 37, no. 5 (January 19, 2004): 1691–709. http://dx.doi.org/10.1088/0305-4470/37/5/015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Mariot, Luca, Luca Manzoni, and Alberto Dennunzio. "Search space reduction of asynchrony immune cellular automata." Natural Computing 19, no. 2 (April 27, 2020): 287–93. http://dx.doi.org/10.1007/s11047-020-09788-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Ćirić, Miroslav, Aleksandar Stamenković, Jelena Ignjatović, and Tatjana Petković. "Fuzzy relation equations and reduction of fuzzy automata." Journal of Computer and System Sciences 76, no. 7 (November 2010): 609–33. http://dx.doi.org/10.1016/j.jcss.2009.10.015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

MANUEL, AMALDEV, and R. RAMANUJAM. "CLASS COUNTING AUTOMATA ON DATAWORDS." International Journal of Foundations of Computer Science 22, no. 04 (June 2011): 863–82. http://dx.doi.org/10.1142/s0129054111008465.

Full text

Abstract:

In the theory of automata over infinite alphabets, a central difficulty is that of finding a suitable compromise between expressiveness and algorithmic complexity. We propose an automaton model where we count the multiplicity of data values on an input word. This is particularly useful when such languages represent behaviour of systems with unboundedly many processes, where system states carry such counts as summaries. A typical recognizable language is: "every process does at most k actions labelled a". We show that emptiness is elementarily decidable, by reduction to the covering problem on Petri nets.

APA, Harvard, Vancouver, ISO, and other styles

22

Hadriche, Abir, Nawel Jmail, Hamadi Ghariani, Abdennaceur Kachouri, and Laurent Pezard. "Reduction of Continuous Neuronal Model to Discrete Binary Automata." International Journal of Computer Applications 69, no. 24 (May 31, 2013): 5–10. http://dx.doi.org/10.5120/12116-8140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Peeva, Kety. "Equivalence, reduction and minimization of finite automata over semirings." Theoretical Computer Science 88, no. 2 (October 1991): 269–85. http://dx.doi.org/10.1016/0304-3975(91)90377-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Lohrey, Markus, Sebastian Maneth, and Manfred Schmidt-Schauß. "Parameter reduction and automata evaluation for grammar-compressed trees." Journal of Computer and System Sciences 78, no. 5 (September 2012): 1651–69. http://dx.doi.org/10.1016/j.jcss.2012.03.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Labbé, Sébastien, and Jean-Pierre Gallois. "Slicing communicating automata specifications: polynomial algorithms for model reduction." Formal Aspects of Computing 20, no. 6 (August 13, 2008): 563–95. http://dx.doi.org/10.1007/s00165-008-0086-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

EPSTEIN, D. B. A., and P. J. SANDERS. "KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES." International Journal of Algebra and Computation 10, no. 05 (October 2000): 539–89. http://dx.doi.org/10.1142/s0218196700000352.

Full text

Abstract:

We introduce a new class of groups with solvable word problem, namely groups specified by a confluent set of short-lex-reducing Knuth–Bendix rules which form a regular language. This simultaneously generalizes short-lex-automatic groups and groups with a finite confluent set of short-lex-reducing rules. We describe a computer program which looks for such a set of rules in an arbitrary finitely presented group. Our main theorem is that our computer program finds the set of rules, if it exists, given enough time and space. (This is an optimistic description of our result — for the more pessimistic details, see the body of the paper.) The set of rules is embodied in a finite state automaton in two variables. A central feature of our program is an operation, which we call welding, used to combine existing rules with new rules as they are found. Welding can be defined on arbitrary finite state automata, and we investigate this operation in abstract, proving that it can be considered as a process which takes as input one regular language and outputs another regular language. In our programs we need to convert several nondeterministic finite state automata to deterministic versions accepting the same language. We show how to improve somewhat on the standard subset construction, due to special features in our case. We axiomatize these special features, in the hope that these improvements can be used in other applications. The Knuth–Bendix process normally spends most of its time in reduction, so its efficiency depends on doing reduction quickly. Standard data structures for doing this can become very large, ultimately limiting the set of presentations of groups which can be so analyzed. We are able to give a method for rapid reduction using our much smaller two variable automaton, encoding the (usually infinite) regular language of rules found so far. Time taken for reduction in a given group is a small constant times the time taken for reduction in the best schemes known (see [5]), which is not too bad since we are reducing with respect to an infinite set of rules, whereas known schemes use a finite set of rules. We hope that the method described here might lead to the computation of automatic structures in groups for which this is currently infeasible. Some proofs have been omitted from this paper in the interests of brevity. Full details are provided in [4].

APA, Harvard, Vancouver, ISO, and other styles

27

Kim, Tai-Suk, and Seok-Ki Lee. "Noise Reduction of Image Using Sequential Method of Cellular Automata." Journal of information and communication convergence engineering 9, no. 2 (April 30, 2011): 224–29. http://dx.doi.org/10.6109/jicce.2011.9.2.224.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Zhang, R., K. Walus, W. Wang, and G. A. Jullien. "A Method of Majority Logic Reduction for Quantum Cellular Automata." IEEE Transactions On Nanotechnology 3, no. 4 (December 2004): 443–50. http://dx.doi.org/10.1109/tnano.2004.834177.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Pan, MinXue, You Li, Lei Bu, and XuanDong Li. "Loop reduction techniques for reachability analysis of linear hybrid automata." Science China Information Sciences 55, no. 12 (November 24, 2012): 2663–74. http://dx.doi.org/10.1007/s11432-012-4726-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Stamenković, Aleksandar, Miroslav Ćirić, and Jelena Ignjatović. "Reduction of fuzzy automata by means of fuzzy quasi-orders." Information Sciences 275 (August 2014): 168–98. http://dx.doi.org/10.1016/j.ins.2014.02.028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Sato, Shohei, and Hitoshi Kanoh. "Evolutionary Design of Cellular Automata for Noise Reduction of Grayscale Images." Transactions of the Japanese Society for Artificial Intelligence 25 (2010): 311–19. http://dx.doi.org/10.1527/tjsai.25.311.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

CAPOBIANCO, SILVIO. "CELLULAR AUTOMATA OVER SEMI-DIRECT PRODUCT GROUPS: REDUCTION AND INVERTIBILITY RESULTS." International Journal of Algebra and Computation 16, no. 06 (December 2006): 1071–85. http://dx.doi.org/10.1142/s0218196706003402.

Full text

Abstract:

Cellular automata are transformations of configuration spaces over finitely generated groups, such that the next state in a point only depends on the current state of a finite neighborhood of the point itself. Many questions arise about retrieving global properties from such local descriptions, and finding algorithms to perform these tasks. We consider the case when the group is a semi-direct product of two finitely generated groups, and show that a finite factor (whatever it is) can be thought of as part of the alphabet instead of the group, preserving both the dynamics and some "finiteness" properties. We also show that, under reasonable hypotheses, this reduction is computable: this leads to some reduction theorems related to the invertibility problem.

APA, Harvard, Vancouver, ISO, and other styles

33

Češka, Milan, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Tomáš Vojnar. "Approximate reduction of finite automata for high-speed network intrusion detection." International Journal on Software Tools for Technology Transfer 22, no. 5 (May 24, 2019): 523–39. http://dx.doi.org/10.1007/s10009-019-00520-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Stamenković, Aleksandar, Miroslav Ćirić, and Milan Bašić. "Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata." Fuzzy Sets and Systems 333 (February 2018): 124–39. http://dx.doi.org/10.1016/j.fss.2017.05.028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Etessami, Kousha, Thomas Wilke, and Rebecca A. Schuller. "Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata." SIAM Journal on Computing 34, no. 5 (January 2005): 1159–75. http://dx.doi.org/10.1137/s0097539703420675.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Kumar, Tapas, and G. Sahoo. "Implementation of cellular automata for impulsive noise reduction in grey scale images." International Journal of Signal and Imaging Systems Engineering 7, no. 3 (2014): 152. http://dx.doi.org/10.1504/ijsise.2014.065261.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Yang, Chao, and Yongming Li. "Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures." Fuzzy Sets and Systems 391 (July 2020): 72–95. http://dx.doi.org/10.1016/j.fss.2019.07.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Wu, Lihua, and Daowen Qiu. "Automata theory based on complete residuated lattice-valued logic: Reduction and minimization." Fuzzy Sets and Systems 161, no. 12 (June 2010): 1635–56. http://dx.doi.org/10.1016/j.fss.2009.12.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Ignjatovic, Jelena, and Miroslav Ciric. "Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey." Filomat 26, no. 2 (2012): 207–41. http://dx.doi.org/10.2298/fil1202207i.

Full text

Abstract:

Weakly linear systems of fuzzy relation inequalities and equations have recently emerged from research in the theory of fuzzy automata. From the general aspect of the theory of fuzzy relation equations and inequalities homogeneous and heterogeneousweakly linear systems have been discussed in two recent papers. Here we give a brief overview of the main results from these two papers, as well as from a series of papers on applications of weakly linear systems in the state reduction of fuzzy automata, the study of simulation, bisimulation and equivalence of fuzzy automata, and in the social network analysis. Especially, we present algorithms for computing the greatest solutions to weakly linear systems.

APA, Harvard, Vancouver, ISO, and other styles

40

Athithan, Senthil, Vidya Prasad Shukla, and Sangappa Ramachandra Biradar. "Dynamic Cellular Automata Based Epidemic Spread Model for Population in Patches with Movement." Journal of Computational Environmental Sciences 2014 (February 12, 2014): 1–8. http://dx.doi.org/10.1155/2014/518053.

Full text

Abstract:

Epidemiology is the study of spread of diseases among the group of population. If not controlled properly, the epidemic would cause an enormous number of problems and lead to pandemic situation. Here in this paper we consider the situation of populated areas where people live in patches. A dynamic cellular automata model for population in patches is being proposed in this paper. This work not only explores the computing power of cellular automata in modeling the epidemic spread but also provides the pathway in reduction of computing time when using the dynamic cellular automata model for the patchy population when compared to the static cellular automata which is used for a nonpatchy homogeneous population. The variation of the model with movement of population among the patches is also explored which provides an efficient way for evacuation planning and vaccination of infected areas.

APA, Harvard, Vancouver, ISO, and other styles

41

Boon, Jean Pierre, Christopher Bodenstein, and David Hanon. "Class of Cellular Automata for the Formation of Surface Aggregates." International Journal of Modern Physics C 09, no. 08 (December 1998): 1559–66. http://dx.doi.org/10.1142/s0129183198001400.

Full text

Abstract:

A class of cellular automata is constructed on the basis of a set of simple rules: virtual particles obeying a full exclusion principle are subject to probabilistic dynamics with nonlocal (attractive and repulsive) interactions, and with momentum transfer memory effects. Boundary conditions can be periodic or can be set to simulate open systems, with various geometries. This model system possesses the essential elements to simulate the formation of surface aggregates. A specific application is presented for the formation and the dynamics of islands of hydroxyl groups in the catalytic reduction of NO on a Pt surface. The comparison between the simulation results and the experimental observations by Field Ion Microscopy suggests possible mechanisms for the so-far unexplained formation and dynamics of hydroxyl islands during the NO reduction processes.

APA, Harvard, Vancouver, ISO, and other styles

42

Sen, Bibhash, Ayush Rajoria, and Biplab K. Sikdar. "Design of Efficient Full Adder in Quantum-Dot Cellular Automata." Scientific World Journal 2013 (2013): 1–10. http://dx.doi.org/10.1155/2013/250802.

Full text

Abstract:

Further downscaling of CMOS technology becomes challenging as it faces limitation of feature size reduction. Quantum-dot cellular automata (QCA), a potential alternative to CMOS, promises efficient digital design at nanoscale. Investigations on the reduction of QCA primitives (majority gates and inverters) for various adders are limited, and very few designs exist for reference. As a result, design of adders under QCA framework is gaining its importance in recent research. This work targets developing multi-layered full adder architecture in QCA framework based on five-input majority gate proposed here. A minimum clock zone (2 clock) with high compaction (0.01 μm2) for a full adder around QCA is achieved. Further, the usefulness of such design is established with the synthesis of high-level logic. Experimental results illustrate the significant improvements in design level in terms of circuit area, cell count, and clock compared to that of conventional design approaches.

APA, Harvard, Vancouver, ISO, and other styles

43

Beneš, N., L. Brim, B. Buhnova, I. Černá, J. Sochor, and P. Vařeková. "Partial order reduction for state/event LTL with application to component-interaction automata." Science of Computer Programming 76, no. 10 (October 2011): 877–90. http://dx.doi.org/10.1016/j.scico.2010.02.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sadeghi, Sana, Alireza Rezvanian, and Ebrahim Kamrani. "An efficient method for impulse noise reduction from images using fuzzy cellular automata." AEU - International Journal of Electronics and Communications 66, no. 9 (September 2012): 772–79. http://dx.doi.org/10.1016/j.aeue.2012.01.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Mitra, Arnab, Anirban Kundu, Matangini Chattopadhyay, and Samiran Chattopadhyay. "On the Exploration of Equal Length Cellular Automata Rules Targeting a MapReduce Design in Cloud." International Journal of Cloud Applications and Computing 8, no. 2 (April 2018): 1–26. http://dx.doi.org/10.4018/ijcac.2018040101.

Full text

Abstract:

A MapReduce design with Cellular Automata (CA) is presented in this research article to facilitate load-reduced independent data processing and cost-efficient physical implementation in heterogeneous Cloud architecture. Equal Length Cellular Automata (ELCA) are considered for the design. This article explores ELCA rules and presents an ELCA based MapReduce design in cloud. New algorithms are presented for i) synthesis, ii) classification of ELCA rules, and iii) ELCA based MapReduce design in Cloud. Shuffling and efficient reduction of data volume are ensured in proposed MapReduce design.

APA, Harvard, Vancouver, ISO, and other styles

46

Jayalakshmi, R., M. Senthil Kumaran, and R. Amutha. "A Step Towards Optimisation of 2 to 4 Decoder Using Farooq-Nikesh-Zaid Gate with Coplanar Crossing in Quantum Dot Cellular Automata." Journal of Computational and Theoretical Nanoscience 17, no. 5 (May 1, 2020): 2120–24. http://dx.doi.org/10.1166/jctn.2020.8857.

Full text

Abstract:

The limitations of the existing Complementary Metal Oxide Semiconductor are leading the momentum to various new approaches like Quantum-dot Cellular Automata (QCA). QCA offers low power dissipation, less area and high switching speeds. The Majority Voter is the basic structure that votes out on the majority of the inputs to implement a Boolean Function. The QCA architectures are created by using majority gates with inverters or by using universal gates like AND–OR-Inverter and NAND–NOR-Inverter gate. This paper proposes a quantum-dot cellular automata 2 to 4 decoder using Universal Farooq-Nikesh-Zaid gate, which utilizes the NAND gate logic to implement the functionality. The design offers 33% reduction in the cell count, reduction in the area with Six Clock Phases in simple co planar wire crossing. The proposed design is validated using the QCA Designer tool.

APA, Harvard, Vancouver, ISO, and other styles

47

ALLAUZEN, CYRIL, CORINNA CORTES, and MEHRYAR MOHRI. "A DUAL COORDINATE DESCENT ALGORITHM FOR SVMs COMBINED WITH RATIONAL KERNELS." International Journal of Foundations of Computer Science 22, no. 08 (December 2011): 1761–79. http://dx.doi.org/10.1142/s0129054111009021.

Full text

Abstract:

This paper presents a novel application of automata algorithms to machine learning. It introduces the first optimization solution for support vector machines used with sequence kernels that is purely based on weighted automata and transducer algorithms, without requiring any specific solver. The algorithms presented apply to a family of kernels covering all those commonly used in text and speech processing or computational biology. We show that these algorithms have significantly better computational complexity than previous ones and report the results of large-scale experiments demonstrating a dramatic reduction of the training time, typically by several orders of magnitude.

APA, Harvard, Vancouver, ISO, and other styles

48

Guimarães, Carlos, and Fernando Durão. "Application of a cellular automata based simulation model of size reduction in mineral processing." Minerals Engineering 20, no. 6 (May 2007): 541–51. http://dx.doi.org/10.1016/j.mineng.2006.11.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Taherifard, Mohammad, and Mahmood Fathy. "Improving logic function synthesis, through wire crossing reduction in quantum‐dot cellular automata layout." IET Circuits, Devices & Systems 9, no. 4 (July 2015): 265–74. http://dx.doi.org/10.1049/iet-cds.2014.0327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

GARDEY, GUILLAUME, OLIVIER H. ROUX, and OLIVIER F. ROUX. "State space computation and analysis of Time Petri Nets." Theory and Practice of Logic Programming 6, no. 3 (May 2006): 301–20. http://dx.doi.org/10.1017/s147106840600264x.

Full text

Abstract:

The theory of Petri Nets provides a general framework to specify the behaviors of real-time reactive systems and Time Petri Nets were introduced to take also temporal specifications into account. We present in this paper a forward zone-based algorithm to compute the state space of a bounded Time Petri Net: the method is different and more efficient than the classical State Class Graph. We prove the algorithm to be exact with respect to the reachability problem. Furthermore, we propose a translation of the computed state space into a Timed Automaton, proved to be timed bisimilar to the original Time Petri Net. As the method produce a single Timed Automaton, syntactical clocks reduction methods (DAWS and YOVINE for instance) may be applied to produce an automaton with fewer clocks. Then, our method allows to model-check T-TPN by the use of efficient Timed Automata tools.

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!