A New Hybrid Debugging Architecture for Eclipse

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_11[EN] During many years, print debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using breakpoints and state viewers. Almost all modern programming environments include a trace debugger that allows us to inspect the state of a computation in any given point. Nevertheless, this debugging method has been criticized for being completely manual and time-consuming. Other debugging techniques have appeared to solve some of the problems of Trace Debugging, but they suffer from other problems such as scalability. In this work we present a new hybrid debugging technique. It is based on a combination of Trace Debugging, Algorithmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique. We describe the architecture of our hybrid debugger and our implementation that has been integrated into Eclipse as a plugin.This work has been partially supported by the Spanish Ministerio de Economía y Competitividad (Secretaria de Estado de Investigación, Desarrollo e Innovación) under grant TIN2008-06622-003-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. David Insa was partially supported by the Spanish Ministerio de Educación under FPU grant AP2010-4415.González, J.; Insa Cabrera, D.; Silva Galiana, JF. (2013). A New Hybrid Debugging Architecture for Eclipse. En Logic-Based Program Synthesis and Transformation. Springer. 183-201. doi:10.1007/978-3-319-14125-1_11S183201Swi-prolog (1987). http://www.swi-prolog.org/Netbeans (1999). http://www.netbeans.org/Eclipse (2003). http://www.eclipse.org/Omnicore codeguide (2007). http://www.omnicore.com/en/codeguide.htmBorland JBuilder (2008). http://www.embarcadero.com/products/jbuilder/Sicstus prolog spider ide (2009). https://sicstus.sics.se/spider/Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8–13. ACM Press, New York (2005)Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Proceedings of the 7th Symposium on Trends in Functional Programming (TFP 2006) (April 2006)Gestwicki, P., Jayaraman, B.: JIVE: Java Interactive Visualization Environment. In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pp. 226–228. ACM Press, New York (2004)Giammona, D.: ORACLE ADF - Putting It Together. Technical report, ADF Declarative Debugger Archives (November 2009)Girgis, H., Jayaraman, B.: JavaDD: a Declarative Debugger for Java. Technical report,University at Buffalo (2006)González, F., De Miguel, R., Serrano, S.: Depurador Declarativo de Programas Java. Technical report, Universidad Complutense de Madrid (2006). http://eprints.ucm.es/9114/Hermanns, C., Kuchen, H.: Hybrid Debugging of Java Programs. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 91–107. Springer, Heidelberg (2013)Montebello, M., Abela, C.: Design and Implementation of a Backward-In-Time. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 46–58. Springer, Heidelberg (2003)Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), pp. 1–6 (2010)Insa, D., Silva, J.: Scaling Up Algorithmic Debugging with Virtual Execution Trees. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol. 6564, pp. 149–163. Springer, Heidelberg (2011)Insa, D., Silva, J.: loops2recursion Java Library (2013). http://www.dsic.upv.es/~jsilva/loops2recursion/Kouh, H.-J., Yoo, W.-H.: The Efficient Debugging System for Locating Logical Errors in Java Programs. In: Kumar, V., Gavrilova, M.L., Kenneth Tan, C.J., L’Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 684–693. Springer, Heidelberg (2003)B. Lewis. Debugging Backwards in Time. Available in the Computing Research Repository 2003, ( http://arxiv.org/abs/cs.SE/0310016 ), cs.SE/0310016Lienhard, A., Gîrba, T., Wang, J.: Practical Object-Oriented Back-in-Time Debugging. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 592–615. Springer, Heidelberg (2008)S. Microsystems. Java Platform Debugger Architecture - JPDA (2010). http://java.sun.com/javase/technologies/core/toolsapis/jpda/Mirghasemi, S., Barton, J., Petitpierre, C.: Debugging by lastChange. Technical report (2011). http://people.epfl.ch/salman.mirghasemiNilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998)Nilsson, H., Fritzson, P.: Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming 4(3), 337–370 (1994)Pothier, G.: Towards Practical Omniscient Debugging. PhD thesis, University of Chile (June 2011)Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982)Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011

High Effectiveness of Broad Access Direct-Acting Antiviral Therapy for Hepatitis C in an Australian Real-World Cohort: The REACH-C Study

Australia was one of the first countries with unrestricted access to government subsidized direct-acting antiviral (DAA) therapy for adults with chronic hepatitis C virus. This study assessed real-world DAA treatment outcomes across a diverse range of Australian clinical services and evaluated factors associated with successful treatment and loss to follow-up. Real-world Effectiveness of Antiviral therapy in Chronic Hepatitis C (REACH-C) consisted a national observational cohort of 96 clinical services including specialist clinics and less traditional settings such as general practice. Data were obtained on consecutive individuals who commenced DAAs from March 2016 to June 2019. Effectiveness was assessed by sustained virological response ≥12 weeks following treatment (SVR) using intention-to-treat (ITT) and per-protocol (PP) analyses. Within REACH-C, 10,843 individuals initiated DAAs (male 69%; ≥50 years 52%; cirrhosis 22%). SVR data were available in 85% (9,174 of 10,843). SVR was 81% (8,750 of 10,843) by ITT and 95% (8,750 of 9,174) by PP. High SVR (≥92%) was observed across all service types and participant characteristics. Male gender (adjusted odds ratio [aOR] 0.56, 95% confidence interval [CI] 0.43-0.72), cirrhosis (aOR 0.52, 95% CI 0.41-0.64), recent injecting drug use (IDU; aOR 0.64, 95% CI 0.46-0.91) and previous DAA treatment (aOR 0.50, 95% CI 0.28-0.90) decreased the likelihood of achieving SVR. Multiple factors modified the likelihood of loss to follow-up including IDU ± opioid agonist therapy (OAT; IDU only: aOR 1.75, 95% CI 1.44-2.11; IDU + OAT: aOR 1.39, 95% CI 1.11-1.74; OAT only, aOR 1.36; 95% CI 1.13-1.68) and age (aOR 0.97, 95% CI 0.97-0.98). Conclusion: Treatment response was high in a diverse population and through a broad range of services following universal access to DAA therapy. Loss to follow-up presents a real-world challenge. Younger people who inject drugs were more likely to disengage from care, requiring innovative strategies to retain them in follow-up

Towards the elimination of dog-mediated rabies: development and application of an evidence-based management tool

Abstract: Background: International organizations advocate for the elimination of dog-mediated rabies, but there is only limited guidance on interpreting surveillance data for managing elimination programmes. With the regional programme in Latin America approaching elimination of dog-mediated rabies, we aimed to develop a tool to evaluate the programme’s performance and generate locally-tailored rabies control programme management guidance to overcome remaining obstacles. Methods: We developed and validated a robust algorithm to classify progress towards rabies elimination within sub-national administrative units, which we applied to surveillance data from Brazil and Mexico. The method combines criteria that are easy to understand, including logistic regression analysis of case detection time series, assessment of rabies virus variants, and of incursion risk. Subjecting the algorithm to robustness testing, we further employed simulated data sub-sampled at differing levels of case detection to assess the algorithm’s performance and sensitivity to surveillance quality. Results: Our tool demonstrated clear epidemiological transitions in Mexico and Brazil: most states progressed rapidly towards elimination, but a few regressed due to incursions and control lapses. In 2015, dog-mediated rabies continued to circulate in the poorest states, with foci remaining in only 1 of 32 states in Mexico, and 2 of 27 in Brazil, posing incursion risks to the wider region. The classification tool was robust in determining epidemiological status irrespective of most levels of surveillance quality. In endemic settings, surveillance would need to detect less than 2.5% of all circulating cases to result in misclassification, whereas in settings where incursions become the main source of cases the threshold detection level for correct classification should not be less than 5%. Conclusion: Our tool provides guidance on how to progress effectively towards elimination targets and tailor strategies to local epidemiological situations, while revealing insights into rabies dynamics. Post-campaign assessments of dog vaccination coverage in endemic states, and enhanced surveillance to verify and maintain freedom in states threatened by incursions were identified as priorities to catalyze progress towards elimination. Our finding suggests genomic surveillance should become increasingly valuable during the endgame for discriminating circulating variants and pinpointing sources of incursions

Computed tomography for dental implants: the influence of the gantry angle and mandibular positioning on the bone height and width

To investigate the effect of deviation of mandibular positioning, by changing the gantry angle, on the measured height and width of dental implant sites in reformatted cross-sectional computed tomography (CT) scans. CT images of ten human dry mandibles were made in three gantry positions to simulate changes in patient positioning: (1) parallel to the lower base of the mandible (standard); (2) with a Gantry inclination of +19degrees; and (3) with an inclination of -19degrees. One examiner measured the bone height and width at selected sites in the images at three different times. Results were compared with a paired test in SAS 8.02. In relation to bone height, when the jaws were inclined to the inferior direction (gantry angle +19degrees), there was no statistically significant difference for any region studied. There was a statistically significant difference for the incisor region when the jaws were inclined to the superior direction (gantry angle -19degrees). With respect to the width of the bone rim, there was a statistically significant difference only for the region of the molars when the jaw was inclined to the inferior direction and for the region of the canine, when the inclination was to the superior direction. Errors in mandibular positioning of 19degrees produced image discrepancies with regard to bone height and width which were not excessive. Thus, examinations do not have to be repeated owing to variation of mandibular positioning because the differences were lower than 10% of the value found for the standard positiono TEXTO COMPLETO DESTE ARTIGO, ESTARÁ DISPONÍVEL À PARTIR DE AGOSTO DE 2015.British Institute of Radiology341915Inglaterr

A case study inside virtual worlds: Use of analytics for immersive spaces

In this paper we describe some case studies of the use of virtual worlds in corporate training as well as Higher Education. In particular for Higher Education we describe how the Virtual World constructed using the platform Avaya Live Engage, is used as an immersive environment with pre-service teachers, who are undergoing a 1-year teacher training program, and how the data analytics collected in-world is being used to monitor and direct content development. We focus our studies on the initial hypothesis that 3D immersive environments are highly engaging and offer an experience that goes beyond the 'traditional' online education. We want to combine different analysis methods to be able to get empirical evidence showing the students' engagement with the 3D space in ways that can help us in the design of the learning experience accompanying the learners in their journey. In this paper we describe the research methods we use for the study, and give an overview of the information we can collect from the in-world analytics. We also propose how these analytics can be used for a predictive model with the intention of refocusing the virtual world experience to match learner needs

Flessibilità senza sicurezza: mobilità sociale, rapporti familiari e differenze di genere a Roma

L'analisi si concentra su più ricerche sul campo svolte dagli autori a Roma: due indagini quantitative con questionari sui ceti sociali a Roma (svolte nel 2005/6 e nel 1997) e un'indagine qualitativa sulle coppie con figli e lavoro precario (70 interviste raccolte nell'ambito di una ricerca coordinata a livello nazionale da S. Piccone Stella). Vengono inoltre rielaborati per l'area metropolitana romana i dati della ricerca nazionale dell'Isfol PLUS (Participation Labour Unemployment Survey), 2006.L'intento è quello di comprendere le caratteristiche del lavoro atipico a Roma, partendo dalle condizioni strutturali del mercato del lavoro, considerando le diseguaglianze di ceto, di classe e di genere, per arrivare alle valutazioni dei soggetti. La scelta di una condizione "estrema"(coppie con lavori precari e con figli) ha l'obiettivo di mettere in luce le trasformazioni in corso