
Browse All Reviews > Theory Of Computation (F) > Computation By Abstract Devices (F.1) > Models Of Computation (F.1.1) > Automata (F.1.1...)









110 of 272
Reviews about "Automata (F.1.1...)":

Date Reviewed 

Finitestate techniques: automata, transducers and bimachines Mihov S., Schulz K., Cambridge University Press, New York, NY, 2019. 324 pp. Type: Book (9781108485418) The mathematical theory of automata is one of the great ideas of computer science, easy to state and understand, yet with great explanatory power and potential for problem solving....

Oct 5 2020 

Regular language representations in the constructive type theory of Coq Doczkal C., Smolka G. Journal of Automated Reasoning 61(14): 521553, 2018. Type: Article Theoretical computer science is traditionally presented using paper and pencil, with little emphasis on formal correctness and completeness in detail. This provides a backdoor for ambiguities, gaps, and errors. However, nowadays, powerful semiint...

Aug 16 2018 

Multi swarm optimization algorithm with adaptive connectivity degree Vafashoar R., Meybodi M. Applied Intelligence 48(4): 909941, 2018. Type: Article Do topological properties have any impact on the search behavior of populationbased stochastic optimization methods like particle swarm optimization (PSO)? Can a PSO algorithm improve efficiency if such properties are tuned adaptively while integ...

Aug 6 2018 

An effective characterization of the alternation hierarchy in twovariable logic Krebs A., Straubing H. ACM Transactions on Computational Logic 18(4): 122, 2017. Type: Article Many interesting properties of words can be described in a firstorder language with variables (x, y, ...) for positions and two basic properties: x < y (meaning that ...

Jul 6 2018 

Languages with membership determined by single letter factors Higgins P., Alwan S. Theoretical Computer Science 680 1524, 2017. Type: Article This paper continues a previous one [1] by the authors, Higgins and Alwan, expanding on the notion of scan languages that require a word to be read completely before determining whether the word belongs to the language. This applies to every word,...

Mar 8 2018 

Nonregular unary language and parallel communicating WatsonCrick automata systems Chatterjee K., Ray K. Theoretical Computer Science 705 113117, 2018. Type: Article WatsonCrick finite automata have been introduced as a possible model of DNA computation. They differ from their classical counterpart in that they are capable of working on doublestranded sequences. The strands are processed by two independent h...

Feb 22 2018 

Link prediction in fuzzy social networks using distributed learning automata Moradabadi B., Meybodi M. Applied Intelligence 47(3): 837849, 2017. Type: Article Link prediction is an active area within the broader research on social network analysis (SNA) that tries to predict future links using a social network structure. The purpose of link prediction is to use the current structure of the social networ...

Nov 28 2017 

The logical view on continuous Petri nets Blondin M., Finkel A., Haase C., Haddad S. ACM Transactions on Computational Logic 18(3): 128, 2017. Type: Article The reachability problem for standard Petri nets is EXPSPACE hard, and the coverability problem is EXPSPACE complete. However, more efficient algorithms exist for variants of the standard nets. Continuous Petri nets are such a variant that allows ...

Nov 17 2017 

Uniform continuity of relations and nondeterministic cellular automata Furusawa H. Theoretical Computer Science 673 1929, 2017. Type: Article Cellular automata are computational structures that can be applied for modeling a wide range of systems in different areas of science. Usually they are characterized by local rules operating on individual cells and their neighborhoods. This paper ...

Oct 19 2017 

Idea makers: personal perspectives on the lives & ideas of some notable people Wolfram S., Wolfram Media Inc., Champaign, IL, 2016. 250 pp. Type: Book (9781579550035) We all know Stephen Wolfram as the creator of Mathematica. In this short book, he gives us his perspective on a number of people who have had an impact on computer science and, of course, on Wolfram. The size of these discussions is highly variabl...

Aug 23 2017 





