Publications associées à Analysis and Remediation of Handwriting difficulties

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Non-planarity of Markoff graphs mod p

Matthew De Courcy-Ireland

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Transportation-based functional ANOVA and PCA for covariance operators

Victor Panaretos, Yoav Zemel, Valentina Masarotto

We consider the problem of comparing several samples of stochastic processes with respect to their second-order structure, and describing the main modes of variation in this second order structure, if present. These tasks can be seen as an Analysis of Vari ...

Inst Mathematical Statistics-Ims2024

The hindbrain and cortico-reticular pathway in adolescent idiopathic scoliosis

Bénédicte Marie Maréchal

AIM: To characterise the corticoreticular pathway (CRP) in a case -control cohort of adolescent idiopathic scoliosis (AIS) patients using high -resolution slice -accelerated readoutsegmented echo -planar diffusion tensor imaging (DTI) to enhance the discri ...

W B Saunders Co Ltd2024

Influence of Ventilation on Formation and Growth of 1-20 nm Particles via Ozone-Human Chemistry

Dusan Licina, Shen Yang, Marouane Merizak, Meixia Zhang

Ozone reaction with human surfaces is an important source of ultrafine particles indoors. However, 1-20 nm particles generated from ozone-human chemistry, which mark the first step of particle formation and growth, remain understudied. Ventilation and indo ...

Amer Chemical Soc2024

Pivot, process for manufacturing such a pivot, oscillator comprising such a pivot, watch movement and timepiece comprising such an oscillator

Simon Nessim Henein, Loïc Benoît Tissot-Daguette

The present invention concerns a pivot comprising two assemblies, namely a central assembly (401) and a peripheral assembly (400). These two assemblies are mobile in rotation relative to each other around an axis of rotation (A). The pivot is characterized ...

2024

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Gianluigi Rozza, Fabio Zoccolan

In this paper we will consider distributed Linear-Quadratic Optimal Control Problems dealing with Advection-Diffusion PDEs for high values of the Peclet number. In this situation, computational instabilities occur, both for steady and unsteady cases. A Str ...

Walter De Gruyter Gmbh2024

A Biohybrid Superorganism - Investigating honeybees' collective behaviors via interactive robotics

Rafael Botner Barmak

Social insects, such as ants, termites, and honeybees, have evolved sophisticated societies where the collaborative efforts of "simple" individuals can lead to the emergence of complex dynamics. The reliance of each organism on the collective is so great t ...

EPFL2024

Weak correlations between visual abilities in healthy older adults, despite long-term performance stability

Michael Herzog, Simona Adele Garobbio

Using batteries of visual tests, most studies have found that there are only weak correlations between the performance levels of the tests. Factor analysis has confirmed these results. This means that a participant excelling in one test may rank low in ano ...

2024

Measurement of the K+ → π+γγ decay

Alessandro Mapelli, Radoslav Marchevski, Alina Kleimenova

A sample of 3984 candidates of the K+ -> pi(+)gamma gamma decay, with an estimated background of 291 +/- 14 events, was collected by the NA62 experiment at CERN during 2017-2018. In order to describe the observed di-photon mass spectrum, the next-to-leadin ...

Elsevier2024

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Nagammal Neelagandan

Genes implicated in translation control have been associated with autism spectrum disorders (ASDs). However, some important genetic causes of autism, including the 16p11.2 microdeletion, bear no obvious connection to translation. Here, we use proteomics, g ...

Amer Assoc Advancement Science2024

How to Support Students to Cultivate Psychological Safety in their Teams

Francesco Mondada, Jessica Elke Dehler Zufferey, Yousef Jalali

The importance of psychological safety in teams has been demonstrated in different settings. Team performance improves when team climate allows team members to be their authentic selves, to ask questions and raise concerns comfortably. However, it is less ...

EPFL2024

Partial discharge localization in power transformer tanks using machine learning methods

Farhad Rachidi-Haeri, Marcos Rubinstein, Hamidreza Karami

This paper presents a comparison of machine learning (ML) methods used for three-dimensional localization of partial discharges (PD) in a power transformer tank. The study examines ML and deep learning (DL) methods, ranging from support vector machines (SV ...

Nature Publishing Group2024

Memento Mori: Reliable robustness in self-reconfigurable modular robots

Kevin Andrew Holdcroft

Modular robotics link the reliability of a centralised system with the adaptivity of a decentralised system. It is difficult for a robot with a fixed shape to be able to perform many different types of tasks. As the task space grows, the number of functi ...

EPFL2024

Long live(d) CsPbBr3 superlattices: colloidal atomic layer deposition for structural stability

Raffaella Buonsanti, Alexander Nicolas Chen, Philippe Benjamin Green, Victoria Lapointe

Superlattice formation afforded by metal halide perovskite nanocrystals has been a phenomenon of interest due to the high structural order induced in these self-assemblies, an order that is influenced by the surface chemistry and particle morphology of the ...

Royal Soc Chemistry2024

Amygdala volumes and associations with socio-emotional competencies in preterm youth: cross-sectional and longitudinal data

Laura Ioana Gui, Elda Fischi Gomez, Petra Susan Hüppi, Vanessa Siffredi

Background Socio-emotional difficulties often result from very preterm (VPT) birth. The amygdala's developmental trajectory, including its nuclei, has been recognized as a significant factor in observed difficulties. This study aims to assess the relations ...

Springernature2024

Robot Learning using Tensor Networks

Suhan Narayana Shetty

In various robotics applications, the selection of function approximation methods greatly influences the feasibility and computational efficiency of algorithms. Tensor Networks (TNs), also referred to as tensor decomposition techniques, present a versatile ...

EPFL2024

Euclid: Validation of the MontePython forecasting tools

Slobodan Ilic, Georges Meylan, Frédéric Courbin, Julien Lesgourgues, Richard Massey, Maurizio Martinelli, Jean-Luc Starck, Yi Wang

Context. The Euclid mission of the European Space Agency will perform a survey of weak lensing cosmic shear and galaxy clustering in order to constrain cosmological models and fundamental physics. Aims. We expand and adjust the mock Euclid likelihoods of t ...

Edp Sciences S A2024