Results 31 to 40 of about 1,017,520 (318)

Big Ramsey Degrees of the Generic Partial Order [PDF]

, 2021
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of rationals).
Balko, Martin, Chodounský, David, Dobrinen, Natasha, Hubička, Jan, Konečný, Matěj, Vena, Lluis, Zucker, Andy   +6 more
openaire   +2 more sources

Phylomitogenomics bolsters the high-level classification of Demospongiae (phylum Porifera).

PLoS ONE, 2023
Class Demospongiae is the largest in the phylum Porifera (Sponges) and encompasses nearly 8,000 accepted species in three subclasses: Keratosa, Verongimorpha, and Heteroscleromorpha.
Dennis V Lavrov, Maria C Diaz, Manuel Maldonado, Christine C Morrow, Thierry Perez, Shirley A Pomponi, Robert W Thacker   +6 more
doaj   +1 more source

Poset structures in Boij-S\"oderberg theory [PDF]

, 2011
Boij-S\"oderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring.
Berkesch, Berkesch, Boij, Boij, Bruns, Christine Berkesch, Daniel Erman, Eisenbud, Eisenbud, Eisenbud, Eisenbud, Fulton, Manoj Kummini, Sam, Steven V Sam, Weyman   +15 more
core   +2 more sources

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

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition [PDF]

Journal of Philosophical Logic, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

A General Extension Theorem for Directed-Complete Partial Orders

Reports Math. Log., 2018
The typical indirect proof of an abstract extension theorem, by the Kuratowski ...
P. Schuster, Daniel Misselbeck-Wessel
semanticscholar   +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

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