Concept

Linked list

Related publications (45)

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.

Real Time Fire Monitoring Using Semantic Web and Linked Data Technologies

Manolis Karpathiotakis

Fire monitoring and management in Mediterranean countries such as Greece is of paramount importance. Almost every summer massive forest fires break out, causing severe destruction and even human life losses. Thus, European initiatives in the area of Earth ...

2012

Multipolar effects and strong coupling in hybrid plasmonic metamaterials

Olivier Martin, Arash Farhang

Recently stacked metamaterial structures coupled to a conductive plane have been investigated and have been shown to exhibit the same properties as stacked structures with double the layers, due to dipole mirror coupling. Here we study a system of stacked ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2012

Multipolar effects and strong coupling in hybrid plasmonic metamaterials

Olivier Martin, Arash Farhang

International Society for Optical Engineering2012

Coping with low modulation in speckle interferometry: a novel approach based on the Delaunay triangulation

Pierre Jacquot, Sébastien Equis

Interferometric signals involving speckle waves invariably exhibit phase indeterminations. These indeterminations arise at the zero-intensities of the speckle fields, or singularities, and show themselves as a net loss of modulation depth of the interferom ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2010

Shape Refinement through Explicit Heap Analysis

Dirk Thilo Beyer, Grégory Théoduloz, Damien Zufferey

Shape analysis is a promising technique to prove program properties about recursive data structures. The challenge is to automatically determine the data-structure type, and to supply the shape analysis with the necessary information about the data structu ...

Springer2010

Software Verification by Combining Program Analyses of Adjustable Precision

Grégory Théoduloz

In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers, on one hand, are still mostly concerned with precision, e.g., the removal of spurious counterexampl ...

EPFL2010

On Deciding Functional Lists with Sublist Sets

Viktor Kuncak

Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functional lists. We first show how to decide in NP the satisfiability problem for lo ...

2010

Multi-level diffusion adaptive networks

Ali H. Sayed

We study the problem of distributed estimation, where a set of nodes are required to collectively estimate some parameter of interest from their measurements. Diffusion algorithms have been shown to achieve good performance, increased robustness and are am ...

IEEE2009

On Set-Driven Combination of Logics and Verifiers

Viktor Kuncak

We explore the problem of automated reasoning about the non-disjoint combination of logics that share set variables and operations. We prove a general combination theorem, and apply it to show the decidability for the quantifier-free combination of formula ...

2009

Slicing Distributed Systems

Anne-Marie Kermarrec, Vincent Gramoli

Peer-to-peer (P2P) architectures are popular for tasks such as collaborative download, VoIP telephony, and backup. To maximize performance in the face of widely variable storage capacities and bandwidths, such systems typically need to shift work from poor ...

2009