Combining open and closed world reasoning for the semantic web

Dissertação para obtenção do Grau de Doutor em Informática

Privatization and social welfare in an international mixed Stackelberg duopoly

Competition between public and private firms exists in a range of industries like telecommunications, electricity, natural gas, airlines industries, as weel as services including hospitals, banking and education. Some authors studied mixed oligopolies under Cournot competition (firms move simultaneously) and some others considered Stackelberg models (firms move sequentially). Tomaru [1] analyzed, in a Cournot model, how decision-making upon cost-reducing R&D investment by a domestic public firm is affected by privatization when competing in the domestic market with a foreign firm. He shows that privatization of the domestic public firm lowers productive efficiency and deteriorates domestic social welfare. In this paper, we examine the same question but in a Stackelberg formulation instead of Cournot. The model is a three-stage game. In the first stage, the domestic firm chooses the amount of cost-reducing R&D investment. Then, the firms compete à la Stackelberg. Two cases are considered: (i) The domestic firm is the leader; (ii) The foreign firm is the leader. We show that the results obtained in [1] for Cournot competition are robust in the sence that they are also true when firms move sequentially.

Metabolic flux analysis of neural cell metabolism in primary cultures

Dissertation presented to obtain the Ph.D degree in Biochemistry, Neuroscience

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems

5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

A low-cost method to test cytotoxic effects of Crotalus vegrandis (Serpentes: Viperidae) venom on kidney cell cultures

The pathogenesis of the renal lesion upon envenomation by snakebite has been related to myolysis, hemolysis, hypotension and/or direct venom nephrotoxicity caused by the venom. Both primary and continuous cell culture systems provide an in vitro alternative for quantitative evaluation of the toxicity of snake venoms. Crude Crotalus vegrandis venom was fractionated by molecular exclusion chromatography. The toxicity of C. vegrandis crude venom, hemorrhagic, and neurotoxic fractions were evaluated on mouse primary renal cells and a continuous cell line of Vero cells maintained in vitro. Cells were isolated from murine renal cortex and were grown in 96 well plates with Dulbecco's Modified Essential Medium (DMEM) and challenged with crude and venom fractions. The murine renal cortex cells exhibited epithelial morphology and the majority showed smooth muscle actin determined by immune-staining. The cytotoxicity was evaluated by the tetrazolium colorimetric method. Cell viability was less for crude venom, followed by the hemorrhagic and neurotoxic fractions with a CT50 of 4.93, 18.41 and 50.22 µg/mL, respectively. The Vero cell cultures seemed to be more sensitive with a CT50 of 2.9 and 1.4 µg/mL for crude venom and the hemorrhagic peak, respectively. The results of this study show the potential of using cell culture system to evaluate venom toxicity.

Design a computer programming learning environment for Massive Open Online Courses

Teaching and learning computer programming is as challenging as difficult. Assessing the work of students and providing individualised feedback to all is time-consuming and error prone for teachers and frequently involves a time delay. The existent tools and specifications prove to be insufficient in complex evaluation domains where there is a greater need to practice. At the same time Massive Open Online Courses (MOOC) are appearing revealing a new way of learning, more dynamic and more accessible. However this new paradigm raises serious questions regarding the monitoring of student progress and its timely feedback. This paper provides a conceptual design model for a computer programming learning environment. This environment uses the portal interface design model gathering information from a network of services such as repositories and program evaluators. The design model includes also the integration with learning management systems, a central piece in the MOOC realm, endowing the model with characteristics such as scalability, collaboration and interoperability. This model is not limited to the domain of computer programming and can be adapted to any complex area that requires systematic evaluation with immediate feedback.

The use of the antifungal agent miconazole as an inhibitor of Blastocystis hominis growth in Entamoeba histolytica/E. dispar cultures

In regions with high prevalence, Blastocystis hominis is frequently found in association with Entamoeba histolytica/E. dispar in xenic cultures. Its exacerbated growth is often superimposed on the growth of amebas, thus impeding the continuation of the amebas in the culture, within a few generations. The present study reports on the excellent efficacy (100%) of the antifungal agent miconazole in eliminating B. hominis from cultures of E. histolytica/E. dispar, thereby maintaining the integrity of the trophozoites of the amebas. Nystatin presented low efficacy (33.3%).

Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Histopathology, serology and cultures in the diagnosis of cryptococcosis

Cryptococcosis is one of the most common opportunistic fungal infections in patients with acquired immunodeficiency syndrome (AIDS). We report 13 cases of cryptococcal infection based on histopathology, serology and cultures. Epidemiological analysis, histochemical techniques of hematoxilin and eosin (HE) and Grocot's silver (GMS), as well special histochemical techniques such as Mayer's mucicarmine (MM) and Fontana-Masson (FM), cryptococcal antigen test (CrAg) and isolation on fungal media: Sabouraud's (SAB), brain-heart infusion agar (BHI) and canavanine-glycine-bromothymol blue (CGB) agar were analyzed. Unsatisfactory staining results by MM stain associated to negative titers by CrAg test, which FM stain confirmed that capsule-deficient Cryptococcus infections were observed in four cases. Eight isolated cases were identified as follows: six cases were infection with Cryptococcus neoformans and two cases were Cryptococcus gattii.

Massive Open Online Course management: learning science and engineering through peer-reviewed projects

Massive Open Online Courses (MOOC) are gaining prominence in transversal teaching-learning strategies. However, there are many issues still debated, namely assessment, recognized largely as a cornerstone in Education. The large number of students involved requires a redefinition of strategies that often use approaches based on tasks or challenging projects. In these conditions and due to this approach, assessment is made through peer-reviewed assignments and quizzes online. The peer-reviewed assignments are often based upon sample answers or topics, which guide the student in the task of evaluating peers. This chapter analyzes the grading and evaluation in MOOCs, especially in science and engineering courses, within the context of education and grading methodologies and discusses possible perspectives to pursue grading quality in massive e-learning courses.