Publication

Phantm: PHP Analyzer for Type Mismatch

Publications associées (32)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Cuba, Best Practices: quel potentiel d'élargissement

The present article evaluates the knowledge that can be attributed to the application of « Best Practices » in the field of urban habitat. It especially aims at identifying the conditions of innovation in such a setting, as well as defining the necessary c ...

2007

What is the strength of a mask in visual metacontrast masking?

Michael Herzog, Gregory Francis

After more than a century of research, the mechanisms underlying visual masking are still hotly debated. One key characteristic of masking is that variations in the stimulus onset asynchrony (SOA) between the target and the mask can lead to either monotoni ...

Association for Research in Vision and Ophthalmology2007

Continuations in the Java Virtual Machine

Iulian Dragos, Antonio Cunei

Continuations have received considerable attention lately as a possible solution to web application development. Other uses proposed in the past, such as cooperative threading, coroutines or writing iterators, made them an attractive feature of dynamically ...

Technische Universität Berlin2007

A typed intermediate language and algorithms for compiling scala by successive rewritings

Philippe Altherr

Scala is a general-purpose programming language developed at EPFL. It combines concepts coming from object-oriented languages with other ones coming from functional languages. Scala is strongly typed and comes with a relatively complex type system, which i ...

EPFL2006

Un stade de tennis ITF et la transformation du Tennis-Club de Vidy (Lausanne, VD)

Pierre Winthrop

Le site de Vidy est une vaste zone de verdure sur les bords du lac Léman, entièrement dédiée aux sports et loisirs de plein air, ainsi qu'aux activités culturelles. Le projet consiste en l'implantation d'un stade de 4500 places dédié au tennis dans la cont ...

2006

Role of Adsorbates on Dynamics of Hot-Electron (type I and II) Thermalization within Gold Nanoparticles

Hubert Girault, Christophe Bauer, Jean-Pierre Abid

Early stages of hot-electron thermalization in small gold nanoparticles wrapped in an adsorbates shell have been investigated by femtosecond transient absorption spectroscopy. Type-I hot electrons thermalize in 800 fs (to form type-II hot electron) either ...

Elsevier2006

Foundations for SCALA

Vincent Cremet

SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...

EPFL2006

Affine Processes and Applications in Finance

Damir Filipovic

We provide the definition and a complete characterization of regular affine processes. This type of process unifies the concepts of continuousstate branching processes with immigration and Ornstein-Uhlenbeck type processes. We show, and provide foundations ...

2003

Moving object detection between multiple and color images

Touradj Ebrahimi, Emrullah Durucan

There are several publications dedicated to the description and analysis of change detection between two gray-value images. This paper introduces new methods to detect moving objects between multiple images and to detect changes between color images or any ...

2003

To code or not to code: lossy source-channel communication revisited

Martin Vetterli, Michael Christoph Gastpar, Bixio Rimoldi

What makes a source–channel communication system optimal? It is shown that in order to achieve an optimal cost–distortion tradeoff, the source and the channel have to be matched in a probabilistic sense. The match (or lack of it) involves the source distri ...

2003