Modeling of multi-layer beam with interlayer slips
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.
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers, on one hand, are still mostly concerned with precision, e.g., the removal of spurious counterexampl ...
As the number of cores increases in modern multiprocessors, it is becoming increasingly difficult to write general purpose applications that efficiently utilize this computing power. Most applications manipulate structured data. Modern languages and platfo ...
The theme of this dissertation is the study of housing in Lisbon's Baixa Pombalina blocks of flats. It aims to understand the spatial organisation of houses and to study the ways of qualified intervention, thus seeking possible guidelines for future projec ...
The extremely low permeability of Ultra High Performance Fibre Reinforced Concretes (UHPFRC) associated to their outstanding mechanical properties make them especially suitable to locally "harden" reinforced concrete structures in critical zones subjected ...
Voids are often present in composite materials and have, as may be expected, negative effects on the mechanical properties. As a consequence, it is regarded to be important to optimise manufacturing techniques of composite materials towards minimum void co ...
A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structure ...
Currently, most intersection models embedded in macroscopic Dynamic Network Loading (DNL) models are not well suited for urban and regional applications. This is so because so-called internal intersection supply constraints, bounding flows due to crossing ...
Most applications manipulate structured data. Modern languages and platforms provide collection frameworks with basic data structures like lists, hashtables and trees. These data structures come with a range of predefined operations which include sorting, ...
In the 90ies the IBOIS-EPFL developed a new kind of shell structure. The ribs were made with simple boards waved together to form a spatial rib shell. However, the engineer currently does not have any effective method to calculate these kinds of spatial st ...
The life cycle of several sessile or highly sedentary aquatic species is characterized by a pelagic stage, during which propagules are dispersed by the water flow. As a consequence, hydrodynamics plays a crucial role in redistributing offspring. In this wo ...
