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.
In threshold graphs one may find weights for the vertices and a threshold value t such that for any subset S of vertices, the sum of the weights is at most the threshold t if and only if the set S is a stable (independent) set. In this note we ask a simila ...
Given a geometric hypergraph (or a range-space) H=(V,E), a coloring of its vertices is said to be conflict-free if for every hyperedge S∈E there is at least one vertex in S whose color is distinct from the colors of all other vertices i ...
We discuss a model predictive control approach to trajectory tracking problems of constrained nonlinear con- tinuous time systems, where the reference trajectory is a priori known and asymptotically constant. The proposed NMPC scheme is able to explicitly ...
2011
,
Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to co ...
Let C be a family of n convex bodies in the plane, which can be decomposed into k subfamilies of pairwise disjoint sets. It is shown that the number of tangencies between the members of C is at most O(kn), and that this bound cannot be improved. If we only ...
Despite the rapid evolution of computational power, simulation of meander dynamics by means of reduced and computationally less expensive models remains practically relevant for investigation of large-scale and long-term processes, probabilistic prediction ...
Let n >= 4 be even. It is shown that every set S of n points in the plane can be connected by a (possibly self-intersecting) spanning tour (Hamiltonian cycle) consisting of n straight-line edges such that the angle between any two consecutive edges is at m ...
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 ...
We present results from an experimental investigation of the indentation of nonspherical pressurized elastic shells with a positive Gauss curvature. A predictive framework is proposed that rationalizes the dependence of the local rigidity of an indented sh ...
Certain high power laser applications require thin homogeneous laser lines. In this paper we describe the concept, fabrication and characterization of a 1-D diffuser that generates such a line. The device is based on an array of concave cylinder lenses wit ...
