The proceedings present the accepted contributions for the 5 International Workshop on Critical Systems Development Using Modeling Languages (CSDUML’06). CSDUML’06 takes place on October 1, 2006, in Genova, Italy, and is organised in conjunction with MoDELS’06 (October 1 – 6, 2006). The papers represent research in four areas: specification and analysis, system synthesis, verification, and indu...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 3 te l-0 06 06 51 2, v er si on 1 6 Ju l 2 01 1

We present a comparison between the published optical, IR and CO spectroscopic redshifts of 86 (sub-)mm galaxies and their photometric redshifts as derived from long-wavelength (radio–mm–FIR) photometric data. The redshift accuracy measured for 13 sub-mm galaxies with at least one robustlydetermined colour in the radio–mm–FIR regime and additional constraining upper limits is ∆z ≈ 0.30. This ac...

This paper presents an effective design methodology and flow, which is validated through three mmwave/sub-mm-wave amplifiers: including W-band LNA with NF=7dB, W-band PA with PAE >11% and D-band amplifier with gain>20dB. The CMOS based amplifiers can be integrated with III-V materials to form heterogeneous integration, such as COSMOS, to achieve the best performance for various applications.

Objective. To determine whether the level of apoptosis induced by infectious pancreatic necrosis virus (IPNV) is related to the amino acid sequence of the BH2 domain of the VP5 protein and the level of infectivity. Materials and methods. Three IPNV strains were used, the VP2 protein gene was amplified for genotyping and the VP5 sequence was also obtained. The infectivity of the strains was calc...

OBJECTIVE Neuroimaging studies have revealed abnormalities in brain structure, including the striatum, in obese people. In this study, the cellular and parenchymal basis for these findings in post-mortem brain tissue was investigated. METHODS Design-based (unbiased) stereology combined with histochemical and immunocytochemical staining was used to quantify total number of neurons and astrocyt...