Publications associées à A Family of Smooth and Interpolatory Basis Functions for Parametric Curve and Surface Representation

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Springer International Publishing Ag2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

Experimental and analytical investigation of shear-reinforced concrete and dowel action

Marko Pejatovic

Codes of practice can be overly conservative, particularly for the shear resistance of reinforced concrete beams with shear reinforcement when large loads act close to supports. This thesis addresses the topic by proposing a refined design approach based o ...

EPFL2024

Experimental investigation of dowel action in reinforcing bars using refined measurements

Aurelio Muttoni, Marko Pejatovic

In typical reinforced concrete design, reinforcement is designed to carry axial forces, but it can also resist transversal forces by dowel action. This is usually neglected for simplicity's sake in the design phase, but it can be accounted for either expli ...

Ernst & Sohn2024

A concrete answer for circular construction: three prototypes reusing saw-cut elements

Corentin Jean Dominique Fivet, Maléna Bastien Masse, Célia Marine Küpfer

Existing concrete buildings should be retained for as long as possible to reduce the environmental burden of demolition and new construction. However, when urban pressure makes demolition unavoidable, salvaging and reusing concrete elements elsewhere in ne ...

2024

Reusability assessment of reinforced concrete components prior to deconstruction from obsolete buildings

Corentin Jean Dominique Fivet, Maléna Bastien Masse, Julie Rachel Devènes

A large part of building demolitions is motivated by purely socio-economic reasons. Hence, about-to-be-demolished structures, commonly made of reinforced concrete, very often present no or little degradation. When adaptive reuse of the entire building is n ...

2024

Contributions to rebar-to-concrete interaction and its structural implications for design and monitoring applications

Enrique Corres Sojo

Bond between reinforcing bars and concrete has been the focus of extensive research over the last century. This is well-justified as the functioning of reinforced concrete intimately depends on the interaction between rebar and concrete, as for example cra ...

EPFL2024

Structural component reuse of precast and cast-in-place reinforced concrete in architecture since the late 1960s in Europe

Corentin Jean Dominique Fivet, Célia Marine Küpfer

The reuse of concrete pieces salvaged from structures undergoing transformation or demolition into new architectural projects has gained a sudden and visible interest over the past five years. However, the practice of reusing concrete pieces in new structu ...

vdf Hochschulverlag AG2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Retraction-based numerical methods for continuation, interpolation and time integration on manifolds

Axel Elie Joseph Séguin

The goal of this thesis is the development and the analysis of numerical methods for problems where the unknown is a curve on a smooth manifold. In particular, the thesis is structured around the three following problems: homotopy continuation, curve inter ...

EPFL2023