Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Vending Machines avanzate basate su principi di Physical Web e Internet of Things

La costante evoluzione tecnologica sta portando alla luce nuove possibilità, che un tempo non erano nemmeno immaginabili. Uno dei settori che si è rivoluzionato maggiormente negli ultimi anni è quello delle telecomunicazioni e questo ha portato sia a una riduzione dei costi per le connessioni a Internet, sia ad un aumento delle loro capacità e prestazioni; di conseguenza queste connessioni sono diventate più accessibili e affidabili permettendo alle persone e alle cose di accedere a Internet quasi ininterrottamente. Questo sviluppo sta portando innumerevoli benefici, ma come ciascuna innovazione tecnologica, tuttavia, i benefici si accompagnano a nuove sfide. In questo elaborato viene dapprima analizzato lo stato dell’arte, i benefici, le problematiche e gli attuali interessi da parte di alcuni dei maggiori player verso l’Internet of Things. Vengono poi prese in considerazione due problematiche: l'individuazione e l'interazione con gli oggetti connessi a Internet, portando come esempio l'utilizzo e la ricerca di una vending machine, un distributore automatico. Proponendo una soluzione, in primo luogo è stato effettuato lo sviluppo di un ecosistema che sfrutta le potenzialità del Physical Web, implementando ad hoc ogni componente, dall'emissione del beacon Eddystone-URL alla visualizzazione della pagina ad esso associata. In secondo luogo questa è stata creata un'applicazione Android che sfrutta l'altro tipo di frame offerto dalla piattaforma beacon di Google, l'Eddystone-UID. Queste due applicazioni vengono quindi analizzate e messe a confronto, per individuare i punti forti e le mancanze delle rispettive piattaforme.

In vivo performance of a laser fluorescence device for the approximal detection of caries in permanent molars

OBJECTIVES: The aim of this randomised clinical trial was to investigate if a laser fluorescence device is able to discriminate between sound and carious approximal sites and between enamel and dentinal lesions, as well as to find appropriate cut-off values. METHODS: One hundred and seventeen sound or uncavitated carious sites in permanent molars were visually and radiographically examined, then either opened or not, after which their laser fluorescence was measured. Forty-three lesions were opened, the caries removed and the clinically identified caries depths were registered in addition to the radiographical scoring. Seventy-four sites were radiographically deemed sound or had enamel caries and were not opened. Here, the radiographical scorings were registered. RESULTS: Taking the radiographic scoring as gold standard for all investigated approximal sites, sound sites (D(0), n=40) showed significantly lower laser fluorescence measurements than carious sites (D(1-4), n=77) (Mann-Whitney test, P<0.025) suggesting a cut-off at 7 (sensitivity=0.68, specificity=0.7). Comparing measurements of D(0-2) (n=74) and D(3,4) (n=43), the results were also different by a statistically significant amount (P<0.025) and the cut-off calculated to be 16 (sensitivity=0.6, specificity=0.84). A fair positive correlation between laser fluorescence values and radiographical scoring was found (rho=+0.47, P<0.01). Analysing the 43 opened lesions with their clinically found lesion depths as gold standard, there was a fair positive correlation to the laser fluorescence values (rho=+0.34, P=0.03) and a moderately strong correlation to the radiographic scoring (rho=+0.67, P<0.01). CONCLUSION: The device may be an adjunct tool in the approximal detection of caries along with established procedures.

Hand and ultrasonic instrumentation for orthograde root canal treatment of permanent teeth

Root canal treatment is a frequently performed dental procedure and is carried out on teeth in which irreversible pulpitis has led to necrosis of the dental pulp. Removal of the necrotic tissue remnants and cleaning and shaping of the root canal are important phases of root canal treatment. Treatment options include the use of hand and rotary instruments and methods using ultrasonic or sonic equipment. OBJECTIVES: The objectives of this systematic review of randomized controlled trials were to determine the relative clinical effectiveness of hand instrumentation versus ultrasonic instrumentation alone or in conjunction with hand instrumentation for orthograde root canal treatment of permanent teeth. MATERIAL AND METHODS: The search strategy retrieved 226 references from the Cochrane Oral Health Group Trials Register (7), the Cochrane Central Register of Controlled Trials (CENTRAL) (12), MEDLINE (192), EMBASE (8) and LILACS (7). No language restriction was applied. The last electronic search was conducted on December 13th, 2007. Screening of eligible studies was conducted in duplicate and independently. RESULTS: Results were to be expressed as fixed-effect or random-effects models using mean differences for continuous outcomes and risk ratios for dichotomous outcomes with 95% confidence intervals. Heterogeneity was to be investigated including both clinical and methodological factors. No eligible randomized controlled trials were identified. CONCLUSIONS: This review illustrates the current lack of published or ongoing randomized controlled trials and the unavailability of high-level evidence based on clinically relevant outcomes referring to the effectiveness of ultrasonic instrumentation used alone or as an adjunct to hand instrumentation for orthograde root canal treatment. In the absence of reliable research-based evidence, clinicians should base their decisions on clinical experience, individual circumstances and in conjunction with patients' preferences where appropriate. Future randomized controlled trials might focus more closely on evaluating the effectiveness of combinations of these interventions with an emphasis on not only clinically relevant, but also patient-centered outcomes.

Permanent teeth with horizontal root fractures after dental trauma. A retrospective study

The purpose of the present retrospective study was to evaluate the post-traumatic healing of the pulp and periodontium of 32 permanent teeth with horizontal root fractures. Twenty-nine patients, 8-48 years old, who presented at our department with a root fracture between January 2001 and April 2007, participated in the study. Root-fractured teeth with a loosened or dislocated coronal fragment were repositioned and splinted for 14-49 days (average: 34 days). In cases of severe dislocation of the coronal fragment, prophylactic endodontic treatment was performed. Follow-up examinations were conducted routinely after 1,2,3,6, and 12 months. For this study, follow-up took place for up to 7 years post trauma. Of 32 root-fractured teeth, 29 (91%) survived. 10 teeth (31%) exhibited pulpal healing; 13 teeth (41%) were prophylactically endodontically treated within 2 weeks of injury. At the fracture line, interposition of calcified tissue was evident in 6 teeth (19%), and interposition of granulation tissue was observed in 8 teeth (25%). The prognosis of the root-fractured teeth was good, and one-third of the teeth with root fractures possessed a vital pulp at the final examination.

Treatment outcome of 42 replanted permanent incisors with a median follow-up of 2.8 years

To evaluate the treatment outcome of avulsed and replanted permanent incisors.

The three year follow-up of the randomised "all-comers" trial of a biodegradable polymer biolimus-eluting stent versus permanent polymer sirolimus-eluting stent (LEADERS)

Aims: The current study reports clinical outcomes at three year follow-up of the LEADERS clinical trial which was the first all-comers trial comparing a new generation biodegradable polymer biolimus drug-eluting stent (BES) with the first generation permanent polymer sirolimus-eluting stent (SES). Methods and results: One thousand seven hundred and seven patients were randomised to unrestricted use of BES (n=857) or SES (n=850) in an all-comers population. Three year follow-up was available in 95% of the patients, 812 treated with BES and 809 treated with SES. At three years, BES remains non-inferior to SES for the primary endpoint of major adverse cardiac events (composite of cardiac death, myocardial infarction (MI), or clinically-indicated target vessel revascularisation (CI-TVR) (BES 15.7% versus SES 19%; HR 0.82 CI 0.65-1.03; p=0.09). The MACE Kaplan Meier event curves increasingly diverge with the difference in events increasing from 1.4% to 2.4% and 3.3% at 1, 2 and 3 years, respectively in favour of BES. The rate of cardiac death was non-significantly lower 4.2% versus 5.2% (HR=0.81 CI 0.52-1.26; p=0.34) and the rate of myocardial infarction was equivalent 7.2% versus 7.1% (HR 1.01 CI 0.70-1.44; p=0.97) for BES versus SES, respectively. Thus BES was non-inferior to SES in all the safety endpoints. Clinically-indicated TVR occurred in 9.4% of BES treated patients versus 11.1% of SES treated patients (HR 0.84 CI 0.62-1.13; p=0.25). Rates of definite stent thrombosis were 2.2% for BES and 2.9% for SES (HR 0.78 CI 0.43-1.43; p=0.43), with the event rate increase of 0.2% from one to three years for BES and 0.9% for SES. For patients presenting with ST-elevation myocardial infarction BES was superior to SES in reducing MACE. Conclusions: The findings of the three year follow-up support the claim that the biodegradable polymer biolimus-eluting stent has equivalent safety and efficacy to permanent polymer sirolimus-eluting stent in an all-comers patient population. Its performance is superior in some subpopulations such as in ST-elevation MI patients and event rates for BES are overall lower than for SES with a trend toward increasing divergence of outcomes over three years. - See more at: http://www.pcronline.com/eurointervention/42nd_issue/125/#sthash.E5HhMQ4a.dpuf

Implantation of the biodegradable polymer biolimus-eluting stent in patients with high SYNTAX score is associated with decreased cardiac mortality compared to a permanent polymer sirolimus-eluting stent: two year follow-up results from the "all-comers" LEADERS trial

Background: The SYNTAX score (SXscore) has been shown to be an effective predictor of clinical outcomes in patients undergoing percutaneous coronary intervention (PCI). Methods and results: The SXscore was prospectively collected in 1,397 of the 1,707 patients enrolled in the “all-comers” LEADERS trial (patients post-surgical revascularisation were excluded). Post hoc analysis was performed by stratifying clinical outcomes at two-year follow-up, according to one of three SXscore tertiles: SXlow ≤8 (n=464), 816 (n=461). At two-year follow-up the rate of major adverse cardiovascular events was 18.4%, 12.0% and 9.4% in the SXhigh, SXmid, and SXlow tertile, respectively (HR 1.45; CI 1.21-1.74; p<0.01). There was a significantly higher rate of cardiac death in patients in the highest SXscore tertile (7% SXhigh versus 2.4% SXmid versus 1.8% SXlow; HR 2.22; CI 1.5-3.27; p<0.001). Within the SXhigh tertile the rate of cardiac death was significantly lower in patients treated with the biolimus-eluting stent compared with the sirolimus-eluting stent (4.7% versus 9.6%, HR 0.48; CI 0.23-0.99; p=0.046). Conclusions: The SXscore when applied to an “all-comers” patient population allows for prospective risk stratification of patients undergoing PCI up to two years follow-up. In addition, the SXscore appears to separate the performance of devices in high risk patient groups.

Dronedarone in high-risk permanent atrial fibrillation

Dronedarone restores sinus rhythm and reduces hospitalization or death in intermittent atrial fibrillation. It also lowers heart rate and blood pressure and has antiadrenergic and potential ventricular antiarrhythmic effects. We hypothesized that dronedarone would reduce major vascular events in high-risk permanent atrial fibrillation.

Impact of interocclusal contacts on infrared laser fluorescence in pits of sound first permanent molars in children

A device based on infrared laser fluorescence (IRLF) has become available as an adjunct for the diagnosis of dental caries.