Model theory

About
Privacy
Disclaimer

Graph Chatbot

Related publications (29)

Page 2 of 2

Design framework for the structural analysis of free-form timber plate structures using wood-wood connections

Yves Weinand, Petras Vestartas, Anh Chi Nguyen

Geometrically complex timber plate structures using wood-wood connections are increasingly designed thanks to digital fabrication. Whereas their fabrication has been automated using computer-aided design programming, research focused on the development of ...

2019

Learning new physics from a machine

Andrea Wulzer, Raffaele Tito D'Agnolo

We propose using neural networks to detect data departures from a given reference model, with no prior bias on the nature of the new physics responsible for the discrepancy. The virtues of neural networks as unbiased function approximants make them particu ...

American Physical Society2019

Theory and Practice of Coroutines with Snapshots

Fengyun Liu, Aleksandar Prokopec

While event-driven programming is a widespread model for asynchronous computing, its inherent control flow fragmentation makes event-driven programs notoriously difficult to understand and maintain. Coroutines are a general control flow construct that can ...

2018

Validation of the Critical Shear Crack Theory for punching of slabs without transverse reinforcement by means of a refined mechanical model

Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões

Despite the intensive efforts dedicated in the last decades to better understanding punching shear failures, there is still no consensus on the mechanics governing this phenomenon and on how to implement it within a physical approach. In this paper, an ana ...

2018

Causal Consistency and Latency Optimality: Friend or Foe? [Extended Version]

Rachid Guerraoui, Willy Zwaenepoel, Diego Didona, Jingjing Wang

Causal consistency is an attractive consistency model for geo-replicated data stores. It is provably the strongest model that tolerates network partitions. It avoids the long latencies associated with strong consistency, and, especially when using read-onl ...

2018

Causal Consistency and Latency Optimality: Friend or Foe?

Rachid Guerraoui, Willy Zwaenepoel, Diego Didona, Jingjing Wang

ASSOC COMPUTING MACHINERY2018

Essays in Bank Financing

Yalda Sigrist

This thesis examines the optimal mode of financing for banks and financial institutions. The first chapter, which is a joint work with Prof. Jean-Charles Rochet, investigates how Systemically Important Financial Institutions (SIFIs) should be financed. The ...

EPFL2017

Exact Synthesis of Majority-Inverter Graphs and Its Applications

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken, Luca Gaetano Amarù

We propose effective algorithms for exact synthesis of Boolean logic networks using satisfiability modulo theories (SMT) solvers. Since exact synthesis is a difficult problem, it can only be applied efficiently to very small functions, having up to 6 varia ...

Ieee-Inst Electrical Electronics Engineers Inc2017

Dimerization and exotic criticality in spin-S chains

Natalia Chepiga

In this thesis we have studied the emergence of spontaneously dimerized phases in frustrated spin-S chains, with emphasis on the nature of the critical lines between the dimerized and non-dimerized phases. The main numerical method used in this thesis is t ...

EPFL2017