A four port network adder-subtractor module, for surface plasmon polariton (SPP) waves based on a ring resonator filter is proposed. The functionality of module is achieved by the phase difference manipulation of guided SPPs through different arms connected to the ring resonator. The module is designed using the concepts of a basic two-port device proposed in this paper. It is shown that two po...

Background: Child-parent agreement is a controversial aspect of measuring health-related quality of life (HRQoL) in children and adolescents. The aim of this study was to assess the agreement between the child self-reports and parent proxy reports of the PedsQL 3.0 Asthma Module in Iranian children with asthma to evaluate HRQoL. Moreover, the psychometric properties of the child and parent repo...

In this dissertation an integrated approach to formal module verification by model checking andmodule testing is described. The main focus lays on the verification of C functions. Specification-based testing and functional verification require a formalized module specification. For this purposean annotation language as an extension of a pre-/post-condition syntax is developed and di...

Formulating queries to access multiple databases can be a formidable task, especially when many terms from various databases and complex constraints are involved. To specify a multidatabase query, the user usually has to search through documents for exact database terms and learn the multidatabase language. This report presents QUICK (QUery Interface to CPL-Kleisli), a graphical user interface ...

let $r$ be a commutative ring with identity and $m$ an $r$-module. in this paper, we associate a graph to $m$, say ${gamma}({}_{r}m)$, such that when $m=r$, ${gamma}({}_{r}m)$ coincide with the zero-divisor graph of $r$. many well-known results by d.f. anderson and p.s. livingston have been generalized for ${gamma}({}_{r}m)$. we show that ${gamma}({}_{r}m)$ is connected with ${diam}({gamma}({}_...

let $r$ be a commutative noetherian ring with non-zero identity and $fa$ an ideal of $r$. let $m$ be a finite $r$--module of finite projective dimension and $n$ an arbitrary finite $r$--module. we characterize the membership of the generalized local cohomology modules $lc^{i}_{fa}(m,n)$ in certain serre subcategories of the category of modules from upper bounds. we define and study the properti...

object quality have-requirement

let $r$ be an arbitrary ring with identity and $m$ a right $r$-module with $s=$ end$_r(m)$. the module $m$ is called {it rickart} if for any $fin s$, $r_m(f)=se$ for some $e^2=ein s$. we prove that some results of principally projective rings and baer modules can be extended to rickart modules for this general settings.