komrad36/CRC
Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches (⭐ 354)
Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches (⭐ 354)
Dec 16, 2010 · It is a common expression in England and means easily earned or easily obtained money, with the suggestion of having sold something that is normally considered worthless or of low …
General Motors/Holden key derivation for 16bit seed/key challenge on all modules (⭐ 11)
The paper presents a simple derivation of the Gustafson-Barsis law from the Amdahl's law. In the computer literature these two laws describing the speedup limits of parallel applications are derived separately. It is shown, that treating the time o...
In this report we include some derivations on a channel estimation method based on the use of Dirty Paper Coding. Specifically, we analyze the proposed method, named Dirty Paper-based Channel Estimation (DPCE), when the considered codebooks are high-...
Answer Set Programming (ASP) is a powerful modelling formalism that is very efficient in solving combinatorial problems. ASP solvers implement the stable model semantics that eliminates circular derivations between Boolean variables from the solution...
We develop a method for constructing the Heavy Baryon Chiral Perturbation Theory Lagrangian (L_{HBChPT}), to a given chiral order, within HBChPT. We work within SU(2) theory, with only the pion field interacting with the nucleon. The main difficult...
ways: Top-down parsing Top-down parsing can be viewed as an attempt to find left-most derivations of an input-stream by searching for parse trees using a
This paper presents a new approach to regulation of grammars. It divides the derivation trees generated by grammars into two sections-generative and conclusive (the conclusion). The former encompasses generation of symbols up till the moment when the...
I'm aware of ÑÑл's derivation from Proto-Slavic *xÑdlÑ, related to Ñ Ð¾Ð´Ð¸ÑÑ, but that form still seems irregular â given that вÑл, which has the exact same relation to водиÑÑ, had e rather than Ñ in ...
Lars Onsager announced in 1949 that he and Bruria Kaufman had proved a simple formula for the spontaneous magnetization of the square-lattice Ising model, but did not publish their derivation. It was three years later when C. N. Yang published a deri...
We present here a comprehensive derivation for the speed of a small bottom-heavy sphere forced by a transverse acoustic field and thereby establish how density inhomogeneities may play a critical role in acoustic propulsion. The sphere is trapped at...
McDonald (2007) presented an approach to improving perturbation theory (PT) calculations of the dark matter power spectrum, with a derivation based on the idea of renormalization group flow with time. In spite of a questionable approximation made in...
Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, although many design points have been explored, the mathematical or semantic foundat...
Simple derivation is presented of the four families of infinitely many shape invariant Hamiltonians corresponding to the exceptional Laguerre and Jacobi polynomials. Darboux-Crum transformations are applied to connect the well-known shape invariant H...
In this paper we investigate the role of Parodi's relation in the well-posedness and stability of the general Ericksen-Leslie system modeling nematic liquid crystal flows. First, we give a formal physical derivation of the Ericksen-Leslie system thro...
According to the Schiff theorem the nuclear electric dipole moment (EDM) is screened in neutral atoms. In ions this screening is incomplete. We extend a derivation of the Schiff theorem to ions and molecules. The finite nuclear size effects are consi...
The expansion of the Universe is the basis of modern cosmology. This chapter outlines the theory behind the expansion of the universe, including the cosmological principle, distances, velocities, and accelerations. We provide basic derivations of the...
We simulate $ SU(2) $ lattice gauge theory using dynamical reduced staggered fermions. The latter lead to two rather than four Dirac fermions in the continuum limit. We review the derivation and properties of reduced staggered fermions and show that...
This is a first paper in a project on extending the dream principalization and resolution methods of [ATW24], [McQ20] and [Que22] to quasi-excellent, logarithmic and relative settings. We show that the main results of [ATW24] extend to regular scheme...