In this review we present hyper-dual numbers as a tool for the automatic differentiation of computer programs via operator overloading. We start with a motivational introduction into the ideas of algorithmic differentiation. Then we illuminate the concepts behind operator overloading and dual numbers. Afterwards, we present hyper-dual numbers (and vectors) as an extension of dual numbers for th...

The Generalized Phase Contrast (GPC) method of optical 3D manipulation has previously been used for controlled spatial manipulation of live biological specimen in real-time. These biological experiments were carried out over a time-span of several hours while an operator intermittently optimized the optical system. Here we present GPC-based optical micromanipulation in a microfluidic system whe...

Preliminary work has started for the decommissioning of the research reactor MR at the RRC «Kurchatov Institute». One of stages of preliminary work for the decommissioning of a research reactor is the carrying out of radiation survey. An automatic system Gamma locator for the remote measurement of radioactivity in the reactor areas was developed. The «gamma locator» is a spectrometric system de...

The potential of predicting druggability for a particular disease by integrating biological and computer science technologies has witnessed success in recent years. Although the computer science technologies can be used to reduce the costs of the pharmaceutical research, the computation time of the structure-based protein-ligand docking prediction is still unsatisfied until now. Hence, in this ...

Judicious use of interval arithmetic, combined with careful pen and paper estimates, leads to effective strategies for computer assisted analysis of nonlinear operator equations. The method of radii polynomials is an efficient tool for bounding the smallest and largest neighborhoods on which a Newton-like operator associated with a nonlinear equation is a contraction mapping. The method has bee...

On one hand, an all-electric ship may take over and support operator tasks in order to improve the operational effectiveness and efficiency on board of a ship. At the other hand, information processing demands seem to increase substantially for the operators in such a ship. Recently, a Cognitive Task Load analysis method was developed for the design of operator tasks and computer support, aimin...

Let A be a bounded linear operator on a Banach space X. We investigate the conditions of existing rank-one operator B such that I+f(A)B is invertible for every analytic function f on sigma(A). Also we compare the invariant subspaces of f(A)B and B. This work is motivated by an operator method on the Banach space ell^2 for solving some PDEs which is extended to general operator space under some ...

In this paper, we prove some fixed points properties and demiclosedness principle for a Banach operator in uniformly convex hyperbolic spaces. We further propose an iterative scheme for approximating a fixed point of a Banach operator and establish some strong and $Delta$-convergence theorems for such operator in the frame work of uniformly convex hyperbolic spaces. The results obtained in this...

Study Design: Technical note. Objective: Computer-aided design and computer-aided manufacturing (CADCAM) is commonly used in craniomaxillofacial (CMF) surgery because of its advantage customizing medical devices. We this technology to create individualized, resin-bonded 3-dimensionally printed titanium arch bars. Method: This article describes a patient specific, three-dimensionally (3D) printe...