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.

let $a$ be a banach algebra and $x$ be a banach $a$-bimodule. then ${mathcal{s}}=a oplus x$, the $l^1$-direct sum of $a$ and $x$ becomes a module extension banach algebra when equipped with the algebra product $(a,x).(a',x')=(aa',ax'+xa').$ in this paper, we investigate biflatness and biprojectivity for these banach algebras. we also discuss on automatic continuity of derivations on ${mathcal{s...