fabms analysis of t-lb peptide before and after one cycle of edman degradation indicated an unblocked n-terminal thr residue for this tryptic peptide. in contrast , our data showed a molecular protonated ion, mh + for t- la peptide at 655 mass units (mu) which is 42 mu higher than the mh ion of t- 1b peptide. in addition, t- la peptide was not amenable to one cycle of manual edman degradation. ...

‎For a given measure space $(X,{mathscr B},mu)$ we construct all measure spaces $(Y,{mathscr C},lambda)$ in which $(X,{mathscr B},mu)$ is embeddable‎. ‎The construction is modeled on the ultrafilter construction of the Stone--v{C}ech compactification of a completely regular topological space‎. ‎Under certain conditions the construction simplifies‎. ‎Examples are given when this simplification o...

objectives: the aim of this study was to verify the treatment planning systems (tpss). the next aim was to validate imsure qa software for patient-specific qa in radiotherapy clinics.  material and methods: we used imsure qa software (standard imaging, v 3.5) for verification of 92 non-imrt plans (540 fields) in 10 radiotherapy clinics. to validate the imsure, dose measurement was performed in ...

Background: This work investigated the dosimetry limitations of the random and systematic uncertainties of sliding window (SW) intensity modulated radiation therapy (IMRT). Materials and Methods: A Varian 21EX linear accelerator, Pinnacle3 treatment planning system and radiographic film dosimetry was used. The limitations of the SW were studied using beam modulation ranging from 2 to 10...

The Horn -calculus is a logic programming language allowing arbitrary nesting of least and greatest fixed points. The Horn -programs can naturally expresses safety and liveness properties for reactive systems. We extend the setbased analysis of classical logic programs by mapping arbitrary -programs into “uniform” -programs. Our two main results are that uniform -programs express regular sets o...