
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 268
Reviews about "Automata (F.1.1...)":

Date Reviewed 

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 

A mathematical theory of resources Coecke B., Fritz T., Spekkens R. Information and Computation 2505986, 2016. Type: Article Many of the physical sciences ultimately deal with resources. The important questions are: Can a given resource be converted into another? And if so, how? Examples abound:...

Apr 12 2017 

Behavioural models: from modelling finite automata to analysing business processes Kunze M., Weske M., Springer International Publishing, New York, NY, 2016. 279 pp. Type: Book (9783319449586) Like a typical industrial automation system, modern business systems are (near) real time, concurrent, and distributed. However, before established techniques of automation such as finite automata can be used, the behavior of (business) systems mu...

Feb 28 2017 

The grammar of mammalian brain capacity Rodriguez A., Granger R. Theoretical Computer Science 633(C): 100111, 2016. Type: Article Which aspects of the language faculty are uniquely human, and which are shared with other mammals? In this paper, Rodriguez and Granger try to address this fundamental question from an innovative neurocomputational perspective. They convincingly ...

Sep 15 2016 

Modelling and verification of weighted spiking neural systems Aman B., Ciobanu G. Theoretical Computer Science 623(C): 92102, 2016. Type: Article This paper considers the problem of formal verification of systems described using an abstract computing model called a spiking neural system, which is modeled after how brain cells (neurons) communicate. A spiking neural system is a concurrent se...

Jul 13 2016 





