Recent years have seen growth in the number of algorithms designed to solve challenging simulation-based nonlinear optimization problems. One such algorithm is the Trust-Region Par...
This paper summarizes our work on a parallel algorithm for an interacting particle model, derived from the model by Czirok, Vicsek, et. al. [3, 4, 5, 13, 14]. Our model is particu...
Lamia Youseff, Alethea B. T. Barbaro, Peterson F. ...
It is known that the first-order theory with a single predicate → that denotes one-step rewriting reduction on terms is undecidable already for formulae with ∃∀ prefix. Sev...
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
This note presents necessary and sufficient conditions for parallel and constant time conversions from one digit-set into another, and thus also for constant time addition. In the...