Concept

Branching quantifier

Publications associées (120)

Earthquake-Induced Collapse Risk and Loss Assessment of Steel Concentrically Braced Frames

This paper quantifies the collapse risk and earthquake-induced losses for a wide range of archetype buildings with special concentrically braced frames (SCBFs). The collapse risk and expected economic losses associated with repair, demolition and collapse ...

2018

Earthquake-Induced Collapse Risk and Loss Assessment of Steel Concentrically Braced Frames

Dimitrios Lignos, Seong-Hoon Hwang

2018

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

Quantifying Interdependent Privacy Risks with Location Data

Jean-Pierre Hubaux, Mathias Jacques Jean-Marc Humbert, Kévin Clément Huguenin, Reza Shokri, Alexandra-Mihaela Olteanu

Co-location information about users is increasingly available online. For instance, mobile users more and more frequently report their co-locations with other users in the messages and in the pictures they post on social networking websites by tagging the ...

Ieee Computer Soc2017

Effect of Modeling Assumptions on the Earthquake-Induced Losses and Collapse Risk of Steel-Frame Buildings with Special Concentrically Braced Frames

Dimitrios Lignos, Seong-Hoon Hwang

This paper quantifies the collapse risk and earthquake-induced economic losses of steel-frame buildings with special concentrically braced frames designed in urban California. A probabilistic building-specific loss estimation methodology that can explicitl ...

Asce-Amer Soc Civil Engineers2017

Streamwater pCO2in an Alpine Headwater Catchment

Tom Ian Battin, Amber Joy Ulseth, Asa Lovisa Viktoria Horgby, Marta Boix Canadell

Boreal and alpine streams are highly sensitive to climate change. Previous studies have shown the relevance of streams for carbon cycling in boreal landscapes. Less work has been done on alpine streams, and we do not understand the contributions from these ...

2017

Automating Verification of Functional Programs with Quantified Invariants

Viktor Kuncak, Nicolas Charles Yves Voirol

We present the foundations of a verifier for higher-order functional programs with generics and recursive algebraic data types. Our ver- ifier supports finding sound proofs and counterexamples even in the presence of certain quantified invariants and recur ...

2016

What lies beneath? Diffusion EAP-based study of brain tissue microstructure

Alessandro Daducci, Cristina Granziera, Gloria Menegaz

Diffusion weighted magnetic resonance signals convey information about tissue microstructure and cytoarchitecture. In the last years, many models have been proposed for recovering the diffusion signal and extracting information to constitute new families o ...

Elsevier Science Bv2016

Measurement, Data Interpretation, and Uncertainty Propagation for Fatigue Assessments of Structures

Ian Smith, Alain Nussbaumer, James-Alexandre Goulet, Romain Pasquier, Claire Acevedo, Luca D'Angelo

Real behavior of existing structures is usually associated with large uncertainty that is often covered by the use of conservative models and code practices for the evaluation of remaining fatigue lives. In order to make better decisions related to retrofi ...

American Society of Civil Engineers2016

Eulerian theory of newtonian deformable lattices – dislocation and disclination charges in solids

Gérard Gremaud

This book lays methodically the foundations of an original approach of the solid lattices deformation using the Euler coordinates, and introduces in details the concept of tensor dislocation charges and tensor disclination charges within a lattice. This ne ...

Amazon2016

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.

Connectez-vous pour utiliser Chat avec Graph Search