Solving parity games: Explicit vs symbolic

In this paper we provide a broad investigation of the symbolic approach for solving Parity Games. Specifically, we implement in a fresh tool, called, four symbolic algorithms to solve Parity Games and compare their performances to the corresponding explicit versions for different classes of games. By means of benchmarks, we show that for random games, even for constrained random games, explicit algorithms actually perform better than symbolic algorithms. The situation changes, however, for structured games, where symbolic algorithms seem to have the advantage. This suggests that when evaluating algorithms for parity-game solving, it would be useful to have real benchmarks and not only random benchmarks, as the common practice has been

Dynamic escape game

We introduce Dynamic Escape Game (DEC), a tool that provides emergency evacuation plans in situations where some of the escape paths may become unavailable at runtime. We formalize the setting as a reachability two-player turn-based game where the universal player has the power of inhibiting at runtime some moves to the existential player. Thus, the universal player can change the structure of the game arena along a play. DEC uses a graphical interface to depict the game and displays a winning play whenever it exists

Pain-motor integration in the primary motor cortex in Parkinson's disease

In Parkinson's disease (PD), the influence of chronic pain on motor features has never been investigated. We have recently designed a technique that combines nociceptive system activation by laser stimuli and primary motor cortex (M1) activation through transcranial magnetic stimulation (TMS), in a laser-paired associative stimulation design (Laser-PAS). In controls, Laser-PAS induces long-term changes in motor evoked potentials reflecting M1 long-term potentiation-like plasticity, arising from pain-motor integration

High-Definition Ultrasound Characterization of Squamous Carcinoma of the Tongue: A Descriptive Observational Study

High-definition ultrasonography is a diagnostic tool that uses sound echoes to produce images of tissues and organs. In the head and neck region, ultrasounds have been used to diagnose different types of lesions. The intraoral approach was shown to be a real-time, non-invasive way to characterize oral lesions. The tongue is the most often examined region because of its accessibility. This observational study aimed to describe the qualitative characteristics of tongue squamous cell carcinoma images obtained with high-definition intraoral ultrasound by comparing them with the corresponding histopathological sample. Twenty patients were enrolled in this study. The scans of the lesions were carried out with an 18 MHz linear ultrasound probe following the long axis of the lesion. For each lesion, five frames were selected, on which descriptive analysis was performed. A histological sample was taken and then compared to the ultrasonographic acquisition. The so-nographic appearance of the tissue layers has a good correlation between ultrasound and histolog-ical morphology, and it was easy to distinguish the tumor from the homogenous composition of the tongue tissues. Furthermore, a correlation between the structure by section and pattern of tumor margin features by ultrasound was obtained. Intraoral ultrasonography appears to be a promising technique in the non-invasive characterization of tongue squamous cell carcinoma. Further studies will be needed to improve the technique in terms of ergonomics and repeatability

Neurological sequelae in patients with covid-19: A histopathological perspective

Background: Neuroinvasive properties of SARS-CoV-2 have allowed the hypothesis of several pathogenic mechanisms related to acute and chronic neurological sequelae. However, neu-ropathological correlates have been poorly systematically investigated, being retrieved from reports of single case or limited case series still. Methods: A PubMed search was carried out to review all publications on autopsy in subjects with “COronaVIrus Disease-19” (COVID-19). Among them, we focused on histological findings of the brain, which were compared with those from the authors’ autoptic studies performed in some COVID-19 patients. Results: Only seven studies reported histological evidence of brain pathology in patients deceased for COVID-19, including three with reverse transcription–quantitative polymerase chain reaction evidence of viral infection. All these studies, in line with our experience, showed vascular-related and infection-related secondary inflammatory tissue damage due to an abnormal immune response. It is still unclear, however, whether these findings are the effect of a direct viral pathology or rather reflect a non-specific consequence of cardiovascular and pulmonary disease on the brain. Conclusions: Notwithstanding the limited evidence available and the heterogeneity of the studies, we provide a preliminary description of the relationship between SARS-CoV-2 and brain sequelae. Systematic autoptic investigations are needed for accurate detection and adequate management of these patients