Now showing items 1-17 of 17

  • Against type E 

    McKeever, Matthew (University of St Andrews, 2016-12-01) - Thesis
    It’s generally assumed that a compositional semantic theory will have to recognise a semantic category of expressions which serve simply to pick out some one object: e-type expressions. Kripke’s views about names (Kripke, ...
  • The Arabic verb : form and meaning in the vowel-lengthening patterns 

    Danks, Warwick (2010-06-24) - Thesis
    The research presented in this dissertation adopts an empirical Saussurean structuralist approach to elucidating the true meaning of the verb patterns characterised formally by vowel lengthening in Modern Standard Arabic ...
  • Detecting abnormal events on binary sensors in smart home environments 

    Ye, Juan; Stevenson, Graeme; Dobson, Simon (2016-12) - Journal article
    With a rising ageing population, smart home technologies have been demonstrated as a promising paradigm to enable technology-driven healthcare delivery. Smart home technologies, composed of advanced sensing, computing, and ...
  • Facilitating a well-founded approach to autonomic systems 

    Dobson, Simon (IEEE Computer Society, 2008-04) - Conference item
    While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense ...
  • The gestural repertoire of the wild chimpanzee 

    Hobaiter, Catherine; Byrne, Richard W. (2011-09) - Journal article
    Great ape gestural communication is known to be intentional, elaborate and flexible; yet there is controversy over the best interpretation of the system and how gestures are acquired, perhaps because most studies have been ...
  • Indexicality and presupposition : explorations beyond truth-conditional information 

    Stokke, Andreas (University of St Andrews, 2010-11-30) - Thesis
    This thesis consists of four essays and an introduction dedicated to two main topics: indexicality and presupposition. The first essay is concerned with an alleged problem for the standard treatment of indexicals on which ...
  • KCAR : a knowledge-driven approach for concurrent activity recognition 

    Ye, Juan; Stevenson, Graeme Turnbull; Dobson, Simon Andrew (2015-05) - Journal article
    Recognising human activities from sensors embedded in an environment or worn on bodies is an important and challenging research topic in pervasive computing. Existing work on activity recognition is mainly concerned with ...
  • Mixed-size Concurrency: ARM, POWER, C/C++11, and SC 

    Flur, Shaked; Sarkar, Susmit; Pulte, Christopher; Nienhuis, Kyndylan; Maranget, Luc; Gray, Kathryn; Sezgin, Ali; Batty, Mark; Sewell, Peter (ACM, 2017-01-01) - Conference item
    Previous work on the semantics of relaxed shared-memory concurrency has only considered the case in which each load reads the data of exactly one store. In practice, however, multiprocessors support mixed-size accesses, ...
  • Modelling the ARMv8 architecture, operationally : concurrency and ISA 

    Flur, Shaked; Gray, Kathryn; Pulte, Christopher; Sarkar, Susmit; Maranget, Luc; Sezgin, Ali; Deacon, Will; Sewell, Peter (ACM, 2016-01-11) - Conference item
    In this paper we develop semantics for key aspects of the ARMv8 multiprocessor architecture: the concurrency model and much of the 64-bit application-level instruction set (ISA). Our goal is to clarify what the range of ...
  • On describing 

    Schoubye, Anders Johan (University of St Andrews, 2011-11-25) - Thesis
    The overarching topic of this dissertation is the semantics and pragmatics of definite descriptions. It focuses on the question whether sentences such as ‘the king of France is bald’ literally assert the existence of a ...
  • Perspective in context : relative truth, knowledge, and the first person 

    Kindermann, Dirk (University of St Andrews, 2012-11-30) - Thesis
    This dissertation is about the nature of perspectival thoughts and the context-sensitivity of the language used to express them. It focuses on two kinds of perspectival thoughts: ‘subjective’ evaluative thoughts about ...
  • Propositions : an essay on linguistic content 

    Hodgson, Thomas William Strickland (University of St Andrews, 2013-06-27) - Thesis
    This thesis presents an account of the nature of structured propositions and addresses a series of questions that arise from that proposal. Chapter 1 presents the account and explains how it meets standard objections to ...
  • The semiotics of printed instructions (graphic signa) 

    Toumajian, Trak-Sarkis (1986) - Thesis
    This thesis sets out to describe sign systems for communication using Axiomatic Functionalism as its theoretical framework. In doing so, the thesis also provides an important test to the claim of Axiomatic Functionalism ...
  • Simplifying ARM concurrency : multicopy-atomic axiomatic and operational models for ARMv8 

    Pulte, Christopher; Flur, Shaked; Deacon, Will; French, Jon; Sarkar, Susmit; Sewell, Peter (ACM, 2018-01-07) - Conference item
  • Titi semantics : context and meaning in Titi monkey call sequences 

    Schlenker, Philippe; Chemla, Emmanuel; Cäsar, Cristiane; Ryder, Robin; Zuberbuehler, Klaus (2017-02) - Journal article
    Cäsar et al. (2013) show that the structure of Titi monkey call sequences can, with just two call types (A and B), reflect information about predator type and predator location. Using the general methods of Schlenker et ...
  • Vocal communication in bonobos (Pan paniscus) : studies in the contexts of feeding and sex 

    Clay, Zanna (University of St Andrews, 2011-06) - Thesis
    Despite having being discovered nearly 80 years ago, bonobos (Pan paniscus) are still one of the least well understood of the great apes, largely remaining in the shadow of their better known cousins, the chimpanzees (Pan ...
  • What if? : an enquiry into the semantics of natural language conditionals 

    Hjálmarsson, Guðmundur Andri (University of St Andrews, 2010-06-25) - Thesis
    This thesis is essentially a portfolio of four disjoint yet thematically related articles that deal with some semantic aspect or another of natural language conditionals. The thesis opens with a brief introductory ...