Results 11 to 20 of about 19,052,981 (305)
Stateful Structural Operational Semantics
CoRR, 2022 Compositionality of denotational semantics is an important concern in programming semantics. Mathematical operational semantics in the sense of Turi and Plotkin guarantees compositionality, but seen from the point of view of stateful computation it applies only to very fine-grained equivalences that essentially assume unrestricted interference by the ...
Sergey Goncharov 0001 +4 more
openaire +6 more sources
Operational axioms for diagonalizing states [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In Proceedings QPL 2015, arXiv:1511 ...
Giulio Chiribella, Carlo Maria Scandolo
openaire +4 more sources
Effect algebras with state operator [PDF]
Fuzzy Sets and Systems, 2015 23 ...
Anna Jencová, Sylvia Pulmannová
openaire +4 more sources
Separable operations on pure states [PDF]
Physical Review A, 2008 We show that the possible ensembles produced when a separable operation acts on a single pure bipartite entangled state are completely characterized by a majorization condition, a collection of inequalities for Schmidt coefficients, which is identical to that already known for the particular case of local operations and classical communication (LOCC ...
Gheorghiu, Vlad, Griffiths, Robert B.
openaire +2 more sources
Mathematical model of speech signal leakage channels during discrete-quantified conversion
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2020 The purpose of the article is to estimate the leakage channel of a discrete-quantized speech signal with amplitude-pulse modulation. Discrete-quantized analog-to-digital conversion of signals in the article is considered by the example of pulse-amplitude
V. K. Zheleznjak +3 more
doaj +1 more source
Evaluation of ERA5 Wave Parameters with In Situ Data in the South China Sea
Atmosphere, 2022 In this paper, the accuracy of wave parameters of the European Centre for Medium-Range Weather Forecasting Reanalysis v5 (ERA5) in the South China Sea (SCS) is systematically examined with field measured data of two buoys at offshore sites and a subsea ...
Junliang Liu +4 more
doaj +1 more source
Modelling Nonlinear Preloaded Multi-Bolted Systems on the Operational State
Engineering Transactions, 2016 Modelling and calculations of asymmetrical multi-bolted connections at the operational stage are presented. The physical model of the joint is based on a flexible flange element that is connected with a flexible support by means of the rigid body bolt ...
Rafał GRZEJDA
doaj +1 more source
Benzene induces spleen injury through the B cell receptor signaling pathway
Ecotoxicology and Environmental Safety, 2023 Benzene is a toxic environmental pollutant that disrupts the immune system in humans. Benzene exposure reduces the abundance of immune cells in multiple immune organs; however, the biological mechanisms underlying benzene-induced immunotoxicity has not ...
Yamei Qiao +8 more
doaj +1 more source
State Complexity of Inversion Operations
Theoretical Computer Science, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Da-Jung Cho +3 more
openaire +2 more sources
Quantumness of States and Unitary Operations [PDF]
Foundations of Physics, 2020 AbstractThis paper investigates various properties that may by possessed by quantum states, which are believed to be specifically “quantum” (entanglement, nonlocality, steerability, negative conditional entropy, non-zero quantum discord, non-zero quantum super discord and contextuality) and their opposites.
openaire +3 more sources