Publication

Capabilities for Uniqueness and Borrowing

Publications associées (18)

The concept of axial weak twins

It is generally assumed that the parent-twin interface is a fully invariant plane. The calculations of the rational interfaces of the type I twins and irrational interfaces of the type II twins are based on this hypothesis. Recently, some asymmetric facets ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

Assoc Computing Machinery2022

Towards elucidating the structural and cellular determinants of a-synuclein seeding and toxicity

Somanath Jagannath

Although it has been nearly two and half decades since the discovery of alpha-synuclein (aSyn) as the major component of Lewy bodies (LBs), our understanding of the involvement of different aSyn species, their seeding, spreading and toxicity in Parkinson's ...

EPFL2022

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

ASSOC COMPUTING MACHINERY2022

Steel Sheet Sheathed Cold-Formed Steel Framed In-line Wall Systems. I: Impact of Structural Detailing

Fani Derveni

The North American construction industry has seen substantial growth in the use of cold-formed steel (CFS) framing for midrise buildings in recent years. In seismic zones, CFS-framed buildings utilize shear walls to provide the primary lateral resistance t ...

ASCE-AMER SOC CIVIL ENGINEERS2022

Macrocyclization of omega-Isocyanoaldehydes and Towards the Total Synthesis of Jamaicensamide A

Teerawat Songsichan

In the first chapter of this thesis, the macrocyclization of a new type of bifunctional substrates, omega-isocyanoaldehyde derivatives, is described. Ten different omega-isocyanoaldehydes in terms of different ring sizes and functional groups were prepared ...

EPFL2021

Transgenic Model Systems Have Revolutionized the Study of Disease

Alexandre Gauthier Aurèle Mayran, Christopher Chase Bolt

The current pandemic caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has affected most of the world in a profound way. As an indirect consequence, the general public has been put into direct contact with the research process, almost ...

MARY ANN LIEBERT, INC2021