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.
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 ...
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 ...
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 ...
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 ...
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 ...
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 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 ...
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 ...