A verified algorithm enumerating event structures

An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to generate, enumerate and count particular sets of their members, no algorithm or formulas are known to generate or count all the possible event structures over af inite set of events. We present an algorithm to generate such a family, along with a functional implementation verified using Isabelle/HOL. As byproducts, we obtain a verified enumeration of all possible preorders and partial orders. While the integer sequences counting preorders and partial orders are already listed on OEIS (On-line Encyclopedia of Integer Sequences), the one counting event structures is not. We therefore used our algorithm to submit a formally verified addition, which has been successfully reviewed and is now part of the OEIS.Postprin

AOSpine Consensus Paper on Nomenclature for Working-Channel Endoscopic Spinal Procedures

Study Design: International consensus paper on a unified nomenclature for full-endoscopic spine surgery. Objectives: Minimally invasive endoscopic spinal procedures have undergone rapid development during the past decade. Evolution of working-channel endoscopes and surgical instruments as well as innovation in surgical techniques have expanded the types of spinal pathology that can be addressed. However, there is in the literature a heterogeneous nomenclature defining approach corridors and procedures, and this lack of common language has hampered communication between endoscopic spine surgeons, patients, hospitals, and insurance providers. Methods: The current report summarizes the nomenclature reported for working-channel endoscopic procedures that address cervical, thoracic, and lumbar spinal pathology. Results: We propose a uniform system that defines the working-channel endoscope (full-endoscopic), approach corridor (anterior, posterior, interlaminar, transforaminal), spinal segment (cervical, thoracic, lumbar), and procedure performed (eg, discectomy, foraminotomy). We suggest the following nomenclature for the most common full-endoscopic procedures: posterior endoscopic cervical foraminotomy (PECF), transforaminal endoscopic thoracic discectomy (TETD), transforaminal endoscopic lumbar discectomy (TELD), transforaminal lumbar foraminotomy (TELF), interlaminar endoscopic lumbar discectomy (IELD), interlaminar endoscopic lateral recess decompression (IE-LRD), and lumbar endoscopic unilateral laminotomy for bilateral decompression (LE-ULBD). Conclusions: We believe that it is critical to delineate a consensus nomenclature to facilitate uniformity of working-channel endoscopic procedures within academic scholarship. This will hopefully facilitate development, standardization of procedures, teaching, and widespread acceptance of full-endoscopic spinal procedures

The sinus tarsi approach in displaced intra-articular calcaneal fractures: a systematic review

Purpose: Although open reduction and internal fixation is currently considered the gold standard in surgical treatment of displaced intra-articular calcaneal fractures, various different approaches exist including the limited lateral approach. The aim of this systematic review was to combine the results of studies using the sinus tarsi approach, which is the most frequently applied limited lateral approach. Method: A literature search in the electronic databases of the Cochrane Library and Pubmed Medline, between January 1st 2000 to December 1st 2010, was conducted to identify studies in which the sinus tarsi approach or a modified sinus tarsi approach was utilized for the treatment of displaced intra-articular calcaneal fractures. The methodological quality of the included studies was assessed using the Coleman methodology score. Results: A total of eight case series reporting on 256 patients with 271 calcaneal fractures was identified. Overall good to excellent outcome was reached in three-quarters of all patients. An average complication rate of minor wound complications of 4.1% was reported and major wound complications in 0.7%. The need for a secondary subtalar arthrodesis occurred at an average rate of 4.3%. The average Coleman methodology score was 56.8 (range 39-72) points. Conclusion: The results, i.e. functional outcome and complication rates, of the sinus tarsi approach compare similarly or favourably to the extended lateral approach. Therefore, in the process of tailoring the best treatment modality to the right patient and the right fracture type, the sinus tarsi approach might be a valuable asset

Serum Neurotrophin Profile in Systemic Sclerosis

International audienceBACKGROUND: Neurotrophins (NTs) are able to activate lymphocytes and fibroblasts; they can modulate angiogenesis and sympathic vascular function. Thus, they can be implicated in the three pathogenic processes of systemic sclerosis (SSc). The aims of this study are to determine blood levels of Nerve Growth Factor (NGF), Brain-Derived Neurotrophic Factor (BDNF) and Neurotrophin-3 (NT-3) in SSc and to correlate them with clinical and biological data.METHODS: Serum samples were obtained from 55 SSc patients and 32 control subjects to measure NTs levels by ELISA and to determine their relationships with SSc profiles. FINDINGS: Serum NGF levels were higher in SSc patients (288.26 ± 170.34 pg/mL) than in control subjects (170.34 ± 50.8 pg/mL, p<0.001) and correlated with gammaglobulins levels and the presence of both anti-cardiolipin and anti-Scl-70 antibodies (p<0.05). In contrast, BDNF levels were lower in SSc patients than in controls (1121.9 ± 158.1 vs 1372.9 ± 190.9 pg/mL, p<0.0001), especially in pulmonary arterial hypertension and diffuse SSc as compared to limited forms (all p<0.05). NT-3 levels were similar in SSc and in the control group (2657.2 ± 2296 vs 2959.3 ± 2555 pg/mL, NS). BDNF levels correlated negatively with increased NGF levels in the SSc group (and not in controls). CONCLUSION: Low BDNF serum levels were not previously documented in SSc, particularly in the diffuse SSc subset and in patients with pulmonary hypertension or anti-Scl-70 antibodies. The negative correlation between NGF and BDNF levels observed in SSc and not in healthy controls could be implicated in sympathic vascular dysfunction in SSc

Systems of Differential Algebraic Equations in Computational Electromagnetics

Starting from space-discretisation of Maxwell's equations, various classical formulations are proposed for the simulation of electromagnetic fields. They differ in the phenomena considered as well as in the variables chosen for discretisation. This contribution presents a literature survey of the most common approximations and formulations with a focus on their structural properties. The differential-algebraic character is discussed and quantified by the differential index concept

Demographic, clinical and antibody characteristics of patients with digital ulcers in systemic sclerosis: data from the DUO Registry

OBJECTIVES: The Digital Ulcers Outcome (DUO) Registry was designed to describe the clinical and antibody characteristics, disease course and outcomes of patients with digital ulcers associated with systemic sclerosis (SSc). METHODS: The DUO Registry is a European, prospective, multicentre, observational, registry of SSc patients with ongoing digital ulcer disease, irrespective of treatment regimen. Data collected included demographics, SSc duration, SSc subset, internal organ manifestations, autoantibodies, previous and ongoing interventions and complications related to digital ulcers. RESULTS: Up to 19 November 2010 a total of 2439 patients had enrolled into the registry. Most were classified as either limited cutaneous SSc (lcSSc; 52.2%) or diffuse cutaneous SSc (dcSSc; 36.9%). Digital ulcers developed earlier in patients with dcSSc compared with lcSSc. Almost all patients (95.7%) tested positive for antinuclear antibodies, 45.2% for anti-scleroderma-70 and 43.6% for anticentromere antibodies (ACA). The first digital ulcer in the anti-scleroderma-70-positive patient cohort occurred approximately 5 years earlier than the ACA-positive patient group. CONCLUSIONS: This study provides data from a large cohort of SSc patients with a history of digital ulcers. The early occurrence and high frequency of digital ulcer complications are especially seen in patients with dcSSc and/or anti-scleroderma-70 antibodies