Results 11 to 20 of about 12,195,587 (376)

Supercongruences involving Apéry-like numbers and binomial coefficients

AIMS Mathematics, 2022
Let $ \{S_n\} $ be the Apéry-like sequence given by $ S_n = \sum_{k = 0}^n\binom nk\binom{2k}k\binom{2n-2k}{n-k} $. We show that for any odd prime $ p $, $ \sum_{n = 1}^{p-1}\frac {nS_n}{8^n}{\equiv} (1-(-1)^{\frac{p-1}2})p^2\ (\text{ mod}\ {p^3}) $. Let
Zhi-Hong Sun
doaj   +1 more source

Weber number and the outcome of binary collisions between quantum droplets

Scientific Reports, 2022
A theoretical analysis of binary collisions of quantum droplets under feasible experimental conditions is reported. Droplets formed from degenerate dilute Bose gases made up from binary mixtures of ultracold atoms are considered. Reliable expressions for
J. E. Alba-Arroyo, S. F. Caballero-Benitez, R. Jáuregui   +2 more
doaj   +1 more source

"Exotic" binary number systems for rings of Gauss and Eisenstein integers [PDF]

Компьютерная оптика, 2018
The paper considers nonstandard binary number systems for rings of Gauss and Eisenstein integers. The principal difference ("exoticism") of such number systems from the canonical number systems introduced by I.
Vladimir Chernov
doaj   +1 more source

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables [PDF]

IEEE Control Systems Letters, 2022
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP).
Vince Kurtz, Hai Lin
semanticscholar   +1 more source

Bayesian inference for compact binary coalescences with bilby: validation and application to the first LIGO–Virgo gravitational-wave transient catalogue [PDF]

Monthly notices of the Royal Astronomical Society, 2020
Gravitational waves provide a unique tool for observational astronomy. While the first LIGO–Virgo catalogue of gravitational-wave transients (GWTC-1) contains 11 signals from black hole and neutron star binaries, the number of observations is ...
I. Romero-Shaw, C. Talbot, C. Talbot, S. Biscoveanu, V. d’Emilio, G. Ashton, C. Berry, C. Berry, S. Coughlin, S. Galaudage, C. Hoy, M. Huebner, K. S. Phukon, M. Pitkin, M. Rizzo, N. Sarin, Rory Smith, S. Stevenson, A. Vajpeyi, M. Arène, K. Athar, S. Banagiri, N. Bose, M. Carney, K. Chatziioannou, J. Clark, M. Colleoni, R. Cotesta, B. Edelman, H. Estellés, C. García-Quirós, A. Ghosh, R. Green, C. Haster, S. Husa, D. Keitel, A. Kim, F. Hernandez-Vivanco, I. M. Hernandez, C. Karathanasis, P. Lasky, N. D. Lillo, M. Lower, M. Lower, D. Macleod, M. Mateu-Lucena, A. Miller, A. Miller, M. Millhouse, S. Morisaki, S. Oh, S. Ossokine, E. Payne, J. Powell, G. Pratten, M. Pürrer, A. Ramos-Buades, V. Raymond, E. Thrane, J. Veitch, Daniel Williams, M. J. Williams, L. Xiao   +62 more
semanticscholar   +1 more source

High-Speed Binary-to-Residue Converter Design Using 2-Bit Segmentation of the Input Word

Scientific Journal of Gdynia Maritime University, 2022
In this paper a new approach to the design of the high-speed binary-to-residue converter is proposed that allows the attaining of high pipelining rates by eliminating memories used in modulo m generators. The converter algorithm uses segmentation of the
Robert Smyk, Maciej Czyżak
doaj   +1 more source

All binary number-conserving cellular automata based on adjacent cells are intrinsically one-dimensional.

Physical Review E, 2019
A binary number-conserving cellular automaton is a discrete dynamical system that models the movement of particles in a d-dimensional grid. Each cell of the grid is either empty or contains a particle.
B. Wolnik, B. De Baets
semanticscholar   +1 more source

On the binary expansions of algebraic numbers [PDF]

Journal de Théorie des Nombres de Bordeaux, 2004
Using concepts from additive number theory and results on binary evaluations and partial series, the authors prove that for a real algebraic number \(y\) of degree \(D> 1\) the number \(\#(|y|, N)\) of 1-bits in the expansion of \(|y|\) through bit position \(N\) is greater than \(CN^{1/D}\), where \(C> 0\) is a number depending only on \(y\), and \(N\)
Bailey, David H., Borwein, Jonathan M., Crandall, Richard E., Pomerance, Carl   +3 more
openaire   +4 more sources

Binary Companions of Evolved Stars in APOGEE DR14: Search Method and Catalog of ∼5000 Companions [PDF]

Astronomical Journal, 2018
Multi-epoch radial velocity measurements of stars can be used to identify stellar, substellar, and planetary-mass companions. Even a small number of observation epochs can be informative about companions, though there can be multiple qualitatively ...
A. Price-Whelan, D. Hogg, H. Rix, Nathan De Lee, S. Majewski, D. Nidever, N. Troup, J. Fernández-Trincado, D. A. Garc'ia-Hern'andez, P. Longa-Peña, C. Nitschelm, J. Sobeck, O. Zamora   +12 more
semanticscholar   +1 more source

Function argument number identification in stripped binary under PPC and MIPS instruction set

网络与信息安全学报, 2020
The identification of the number of function argument contributes to the recovery of the function prototype and is the basis for data flow analysis and other security analysis.In order to improve the accuracy of the recognition of the number of function ...
Xiaokang YIN, Liu LIU, Long LIU, Shengli LIU   +3 more
doaj   +3 more sources