Results 11 to 20 of about 254,078 (233)
Homotopical rigidity of polygonal billiards [PDF]
, 2012 Consider two $k$-gons $P$ and $Q$. We say that the billiard flows in $P$ and $Q$ are homotopically equivalent if the set of conjugacy classes in the fundamental group of $P$ which contain a periodic billiard orbit agrees with the analogous set for $Q ...
Bobok +13 more
core +5 more sources
Characteristic Bisimulation for Higher-Order Session Processes [PDF]
, 2015 Characterising contextual equivalence is a long-standing issue for higher-order (process) languages. In the setting of a higher-order pi-calculus with sessions, we develop characteristic bisimilarity, a typed bisimilarity which fully characterises ...
Kouzapas, Dimitrios +2 more
core +4 more sources
Equivalence Checking of Scheduling in High-Level Synthesis Using Deep State Sequences
IEEE Access, 2019 By using high-level synthesis tools, electronic system level design provides a promising solution to fill the growing design productivity gap of high quality hardware systems.
Jian Hu +3 more
doaj +1 more source
Foliated fracton order in the Majorana checkerboard model [PDF]
, 2019 We establish the presence of foliated fracton order in the Majorana checkerboard model. In particular, we describe an entanglement renormalization group transformation which utilizes toric code layers as resources of entanglement, and furthermore discuss
Chen, Xie, Shirley, Wilbur, Wang, Taige
core +3 more sources
La narrativa de código mixto de Cisneros y sus implicaciones para la traducción
Mutatis Mutandis, 2008 Las consecuencias pragmáticas de la alternancia de código en el campo de la traducción literaria han sido poco estudiadas, especialmente en el caso de las novelas chicanas escritas en inglés, pero que alternan al español por razones estilísticas ...
María José García Vizcaíno
doaj +1 more source
BMC Medical Research Methodology, 2020 Background Cross-cultural research with patient-reported outcomes measures (PROMs) assumes that the PROM in the target language will measure the same construct in the same way as the PROM in the source language. Yet translation methods are rarely used to
Melanie Hawkins +3 more
doaj +1 more source
Stabilizer Formalism for Operator Quantum Error Correction [PDF]
, 2005 Operator quantum error correction is a recently developed theory that provides a generalized framework for active error correction and passive error avoiding schemes.
David Poulin, J. Preskill
core +2 more sources
Nuclear Engineering and Technology, 2019 This paper introduces a new two-step procedure for PWR depletion analyses. This procedure adopts the albedo-corrected parameterized equivalence constants (APEC) method to correct the lattice-based raw cross sections (XSs) and discontinuity factors (DFs ...
Kyunghoon Lee, Woosong Kim, Yonghee Kim
doaj +1 more source
Feedback equivalence of convolutional codes over finite rings
Open Mathematics, 2017 The approach to convolutional codes from the linear systems point of view provides us with effective tools in order to construct convolutional codes with adequate properties that let us use them in many applications.
DeCastro-García Noemí
doaj +1 more source
Resonating valence bond states in the PEPS formalism [PDF]
, 2012 We study resonating valence bond (RVB) states in the Projected Entangled Pair States (PEPS) formalism. Based on symmetries in the PEPS description, we establish relations between the toric code state, the orthogonal dimer state, and the SU(2) singlet RVB
D. Perez-Garcia +5 more
core +6 more sources