Arterial spin labeling (ASL) perfusion contrast is not based on susceptibility effects and can therefore be used to study brain function in regions of high static inhomogeneity. As a proof of concept, single-shot spin-echo echo-planar imaging (EPI) acquisition was carried out with a multislice continuous ASL (CASL) method at 1.5T. A bilateral finger tapping paradigm was used in the presence of ...

Intra- and multicenter reproducibility of currently used arterial spin labeling (ASL) methods were assessed at three imaging centers in the Netherlands, equipped with Philips 3TMR scanners. Six healthy participants were scanned twice at each site. The imaging protocol consisted of continuous ASL (CASL), pseudo-continuous ASL (p-CASL) with and without background suppression, pulsed ASL (PASL) wi...

-In this paper a Lagrangean decomposition technique for solving the scheduling problem for Hot Charged Rolling (HCR) in the continuous casting process which involves sequencing and grouping. This Lagrangian relaxation algorithm is proposed that incorporate two sets of constraints into the objective function after applying the variable splitting technique. The relaxed problem has a special struc...

CoCasl [11], a recently developed coalgebraic extension of the algebraic specification language Casl [2], allows for modelling systems in terms of inductive datatypes as well as of co-inductive process types. Here, we demonstrate how to specify process algebras, namely CCS [10] and CSP [8,17], within such an algebraic-coalgebraic framework. It turns out that CoCasl can deal with the fundamental...

This paper proposes an augmented Lagrangian Hopfield network (ALHN) for combined heat and power economic dispatch (CHPED) problem. The ALHN is the continuous Hopfield neural network based on augmented Lagrangian relaxation as its energy function. In the proposed ALHN, its energy function is augmented by Hopfield terms from Hopfield neural network and penalty factors from augmented Lagrangian re...

This thesis deals with the development of numerical methods for solving nonconvex optimisation problems by means of decomposition and continuation techniques. We first introduce a novel decomposition algorithm based on alternating gradient projections and augmented Lagrangian relaxations. A proof of local convergence is given under standard assumptions. The effect of different stopping criteria...