The Common Framework Initiative (CoFI) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software. The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic specification lang...

The use of polarimetric techniques is nowadays widespread among solar and stellar astronomers. However, notwithstanding the recommandations that have often been made about the publication of polarimetric results in the astronomical literature, we are still far from having a standard protocol on which to conform. In this paper we review the basic definitions and the physical significance of the ...

We study the two-dimensional problem of propagation of linear water waves in deep water in the presence of a critically submerged body (i.e., the body touching the water surface). Assuming uniqueness of the solution in the energy space, we prove the existence of a solution which satisfies the radiation conditions at infinity as well as at the cusp point where the body touches the water surface....

We consider association schemes with d classes and the underlying BoseMesner algebra, A . Then, by taking into account the relationship between the Hadamard and the Kronecker products of matrices and making use of some matrix techniques over the idempotents of the unique basis of minimal orthogonal idempotents of A , we prove some results over the Krein parameters of an association scheme.

Differential cross-polarization modulation (DXPoM) wavelength conversion using a semiconductor optical amplifier has been proposed to outperform substantially traditional cross-polarization modulation (XPoM). This work presents analytical small-signal models of XPoM and DXPoM. The transfer function of DXPoM is used to elucidate the significant improvement in bandwidth and the relationships amon...

We povide new formulae for the wave operators in the context of the Friedrichs-Faddeev model. Continuity with respect to the energy of the scattering matrix and a few results on eigenfunctions corresponding to embedded eigenvalues are also derived.

The concept of correlating pharmacokinetic parameters with body weight from different animal species has become a useful tool in drug development. The allometric approach is based on the power function, where the body weight of the species is plotted against the pharmacokinetic parameter(s) of interest. Clearance, volume of distribution, and elimination half-life are the three most frequently e...

We present the device parameters for organic field-effect transistors fabricated from solution-deposited films of functionalized pentacene and anthradithiophenes. These materials are easily prepared in one or two steps from commercially available starting materials and are purified by simple recrystallization. For a solution-deposited film of functionalized pentacene, hole mobility of 0.17 cm2/...