Items where Subject is "Theoretical Computer Science"
  • ASJC Scopus Subject Areas (4299)
  • Mathematics(all) (200)
  • Theoretical Computer Science (40)
    Number of items at this level: 40.
    B
  • Wittgenstein's Picture-Investigations. (2021) Michael Biggs
  • Analysis of the adapted inclusive haptic rigs for non-sighted people using duration and collision metrics. (2014) Lisa Bowers and Farshid Amirabdollahian
    • C
  • More security or less insecurity. (2014) Partha Das Chowdhury and B. Christianson
  • Introduction : Virtually perfect security (transcript of discussion). (2014) B. Christianson
  • More security or less insecurity (transcript of discussion). (2014) B. Christianson
  • Relay-proof channels using UWB lasers. (2014) B. Christianson, Alex Shafarenko, Frank Stajano and Ford-Long Wong
  • A-Wardpβ : Effective hierarchical clustering using the Minkowski metric and a fast k-means initialisation. (2016) Renato Cordeiro De Amorim, Vladimir Makarenkov and Boris Mirkin
    • D
  • Deep Learning for Semantic Segmentation on Minimal Hardware. (2019) Sander G. van Dijk and Marcus M. Scheunemann
  • Ethical dimensions of human-robot interactions in the care of older people : Insights from 21 focus groups convened in the UK, France and the Netherlands. (2014) Heather Draper, Tom Sorell, Sandra Bedaf, D.S. Syrdal, Carolina Gutierrez-Ruiz, Alexandre Duclos and Farshid Amirabdollahian
    • E
  • SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups. (2014) Attila Egri-Nagy, James D. Mitchell and C.L. Nehaniv
  • Computational understanding and manipulation of symmetries. (2015) Attila Egri-Nagy and C.L. Nehaniv
    • F
  • Effects of different kinds of robot feedback. (2013) Kerstin Fischer, Katrin S. Lohan, C.L. Nehaniv and Hagen Lehmann
    • H
  • A flexible component-based robot control architecture for hormonal modulation of behaviour and affect. (2017) Luke Hickton, Matthew Lewis and Lola Cañamero
  • How a Robot's Social Credibility Affects Safety Performance. (2019) Patrick Holthaus, Catherine Menon and Farshid Amirabdollahian
    • J
  • Mobile application usability heuristics: Decoupling context-of-use. (2017) Ger Joyce, Mariana Lilley, Trevor Barker and Amanda Jefferies
    • K
  • Initial Design, Implementation and Technical Evaluation of a Context-aware Proxemics Planner for a Social Robot. (2017) Kheng Lee Koay, Dag Syrdal, Richard Bormann, Joe Saunders, Michael L. Walters and Kerstin Dautenhahn
    • L
  • Effects of Previous Exposure on Children’s Perception of a Humanoid Robot. (2019) Gabriella Lakatos, Luke Jai Wood, Abolfazl Zaraki, Ben Robins, Kerstin Dautenhahn and Farshid Amirabdollahian
  • Dynamic Hierarchical Structure Optimisation for Cloud Computing Job Scheduling. (2022) Peter Lane, Na Helian, Muhammad Haad Bodla, Minghua Zheng and Paul Moggridge
  • Estimation of microphysical parameters of atmospheric pollution using machine learning. (2018) C. Llerena, D. Müller, R. Adams, N. Davey and Y. Sun
    • M
  • From design fiction to design fact : Developing future user experiences with proto-tools. (2018) Alessio Malizia, Alan Chamberlain and Ian Willcock
  • Evaluation of a Visual Tool for Early Patent Infringement Detection During Design. (2019) Alessio Malizia, Salvatore Sorce, Vito Gentile, Mark Atherton, David Harrison and Pingfei Jiang
  • Performance modelling and traffic characterisation of optical networks. (2011) Harry Mouchos, Athanasios Tsokanos and Demetres D. Kouvatsos
    • N
  • A framework for proving correctness of adjoint message-passing programs. (2008) Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme and Jean Utke
  • Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms. (2013) Vu Thien Nga Nguyen and Raimund Kirner
  • A multi-level monitoring framework for stream-based coordination programs. (2012) Vu Thien Nga Nguyen, Raimund Kirner and Frank Penczek
    • O
  • A hybrid analytical model for an entire hospital resource optimisation. (2021) Muhammed Ordu, Eren Demir and Soheil Davari
    • P
  • Feature weighting as a tool for unsupervised feature selection. (2018) Deepak Panday, Renato Cordeiro De Amorim and Peter Lane
    • R
  • Classification of Personal Data Used by Personalised Robot Companions Based on Concern of Exposure. (2023) Lewis Riches, Kheng Koay and Patrick Holthaus
  • Evaluating people's perceptions of trust in a robot in a repeated interactions study. (2020) Alessandra Rossi, Kerstin Dautenhahn, Kheng Koay, Michael Walters and Patrick Holthaus
  • Evaluation of a Humanoid Robot’s Emotional Gestures for Transparent Interaction. (2021) Alessandra Rossi, Marcus Scheunemann, Gianluca L’Arco and Silvia Rossi
    • S
  • Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. (2019) Andrei Sandler and Olga Tveretina
  • Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. (2019) Andrei Sandler and Olga Tveretina
  • Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. (2019) Andrei Sandler and Olga Tveretina
  • Intrinsically Motivated Autonomy in Human-Robot Interaction: Human Perception of Predictive Information in Robots. (2019) Marcus M. Scheunemann, Christoph Salge and Kerstin Dautenhahn
    • T
  • Vision-Based Human Fall Detection Using 3D Neural Networks. (2025) Say Meng Toh, Na Helian, Kudiwa Pasipamire, Yi Sun and Tony Pasipamire
  • Author-Driven Approaches to Computational Narrative Design for Games. (2019) David John Tree and Alessio Malizia
  • Negotiation Models for Mobile Tactile Interaction. (2014) Dari Trendafilov, Saija Lemmelä and Roderick Murray-Smith
    • U
  • Usability of activity-based and image-based challenge questions in online student authentication. (2015) Abrar Ullah, Hannan Xiao and Trevor Barker
    • Y
  • The Importance of Self-excitation in Spiking Neural Networks Evolved to Recognize Temporal Patterns. (2019) Muhammad Yaqoob, Volker Steuber and Borys Wróbel
    • Z
  • Cluster Output Synchronization for Memristive Neural Networks. (2022) Chao Zhou, Chunhua Wang, Yichuang Sun, Wei Yao and Hairong Lin