Results 11 to 20 of about 75,209 (310)
Bounds on decoherence and error [PDF]
Physical Review A, 1998 When a confined system interacts with its walls (treated quantum mechanically), there is an intertwining of degrees of freedom. We show that this need not lead to entanglement, hence decoherence. It will generally lead to error. The wave function optimization required to avoid decoherence is also examined.
openaire +2 more sources
Bounded Conjunctive Queries [PDF]
, 2014 A query Q is said to be effectively bounded if for all datasets D, there exists a subset DQ of D such that Q(D) = Q(DQ), and the size of DQ and time for fetching DQ are independent of the size of D. The need for studying such queries is evident, since it
Yu, Wenyuan +3 more
core +1 more source
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis +4 more
doaj +1 more source
Error-Bounded Learned Scientific Data Compression with Preservation of Derived Quantities
Applied Sciences, 2022 Scientific applications continue to grow and produce extremely large amounts of data, which require efficient compression algorithms for long-term storage.
Jaemoon Lee +6 more
doaj +1 more source
Mathematical Programming, 2017 Our aim in the current article is to extend the developments in Kruger, Ngai & Théra, SIAM J. Optim. 20(6), 3280-3296 (2010) and, more precisely, to characterize, in the Banach space setting, the stability of the local and global error bound property of inequalities determined by proper lower semicontinuous under data perturbations.
Alexander Y. Kruger +2 more
openaire +5 more sources
Testing hereditary properties of nonexpanding bounded-degree graphs [PDF]
, 2007 We study graph properties that are testable for bounded-degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined graph property and graphs that are far from every graph having that property. It
Christian Sohler +5 more
core +1 more source
Error-bounded Compatible High-order Remeshing [PDF]
Jisuanji kexueThis paper proposes a method to construct high-quality and compatible high-order surface meshes with bounded approximation errors.Given two closed,oriented,and topologically equivalent surfaces and a sparse set of corresponding landmarks,the proposed ...
ZHANG Wenxiang, GUO Jiapeng, FU Xiaoming
doaj +1 more source
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking [PDF]
, 2010 The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality.
Cordeiro, Lucas +8 more
core +1 more source
Applied Sciences, 2021 In this paper, we consider a control problem where a group of fixed-wing unmanned aerial vehicles (UAVs) with uncertain dynamics tracks the target vehicle cooperatively in the case of external disturbance. Based on the Gaussian process regression, a data-
Qipeng Wang, Shulong Zhao, Xiangke Wang
doaj +1 more source
Finite time trajectory tracking of underactuated ship based on adaptive neural network
Zhongguo Jianchuan Yanjiu, 2022 ObjectiveAiming at the problems of dynamic uncertainty and unknown disturbance in the trajectory tracking control of underactuated surface ships, an adaptive neural network finite time trajectory tracking control scheme is designed.
Qiang ZHANG +4 more
doaj +1 more source