Pires – The Department of Politics, International Relations and European Studies, Loughborough University, UK

JOURNAL ARTICLE published March 2008 in European Political Science

Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height

BOOK CHAPTER published 2013 in Computer Science – Theory and Applications

Authors: Viliam Geffert | Zuzana Bednárová | Carlo Mereghetti | Beatrice Palano

A Characterisation of NL/poly via Nondeterministic Finite Automata

BOOK CHAPTER published 2013 in Descriptional Complexity of Formal Systems

Authors: Rob Myers | Henning Urbat

Model Checking Metric Temporal Logic over Automata with One Counter

BOOK CHAPTER published 2013 in Language and Automata Theory and Applications

Authors: Karin Quaas

On the Length of Homing Sequences for Nondeterministic Finite State Machines

BOOK CHAPTER published 2013 in Implementation and Application of Automata

Authors: Natalia Kushik | Nina Yevtushenko

Random Generation of Nondeterministic Finite-State Tree Automata

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Thomas Hanneforth | Andreas Maletti | Daniel Quernheim

An Extensible Multilingual Open Source Lemmatizer

PROCEEDINGS ARTICLE published 10 November 2017 in RANLP 2017 - Recent Advances in Natural Language Processing Meet Deep Learning

Authors: Ahmet Aker | Department of Computer Science, University of Sheffield, UK | Johann Petrak | Firas Sabbah | Department of Computer Science, University of Sheffield, UK | Department of Information Engineering, University of Duisburg-Essen, Germany

Mortality and Synchronization of Unambiguous Finite Automata

BOOK CHAPTER published 2019 in Lecture Notes in Computer Science

Authors: Andrew Ryzhikov

Bounds on Molecular Properties of π Systems: First-order Properties

JOURNAL ARTICLE published 2024 in Match Communications in Mathematical and in Computer Chemistry

Authors: Patrick W. Fowler | Department of Chemistry, University of Sheffield, UK | Barry T. Pickup | Department of Chemistry, University of Sheffield, UK

Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds*

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Petr Jančar | Antonín Kučera | Faron Moller | Zdeněk Sawa

Parallel and nondeterministic time complexity classes

BOOK CHAPTER published 1978 in Automata, Languages and Programming

Authors: Walter J. Savitch

Matching Patterns with Variables

BOOK CHAPTER published 2019 in Lecture Notes in Computer Science

Authors: Florin Manea | Markus L. Schmid

An Optimised Deep Neural Network Approach for Forest Trail Navigation for UAV Operation within the Forest Canopy

PROCEEDINGS ARTICLE published 12 October 2018 in UK-RAS Conference: Robots Working For and Among Us Proceedings

Authors: B. G. Maciel-Pearson | Department of Computer Science, Durham University | Pratrice Carbonneu | T.P Breckon | Department of Computer Science, Durham University | Department of Computer Science, Durham University

Investigating Rules and Parameters of Reservoir Computing with Elementary Cellular Automata, with a Criticism of Rule 90 and the Five-Bit Memory Benchmark

JOURNAL ARTICLE published 15 December 2023 in Complex Systems

Authors: Tom Eivind Glover | Department of Computer Science Oslo Metropolitan University Oslo, Norway | Pedro Lind | Anis Yazidi | Evgeny Osipov | Stefano Nichele | Department of Computer Science Oslo Metropolitan University Oslo, Norway | Department of Computer Science Oslo Metropolitan University Oslo, Norway | Department of Computer Science, Electrical and Space Engineering Luleå University of Technolog Luleå, Sweden | Department of Computer Science Oslo Metropolitan University Oslo, Norway | Department of Computer Science and Communication Østfold University College Halden, Norway

English-Arabic Cross-language Plagiarism Detection

PROCEEDINGS ARTICLE published 2021 in Proceedings of the Conference Recent Advances in Natural Language Processing - Deep Learning for Natural Language Processing Methods and Applications

Authors: Naif Alotaibi | Department of Computer Science, University of Warwick, UK | Mike Joy | Department of Computer Science, University of Warwick, UK

Basic Study on Expressway Congestion Mitigation using Cellular Automata

JOURNAL ARTICLE published 30 September 2021 in International Journal of Recent Technology and Engineering (IJRTE)

Authors: Kodai Miyamoto | Department of Computer Science, Engineering, Miyazaki University, Miyazaki, Japan. | Taketo Kamasaka | Makoto Sakamoto | Tsunehiro Yoshinaga | Department of Computer Science, Engineering, Miyazaki University, Miyazaki, Japan. | Department of Computer Science, Engineering, Miyazaki University, Miyazaki, Japan. | Department of Computer Science and Electronics Engineering, Tokuyama College of Technology, Yamaguchi, Japan.

Energy Efficiency in Underwater Sensor Networks: a Research Review

JOURNAL ARTICLE published June 2010 in Journal of Engineering Science and Technology Review

Authors: K. Ovaliadis | Department of Electronic and Computer Engineering, University of Portsmouth, Portsmouth, UK | N. Savage | V. Kanakaris | Department of Electronic and Computer Engineering, University of Portsmouth, Portsmouth, UK | Department of Electronic and Computer Engineering, University of Portsmouth, Portsmouth, UK

Older adults’ perceptions of Socially Assistive Robots

PROCEEDINGS ARTICLE published 8 July 2021 in UKRAS21 Conference: Robotics at home Proceedings

Authors: Nicola Camp Camp | Department of Sport Science Nottingham Trent University | Martin Lewis | Kirsty Hunter | Daniele Magistro | Julie Johnston | Massimiliano Zecca | Alessandro Di Nuovo | School of Human Sciences University of Derby | Department of Sport Science Nottingham Trent University | Department of Sport Science Nottingham Trent University | Department of Sport Science Nottingham Trent University | Wolfson School of Mechanical, Electrical and Manufacturing Engineering Loughborough University | Department of Computing Sheffield Hallam University

Limited Non-determinism Hierarchy of Counter Automata

BOOK CHAPTER published 2013 in Language and Automata Theory and Applications

Authors: Sebastian Bala | Dariusz Jackowski

Strong Bounds for Evolution in Networks

BOOK CHAPTER published 2013 in Automata, Languages, and Programming

Authors: George B. Mertzios | Paul G. Spirakis