A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Pregnancy outcomes in women with repeated implantation failures after intracytoplasmic morphologically selected sperm injection (IMSI)

Background: The purpose of this study was to compare laboratory and clinical outcomes of intracytoplasmic morphologically selected sperm injection (IMSI) and conventional intracytoplasmic sperm injection (ICSI) in couples with repeated implantation failures.Methods: A total of 200 couples with at least two prior unsuccessful ICSI cycles were enrolled: 100 couples were submitted to IMSI and 100 were submitted to routine ICSI. For IMSI, spermatozoa were selected at 8400x magnification using an inverted microscope equipped with Nomarski (differential interference contrast) optics. For conventional ICSI, spermatozoa were selected at 400x magnification. Clinical outcomes were evaluated between the two groups.Results: Study patients were comparable in age, number of treatment failures, aetiology of infertility, percentage of normal form assessed by MSOME (motile sperm organelle morphology examination), semen parameters, total number of oocytes collected, number of mature oocytes collected, total number of embryos transferred and number of high-quality embryos transferred. No statistically significant differences between the two groups were observed with regard to rates of fertilisation, implantation and pregnancy/cycle. Although not statistically significant, rates of miscarriage (IMSI:15.3% vs ICSI:31.7%), ongoing pregnancy (IMSI:22% vs ICSI:13%) and live births (IMSI:21% vs ICSI:12%) showed a trend towards better outcomes in the IMSI group. In addition, analysis of subpopulations with or without male factor showed similar results.Conclusions: Our results suggest that IMSI does not provide a significant improvement in clinical outcome compared to ICSI, at least in couples with repeated implantation failures after conventional ICSI. However, it should be noted that there were clear trends for lower miscarriage rates (approximate to 50% reduced) and higher rates of ongoing pregnancy and live births (both nearly doubled) within the IMSI group. Further confirmation as well as randomized large-scale trials are needed to confirm the beneficial effects of IMSI in couples with poor reproductive prognoses.

Effect of implant connection and restoration design (screwed vs. cemented) in reliability and failure modes of anterior crowns

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Independent and interactive effects of a top and an intermediate fish species on the food web structure of a tropical stream

Two fish species, one top predator (Imparfinis mirini) and one intermediate detritivorous species (Hisonotus depressicauda), were experimentally manipulated to evaluate their relative importance in structuring the periphytic community, as well as their effects on the other trophic levels. An enclosure experiment was conducted in the Potreirinho creek, a second order tributary of Paranapanema River, SE Brazil. Five treatments were used: enclosure of the predator species. enclosure of the detritivorous species, enclosure of both together, exclusion of all fish species (closed control cage), and cage open to all fish community, (open control). Through direct and indirect effects, I. mirini, when alone gave rise to a trophic cascade that resulted in a positive effect on algal resources. Through direct effects, H. depressicauda. when alone, reduced the amount of organic matter, resulting in a positive indirect effect on algae. In addition, when the two species were enclosed together, only the effects determined by the detritivorous species were present. The results indicate the important role of the intermediate detritivorous species in the maintenance of the composition and trophic structure of the analyzed community by reducing the effects caused by the top predator.

An interactive environment for solid modeling based on free software

This paper describes an interactive environment built entirely upon public domain or free software, intended to be used as the preprocessor of a finite element package for the simulation of three-dimensional electromagnetic problems.

Coordinated, network-based research as a strategic component of science in Brazil

Scientific research plays a fundamental role in the health and development of any society, since all technological advances depend ultimately on scientific discovery and the generation of wealth is intricately dependent on technological advance. Due to their importance, science and technology generally occupy important places in the hierarchical structure of developed societies, and they receive considerable public and private investment. Publicly funded science is almost entirely devoted to discovery, and it is administered and structured in a very similar way throughout the world. Particularly in the biological sciences, this structure, which is very much centered on the individual scientist and his own hypothesis-based investigations, may not be the best suited for either discovery in the context of complex biological systems, or for the efficient advancement of fundamental knowledge into practical utility. The adoption of other organizational paradigms, which permit a more coordinated and interactive research structure, may provide important opportunities to accelerate the scientific process and further enhance its relevance and contribution to society. The key alternative is a structure that incorporates larger organizational units to tackle larger and more complex problems. One example of such a unit is the research network. Brazil has utilized such networks to great effect in genome sequencing projects, demonstrating their relevance to the Brazilian research community and opening the possibility of their wider utility in the future.

Implantation failures: Success of assisted hatching with quarter-laser zona thinning

Implantation failure after IVF is one of the factors associated with a reduced chance of pregnancy for some patients. Assisted hatching methodologies are designed to facilitate the embryo's escape from the zona pellucida, and this strategy has been suggested as a means of improving pregnancy rates in patients with previous implantation failure. The aim of this prospective and randomized study was to evaluate the efficacy of quarter-laser zona thinning assisted hatching (qLZT-AH) in improving the implantation of embryos in patients with previous implantation failure. A total of 150 patients with a history of previous implantation failure were treated with intracytoplasmic sperm injection, and allocated into two groups: group 1, only one previous implantation failure, and group 2, repeated implantation failures. The patients in each group were randomized at the time of embryo transfer into a control group (no qLZT-AH) or experimental group where qLZT-AH was performed. For patients with repeated implantation failures, the implantation rate in those who received laser-thinned embryos was significantly higher (P=0.02) than in those whose embryos were not laser-thinned (10.9 and 2.6% respectively). However, this difference was not observed in patients who presented with only one previous implantation failure. The data demonstrate that qLZT-AH is an effective strategy for improving the implantation of embryos in patients with repeated implantation failures.

Interactive DC-DC converters tools for instant design and education

This paper deals with the usage of interactive simulations tools to serve as an oriented design tool for the lectures and laboratory experiments in the power electronics courses. A dynamic and interactive visualization of simulations for idealized converters in steady state are provided by the proposed educational tools, allowing students to acquire qualification in non-isolated DC-DC converters, without previous circuitry knowledge, either without the usage of sophisticated simulation packages. The interaction with proposed simulation tools can be accomplished by student using direct or graphic mode. In direct mode the parameters related with the design of converter can be inserted simply editing default values presented in textboxes, while in the graphic mode students interact indirectly with design information by manipulating visual widgets. In order to corroborate the proposed interactive simulation tools, comparisons of results from buck-boost and boost converters on proposed tools and a well-known simulator package with those on experimental evaluation from laboratory classes were presented. © 2009 IEEE.

Checkedit system: an interactive microcomputer program for editing and correction of demographic survey data, versión 1.00

Descripción del sistema Checkedit, desarrollado por CELADE para detección de errores en archivos secuenciales, de acuerdo a reglas establecidas por el usuario.

Trade policy reform and poverty: successes and failures in Central America

Includes bibliography

Reliability and failure modes of internal conical dental implant connections

Objective: Biological and mechanical implant-abutment connection complications and failures are still present in clinical practice, frequently compromising oral function. The purpose of this study was to evaluate the reliability and failure modes of anterior single-unit restorations in internal conical interface (ICI) implants using step-stress accelerated life testing (SSALT). Materials and methods: Forty-two ICI implants were distributed in two groups (n = 21 each): group AT-OsseoSpeed™ TX (Astra Tech, Waltham, MA, USA); group SV-Duocon System Line, Morse Taper (Signo Vinces Ltda., Campo Largo, PR, Brazil). The corresponding abutments were screwed to the implants and standardized maxillary central incisor metal crowns were cemented and subjected to SSALT in water. Use-level probability Weibull curves and reliability for a mission of 50,000 cycles at 200 N were calculated. Differences between groups were assessed by Kruskal-Wallis along with Bonferroni's post-hoc tests. Polarized-light and scanning electron microscopes were used for failure analyses. Results: The Beta (β) value derived from use level probability Weibull calculation was 1.62 (1.01-2.58) for group AT and 2.56 (1.76-3.74) for group SV, indicating that fatigue was an accelerating factor for failure of both groups. The reliability for group AT was 0.95 and for group SV was 0.88. Kruskal-Wallis along with Bonferroni's post-hoc tests showed no significant difference between the groups tested (P > 0.27). In all specimens of both groups, the chief failure mode was abutment fracture at the conical joint region and screw fracture at neck's region. Conclusions: Reliability was not different between investigated ICI connections supporting maxillary incisor crowns. Failure modes were similar. © 2012 John Wiley & Sons A/S.

OPUS: interactive software for solving linear programming models using the simplex algorithm

Includes bibliography