Concept

Application (informatique)

Publications associées (568)

Phantm: PHP analyzer for type mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

Identifying and investigating pesticide application types to promote a more sustainable pesticide use. The case of smallholders in Boyacá, Colombia

Claudia Rebeca Binder Signer

The present paper investigates pesticide application types adopted by smallholder potato producers in the Department of Boyacá, Colombia. In this region, environmental, health and adverse economic effects due to pesticide mis- or over-use respectively have ...

2010

A knowledge infrastructure for intelligent query answering in location-based services

Stefano Spaccapietra, Shijun Yu

Intelligent query answering in Location-based Services refers to their capability to provide mobile users with personalized and contextualized answers. Personalization is expected to lead to answers that better match user's interests, as inferable from the ...

2010

By their apps you shall understand them: mining large-scale patterns of mobile phone usage

Daniel Gatica-Perez

Mobile phones are becoming more and more widely used nowadays, and people do not use the phone only for communication: there is a wide variety of phone applications allowing users to select those that fit their needs. Aggregated over time, application usag ...

2010

Hitting Simplices with Points in $R^3$

Abdul Basit

The so-called first selection lemma states the following: given any set P of n points in a"e (d) , there exists a point in a"e (d) contained in at least c (d) n (d+1)-O(n (d) ) simplices spanned by P, where the constant c (d) depends on d. We present impro ...

2010

Multifunctional and robust FRP composite structures for sustainable infrastructure

Thomas Keller

The multifunctional use of FRP composites offers the potential to contribute to the emergence of a new generation of lightweight engineering structures for an innovative infrastructure that meets the challenges with which today's construction industry is f ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010

Benford's Law and Its Application to Lightning Data

Marcos Rubinstein, Wolfgang Schulz, Pooyan Manoochehrnia

Benford's law applies to a wide variety of natural and man-made datasets and it has been successfully applied to test the integrity of data and to detect possible fraud and anomalous results in economy, politics, and management studies. In this paper, we i ...

2010

WebPrInSeS: automated full-length clone sequence identification and verification using high-throughput sequencing data

Bart Deplancke, Andreas Massouras, Frederik Decouttere

High-throughput sequencing (HTS) is revolutionizing our ability to obtain cheap, fast and reliable sequence information. Many experimental approaches are expected to benefit from the incorporation of such sequencing features in their pipeline. Consequently ...

Oxford University Press2010

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

Springer2010

The Online Model for the Large Hadron Collider

Xavier Buffat

The control of the high intensity beams of the CERN Large Hadron Collider is particular challenging and requires a good modeling of the machine. In recent years efforts were devoted to the design of a software infrastructure aimed at mimicking the behavior ...

2010

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