Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Experimental infection of capybaras Hydrochoerus hydrochaeris by Rickettsia rickettsii and evaluation of the transmission of the infection to ticks Amblyomma cajennense

The present study evaluated the infection of capybaras (Hydrochoerus hydrochaeris) by Rickettsia rickettsii and their role as amplifier hosts for horizontal transmission of R. rickettsii to Amblyomma cajennense ticks. Two groups of two capybaras each were evaluated: on day 0, group 1 (G1) was infested by R. rickettsii-infected ticks, and group 2 (G2) was inoculated intraperitoneally with R. rickettsii. Two additional groups were control groups, not exposed to R. rickettsii, being CG1 group the control of G1, and CG2 group the control of G2. Capybara rectal temperature was measured daily. Blood samples were collected every 3 days during 30 days, and used to (i) inoculate guinea pigs intraperitoneally; (ii) DNA extraction followed by real-time PCR targeting the rickettsial gene gltA; (iii) hematology; (iv) detection of R. rickettsii-reactive antibodies by indirect immunofluorescence assay (IFA). Blood was also collected from G I capybaras every approximate to 10-30 days till the 146th day, to be tested by serology. Capybaras were infested by uninfected A. cajennense nymphs from the 3rd to the 18th day. Engorged nymphs were collected, allowed to molt to adults in an incubator. Thereafter, the subsequent flat ticks were tested by PCR. All G1 and G2 capybaras became infected by R. rickettsii, as demonstrated by guinea pig inoculation and seroconversion, but they showed no fever. Rickettsemia was continually detected from the 6th (G2 capybaras) or 9th (G1 capybaras) to the 18th day post inoculation or infestation with R. rickettsii-infected ticks. A total of 20-25% and 30-35% of the flat ticks previously fed on G1 and G2 capybaras, respectively, became infected by R. rickettsii. The study demonstrated that R. rickettsii was capable to infect capybaras without causing clinical illness, inducing rickettsemia capable to cause infection in guinea pigs and ticks. Our results indicate that capybaras act as amplifier host of R. rickettsii for A. cajennense ticks in Brazil. (c) 2008 Elsevier B.V. All rights reserved.

Detection of Bartonella spp. in neotropical felids and evaluation of risk factors and hematological abnormalities associated with infection

Although antibodies to Bartonella henselae have been described in all neotropical felid species, DNA has been detected in only one species, Leopard us wiedii. The aim of this study was to determine whether DNA of Bartonella spp. could be detected in blood of other captive neotropical felids and evaluate risk factors and hematological findings associated with infection. Blood samples were collected from 57 small felids, including 1 Leopard us geoffroyi, 17 L wiedii, 22 Leopardus tigrinus, 14 Leopardus pardalis, and 3 Puma yagouaroundi; 10 blood samples from Panthera onca were retrieved from blood banks. Complete blood counts were performed on blood samples from small felids, while all samples were evaluated by PCR. DNA extraction was confirmed by amplification of the cat GAPDH gene. Bartonella spp. were assessed by amplifying a fragment of their 16S-23S rRNA intergenic spacer region; PCR products were purified and sequenced. For the small neotropical felids, risk factors [origin (wild-caught or zoo-born), gender, felid species, and flea exposure) were evaluated using exact multiple logistic regression. Hematological findings (anemia, polycythemia/hyperproteinemia, leukocytosis and leukopenia) were tested for association with infection using Fisher`s exact test. The 635 bp product amplified from 10 samples (10/67 = 14.92%) was identified as B. henselae by sequencing. Small neotropical felid males were more likely to be positive than females (95% CI = 0.00-0.451, p = 0.0028), however other analyzed variables were not considered risk factors (p > 0.05). Hematological abnormalities were not associated with infection (p > 0.05). This is the first report documenting B. henselae detection by PCR in several species of neotropical felids. (C) 2009 Elsevier B.V. All rights reserved.

Collection and evaluation of semen from the three-toed sloth (Bradypus tridactylus)

Sloths (Bradypus sp.) are extremely sensitive animals that suffer with the destruction and fragmentation of forests. They present a low population growth rate and need to be further studied for the preservation of the specie. Thus, the aim of this study was to establish an efficient semen collection protocol as well as characterize sperm concentration, motility and morphology in order to contribute with information about the reproductive traits of this specie, which has never been described in the literature before. For that, nine Bradypus tridactylus males were captured during the wet season and six during the dry season, in Manaus (AM), located in the north region of Brazil, semen was collected by electroejaculation with shocks given in sequences of progressive intensities (minimum 20 mA and maximum 60 mA). All animals ejaculated small volumes of semen and in some of them, the volume ejaculated was not enough for a complete spermiogram. Physical characteristics observed on the collections of the wet season were different from those seen in the specimen collected in the dry season. Motility an vigor was very low and did not show forward progression, only oscillatory movement. After Spermac stain, spermatozoa presented a wide variety of defects; however, the differences in morphology were not significant between seasons. The morphology assessed by scanning electron microscopy shows that the head in both groups could be elongated, short or could have a base narrower than the apex and the midpiece narrowed abruptly, forming a nip in its transition to the tail. Although further studies are necessary to verify our preliminary findings concerning seasonal variation in sperm quality, these results demonstrate that semen can be safely collected from sloths by electroejaculation and provide the first reports of semen characteristics in this species. (C) 2008 Elsevier Ltd. All rights reserved.

An evaluation approach for a new paradigm - health care integration

This paper explores an approach to the implementation and evaluation of integrated health service delivery. It identifies the key issues involved in integration evaluation, provides a framework for assessment and identifies areas for the development of new tools and measures. A proactive role for evaluators in responding to health service reform is advocated.

Adolescents' perceptions of social status: Development and evaluation of a new indicator

Objective. Eliminating health disparities, including those that are a result of socioeconomic status (SES), is one of the overarching goals of Healthy People 2010. This article reports on the development of a new, adolescent-specific measure of subjective social status (SSS) and on initial exploratory analyses of the relationship of SSS to adolescents' physical and psychological health. Methods. A cross-sectional study of 10 843 adolescents and a subsample of 166 paired adolescent/mother dyads who participated in the Growing Up Today Study was conducted. The newly developed MacArthur Scale of Subjective Social Status (10-point scale) was used to measure SSS. Paternal education was the measure of SES. Indicators of psychological and physical health included depressive symptoms and obesity, respectively. Linear regression analyses determined the association of SSS to depressive symptoms, and logistic regression determined the association of SSS to overweight and obesity, controlling for sociodemographic factors and SES. Results. Mean society ladder ranking, a subjective measure of SES, was 7.2 ± 1.3. Mean community ladder ranking, a measure of perceived placement in the school community, was 7.6 ± 1.7. Reliability of the instrument was excellent: the intraclass correlation coefficient was 0.73 for the society ladder and 0.79 for the community ladder. Adolescents had higher society ladder rankings than their mothers (µteen = 7.2 ± 1.3 vs µmom = 6.8 ± 1.2; P = .002). Older adolescents' perceptions of familial placement in society were more closely correlated with maternal subjective perceptions of placement than those of younger adolescents (Spearman's rhoteens

Rational combinatorial chemistry-based selection, synthesis and evaluation of an affinity adsorbent for recombinant human clotting factor VII

The selection, synthesis and chromatographic evaluation of a synthetic affinity adsorbent for human recombinant factor VIIa is described. The requirement for a metal ion-dependent immunoadsorbent step in the purification of the recombinant human clotting factor, FVIIa, has been obviated by using the X-ray crystallographic structure of the complex of tissue factor (TF) and Factor VIIa and has directed our combinatorial approach to select, synthesise and evaluate a rationally-selected affinity adsorbent from a limited library of putative ligands. The selected and optimised ligand comprises a triazine scaffold bis-substituted with 3-aminobenzoic acid and has been shown to bind selectively to FVIIa in a Ca2+-dependent manner. The adsorbent purifies FVIIa to almost identical purity (>99%), yield (99%), activation/degradation profile and impurity content (∼1000 ppm) as the current immunoadsorption process, while displaying a 10-fold higher static capacity and substantially higher reusability and durability. © 2002 Elsevier Science B.V. All rights reserved.

Development and evaluation of a species diagnostic polymerase chain reaction-restriction fragment-length polymorphism procedure for cryptic members of the Culex sitiens (Diptera : Culicidae) subgroup in Australia and the southwest Pacific

Members of the Culex sitiens subgroup are important vectors of arboviruses, including Japanese encephalitis virus, Murray Valley encephalitis virus and Ross River virus. Of the eight described species, Cx. annulirostris Skuse, Cx. sitiens Wiedemann, and Cx. palpalis Taylor appear to be the most abundant and widespread throughout northern Australia and Papua New Guinea (PNG). Recent investigations using allozymes have shown this subgroup to contain cryptic species that possess overlapping adult morphology. We report the development of a polymerase chain reaction-restriction fragment-length polymorphism (PCR-RFLP) procedure that reliably separates these three species. This procedure utilizes the sequence variation in the ribosomal DNA ITS1 and demonstrates species-specific PCR-RFLP profiles from both colony and field collected material. Assessment of the consistency of this procedure was undertaken on mosquitoes sampled from a wide geographic area including Australia, PNG, and the Solomon Islands. Overlapping adult morphology was observed for Cx. annulirostris and Cx. palpalis in both northern Queensland and PNG and for all three species at one site in northwest Queensland.

Reshaping European Union development policy: collective choices and the new global order

Abstract The European Union (EU) is one of the world´s leading donors in official development assistance (ODA) to give a strong weight in the relationship with recipient partner countries, in particular with those that are more dependent on it. Besides the material weight of its funding, the EU has retained historical ties and influence in diplomatic, political and economic terms in many of its ODA recipient partner countries (particular in Sub-Saharan Africa). Since the 2000s, the EU development policy has not only undergone major structural changes in its institutional framework but also has started to face a new international aid scenario. This paper explores why a normative-based EU development policy is being challenged by reformed EU institutions and a new global order, and how the EU is attempting to respond to this context in face of the deepest recession since the end of the Second World War.

«Corruption» and social and economic criminal law: criminology, criminal policy, political science and law&economics - a new idea about criminal liability of legal entities

Abstract: If we think there is a significant number of legal offshore in the globalized world, then there is not even a global consensus about what «corruption» is. The «illegal corruption» in a country may be legal in another. Moreover, the great global corruption is above the law or above democratic States. And not all democratic States are «Rule of Law». Therefore, the solution is global earlier in time and space law, democratic, free and true law. While the human being does not reach a consensus of what «corruption» really is, the discussion will not go further than a caricature. One of the other problems about «corruption» is that it is very difficult to establish the imputation of crimes, including «corruption» (v.g. Portugal) on some «companies», corporations. We have a juridical problem in the composition of the art. 11. of the Portuguese Penal Code.