Thin-laminate composites with thicknesses below 200 mu m hold significant promise for future, larger, and lighter deployable structures. This paper presents a study of the time-dependent failure behavior of thin carbon-fiber laminates under bending, focusi ...

2024

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

A Majority Lemma for Randomised Query Complexity

Mika Tapani Göös, Gilbert Théodore Maystre

We show that computing the majority of n copies of a boolean function g has randomised query complexity R(Maj∘gⁿ) = Θ(n⋅R ̅_{1/n}(g)). In fact, we show that to obtain a similar result for any composed function f∘gⁿ, it suffices to prove a sufficiently stro ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2021

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

Nicola Marzari, Iurii Timrov, Matteo Cococcioni, Luca Binci, 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

The Almost-Sure Asymptotic Behavior Of The Solution To The Stochastic Heat Equation With Levy Noise

Carsten Hao Ye Chong

We examine the almost-sure asymptotics of the solution to the stochastic heat equation driven by a Levy space-time white noise. When a spatial point is fixed and time tends to infinity, we show that the solution develops unusually high peaks over short tim ...

INST MATHEMATICAL STATISTICS2020

A Spectral Algorithm for 3-valued Function Equivalence Classification

Mathias Soeken

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

OLD CITY PUBLISHING INC2020

The dynamics of motor learning through the formation of internal models

Camilla Pierella

A medical student learning to perform a laparoscopic procedure or a recently paralyzed user of a powered wheelchair must learn to operate machinery via interfaces that translate their actions into commands for an external device. Since the user’s actions a ...

2019

Inverse Analysis of Radiative Flux Maps for the Characterization of High Flux Sources

Sophia Haussener, Clemens Gregor Suter, Gaël Jean Clément Levêque

The reconstruction of the angular and spatial intensity distribution from radiative flux maps measured in high flux solar simulators or optical concentrators is an ill-posed inverse problem requiring special solution strategies. We aimed at providing a sol ...

2019

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Giovanni De Micheli, Mathias Soeken, Eleonora Testa

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller an ...

IEEE2019

Transmission in Multimode fiber with deep learning

Demetri Psaltis, Christophe Moser, Damien Claude-Marie Loterie, Babak Rahmani, Georgia Konstantinou

Spatio-temporal control of femtosecond pulse-delivery through multimode fibers (MMF) can be used to achieve two photon photo-polymerization. Transmission-matrix method is used in linear domain to solve the scrambling effect at the fiber output and generate ...

IEEE2018

An Ergodic Theory of Binary Operations-Part II: Applications to Polarization

Rajai Nasser

An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Arikan style constructions. This paper, which is presented in two parts, solves this probl ...

Institute of Electrical and Electronics Engineers2017

An inverse theorem for Gowers norms of trace functions over F-p

Philippe Michel

We study the Gowers uniformity norms of functions over Z/pZ which are trace functions of l-adic sheaves. On the one hand, we establish a strong inverse theorem for these functions, and on the other hand this gives many explicit examples of functions with G ...

Cambridge University Press2013

Left-inverses of fractional Laplacian and sparse stochastic processes

Michaël Unser

The fractional Laplacian (-Delta)(gamma/2) commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, fractals and stable Levy processes. For 0 < gamma < d, its inver ...

Springer2012

Combining cellular automata and lattice Boltzmann method to model multiscale avascular tumor growth coupled with nutrient diffusion and immune competition

Davide Alemani

In the last decades the Lattice Boltzmann method (LB) has been successfully used to simulate a variety of processes. The LB model describes the microscopic processes occurring at the cellular level and the macroscopic processes occurring at the continuum l ...

2012

An unusual tandem-domain rhodanese harbouring two active sites identified in Desulfitobacterium hafniense

Christof Holliger, Julien Maillard, Emmanuelle Rohrbach

The rhodanese protein domain is common throughout all kingdoms of life and is characterized by an active site cysteine residue that is able to bind sulfane sulfur and catalyse sulfur transfer. No unique function has been attributed to rhodanese-domain-cont ...

Wiley-Blackwell2012

Inverse solutions for classifying Event Related Potentials

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Mohit Kumar Goel

In this paper we want to show the use of inverse solutions ‒in particular cortical current density (CCD)‒with respect to the current surface electroencephalogram (EEG) in classifying event related potentials. We construct feature vector from selected chann ...

2011

Collections, Cardinalities, and Relations

Viktor Kuncak, Ruzica Piskac

Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to co ...

2010

Direct evaluation of the temperature dependence of the rate constant based on the quantum instanton approximation

Jiri Vanicek, Marcin Rafal Buchowiecki

A general method for the direct evaluation of the temperature dependence of the quantum-mechanical reaction rate constant in many-dimensional systems is described. The method is based on the quantum instanton approximation for the rate constant, thermodyna ...

American Institute of Physics2010

Data-driven Precompensator Tuning for Linear Parameter Varying Systems

Alireza Karimi, Roland Longchamp

Methods for direct data-driven tuning of the parameters of precompensators for LPV systems are developed. Since the commutativity property is not always satisfied for LPV systems, previously proposed methods for LTI systems that use this property cannot be ...

IEEE2008