In this work, we have investigated the interaction of a high-power Ar+ laser beam, in a continuous multi-line regime, with Ag+-doped glass samples. The samples were subjected to the irradiation after the ion-exchange step. As a result of the irradiation, a peak appears in the absorption spectrum; its evolution depends on both the exposure time and the laser beam power. Interaction of the beam w...

We add functional continuations and prompts to a language with an ML-style type system. The operators extend and simplify the control operators in Standard ML of New Jersey (SML/NJ) and Scheme, and can be themselves used to implement (simple) exceptions and references. We prove that well-typed terms never produce run-time type errors, and give a module for implementing functional continuations ...

In this paper, we describe a new datapath scheduling algorithm called DFCS based on the concept of dynamic frequency clocking. In dynamic frequency clocking scheme, all functional units in the datapath are driven by a single clock line that switches frequency dynamically at run time. The algorithm schedules lower frequency operators at earlier steps and delays higher frequency operators to late...

Pattern operators are extensions to the Pattern/Skeleton parallel programming approach used to apply two types of communication patterns to the same data. The operators are intended to simplify the wide range of possible patterns and skeletons. The abstraction helps manage non-functional concerns on the Grid/Cloud environments. This paper explains how the pattern operators work on synchronous c...

We develop a very general operator-valued functional calculus for operators with an H∞−calculus.We then apply this to the joint functional calculus of two sectorial operators when one has an H∞calculus. Using this we prove theorem of Dore-Venni type on sums of sectorial operators and apply our results to the problem of Lp−maximal regularity. Our main assumption is the R-boundedness of certain s...

Diagonal-norm summation-by-parts (SBP) operators can be used to construct timestable high-order accurate finite-difference schemes. However, to achieve both stability and accuracy, these operators must use s-order accurate boundary closures when the interior scheme is 2s-order accurate. The boundary closure limits the solution to (s + 1)-order global accuracy. Despite this bound on solution acc...

The purpose of this paper is to contribute to a unified formal framework for complex systems modeling. To this aim, we define a unified semantics for systems including integration operators. We consider complex systems as functional blackboxes (with internal states), whose structure and behaviors can be constructed through a recursive integration of heterogeneous components. We first introduce ...