Concept

Intuitionistic type theory

Related publications (151)

Governance of competition and performance in European railways: An analysis of five cases

Based on extensive qualitative research, this article analyzes the governance of competition in European railways and relates this to their performance via five case studies covering the Netherlands, France, Germany, Sweden and the UK. Even though some tre ...

Elsevier Sci Ltd2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

Embeddings Of Maximal Tori In Orthogonal Groups

Eva Bayer Fluckiger

We give necessary and sufficient conditions for an orthogonal group defined over a global field of characteristic not equal 2 to contain a maximal torus of a given type. ...

Annales Inst Fourier2014

TREX1 Deficiency Triggers Cell-Autonomous Immunity in a cGAS-Dependent Manner

Andrea Ablasser

Cytosolic detection of DNA is crucial for the initiation of antiviral immunity but can also cause autoimmunity in the context of endogenous nucleic acids being sensed. Mutations in the human 3' repair exonuclease 1 (TREX1) have been linked to the type I IF ...

2014

(Arene)ruthenium Complexes with Imidazolin-2-imine and Imidazolidin-2-imine Ligands

Rosario Scopelliti, Kay Severin

Imidazolin-2-imine and imidazolidin-2-imine ligands are versatile N donors in transition metal chemistry. Here, we describe the synthesis and characterization of (arene)Ru complexes with these ligands. Simple adducts of the type [(p-cymene)Ru(L)Cl-2] (L = ...

Wiley-Blackwell2014

Different Neuronal Recording Schemes

Amir Hesam Salavati

Having access to neuronal recordings is essential for any network inference algorithm. However, the term ”recording” covers many different schemes which vary significantly in technology, type of output and abundance of data. This report aims to briefly ove ...

2014

How to kill inventors: testing the MassacratorA (c) algorithm for inventor disambiguation

Michele Pezzoni, Francesco Lissoni

Inventor disambiguation is an increasingly important issue for users of patent data. We propose and test a number of refinements to the original Massacrator algorithm, originally proposed by Lissoni et al. (The keins database on academic inventors: methodo ...

Springer2014

Implementation of a binaural localization algorithm in hearing aids: Specifications and achievable solutions

Hervé Lissek, Patrick Marmaroli, Gilles André Courtois

This article introduces the constraints and issues related to the implementation of a binaural localization algorithm on a pair of hearing aids. The algorithm should improve the rendering of the spatial information available in the audio signals, which are ...

2014

Interactive Code Generation

Ivan Kuraj

This thesis presents two approaches to code generation (synthesis) along with a discussion of other related and influential works, their ideas and relations to these approaches. The common goal of these approaches is to efficiently and effectively assist d ...

2013

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...

ACM2013

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.