Publications related to Covers Of Rational Double Points In Mixed Characteristic

Related publications (29)

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

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

Two-particle Bose-Einstein correlations and their Lévy parameters in PbPb collisions at √sNN=5.02 TeV

Jian Wang, Matthias Finger, Qian Wang, Yiming Li, João Miguel das Neves Duarte, Matthias Wolf, Varun Sharma, Yi Zhang, Tian Cheng, Yixing Chen, Alexis Kalogeropoulos, Ioannis Papadopoulos, Hua Zhang, Siyuan Wang, Xin Chen, Michele Bianco, Sebastiana Gianì, Sun Hee Kim, Davide Di Croce, Jian Zhao, Rakesh Chawla, Jan Steggemann, Konstantin Androsov, Anna Mascellani, Federica Legger, Matteo Galli, Gabriele Grosso

Two -particle Bose-Einstein momentum correlation functions are studied for charged-hadron pairs in lead -lead collisions at a center -of -mass energy per nucleon pair of .'/sNN = 5.02 TeV. The data sample, containing 4.27 x 109 minimum bias events correspo ...

Amer Physical Soc2024

Algebraic twists of GL(2) automorphic forms

Vignesh Arumugam Nadarajan

In this thesis we consider the problem of estimating the correlation of Hecke eigenvalues of GL2 automorphic forms with a class of functions of algebraic origin defined over finite fields called trace functions. The class of trace functions is vast and inc ...

EPFL2023

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Alexis Marie Frederic Goujon, Joaquim Gonçalves Garcia Barreto Campos

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

Nicolas Clairis

The dorsomedial prefrontal cortex/dorsal anterior cingulate cortex (dmPFC/dACC) is a brain area subject to many theories and debates over its function(s). Even its precise anatomical borders are subject to much controversy. In the past decades, the dmPFC/d ...

Oxford Univ Press2023

Haptics based collaborative steering control in automated driving environments

Tomohiro Nakade

A vehicle's steering is a particular system in that it is exposed to individual subjective reviews based on criteria that are hard to assess quantitatively. Haptic design of such systems is a prime concern that has been at the center of industrial developm ...

EPFL2023

Fundamental Limits in Statistical Learning Problems: Block Models and Neural Networks

Elisabetta Cornacchia

This thesis focuses on two selected learning problems: 1) statistical inference on graphs models, and, 2) gradient descent on neural networks, with the common objective of defining and analysing the measures that characterize the fundamental limits. In th ...

EPFL2023

The multivariate Serre conjecture ring

Luc Guyot

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

Academic Press Inc Elsevier Science2023

Neural Energy Casimir Control for Port-Hamiltonian Systems

Giancarlo Ferrari Trecate, Muhammad Zakwan, Liang Xu

The energy Casimir method is an effective controller design approach to stabilize port-Hamiltonian systems at a desired equilibrium. However, its application relies on the availability of suitable Casimir and Lyapunov functions, whose computation are gener ...

2022

Finite Littlestone Dimension Implies Finite Information Complexity

Michael Christoph Gastpar, Ido Nachum, Aditya Pradeep

We prove that every online learnable class of functions of Littlestone dimension d admits a learning algorithm with finite information complexity. Towards this end, we use the notion of a globally stable algorithm. Generally, the information complexity of ...

2022

DIVIDE-AND-CONQUER METHODS FOR FUNCTIONS OF MATRICES WITH BANDED OR HIERARCHICAL LOW-RANK STRUCTURE\ast

Daniel Kressner, Stefano Massei, Alice Cortinovis

This work is concerned with approximating matrix functions for banded matrices, hierarchically semiseparable matrices, and related structures. We develop a new divide-and-conquer method based on (rational) Krylov subspace methods for performing low-rank up ...

SIAM PUBLICATIONS2022

A roadmap to understanding diversity and function of coral reef-associated fungi

Claudia Isabella Pogoreutz

Tropical coral reefs are hotspots of marine productivity, owing to the association of reef-building corals with endosymbiotic algae and metabolically diverse bacterial communities. However, the functional importance of fungi, well-known for their contribut ...

OXFORD UNIV PRESS2022

Steer'n'Detect: fast 2D template detection with accurate orientation estimation

Michaël Unser, Daniel Sage, Julien René Fageot, Zsuzsanna Püspöki

Motivation: Rotated template matching is an efficient and versatile algorithm to analyze microscopy images, as it automates the detection of stereotypical structures, such as organelles that can appear at any orientation. Its performance however quickly de ...

Oxford University Press2022

Cyclic Isogenies For Abelian Varieties With Real Multiplication

Dimitar Petkov Jetchev, Alina Dudeanu, Marius Lorenz Vuille

We study quotients of principally polarized abelian varieties with real multiplication by finite Galois-stable subgroups and describe when these quotients are principally polarizable. We use this character-ization to provide an algorithm to compute explici ...

INDEPENDENT UNIV MOSCOW-IUM2022

Une approche computationnelle du cadastre napoléonien de Venise

Federica Pardini, Frédéric Kaplan, Isabella Di Lenardo, Raphaël Barman

At the beginning of the 19th century, the Napoleonic administration introduced a new standardised description system to give an objective account of the form and functions of the city of Venice. The cadastre, deployed on a European scale, was offering for ...

2021

A systems perspective for residential preferences and dwellings: housing functions and their role in Swiss residential mobility

Claudia Rebeca Binder Signer, Anna Pagani

Worldwide, there is an urgent imperative to provide a housing supply that is environmentally sustainable as well as acceptable and desirable for its users. A holistic and integrative understanding of the relationship between households’ residential prefere ...

2021

Tenants’ residential mobility in Switzerland: the role of housing functions

Claudia Rebeca Binder Signer, Anna Pagani, Ivo Philippe Baur

The interaction between residential preferences and dwellings is a complex system whose function thus far remains insufficiently explored. In this paper, we investigate housing functions as orchestrators of households’ residential mobility in the context o ...

2021

Function Integration, Reconstruction And Approximation Using Rank-1 Lattices

Fabio Nobile, Giovanni Migliorati

We consider rank-1 lattices for integration and reconstruction of functions with series expansion supported on a finite index set. We explore the connection between the periodic Fourier space and the non-periodic cosine space and Chebyshev space, via tent ...

2021

The GOGREEN survey: dependence of galaxy properties on halo mass a z > 1 and implications for environmental quenching

Pascale Jablonka, Hung-Hsu Chan

We use photometric redshifts and statistical background subtraction to measure stellar mass functions in galaxy group-mass (4.5-8 x 10(13) M-circle dot) haloes at 1 < z < 1.5. Groups are selected from COSMOS and SXDF, based on X-ray imaging and sparse spec ...

OXFORD UNIV PRESS2021

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023