Results 51 to 60 of about 21,828,896 (392)
Optimal control of nonlinear Markov jump systems by control parametrisation technique
IET Control Theory & Applications, 2023 This paper considers an optimal control problem of nonlinear Markov jump systems with continuous state inequality constraints. Due to the presence of continuous‐time Markov chain, no existing computation method is available to solve such an optimal ...
Liqiang Jin +5 more
doaj +1 more source
Computable concurrent processes
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Computational Models of Retrieval Processes in Sentence Processing [PDF]
Trends in Cognitive Sciences, 2019 Sentence comprehension requires that the comprehender work out who did what to whom. This process has been characterized as retrieval from memory. This review summarizes the quantitative predictions and empirical coverage of the two existing computational models of retrieval, and shows how the predictive performance of these two competing models can be
Vasishth , Shravan +3 more
openaire +6 more sources
A collaborative citizen science platform for real-time volunteer computing and games
, 2017 Volunteer computing (VC) or distributed computing projects are common in the citizen cyberscience (CCS) community and present extensive opportunities for scientists to make use of computing power donated by volunteers to undertake large-scale scientific ...
Charalampidis, Ioannis +4 more
core +1 more source
Quantum picturalism for topological cluster-state computing
, 2020 Topological quantum computing is a way of allowing precise quantum computations to run on noisy and imperfect hardware. One implementation uses surface codes created by forming defects in a highly-entangled cluster state.
Abramsky S +15 more
core +1 more source
EDACFEM: A linear truss and beam solver in MATLAB
SoftwareXThe on-demand design of metamaterials such as lattices and bar structures is typically approached using computational methods due to their inherent complexity.
Joël N. Chapuis +6 more
doaj +1 more source
Verification of the computing process of the corporate information system
Вестник Дагестанского государственного технического университета: Технические науки, 2022 Objective. The article discusses the issue of verifying the computing process of a corporate information system. The purpose of the article is to verify the computing process of a corporate information system. Method.
V. I. Polyakov, F. F. Zinnatulin
doaj +1 more source
, 2017 We consider the problem of computing the Fourier transform of high-dimensional vectors, distributedly over a cluster of machines consisting of a master node and multiple worker nodes, where the worker nodes can only store and process a fraction of the ...
Avestimehr, A. Salman +2 more
core +1 more source
Computing the behaviour of asynchronous processes
Theoretical Computer Science, 1983 AbstractWe describe a variation of Brock-Ackerman's (1981) model of nondeterministic asynchronous process, and devise a computational method for characterizing asynchronous processes defined by networks. This method is shown to be equivalent to a method of combining traces related to that of Brock and Ackerman.
Staples, John, Nguyen, V.L.
openaire +3 more sources
A Study to Optimize Heterogeneous Resources for Open IoT
, 2017 Recently, IoT technologies have been progressed, and many sensors and actuators are connected to networks. Previously, IoT services were developed by vertical integration style. But now Open IoT concept has attracted attentions which achieves various IoT
Demizu, Tatsuya +4 more
core +1 more source