Tinnitus is an auditory disorder very difficult to treat. Whereas up until now there not a “cure” for tinnitus, the most extended treatment combines counselling with sound therapy. When this broadband noise in audio frequency band, protocol named tinnitus retraining Even though was proposed at beginning as stimulus therapy, many other sounds have been subsequently and used, including tones, ban...

The corneal wound healing response following refractive procedures represents a subject of high relevance, due to its direct influence on the postoperative results. Technical modifications of current refractive procedures, like the automated flap creation with the femtosecond laser, LASEK, PRK with mitomycin C and Epi-LASIK have been proposed as alternatives to traditional LASIK and PRK. Severa...

This thesis is aimed at simplifying the user-interaction in semi-interactive theorem proving for imperative programs. More specifically, we describe the creation of customised induction rules that are tailor-made for the specific program to verify and thus make the resulting proof simpler. The concern is in user interaction, rather than in proof strength. To achieve this, two different verifica...

We report the case of a 12-year-old boy with polyostotic fibrous dysplasia of the upper femur in whom a massive customised polyethylene prosthesis functioned successfully for more than fifty years.

This paper aims to tackle on Linked Open Data (LOD) customised visualisations. The work is part of an ongoing research on interfaces and tools for helping non-programmers to easily present, analyse and support sense making over large semantic dataset. The customisation is a key aspect of our work. Producing effective customised visualisations is still difficult due to the complexity of the exis...