Effective testing of software is an important concern in the software engineering community. While many techniques regularly used for testing software apply equally well to testing the implementations of simulation models, we believe that testing simulations often raises issues that occur infrequently in other types of software. We believe that many code characteristics that commonly occur in s...

The presence of benzpyrene hydroxylase activity in the small intestine, lung, and kidney of the normal rat has been shown by quantitative assay and compared with the level of activity in the liver. The intraperitoneal injection of methylcholanthrene in creased the level of activity found in each of the four tissues examined. The stimu lation by methylcholanthrene was inhibited by the simultaneo...

Progressive hemorrhagic injury (PHI) can be divided into coagulopathy-related PHI and normal coagu- lation PHI. Coagulation disorders after traumatic brain injuries can be included in trauma-induced coagulopathy (TIC). Some studies showed that TIC is associated with PHI and increases the rates of disability and mortality. In this review, we discussed some mechanisms in TIC, which is of great im...

We revisit the main techniques of program transformation which are used in partial evaluation mixed computation supercompi lation generalized partial computation rule based program derivation program specialization compiling control and the like We present a methodology which underlines these techniques as a common pattern of reasoning and explains the various correspondences which can be estab...

Literature: Serial Bibliographic level: Analytic UDC: 621.39:342.3 ISSN: 1330-0067 Coden: IORME7 Short title: Informatologia, Zagreb Vol. No. (Year): 44(2011) Issue No: 3 Other indetifi cation: INFO-2028 Page numbers 187-192 Received: 2011-03-02 Issued: 2011-09-03 Language –of text:Engl. – of Summary: Engl., Croat. References: 27 Tables: 9 Figures: 0 Category: Original Scientifi c Paper Title: ...

In untimed process algebras such as CCS and ACP the silent step enables abstraction from internal actions. Several formalizations of abstraction have been introduced, such as observational congruence, delay bisimu-lation and branching bisimulation. However, in real time process algebras, such as ACPp, the silent step has not yet received much attention, so far. Therefore, we formalize these sem...

Scientific Events: Special Articles: Conversazione of the Royal Society; Expedition of The Third Major Mechanical Factor in the Circuthe Department of Tropical Research of the New lation of the Blood: PROFESSOR YANDELL HENDERYork Zoological Society; Fellowships of the NaSON, A. W. OUGHTERSON, L. A. GREENBERG and tional Research Council; The Fiftieth Anniversary C. P. SEARLE. A Species and Genus...

We theoretically characterize the performance of the pairwise correlations (PCs) from multiple quantum correlated beams based on the cascaded four-wave mixing (FWM) processes. The presence of the PCs with quantum corre- lation in these systems can be verified by calculating the degree of intensity difference squeezing for any pair of all the output fields. The quantum correlation characteristic...

High concentrations ofCO₂ levels are significantly present in closed environments that do not have proper venti-lation. Such high generate negative health con-sequences such as dizziness, headaches and various respiratory problems. For this reason, the design implementation of a low-costCO₂ monitoring control prototype is proposed to optimize ventilation spaces. The parameters device measures c...

In a previous paper of this series a flat form of the dried collodion membrane and its method of preparation was described (1). As this form of membrane presented certain advantages in durability and convenience of manipulation over the previously used bag membranes, it was the type used in most of the subsequent investigations. Electric transfer experiments in which relatively strong electric ...