Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Theory Of Computation (F) > Computation By Abstract Devices (F.1) > Models Of Computation (F.1.1) > Automata (F.1.1...)  
  1-10 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 15-24, 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
   Non-regular unary language and parallel communicating Watson-Crick automata systems
Chatterjee K., Ray K.  Theoretical Computer Science 705 113-117, 2018. Type: Article

Watson-Crick 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 double-stranded 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): 837-849, 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): 1-28, 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 19-29, 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 (978-1-579550-03-5)

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 25059-86, 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 (978-3-319449-58-6)

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): 100-111, 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 neuro-computational perspective. They convincingly ...

Sep 15 2016
  Modelling and verification of weighted spiking neural systems
Aman B., Ciobanu G.  Theoretical Computer Science 623(C): 92-102, 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
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy