Publication

Static Analysis for the PHP Language

Related publications (34)

The Operational Semantics and Implementation of a Core Dart language

In this report we present the specification of the operational semantics of Dart Kernel and a reference implementation of Dart Kernel in Dart. We design a CESK-like machine to specify the operational semantics of Dart Kernel and we implement an interpreter ...

2017

The Number of Genomic Copies at the 16p11.2 Locus Modulates Language, Verbal Memory, and Inhibition

Bogdan Draganski, Nouchine Hadjikhani, Loyse Hippolyte, Borja Rodriguez Herreros

BACKGROUND: Deletions and duplications of the 16p11.2 BP4-BP5 locus are prevalent copy number variations (CNVs), highly associated with autism spectrum disorder and schizophrenia. Beyond language and global cognition, neuropsychological assessments of thes ...

Elsevier Science Inc2016

Acoustic and Lexical Resource Constrained ASR using Language-Independent Acoustic Model and Language-Dependent Probabilistic Lexical Model

Ramya Rasipuram

One of the key challenges involved in building statistical automatic speech recognition (ASR) systems is modeling the relationship between subword units or “lexical units” and acoustic feature observations. To model this relationship two types of resources ...

2015

Excluded Linguistic Communities and the Production of an Inclusive Multilingual Digital Language Infrastructure

Martin Benjamin

The consequence of linguistic digital exclusion is the inability of billions of people to access vital knowledge and economic resources that contribute to prosperity in an era of globalization. However, rectifying linguistic inequity is mostly absent from ...

2015

Participatory Language Technologies as Core Systems for Sustainable Development Activities

Martin Benjamin

Introduction and purpose: Language is the medium by which people interact with all aspects of their worlds, whether economics, health, the environment, or technology. In both development programs and technology, however, language is usually given secondary ...

2014

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...

Springer Verlag2013

Modelling competence-based virtual organisations using the unified enterprise competence modelling language

Naoufel Cheikhrouhou

Virtual organisations are non-conventional structures aiming at sharing the same goals, developing common practices or creating wealth in a collaborative manner. Accordingly, competence issues are important topics to be addressed in order to ensure coheren ...

Taylor & Francis2012

Integrating Language Identification to improve Multilingual Speech Recognition

Holger Caesar

The process of determining the language of a speech utterance is called Language Identification (LID). This task can be very challenging as it has to take into account various language-specific aspects, such as phonetic, phonotactic, vocabulary and grammar ...

Idiap2012

Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance

Martin Odersky, Philipp Haller

Implementing machine learning algorithms for large data, such as the Web graph and social networks, is challenging. Even though much research has focused on making sequential algorithms more scalable, their running times continue to be prohibitively long. ...

2011

English Spoken Term Detection in Multilingual Recordings

Petr Motlicek, Philip Neil Garner, Fabio Valente

This paper investigates the automatic detection of English spoken terms in a multi-language scenario over real lecture recordings. Spoken Term Detection (STD) is based on an LVCSR where the output is represented in the form of word lattices. The lattices a ...

2010

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.