On the complexity of cutting-plane proofs
As introduced by \textit{V. Chvatal} [Discrete Math. 4, 305-337 (1973; Zbl 0253.05131)] cutting planes provide a canonical way of proving that every integral solution of a given system of linear inequalities satisfies another specified inequality. In this note we make several observations on the complexity of such proofs in general and when restricted ...
Collette R. Coullard+2 more
openaire +3 more sources
Support and density of the limit $m$-ary search trees distribution [PDF]
The space requirements of an $m$-ary search tree satisfies a well-known phase transition: when $m\leq 26$, the second order asymptotics is Gaussian. When $m\geq 27$, it is not Gaussian any longer and a limit $W$ of a complex-valued martingale arises.
Chauvin, Brigitte+2 more
core +7 more sources
Low-Complexity Tilings of the Plane [PDF]
A two-dimensional configuration is a coloring of the infinite grid Z^2 with finitely many colors. For a finite subset D of Z^2, the D-patterns of a configuration are the colored patterns of shape D that appear in the configuration. The number of distinct D-patterns of a configuration is a natural measure of its complexity. A configuration is considered
openaire +4 more sources
Partition function zeros of the Q-state Potts model on the simple-cubic lattice
The $Q$-state Potts model on the simple-cubic lattice is studied using the zeros of the exact partition function on a finite lattice. The critical behavior of the model in the ferromagnetic and antiferromagnetic phases is discussed based on the ...
Alves+87 more
core +1 more source
Kombinasi Steganografi Bit Plane Complexity Segmentation (Bpcs) dan Kriptografi Data Encryption Standard (Des) untuk Penyisipan Pesan Teks pada Citra Bitmap Grayscale 8 Bit [PDF]
Bit Plane Complexity Segmentation (BPCS) is steganography method that using uncapability of human\u27s vision in interpreting difficult biner form. Data Encryption Standard (DES) is cryptography algorhytm that is chiper block and changing data become ...
Klau, P. (Paulus)+2 more
core
Network topology drives population temporal variability in experimental habitat networks
Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu+3 more
wiley +1 more source
occumb: An R package for site occupancy modeling of eDNA metabarcoding data
This study introduces a new R package, occumb, for the convenient application of site occupancy modeling using environmental DNA (eDNA) metabarcoding data. We outline a data analysis workflow, including data setup, model fitting, model assessment, and comparison of potential study settings based on model predictions, all of which can be performed using
Keiichi Fukaya, Yuta Hasebe
wiley +1 more source
The Szemeredi-Trotter Theorem in the Complex Plane
It is shown that $n$ points and $e$ lines in the complex Euclidean plane ${\mathbb C}^2$ determine $O(n^{2/3}e^{2/3}+n+e)$ point-line incidences. This bound is the best possible, and it generalizes the celebrated theorem by Szemer\'edi and Trotter about ...
Csaba D. Tóth+22 more
core +1 more source
Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders
We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa+2 more
wiley +1 more source
FoxO1 signaling in B cell malignancies and its therapeutic targeting
FoxO1 has context‐specific tumor suppressor or oncogenic character in myeloid and B cell malignancies. This includes tumor‐promoting properties such as stemness maintenance and DNA damage tolerance in acute leukemias, or regulation of cell proliferation and survival, or migration in mature B cell malignancies.
Krystof Hlavac+3 more
wiley +1 more source