Publications related to Inverse trigonometric functions

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

Matthias Finger, Konstantin Androsov, Qian Wang, Jan Steggemann, Anna Mascellani, Yiming Li, Varun Sharma, Xin Chen, Rakesh Chawla, Matteo Galli, Jian Wang, João Miguel das Neves Duarte, Tagir Aushev, Matthias Wolf, Yi Zhang, Tian Cheng, Yixing Chen, Werner Lustermann, Andromachi Tsirou, Alexis Kalogeropoulos, Andrea Rizzi, Ioannis Papadopoulos, Paolo Ronchese, Hua Zhang, Leonardo Cristella, Siyuan Wang, Tao Huang, David Vannerom, Michele Bianco, Sebastiana Gianì, Sun Hee Kim, Davide Di Croce, Kun Shi, Abhisek Datta, Jian Zhao, Federica Legger, Gabriele Grosso, Ji Hyun Kim, Donghyun Kim, Zheng Wang, Sanjeev Kumar, Wei Li, , , , , , , , , , , , , , , , , , , , , , , ,

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

Noncollinear DFT plus U and Hubbard parameters with fully relativistic ultrasoft pseudopotentials

Nicola Marzari, Luca Binci

The magnetic, noncollinear parametrization of Dudarev's DFT + U method is generalized to fully relativistic ultrasoft pseudopotentials. We present the definition of the DFT + U total energy functional and the calculation of forces and stresses in the case ...

Amer Physical Soc2023

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

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, Aditya Pradeep, Ido Nachum

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

Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions

Andreas Loukas, Nikolaos Karalias

Integrating functions on discrete domains into neural networks is key to developing their capability to reason about discrete objects. But, discrete domains are (I) not naturally amenable to gradient-based optimization, and (II) incompatible with deep lear ...

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

Une approche computationnelle du cadastre napoléonien de Venise

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

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

Covers Of Rational Double Points In Mixed Characteristic

Javier Alonso Carvajal Rojas

We further the classification of rational surface singularities. Suppose (S, n, k) is a 3-dimensional strictly Henselian regular local ring of mixed characteristic (0, p > 5). We classify functions f for which S/(f) has an isolated rational singularity at ...

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

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

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

Generalization of Quasi-Newton Methods: Application to Robust Symmetric Multisecant Updates

Nicolas Boumal

Quasi-Newton (qN) techniques approximate the Newton step by estimating the Hessian using the so-called secant equations. Some of these methods compute the Hessian using several secant equations but produce non-symmetric updates. Other quasi-Newton schemes, ...

MICROTOME PUBLISHING2021

Polynomial Evaluation on Superscalar Architecture, Applied to the Elementary Function e(x)

Felix Schürmann, Francesco Cremonesi, Timothée Ewart, Fabien Jonathan Delalondre

The evaluation of small degree polynomials is critical for the computation of elementary functions. It has been extensively studied and is well documented. In this article, we evaluate existing methods for polynomial evaluation on superscalar architecture. ...

2020

The ONETEP linear-scaling density functional theory program

Edward Baxter Linscott

We present an overview of the onetep program for linear-scaling density functional theory (DFT) calculations with large basis set (plane-wave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spa ...

AMER INST PHYSICS2020

Pulay forces in density-functional theory with extended Hubbard functionals: From nonorthogonalized to orthogonalized manifolds

Nicola Marzari, Iurii Timrov, Luca Binci, Matteo Cococcioni, Francesco Aquilante

We present a derivation of the exact expression for Pulay forces in density-functional theory calculations augmented with extended Hubbard functionals and arising from the use of orthogonalized atomic orbitals as projectors for the Hubbard manifold. The de ...

AMER PHYSICAL SOC2020

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020