Results 21 to 30 of about 997,002 (273)

A General Framework for Sound and Complete Floyd-Hoare Logics [PDF]

, 2008
This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the ...
Arthan R., Blass A., Boulton R. J., Erik A. Mathiesen, Escardó M. H., Martin U., Paulo Oliva, Rob Arthan, Simpson A. K., Ursula Martin   +9 more
core   +1 more source

Width and Partial Widths of Unstable Particles in the Light of the Nielsen Identities [PDF]

, 2001
Fundamental properties of unstable particles, including mass, width, and partial widths, are examined on the basis of the Nielsen identities (NI) that describe the gauge dependence of Green functions.
A. A. Slavnov, A. R. Bohm, A. Sirlin, A. Sirlin, A. Sirlin, Alberto Sirlin, B. A. Kniehl, B. A. Kniehl, B. A. Kniehl, B. A. Kniehl, Bernd A. Kniehl, E. Kraus, G. Degrassi, H. Kluberg-Stern, H. Kluberg-Stern, H. Veltman, J. C. Breckenridge, J. C. Taylor, K.-I. Aoki, M. Passera, M. Passera, N. K. Nielsen, O. M. Del Cima, O. Piguet, P. A. Grassi, P. A. Grassi, P. Gambino, Pietro A. Grassi, R. G. Stuart, R. G. Stuart, R. G. Stuart, R. G. Stuart, R. Häußling, S. Willenbrock, T. Bhattacharya, W. Konetschny, W. Kummer   +36 more
core   +3 more sources

Finite temperature and quench dynamics in the Transverse Field Ising Model from form factor expansions

SciPost Physics, 2020
We consider the problems of calculating the dynamical order parameter two-point function at finite temperatures and the one-point function after a quantum quench in the transverse field Ising chain.
Etienne Granet, Maurizio Fagotti, Fabian H. L. Essler
doaj   +1 more source

Affine transformations accelerate the training of physics-informed neural networks of a one-dimensional consolidation problem

Scientific Reports, 2023
Physics-informed neural networks (PINNs) leverage data and knowledge about a problem. They provide a nonnumerical pathway to solving partial differential equations by expressing the field solution as an artificial neural network.
Luis Mandl, André Mielke, Seyed Morteza Seyedpour, Tim Ricken   +3 more
doaj   +1 more source

A Novel Treatment of Fuzzy Fractional Swift–Hohenberg Equation for a Hybrid Transform within the Fractional Derivative Operator

Fractal and Fractional, 2021
This article investigates the semi-analytical method coupled with a new hybrid fuzzy integral transform and the Adomian decomposition method via the notion of fuzziness known as the Elzaki Adomian decomposition method (briefly, EADM).
Saima Rashid, Rehana Ashraf, Fatimah S. Bayones   +2 more
doaj   +1 more source

Development and evaluation of PCR primers for environmental DNA (eDNA) metabarcoding of Amphibia [PDF]

Metabarcoding and Metagenomics, 2022
Biodiversity monitoring is important for the conservation of natural ecosystems in general, but particularly for amphibians, whose populations are pronouncedly declining. However, amphibians’ ecological traits (e.g.
Masayuki K. Sakata, Mone U. Kawata, Atsushi Kurabayashi, Takaki Kurita, Masatoshi Nakamura, Tomoyasu Shirako, Ryosuke Kakehashi, Kanto Nishikawa, Mohamad Yazid Hossman, Takashi Nishijima, Junichi Kabamoto, Masaki Miya, Toshifumi Minamoto   +12 more
doaj   +3 more sources

On the Sperner property for the absolute order on complex reflection groups [PDF]

, 2020
Two partial orders on a reflection group, the codimension order and the prefix order, are together called the absolute order when they agree. We show that in this case the absolute order on a complex reflection group has the strong Sperner property ...
Gaetz, Christian, Gao, Yibo
core   +3 more sources

Essential renormalisation group

SciPost Physics, 2022
We propose a novel scheme for the exact renormalisation group motivated by the desire of reducing the complexity of practical computations. The key idea is to specify renormalisation conditions for all inessential couplings, leaving us with the task ...
Alessio Baldazzi, Riccardo Ben Alì Zinati, Kevin Falls
doaj   +1 more source

Interval Analysis and Calculus for Interval-Valued Functions of a Single Variable. Part I: Partial Orders, gH-Derivative, Monotonicity

Axioms, 2019
We present new results in interval analysis (IA) and in the calculus for interval-valued functions of a single real variable. Starting with a recently proposed comparison index, we develop a new general setting for partial order in the (semi linear ...
Luciano Stefanini, Maria Letizia Guerra, Benedetta Amicizia   +2 more
semanticscholar   +1 more source

From celestial correlators to AdS, and back

Journal of High Energy Physics, 2023
We present a general relation between celestial correlation functions in d-dimensions and Witten diagrams in (d + 1)-dimensional Euclidean anti-de Sitter (EAdS) space, to all orders in perturbation theory.
Lorenzo Iacobacci, Charlotte Sleight, Massimo Taronna   +2 more
doaj   +1 more source