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.
Consideration was given to a well-known problem of traffic control at an individual intersection with minimal total delay. The constraints on control (duration of green light in the main direction) and phase variables (queue lengths along each direction) w ...
Many first-order macroscopic models for freeway traffic have been developed since the seminal work on the well-known Lighthill-Whitham-Richards, or LWR, continuous model. The asymmetric cell transmission model (ACTM) is a widely accepted macroscopic model ...
We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term a ...
Currently, the comparatively young floating car technology is mostly used to get information about travel times which however are more attractive to navigation and route guidance. Concerning traffic management applications such as traffic light control, it ...
The immutable Vector collection in the Scala library offers nearly constant-time random access reads thanks to its underlying wide tree data structure. Furthermore, it provides amortized constant time sequential read, update, append and prepend operations ...
Many first-order macroscopic models for freeway traffic have been developed since the seminal work on the well-known Lighthill-Whitham-Richards, or LWR, continuous model. The asymmetric cell transmission model (ACTM) is a widely accepted macroscopic model ...
We present a dynamic network loading model that yields queue length distributions, accounts for spillbacks, and maintains a differentiable mapping from the dynamic demand on the dynamic queue lengths. The approach builds upon an existing stationary queuein ...
The joint synthesis of the spatial power pattern and polarization of arbitrary arrays is addressed. Specifically, the proposed approach gives the solution to a frequently encountered problem, namely the array design (i.e., the determination of the radiatin ...
Institute of Electrical and Electronics Engineers2011
We present a new decidable logic called TREX for expressing constraints about imperative tree data structures. In particular, TREX supports a transitive closure operator that can express reachability constraints, which often appear in data structure invari ...