Search Results

Manipulation of online discourse through organized disinformation and propaganda campaigns is a threat to information integrity and democratic dialogue. Taking cues from on-ground reports and recent literature on online trend manipulation in the Indian ...

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has Π-types, weak and strong Σ-types, natural numbers, an empty type, and a universe, and we also extend the ...

We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding type checking ...

Expressing one's thoughts and feelings is a fundamental human need - the basis for communication and social interaction. We ask, how do minimally-verbal children on the autism spectrum express themselves? How can we better recognise instances of self-...

The article investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy ...

It is informally understood that the purpose of modal type constructors in programming calculi is to control the flow of information between types. In order to lend rigorous support to this idea, we study the category of classified sets, a variant of a ...

Conversational agents stand to play an important role in supporting behavior change and well-being in many domains. With users able to interact with conversational agents through both text and voice, understanding how designing for these channels ...

It is now possible to develop head-mounted devices (HMDs) that allow for ego-centric sensing of mid-air gestural input. Therefore, we explore the use of HMD-based gestural input techniques in smart space environments. We developed a usage scenario to ...

The aim of this abstract is to introduce a formal framework enabling to reason about resource-sensitive uses of artifacts. To achieve this, we integrate (non-normal) modalities into Intuitionistic Linear Logic. The function of an artifact is a (resource-...

Pervasive and ubiquitous technologies have taken digital interfaces out of the traditional realms of computing devices and into the built environment. Increasingly, a combination of architectural, artistic and technological concerns characterise the ...

In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is difficult to define a signature for it. But then, what is the meaning of those programs: ...

The Nabaztag is an ambient, internet-enabled device which is designed to introduce a young audience to web-based social interactions. It connects wirelessly to the internet, allowing users to access a variety of services, ranging from the audio relay of ...

Ambient interfaces have long held the promise of enhanced and effective human machine interaction. Ambient interfaces can adapt to human activity allowing seamless exchange of information. This goal requires a coordinated development effort that ...

We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as function parameters, return values, content of references and parts of data ...

The goal of my proposed thesis is to examine the role of working memory in processing route guidance information while driving. I will also assess how changes in the presentation and processing of route guidance and secondary task information influences ...

We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi's computational λ-calculus by basic types and a signature, the latter given by constant symbols, ...