This paper describes the design philosophy behind the recent replacement of the NAG Ordinary Di erential Equation (ODE) sti integrators. This replacement was is intended to update the ODE chapter algorithmically but, more importantly in the context of this paper, it provides a more exible interface than has been available in the past. This interface is designed to permit a wide variety of probl...

Parallel programming with distributed object technology becomes increasingly popular but shared-memory programming is still a common way of utilizing parallel machines. In fact, both models can coexist fairly well and software DSM systems can be constructed easily using distributed object systems. In this paper, we describe the construction of a hybrid programming platform based on the Arts dis...

We introduce an algorithm that solves the maximum ow problem without generating ows explicitly. The algorithm solves directly a problem we call the maximum s-excess problem. That problem is equivalent to the minimum cut problem, and is a direct extension of the maximum closure problem. The concepts used also lead to a new parametric analysis algorithm generating all breakpoints in the amount of...

We present a novel progress-sensitive, ow-sensitive hybrid informationow control monitor for an imperative interactive language. Progress-sensitive informationow control is a strong information security guarantee which ensures that a program's progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: we track inform...

This paper presents IFAudit , an approach for the audit of data ow policies in work ow models. IFAudit encompasses three steps. First, propagation graphs are generated from work ows' log data. They represent the explicit information ows caused, e.g., by data access and message-passing, that have occurred during the execution of the workow. Second, data ow policies expressing security and compli...

Herein, we report the use of a graphene-based nanomaterial for the design of hybrid nanofi brous scaffolds to guide NSC differentiation into oligodendrocytes ( Figure 1 ). Graphene-based nanomaterials, such as graphene oxide (GO), have recently gained considerable interest for tissue engineering applications due to their favorable chemical, electrical and mechanical properties. [ 9 ] Besides se...

Background: In this study we aimed to evaluate biochemical, lipid and glycemic parameters compare serum neprilysin levels between overweight (OW) normal weight (NW) young women who are more prone gain weight.
 Material Methods: A total of 28 overweight/obese aged 22-34 years 34 age matched normal-weight were included in cross-sectional on voluntary basis. the subjects performed, Participan...

The time-optimal control of exible structures is considered. We formulate the general time-optimal control problem for single-axis exible structures, and analytical results are given for the number of control switches for the one-bending-mode case, with and without damping. When there is no damping , it is shown that the time optimal control generally has 3 switches and is an odd function of ti...

This paper presents a control strategy for manipulation of exible objects by multiple robot arms. The control policy developed in this paper for exible objects is based on a controller developed previously for rigid objects: the object impedance controller. The controller compensates for the dynamics of both the arms and the object and responds to environmental forces with a fully programmable ...

Controllers developed for control of exible-link robots in hybrid force-position control tasks by a new singular perturbation analysis of exible manipulators are implemented on an experimental two-robot grasping setup. Performance criteria are deened for the grasping task. We present preliminary experimental data to show the tradeoos between controller complexity and performance enhancement as ...