Results 21 to 30 of about 254,078 (233)
Wilson Fermions on a Randomly Triangulated Manifold [PDF]
, 1999 A general method of constructing the Dirac operator for a randomly triangulated manifold is proposed. The fermion field and the spin connection live, respectively, on the nodes and on the links of the corresponding dual graph. The construction is carried
A. Krzywicki +5 more
core +4 more sources
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic
TechnologiesThe increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad +8 more
doaj +1 more source
An Enumeration of the Equivalence Classes of Self-Dual Matrix Codes
, 2015 As a result of their applications in network coding, space-time coding, and coding for criss-cross errors, matrix codes have garnered significant attention; in various contexts, these codes have also been termed rank-metric codes, space-time codes over ...
Morrison, Katherine
core +1 more source
Formal Verification of a Rover Anti-collision System [PDF]
, 2016 In this paper, we integrate inductive proof, bounded model checking, test case generation and equivalence proof techniques to verify an embedded system. This approach is implemented using Systerel Smart Solver (S3) toolset.
A Benveniste +9 more
core +2 more sources
On Local Equivalence, Surface Code States and Matroids
, 2010 Recently, Ji et al disproved the LU-LC conjecture and showed that the local unitary and local Clifford equivalence classes of the stabilizer states are not always the same.
I. Niven +5 more
core +1 more source
How to Find the Equivalence Classes in a Set of Linear Codes in Practice?
MathematicsAn algorithm for equivalence of linear codes over finite fields is presented. Its main advantage is that it can extract exactly one representative from each equivalence class among a large number of linear codes.
Stefka Bouyuklieva, Iliya Bouyukliev
doaj +1 more source
On the equivalence of reaction rate in energy collapsing of fast reactor code SARAX
Nuclear Engineering and Technology, 2021 Scattering resonance of medium mass nuclides leads complex spectrum in the fast reactor, which requires thousands of energy groups in the spectrum calculation.
Bowen Xiao +4 more
doaj +1 more source
Low-density MDS codes and factors of complete graphs [PDF]
, 1998 We present a class of array code of size n×l, where l=2n or 2n+1, called B-Code. The distances of the B-Code and its dual are 3 and l-1, respectively. The B-Code and its dual are optimal in the sense that i) they are maximum-distance separable (MDS), ii)
Bohossian, Vasken +3 more
core +4 more sources
Self-Shielding Treatment to Perform Cell Calculation for Seed Furl In Th/U Pwr Using Dragon Code
Renewable Energy and Sustainable Development, 2015 Time and precision of the results are the most important factors in any code used for nuclear calculations. Despite of the high accuracy of Monte Carlo codes, MCNP and Serpent, in many cases their relatively long computational time leads to difficulties ...
Ahmed Amin El Said Abd El Hameed +2 more
doaj +1 more source
EPJ Nuclear Sciences & Technologies, 2023 The generation of accurate kinetic parameters such as mean generation time Λ and effective delayed neutron fraction βeff via Monte Carlo codes is established. Employing these in downstream deterministic codes warrants another step to ensure no additional
Takasugi Cole +5 more
doaj +1 more source