Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 517 results
Sort by: relevance publication year

Exploring information behaviour and meaningful experience amongst hikers on the West Highland Way

JOURNAL ARTICLE published 2022 in Information Research: an international electronic journal

Authors: Keith Munro | Department of Computer and Information Science at the University of Strathclyde, Glasgow, UK | Perla Innocenti | Mark Dunlop | Department of Computer and Information Science at the University of Strathclyde, Glasgow, UK | University of Strathclyde, Glasgow, UK

Cooperative Object Transport Using Evolutionary Swarm Robotics Methods

PROCEEDINGS ARTICLE published 20 July 2015 in 07/20/2015-07/24/2015

Authors: Muhanad H. Mohammed Alkilabi | Computer Science Department, Aberystwyth University, Aberystwyth, SY23 3DB, UK; Computer Science Department, Kerbala University, Kerbala, Iraq | Chuan Lu | Elio Tuci

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

JOURNAL ARTICLE published 2 April 2013 in Logical Methods in Computer Science

Authors: Luis Barguñó | Carles Creus | Guillem Godoy | Florent Jacquemard | Camille Vacher

Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms

BOOK CHAPTER published 2013 in Automata, Languages, and Programming

Authors: Gabriel Moruz | Andrei Negoescu

Arithmetic Circuit Lower Bounds via MaxRank

BOOK CHAPTER published 2013 in Automata, Languages, and Programming

Authors: Mrinal Kumar | Gaurav Maheshwari | Jayalal Sarma M.N.

Trading Bounds for Memory in Games with Counters

BOOK CHAPTER published 2015 in Automata, Languages, and Programming

Authors: Nathanaël Fijalkow | Florian Horn | Denis Kuperberg | Michał Skrzypczak

Topological monodromy in nonholonomic systems

JOURNAL ARTICLE published 2013 in Nelineinaya Dinamika

Authors: A. V. Bolsinov | Loughborough University | A. A. Kilin | A. O. Kazakov | Institute of Computer Science | Institute of Computer Science, Udmurt State University

Semantics and correctness of nondeterministic flowchart programs with recursive procedures

BOOK CHAPTER published 1978 in Automata, Languages and Programming

Authors: Jean H. Gallier

PSpace Automata with Blocking for Description Logics

REPORT published 2006

Authors: Franz Baader | Institute of Theoretical Computer Science | Jan Hladik | Rafael Peñaloza | Institute for Theoretical Computer Science, TU Dresden | Intelligent Systems Department, University of Leipzig

LISU Annual Library Statistics 2000 Featuring Trend Analysis of UK Public and Academic Libraries 1989‐99 Including Public Library Statistics Report No.1420011Claire Creaser and others. LISU Annual Library Statistics 2000 Featuring Trend Analysis of UK Public and Academic Libraries 1989‐99 Including Public Library Statistics Report No.14. Loughborough: Library and Information Statistics Unit, Department of Information Science, Loughborough University 2000. xi, 210 pp., ISBN: 0967487X; ISBN 1 901786 36 6 £32.00.

JOURNAL ARTICLE published June 2001 in Library Management

Authors: Maurice B. Line

Designing Counter Using Inherent Capability of Quantum-dot Cellular Automata Loops

JOURNAL ARTICLE published 8 September 2015 in International Journal of Modern Education and Computer Science

Authors: Soheil Sarmadi | Department of Electrical Engineering, University of South Florida, Tampa, FL, USA | Saeid Azimi | Shadi Sheikhfaal | Shaahin Angizi

Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities

BOOK CHAPTER published 2013 in Automata, Languages, and Programming

Authors: Mark Bun | Justin Thaler

RECOVERY FROM EXERCISE: ROLE OF CARBOHYDRATE NUTRITION

JOURNAL ARTICLE published 2013 in Movement, Health & Exercise

Authors: Clyde Williams | Emeritus Professor of Sports Science School of Sport, Exercise and Health Sciences Loughborough University, UK

The Use of Simple Cellular Automata in Image Processing

JOURNAL ARTICLE published 1 June 2017 in Studia Universitatis Babeș-Bolyai Informatica

Authors: Laura Dioșan | Department of Computer Science, Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania, lauras@cs.ubbcluj.ro | Anca Andreica | Alina Enescu | Department of Computer Science, Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania, anca@cs.ubbcluj.ro | Department of Computer Science, Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania, aenescu@cs.ubbcluj.ro

Size Lower Bounds for Quantum Automata

BOOK CHAPTER published 2013 in Unconventional Computation and Natural Computation

Authors: Maria Paola Bianchi | Carlo Mereghetti | Beatrice Palano

The Use of Simple Cellular Automata in Image Processing

JOURNAL ARTICLE published 15 December 2017 in Studia Universitatis Babeș-Bolyai Informatica

Authors: Zalan Bodo | Department of Computer Science, Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania | Lehel Csato | Department of Computer Science, Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania

Canonical Nondeterministic Automata

BOOK CHAPTER published 2014 in Advanced Information Systems Engineering

Authors: Robert S. R. Myers | Jiří Adámek | Stefan Milius | Henning Urbat

Deterministic Counter Machines and Parallel Matching Computations

BOOK CHAPTER published 2013 in Implementation and Application of Automata

Authors: Stefano Crespi Reghizzi | Pierluigi San Pietro

A proposed structure to capture the operational and technical capabilities of different robots

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

Authors: Manal Linjawi | Department of computer science, University of Sheffield | Roger Moore | Department of computer science, University of Sheffield

Fuzzy Based Pseudo Random Number Generator used for Wireless Networks

JOURNAL ARTICLE published 1 June 2013 in Journal of Al-Nahrain University Science

Authors: Sattar B. Sadkhan | Department of Computer Science, College of Science, Babel University, Babel-Iraq | Sawsan K. Thamer | Najwan A. Hassan | Department of Computer Science, College of Science, Al-Nahrian University, Baghdad-Iraq. | Department of Computer Science, College of Science, Al-Nahrian University, Baghdad-Iraq.