Publications related to On the Validity of the Fixed Point Equation and Decoupling Assumption for Analyzing the 802.11 MAC Protocol

On the Validity of Consensus

Rachid Guerraoui, Jovan Komatovic, Pierre Philippe Civit, Manuel José Ribeiro Vidigueira, Seth Gilbert

The Byzantine consensus problem involves.. processes, out of which t < n could be faulty and behave arbitrarily. Three properties characterize consensus: (1) termination, requiring correct (nonfaulty) processes to eventually reach a decision, (2) agreement ...

New York2023

Vertical and Leg Stiffness Modeling During Running: Effect of Speed and Incline

Kamiar Aminian, Frédéric Meyer, Grégoire Millet, Mathieu Pascal Falbriard

A spring mass model is often used to describe human running, allowing to understand the concept of elastic energy storage and restitution. The stiffness of the spring is a key parameter and different methods have been developed to estimate both the vertica ...

GEORG THIEME VERLAG KG2023

The competent Computational Thinking test (cCTt): Development and validation of an unplugged Computational Thinking test for upper primary school

Francesco Mondada, Barbara Bruno, Laila Abdelsalam El-Hamamsy

With the increasing importance of Computational Thinking (CT) at all levels of education, it is essential to have valid and reliable assessments. Currently, there is a lack of such assessments in upper primary school. That is why we present the development ...

2022

A Continuized View on Nesterov Acceleration

Nicolas Henri Bernard Flammarion, Raphaël Jean Berthier

We introduce the "continuized" Nesterov acceleration, a close variant of Nesterov acceleration whose variables are indexed by a continuous time parameter. The two variables continuously mix following a linear ordinary differential equation and take gradien ...

2021

Probabilistic and Bayesian methods for uncertainty quantification of deterministic and stochastic differential equations

Giacomo Garegnani

In this thesis we explore uncertainty quantification of forward and inverse problems involving differential equations. Differential equations are widely employed for modeling natural and social phenomena, with applications in engineering, chemistry, meteor ...

EPFL2021

, ,

Background: Emotional processing has been studied in psychotherapy as a state-dependent, sequential process of change. So far, no studies have applied this conceptualisation of emotional processing to the assessments of emotion in daily life. This is parti ...

WILEY2021

Dynamical System Modeling of Self-Regulated Systems Undergoing Multiple Excitations: First Order Differential Equation Approach

Julien Gilles Edgar Gateau

This article proposes a dynamical system modeling approach for the analysis of longitudinal data of self-regulated homeostatic systems experiencing multiple excitations. It focuses on the evolution of a signal (e.g., heart rate) before, during, and after e ...

ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD2020

On the stability of blowup solutions for the critical corotational wave-map problem

Joachim Krieger, Shuang Miao

We show that the finite time blow up solutions for the co-rotational Wave Maps problem constructed in [7,15] are stable under suitably small perturbations within the co-rotational class, provided the scaling parameter

λ(t)=t−1−ν

is sufficiently close to ...

2020

Property FW, differentiable structures and smoothability of singular actions

Yash Lodha, Nicolas Matte Bon

We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group Gamma has the fixed point property FW for walls (for example, if it has property(T)), every aperiodic action of Gamma by diffe ...

WILEY2020

Construct Validity of Unobtrusive Measures of Organizational Ethical Climates

Christine Choirat, Sayan Sarkar

Prior studies have examined the relationship between organizational ethical climates and an array of work-related attitudes and behaviors. However, current research is hampered by the lack of knowledge on how ethical climates relate to organizational outco ...

2020

On the Validity of the Fixed Point Equation and Decoupling Assumption for Analyzing the 802.11 MAC Protocol

Graph Chatbot

Chat with Graph Search

On the Validity of Consensus

Vertical and Leg Stiffness Modeling During Running: Effect of Speed and Incline

The competent Computational Thinking test (cCTt): Development and validation of an unplugged Computational Thinking test for upper primary school

A Continuized View on Nesterov Acceleration

Probabilistic and Bayesian methods for uncertainty quantification of deterministic and stochastic differential equations

Dynamical System Modeling of Self-Regulated Systems Undergoing Multiple Excitations: First Order Differential Equation Approach

On the stability of blowup solutions for the critical corotational wave-map problem

Property FW, differentiable structures and smoothability of singular actions

Construct Validity of Unobtrusive Measures of Organizational Ethical Climates

Vertical and Leg Stiffness Modeling During Running: Effect of Speed and Incline

A Continuized View on Nesterov Acceleration

Property FW, differentiable structures and smoothability of singular actions

On the Validity of Consensus

The competent Computational Thinking test (cCTt): Development and validation of an unplugged Computational Thinking test for upper primary school

Probabilistic and Bayesian methods for uncertainty quantification of deterministic and stochastic differential equations

On the stability of blowup solutions for the critical corotational wave-map problem

Dynamical System Modeling of Self-Regulated Systems Undergoing Multiple Excitations: First Order Differential Equation Approach

Construct Validity of Unobtrusive Measures of Organizational Ethical Climates