Publication

Towards a Theory of Glue

Related publications (31)

Formula Normalizations in Verification

Viktor Kuncak, Mario Bucev, Simon Guilloud, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

A Formal Model of Extended Tonal Harmony

Martin Alois Rohrmeier, Fabian Claude Moss

Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...

2021

Hamiltonian truncation in Anti-de Sitter spacetime

João Miguel Augusto Penedones Fernandes, Marco Meineri, Kamran Salehi Vaziri, Matthijs Jan Hogervorst

Quantum Field Theories (QFTs) in Anti-de Sitter (AdS) spacetime are often strongly coupled when the radius of AdS is large, and few methods are available to study them. In this work, we develop a Hamiltonian truncation method to compute the energy spectrum ...

Springer Nature2021

Electronic-structure methods for materials design

Nicola Marzari, Andrea Ferretti

Simulations can be used to accelerate the characterization and discovery of materials. Here we Review how electronic-structure methods such as density functional theory work, what properties they can be used to predict and how they can be used to design ma ...

NATURE RESEARCH2021

Personalizable computational models of electrical spinal cord stimulation to restore function after neurological disorders

Andreas Rowald

Spinal Cord Injury (SCI) disrupts the communication between the brain and spinal circuits below the lesion, leading to a plethora of neurological impairments, including the loss of motor function. At present, the only medical practices to enhance recovery ...

EPFL2021

Theory of time delayed genetic oscillations with external noisy regulation

Andrew Charles Oates, Laurel Ann Rohde, Jose Negrete Jr

Video Abstract Video Abstract: Theory of time delayed genetic oscillations with external noisy regulation We present a general theory of noisy genetic oscillators with externally regulated production rate and multiplicative noise. The observables that char ...

2021

Serre-Tate theory for Calabi-Yau varieties

Maciej Emilian Zdanowicz

Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips the base of its universal deformation with a Frobenius lifting and canonical multipl ...

WALTER DE GRUYTER GMBH2021

Static and dynamic properties of non-collinear quantum antiferromagnets explored by neutron scattering

Luc Testa

This thesis is devoted to the investigation of static and dynamic properties of two different sets of quantum magnets with neutron scattering techniques and the help of linear spin wave theory. Both systems are copper-based with spin-1/2, which makes them ...

EPFL2021

Exploring policy change through agent-based simulation

Raphaël Klein

Policymaking is a complex process that has been studied using policy process theories almost exclusively. These theories have been built using a large number of qualitative cases. Such methods are useful for theory building but remain limited for theory ex ...

EPFL2021

Atomistic modeling of the solid-liquid interface of metals and alloys

Edoardo Baldi

Solidification is a phase transformation of utmost importance in material science, for it largely controls materials' microstructure on which a wide range of mechanical properties depends. Almost every human artifact undergoes a transformation that leads t ...

EPFL2020

Axiomatic scale theory

Martin Alois Rohrmeier, Daniel Harasim

Scales are a fundamental concept of musical practice around the world. They commonly exhibit symmetry properties that are formally studied using cyclic groups in the field of mathematical scale theory. This paper proposes an axiomatic framework for mathema ...

TAYLOR & FRANCIS LTD2020