Publications related to Boundedly generated groups with pseudocharacter(s)

Safety-Liveness Exclusion in Distributed Computing

The history of distributed computing is full of trade-offs between safety and liveness. For instance, one of the most celebrated results in the field, namely the impossibility of consensus in an asynchronous system basically says that we cannot devise an a ...

ACM Press2015

Safety-Liveness Exclusion in Distributed Computing

Rachid Guerraoui, Victor Bushkov

The history of distributed computing is full of trade-offs between safety and liveness. For instance, one of the most celebrated results in the field, namely the impossibility of consensus in an asynchronous system basically says that we cannot devise an a ...

ACM2015

Dissipative Boundary Conditions for Nonlinear 1-D Hyperbolic Systems: Sharp Conditions Through an Approach via Time-Delay Systems

Hoài-Minh Nguyên

We analyze dissipative boundary conditions for nonlinear hyperbolic systems in one space dimension. We show that a known sufficient condition for exponential stability with respect to the H-2-norm is not sufficient for the exponential stability with respec ...

Society for Industrial and Applied Mathematics2015

Toward a Materials Genome Approach for Ionic Liquids: Synthesis Guided by Ab Initio Property Maps

Berend Smit

The Materials Genome Approach (MGA) aims to accelerate development of new materials by incorporating computational and data-driven approaches to reduce the cost of identification of optimal structures for a given application. Here, we use the MGA to guide ...

Amer Chemical Soc2014

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Fabio Nobile, Annalisa Buffa, Francesca Bonizzoni

We study the mixed formulation of the stochastic Hodge-Laplace problem dened on a

n

-dimensional domain

D (n ≥ 1)

, with random forcing term. In particular, we focus on the magnetostatic problem and on the Darcy problem in the three dimensional case. We ...

2014

Why do individuals behave differently in commons dilemmas? The case of alpine farmers using common property pastures in Grindelwald, Switzerland

Claudia Rebeca Binder Signer, Ivo Philippe Baur

Research articles Why do individuals behave differently in commons dilemmas? The case of alpine farmers using common property pastures in Grindelwald, Switzerland Authors: Ivo Baur , Karina Liechti, Claudia Rebecca Binder Abstract The sustainable use of co ...

2014

Local discontinuous Galerkin methods for fractional diffusion equations

Jan Sickmann Hesthaven

We consider the development and analysis of local discontinuous Galerkin methods for fractional diffusion problems in one space dimension, characterized by having fractional derivatives, parameterized by beta in [1,2]. After demonstrating that a classic ap ...

EDP Sciences2013

On the physical consistency between three-dimensional and one-dimensional models in haemodynamics

Alfio Quarteroni, Christian Vergara, Luca Formaggia

In this work we discuss the reliability of the coupling among three-dimensional (3D) and one-dimensional (1D) models that describe blood flowing into the circulatory tree. In particular, we study the physical consistency of the 1D model with respect to the ...

Academic Press Inc Elsevier Science2013

Implicit coupling of one-dimensional and three-dimensional blood flow models with compliant vessels

Alfio Quarteroni, Simone Deparis, Adelmo Cristiano Innocenza Malossi, Paolo Crosetto

Simulating arterial trees in the cardiovascular system can be made by the help of different models, depending on the outputs of interest and the desired degree of accuracy. In particular, one-dimensional fluid-structure interaction models for arteries are ...

Society for Industrial and Applied Mathematics2013

Nondispersive solutions to the $L^2$-critical half-wave equation

Joachim Krieger

We consider the focusing

L^2

-critical half-wave equation in one space dimension

i \partial_t u = D u - |u|^2 u,

where

D

denotes the first-order fractional derivative. Standard arguments show that there is a critical threshold

M_* > 0

such that all ...

Springer Verlag2013

Boundedly generated groups with pseudocharacter(s)

Graph Chatbot

Chat with Graph Search

Safety-Liveness Exclusion in Distributed Computing

Safety-Liveness Exclusion in Distributed Computing

Dissipative Boundary Conditions for Nonlinear 1-D Hyperbolic Systems: Sharp Conditions Through an Approach via Time-Delay Systems

Toward a Materials Genome Approach for Ionic Liquids: Synthesis Guided by Ab Initio Property Maps

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Why do individuals behave differently in commons dilemmas? The case of alpine farmers using common property pastures in Grindelwald, Switzerland

Local discontinuous Galerkin methods for fractional diffusion equations

On the physical consistency between three-dimensional and one-dimensional models in haemodynamics

Implicit coupling of one-dimensional and three-dimensional blood flow models with compliant vessels

Nondispersive solutions to the $L^2$-critical half-wave equation

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Why do individuals behave differently in commons dilemmas? The case of alpine farmers using common property pastures in Grindelwald, Switzerland

Toward a Materials Genome Approach for Ionic Liquids: Synthesis Guided by Ab Initio Property Maps

Local discontinuous Galerkin methods for fractional diffusion equations

On the physical consistency between three-dimensional and one-dimensional models in haemodynamics

Implicit coupling of one-dimensional and three-dimensional blood flow models with compliant vessels

Nondispersive solutions to the $L^2$-critical half-wave equation

Safety-Liveness Exclusion in Distributed Computing

Dissipative Boundary Conditions for Nonlinear 1-D Hyperbolic Systems: Sharp Conditions Through an Approach via Time-Delay Systems

Safety-Liveness Exclusion in Distributed Computing