An IOHMM-Based Framework to Investigate Drift in Effectiveness of IoT-Based Systems.

IoT-based systems, when interacting with the physical environment through actuators, are complex systems difficult to model. Formal verification techniques carried out at design-time being often ineffective in this context, these systems have to be quantitatively evaluated for effectiveness at run-time, i.e.

Combination of standard cytology and immunocytology with BL2-10D1 monoclonal antibody for monitoring-treated bladder cancer patients.

Monoclonal antibody BL2-10D1 directed against a tumor-associated antigen of bladder carcinoma was used for monitoring 11 intravesically treated patients. Thirty-three bladder washout specimens were used for standard cytology and immunological staining. Prior to treatment, 9 of 11 cytologic specimens examined with standard cytology were found to be positive.

[Exploration of fetal erythropoiesis].

Rat embryos (8-14 days) were fixed, included and cut. Others in all cases from the same litter, were crushed on smears, in toto or after dissection. A comparative study of the two types of samples is necessary to obtain good results.

[Toxico-pharmacological study of lyophilized sodium nitroprusside (SNP)].

Sodium nitroprusside (SNP) shows a strong hypotensive activity not only in normotensive animals but also in the presence of experimentally induced arterial hypertension. Its use in intravenous perfusion produces the rapid induction of arterial hypotension lasting or only slightly exceeding the time of its administration. Most investigators consider this hypotensive activity related to the fall in peripheral resistance, as is supported by the considerable fall in diastolic blood pressure.

[Study on teratogenic effect of ultrasonics. I. Effect on pregnant mice].

An experimental study in pregnant mice shows no statistically significative teratogenic influence of ultrasounds.