The automation of ab initio simulations is essential in view of performing high-throughput(HT)computational screenings oriented to the discovery of novel materials with desired physical properties.In this work,we prop...The automation of ab initio simulations is essential in view of performing high-throughput(HT)computational screenings oriented to the discovery of novel materials with desired physical properties.In this work,we propose algorithms and implementations that are relevant to extend this approach beyond density functional theory(DFT),in order to automate many-body perturbation theory(MBPT)calculations.Notably,an algorithm pursuing the goal of an efficient and robust convergence procedure for GW and BSE simulations is provided,together with its implementation in a fully automated framework.This is accompanied by an automatic GW band interpolation scheme based on maximally localized Wannier functions,aiming at a reduction of the computational burden of quasiparticle band structures while preserving high accuracy.The proposed developments are validated on a set of representative semiconductor and metallic systems.展开更多
In [5, 6] the relationships between test words, generic elements, almost primitivity and tame almost primitivity were examined in free groups. In this paper we extend the concepts and connections to general free produ...In [5, 6] the relationships between test words, generic elements, almost primitivity and tame almost primitivity were examined in free groups. In this paper we extend the concepts and connections to general free products and in particular to free products of cyclic groups.展开更多
In this paper, the authors consider the Gevrey class regularity of a semigroup associated with a nonlinear Korteweg-de Vries （KdV for short） equation. By estimating the resolvent of the corresponding linear operator...In this paper, the authors consider the Gevrey class regularity of a semigroup associated with a nonlinear Korteweg-de Vries （KdV for short） equation. By estimating the resolvent of the corresponding linear operator, the authors conclude that the semigroup 3 generated by the linear operator is not analytic but of Gevrey class δ ε （5, ） for t 〉 0,展开更多
Sport-related concussion(SRC)is a common and increasingly recognised sport-related injury and accounts for between 1%and 9%of all cycling-specific injuries.Attention has been drawn to the difficulty in managing suspec...Sport-related concussion(SRC)is a common and increasingly recognised sport-related injury and accounts for between 1%and 9%of all cycling-specific injuries.Attention has been drawn to the difficulty in managing suspected SRC in a fast-paced sport such as road cycling,particularly the lack of an effective and time-efficient assessment protocol.A meeting on cycling SRC was convened in Harrogate,United Kingdom,in an attempt to resolve this problem.The aim was to agree on standard terminology,definitions,diagnostic protocols and return to play protocols for the various differing codes of cycle sport.Seven experts in the field of cycling medicine were invited to participate by the International Cycling Union and are the authors of this report.The panel recognised that the sport of cycling consists of varied disciplines,some of which provide a setting in which a sideline assessment is possible which is in line with the Berlin Consensus statement.However,other disciplines provide challenging circumstances where health care providers have limited access to participants and where participants are unable to discontinue participation and participate in sideline assessment.Consensus-based discipline-specific protocols and guidelines which recognise the limitations posed by these circumstances,but nevertheless,improve on the current situation specific to the sport of cycling are presented as a potential solution to the unique chal-lenges posed by these cycling disciplines.展开更多
基金This work was supported by:the Centre of Excellence“MaX-Materials Design at the Exascale”funded by European Union(H2020-EINFRA-2015-1,Grant No.676598,H2020-INFRAEDI-2018-1,Grant No.824143,HORIZON-EUROHPC-JU-2021-COE-1,Grant No.101093324)the European Union’s Horizon 2020 research and innovation program(BIG-MAP,Grant No.957189,also part of the BATTERY 2030+initiative,Grant No.957213)+4 种基金SUPER(Supercomputing Unified Platform-Emilia-Romagna)from Emilia-Romagna PORFESR 2014-2020 regional fundsthe Italian national program PRIN20172017BZPKSZ“Excitonic insulator in two-dimensional long-range interacting systems”the ICSC-Centro Nazionale di Ricerca in High Performance Computing,Big Data and Quantum Computing,funded by European Union-NextGenerationEU-PNRR,Missione 4 Componente 2 Investimento 1.4the Swiss National Science Foundation(SNSF)Project Funding(Grant No.200021E_206190“FISH4DIET”)NCCR MARVEL,a National Centre of Competence in Research,funded by the Swiss National Science Foundation(Grant No.205602).Computational time on the Marconi100 and Galileo100 machines at CINECA was provided by the Italian ISCRA program.
文摘The automation of ab initio simulations is essential in view of performing high-throughput(HT)computational screenings oriented to the discovery of novel materials with desired physical properties.In this work,we propose algorithms and implementations that are relevant to extend this approach beyond density functional theory(DFT),in order to automate many-body perturbation theory(MBPT)calculations.Notably,an algorithm pursuing the goal of an efficient and robust convergence procedure for GW and BSE simulations is provided,together with its implementation in a fully automated framework.This is accompanied by an automatic GW band interpolation scheme based on maximally localized Wannier functions,aiming at a reduction of the computational burden of quasiparticle band structures while preserving high accuracy.The proposed developments are validated on a set of representative semiconductor and metallic systems.
文摘In [5, 6] the relationships between test words, generic elements, almost primitivity and tame almost primitivity were examined in free groups. In this paper we extend the concepts and connections to general free products and in particular to free products of cyclic groups.
基金supported by the National Natural Science Foundation of China(Nos.11401021,11471044,11771336,11571257)the LIASFMA,the ANR project Finite4SoS(No.ANR 15-CE23-0007)the Doctoral Program of Higher Education of China(Nos.20130006120011,20130072120008)
文摘In this paper, the authors consider the Gevrey class regularity of a semigroup associated with a nonlinear Korteweg-de Vries （KdV for short） equation. By estimating the resolvent of the corresponding linear operator, the authors conclude that the semigroup 3 generated by the linear operator is not analytic but of Gevrey class δ ε （5, ） for t 〉 0,
文摘Sport-related concussion(SRC)is a common and increasingly recognised sport-related injury and accounts for between 1%and 9%of all cycling-specific injuries.Attention has been drawn to the difficulty in managing suspected SRC in a fast-paced sport such as road cycling,particularly the lack of an effective and time-efficient assessment protocol.A meeting on cycling SRC was convened in Harrogate,United Kingdom,in an attempt to resolve this problem.The aim was to agree on standard terminology,definitions,diagnostic protocols and return to play protocols for the various differing codes of cycle sport.Seven experts in the field of cycling medicine were invited to participate by the International Cycling Union and are the authors of this report.The panel recognised that the sport of cycling consists of varied disciplines,some of which provide a setting in which a sideline assessment is possible which is in line with the Berlin Consensus statement.However,other disciplines provide challenging circumstances where health care providers have limited access to participants and where participants are unable to discontinue participation and participate in sideline assessment.Consensus-based discipline-specific protocols and guidelines which recognise the limitations posed by these circumstances,but nevertheless,improve on the current situation specific to the sport of cycling are presented as a potential solution to the unique chal-lenges posed by these cycling disciplines.
