Concept

MediaWiki

Publications associées (20)

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

5e{x+y}: Searching over Mathematical Content in Digital Libraries

Karl Aberer

This paper presents 5ex+y, a system that is able to extract, index and query mathematical content expressed as mathematical expressions, complementing the CERN Document Server (CDS). We present the most important aspects of its design, our approach to mode ...

ACM2015

Managing Quality of Crowdsourced Data

Thành Tâm Nguyên

The Web is the central medium for discovering knowledge via various sources such as blogs, social media, and wikis. It facilitates access to contents provided by a large number of users, regardless of their geographical locations or cultural backgrounds. S ...

2015

TERAHERTZ : New Opportunities for Industry

Jean-Philippe Ansermet, Emile Jacques de Rijk, Alessandro Macor

The purpose of this wiki is to collect information on terahertz technologies, and to foster collaborations among researchers in industry and academia worldwide. ...

2013

Implementing Neural Networks Efficiently

Ronan Collobert

Neural networks and machine learning algorithms in general require a flexible environment where new algorithm prototypes and experiments can be set up as quickly as possible with best possible computational performance. To that end, we provide a new framew ...

Springer2012

Kodak Moments and Flickr Diamonds: How Users Shape Large-scale Media

Daniel Gatica-Perez, Radu Andrei Negoescu

In today's age of digital multimedia deluge, a clear understanding of the dynamics of online communities is capital. Users have abandoned their role of passive consumers and are now the driving force behind large-scale media repositories, whose dynamics an ...

Idiap2010

Multiversion concurrency control for the generalized search tree

Boi Faltings, Ion Constantinescu, Samuel Spycher

Many read-intensive systems where fast access to data is more important than the rate at which data can change make use of multidimensional index structures, like the generalized search tree (GiST). Although in these systems the indexed data are rarely upd ...

2009

Caching Dynamic Web Content: Designing and Analysing an Aspect-Oriented Solution

Willy Zwaenepoel, Sumit Mittal

Caching dynamic web content is an effective approach to reduce Internet latency and server load. An ideal caching solution is one that can be added transparently by the developers and provides complete consistency of the cached documents, while minimizing ...

2006

Model checking for Synchronous Java

Claude Petitpierre, Duy Vo Duc

In this paper, we present a model-checking toolset for a synchronous version of the Java language (Synchronous Java or in short sJava). The toolset includes a set of extensions to the Bandera and Bogor model-checking frameworks. It inherits thus a large nu ...

International Society for Computers and Their Applications2006

Milestones in electron crystallography

Henning Paul-Julius Stahlberg

Electron crystallography determines the structure of membrane embedded proteins in the two-dimensionally crystallized state by cryo-transmission electron microscopy imaging and computer structure reconstruction. Milestones on the path to the structure are ...

Springer Nature2006

Deadlock Detector for Synchronous Java.

Claude Petitpierre

In this paper, we present a work that aims to detect deadlocks in the programs written in the Synchronous Java language (sJava). It is based on an extension to a model-checking framework Bogor that allows the verification of concurrent Java programs. The d ...

2004