Concept

Conteneur

Publications associées (53)

Systems and methods for tracking interacting objects

Pascal Fua, François Fleuret, Engin Türetken, Xinchao Wang

Systems and methods for tracking interacting objects may acquire, with a sensor, and two or more images associated with two or more time instances. A processor may generate image data from the two or more images. The processor may apply an extended Probabi ...

2015

Taste heterogeneity and latent preferences in the choice behaviour of freight transport operators

Michel Bierlaire

In this paper we show that individual attitudes of road carriers and their latent preferences toward specific freight service attributes do play a role in determining their mode choices. Specifically, we contribute to the empirical literature on freight ag ...

Elsevier Sci Ltd2013

Post-irradiation analysis of the tantalum container of an ISOLDE LBE target

CERN-ISOLDE operates a range of oxides, carbides, refractory metal foils and liquid metal targets for the production of radioactive ion beams. Following irradiation with a pulsed beam of 1 GeV and 1.4 GeV protons at temperatures reaching 600 degrees C, the ...

Elsevier Science Bv2012

Exact and heuristic methods to solve the berth allocation problem in bulk ports

Michel Bierlaire, Ilaria Vacca, Nitish Umang

While significant contributions have been made in the use of operations research methods and techniques to optimize container terminals, relatively less attention has been directed to bulk ports. In this paper, we consider the problem of allocating vessels ...

2012

Containers assembled in fluid and corresponding production

Jürgen Brugger, Alcherio Martinoli, Cristina Martin Olmos, Grégory Mermoud

A method for fabricating a fluid container, wherein at least two half containers are mated in said fluid to be contained in said container. This method allows the incorporation of prefabricated devices into each half containers as well as the functional co ...

2011

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011

Optimization in container terminals: hierarchical vs integrated solution approaches

Michel Bierlaire, Matteo Salani, Ilaria Vacca

Over the last years, international sea freight container transportation has grown dramatically and container terminals play nowadays a key role within the global shipping network. Terminals operations have received increasing interest in the scientific lit ...

2010

Optimization of operations in container terminals: hierarchical vs integrated approaches

Michel Bierlaire, Matteo Salani, Ilaria Vacca

Over the last years, international sea freight container transportation has grown dramatically and container terminals play nowadays a key role within the global shipping network. Terminal's operations have received increasing interest in the scientific li ...

2010

Yard traffic and congestion in container terminals

Michel Bierlaire, Matteo Salani, Ilaria Vacca, Arnaud Vandaele

In container terminals, the yard is the zone where containers are stored: it serves as a buffer for loading, unloading and transshipping containers. Yard is usually the bottleneck of the terminal, as traffic, congestion and capacity issues mainly originate ...

2009

Models and Heuristics for the Tactical Berth Allocation Problem with Quay-Crane Assignment and Transshipment Costs

Matteo Salani, Ilaria Vacca

In the context of international sea-freight container transport, we study an integrated decision problem arising in container terminal management. We consider the integration of the Berth Allocation Problem (BAP), which consists of assigning and scheduling ...

2009

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