A weakness measure for GR(1) formulae

In spite of the theoretical and algorithmic developments for system synthesis in recent years, little effort has been dedicated to quantifying the quality of the specifications used for synthesis. When dealing with unrealizable specifications, finding the weakest environment assumptions that would ensure realizability is typically a desirable property; in such context the weakness of the assumptions is a major quality parameter. The question of whether one assumption is weaker than another is commonly interpreted using implication or, equivalently, language inclusion. However, this interpretation does not provide any further insight into the weakness of assumptions when implication does not hold. To our knowledge, the only measure that is capable of comparing two formulae in this case is entropy, but even it fails to provide a sufficiently refined notion of weakness in case of GR(1) formulae, a subset of linear temporal logic formulae which is of particular interest in controller synthesis. In this paper we propose a more refined measure of weakness based on the Hausdorff dimension, a concept that captures the notion of size of the omega-language satisfying a linear temporal logic formula. We identify the conditions under which this measure is guaranteed to distinguish between weaker and stronger GR(1) formulae. We evaluate our proposed weakness measure in the context of computing GR(1) assumptions refinements

Choking in patients with neurological disorders and role of drug-induced dysphagia

: Choking is a type of asphyxia due to the internal obstruction of airways by foreign material, quite always food. Most choking deaths are accidental and occur so quickly that may mimic a heart attack. This scenario is also known as "Cafè coronary syndrome" or "bolus death". At autopsy, pieces of under-chewed food are commonly lodged at, above, or in the tracheal space adjacent to the laryngeal inlet. In these fatal events mechanisms other than asphyxia can be also involved, such as a vasovagal episode (by stimulation of the autonomic nerve plexus of the laryngeal inlet) or swallowing impairment. Swallowing is a complex, semi-automatic process that can be affected by various disorders (i.e. dementia, Parkinson, neurological injuries, etc.), senility and external factors causing oropharyngeal dysphagia (OD). Among these factors, several drugs have been also associated with impaired swallowing, including drugs acting on the CNS like antipsychotics and antiepileptics. Three cases of witnessed bolus deaths are reported. All victims were affected by neurological defects and took medications acting on CNS. In all cases, at autopsy pieces of food were found distributed from the laryngeal inlet along the main axis of the trachea up to the large bronchi over the bifurcation. Additional autopsy findings were represented by facial congestion and cyanosis, subepicardial petechiae and pulmonary emphysema

Intrarticular treatment of osteoartropaty knee with polynucleotides: a pilot study with medium-term follow-up

: Knee osteoarthritis is a major cause of disability in the elderly. Many therapies are nowadays available, ranging from non-pharmacologic to pharmacological approaches like visco-supplementation, oral supplements or topical treatments, but a flawless treatment is still to be found. Visco-supplementation represents a valid treatment option for reducing pain associated with knee osteoarthritis and improving function in the affected joint. Many literature data report on the efficacy and safety profiles of hyaluronic acid in knee osteoarthritis, however the efficacy of intra-articular hyaluronic acid remains controversial, in fact while several clinical trials claimed a disease-modifying effect for hyaluronic acid, subsequent meta-analyses have cast doubts on this fact. The ideal intra-articular treatment for osteoarthritis should not only provide a mechanical protection of the cartilage surface, but also restore condrocytes homeostasis by restoring the physiological articular micro-environment and supplying nutrients. In this perspective an innovative medical product made up of polynucleotides (Condrotide) has been developed. The aim of this study is to test the 2-months efficacy in pain relief and improving function of intra-articular injections of Condrotide in patients with knee osteoarthritis or with grade III or IV chondropathy. Ninety-five subjects (33 men, 62 women), aged between 53 and 80, were included between May 2011 to July 2012. All subjects received intra-articular injections of Condrotide and were evaluated with the Knee injury and Osteoarthritis Outcome Score (KOOS), the NRS scale for pain assessment, the measurement of the range of motion (R.O.M.). In all subjects a significant improvement was found in KOOS score after 60 days. The mean global NRS pain decreased in both groups and there was also a R.O.M. improvement. These results show that the intra-articular administration of nucleotides in subjects with both severe knee arthritis and chondropathy can be recommended since is able to reverse in the short and medium term symptoms and function with a significant improvement in quality of life

Examination of the stability and consistency of investigative interviewer performance across similar mock interview contexts

Purpose. Three studies examined the degree to which investigative interviewers&rsquo; adherence to best-practice guidelines is consistent across similar mock interviews.Method. In each study, two interviews were administered within a period of several hours. Further, group and individual stability of interviewer performance was analysed, and performance was measured by calculating the proportion of open-ended and leading questions as well as the presence of predetermined problem behaviours. The studies varied depending on the type of interview paradigm employed. Interviewer performance in Study 1was measured in a group context where participants rotated between the role of interviewer, child respondent, and observer. In Study 2, an adult played the role of a child recalling abuse but this occurred in isolation (participants did not observe others or play the child). Study 3 was similar to Study 2 except that in each interview an unfamiliar child aged 5&ndash;7 years recalled an innocuous event.Results. Interviewer performance was relatively stable across tasks, although the strength of the relationship between measures varied across analyses. Improvement in open-ended question usage occurred in Study 1 but not Studies 2 and 3. Irrespective of the assessment context, the dichotomous rating scale yielded greater consistency than when questions were tallied. Further, group stability overestimated individual stability. The practical implications of these findings for trainers and researchers are discussed.<br /

Undetected Traumatic Diastasis in a case of Child Abuse

Traumatic diastasis of cranial sutures is a type of bone fracture more common in children than in adults, but little attention has been paid to this skull damage. Differentiation between inflicted and accidental traumatic head injury is still a challenge in forensic pathology, particularly in pediatric population. In fact, diastasis of cranial sutures may occur with or without other skull fractures and may be the only evidence of an abusive head trauma (AHT). This is a case study dealing with undetected traumatic diastasis of cranial sutures in child abuse. The skeletonized juvenile remains were found inside a suitcase. A diastasis of the coronal and sagittal sutures was the only finding recorded at the autopsy with no other relevant bone defects. The diastasis was originally attributed by the medical examiner to a physiological unfused stage of the calvarial bones. Therefore, the cause of death was undetermined. Twelve years later an anthropological revision of the cold case showed that diastasis of the coronal and sagittal sutures was assessed as the evidence of an AHT. Analysis of skull fractures in child abuse can be challenging as normal skull suture variants mimicking intentional injury are reported. Diastasis of the cranial sutures can be also a post-mortem effect of burning or freezing. Therefore, a differential diagnosis between natural, accidental or inflicted skull defects is mandatory in death investigation. A multidisciplinary approach in such circumstances is strongly recommended in order to reduce the risk of misdiagnosis

Safety of treatment with high-dose daptomycin in 102 patients with infective endocarditis

Daptomycin is commonly used at doses >6 mg/kg/day for various indications, including infective endocarditis (IE). A systematic assessment of skeletal muscle, renal, haematological, hepatic and pulmonary toxicity of high-dose daptomycin (HDD) in IE is lacking. A total of 102 IE patients treated with HDD were included in this non-comparative, observational, single-centre cohort study conducted from 2007 to 2014. The incidence, timing, severity and evolution of adverse events (AEs) were assessed. Patients had a median age of 61.5 years and a high prevalence of co-morbidities. Staphylococci were cultured in 87.2% of cases (62.2% meticillin-resistant). The median daptomycin dose was 8.2 mg/kg/day for a median of 20 days (range, 1–60 days). HDD was withdrawn due to AEs in 12 patients (11.8%). On-treatment death occurred in 4 cases (3.9%, none HDD-related). Muscle toxicity occurred in 15 patients in a median of 15 days after HDD starts, which was largely mild and reversible with ongoing HDD use. Mild renal toxicity was observed in 9 patients (8.8%) after a median of 12 days of HDD (RIFLE—Risk in 8, Injury in 1). A rise of peripheral blood eosinophils occurred in 16 patients (15.7%). There were three cases of eosinophilic interstitial pneumonia. Four patients (3.9%) had mild allergic or idiosyncratic reactions. No other hepatic or haematological AEs were observed. Our current experience with 102 patients suggests that HDD is safe in significantly ill IE patients with multiple co-morbidities. Muscle toxicity was clinically negligible. Most importantly, there was no significant renal toxicity. Eosinophils should be carefully monitored

Prognostic Value of Decreased High-Density Lipoprotein Cholesterol Levels in Infective Endocarditis

(1) Background: Simple parameters to be used as early predictors of prognosis in infective endocarditis (IE) are lacking. The aim of this study was to evaluate the prognostic role of high-density-lipoprotein cholesterol (HDL-C) and also of total-cholesterol (TC), low-density-lipoprotein cholesterol (LDL-C), and triglycerides, in relation to clinical features and mortality, in IE. (2) Methods: Retrospective analysis of observational data from 127 consecutive patients with a definite diagnosis of IE between 2016 and 2019. Clinical, laboratory and echocardiography data, mortality, and co-morbidities were analyzed in relation to HDL-C and lipid profile. (3) Results: Lower HDL-C levels (p = 0.035) were independently associated with in-hospital mortality. HDL-C levels were also significantly lower in IE patients with embolic events (p = 0.036). Based on ROC curve analysis, a cut-off value was identified for HDL-C equal to 24.5 mg/dL for in-hospital mortality. HDL-C values below this cut-off were associated with higher triglyceride counts (p = 0.008), higher prevalence of S. aureus etiology (p = 0.046) and a higher in-hospital mortality rate (p = 0.004). Kaplan–Meier survival analysis showed higher 90-day mortality in patients with HDL-C ≤ 24.5 mg/dL (p = 0.001). (4) Conclusions: Low HDL-C levels could be used as an easy and low-cost marker of severity in IE, particularly to predict complications, in-hospital and 90-day mortality