Publications related to Web framework

On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

This paper explores the contribution of systems modeling to the design and analysis of viability in service systems. We apply a modeling framework called SEAM (Systemic Enterprise Architecture Method) to gain an understanding of how a service system mainta ...

Springer2010

Effect of temperature on water retention phenomena in deformable soils: theoretical and experimental aspects

Simon Salager

In this paper, a theoretical and experimental investigation of the effect of temperature on water retention phenomena in deformable soils is presented. A general law expressing the change in suction with water content, temperature and void ratio is propose ...

Wiley-Blackwell2010

Outtweeting the Twitterers - Predicting Information Cascades in Microblogs

Karl Aberer, Dipanjan Chakraborty, Wojciech Galuba, Zoran Despotovic

Microblogging sites are a unique and dynamic Web 2.0 communication medium. Understanding the information flow in these systems can not only provide better insights into the underlying sociology, but is also crucial for applications such as content ranking, ...

2010

On Using Static Analysis to Detect Type Errors in PHP Applications

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstructing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features t ...

2010

A Unified Framework for Location Privacy

Jean-Pierre Hubaux, Julien Freudiger, Reza Shokri

We introduce a novel framework that provides a logical structure for classifying and organizing fundamental components and concepts of location privacy. Our framework models mobile networks and applications, threats, location-privacy preserving mechanisms, ...

2010

Vulnerability of the economy to the potential disturbances of energy supply: A logic-based model with application to the case of China

Edgard Gnansounou, Jun Dong

The disturbances of energy supply that may result from both external and domestic events create a significant threat for national economy due to potential impacts on the productivity, employment and overall economic growth. Building scenarios of the econom ...

Elsevier2010

Tests and Analyses of Two TF Conductor Prototypes for JT-60SA

Pierluigi Bruzzone, Boris Stepanov

In the framework of the JT-60SA project, included inside the Broader Approach agreement, EU is expected to provide to JA the totality of the toroidal field (TF) magnet system. It consists in 18 coils, evenly shared for in-kind procurement between France an ...

IEEE2010

An optimal first-order solver for the TV-$L_1$ optical flow problem

Pierre Vandergheynst, Gilles Puy, Emmanuel D'Angelo

In this study, we address the problem of computing efficiently a dense optical flow between two images under a total variation (TV) regularization and an

L_1

norm data fidelity constraint using a variational method. We build upon Nesterov's framework for ...

2010

Two-stage column generation

Michel Bierlaire, Matteo Salani, Ilaria Vacca

We introduce a new concept in column generation for handling complex large scale optimization problems, called two-stage column generation, where columns for the compact and extensive formulation are simultaneously generated. The new framework is specifica ...

2010

From high-level component-based models to distributed implementations

Joseph Sifakis

Although distributed systems are widely used nowadays, their implementation and deployment is still a time-consuming, error-prone, and hardly predictive task. In this paper, we propose a methodology for producing automatically efficient and correct-by-cons ...

ACM2010

Web framework

Graph Chatbot

Chat with Graph Search

On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

Effect of temperature on water retention phenomena in deformable soils: theoretical and experimental aspects

Outtweeting the Twitterers - Predicting Information Cascades in Microblogs

On Using Static Analysis to Detect Type Errors in PHP Applications

A Unified Framework for Location Privacy

Vulnerability of the economy to the potential disturbances of energy supply: A logic-based model with application to the case of China

Tests and Analyses of Two TF Conductor Prototypes for JT-60SA

An optimal first-order solver for the TV-$L_1$ optical flow problem

Two-stage column generation

From high-level component-based models to distributed implementations

Effect of temperature on water retention phenomena in deformable soils: theoretical and experimental aspects

Tests and Analyses of Two TF Conductor Prototypes for JT-60SA

From high-level component-based models to distributed implementations

Two-stage column generation

On Using Static Analysis to Detect Type Errors in PHP Applications

Vulnerability of the economy to the potential disturbances of energy supply: A logic-based model with application to the case of China

On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

An optimal first-order solver for the TV-$L_1$ optical flow problem

Outtweeting the Twitterers - Predicting Information Cascades in Microblogs

A Unified Framework for Location Privacy