A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

German Total Ankle Replacement Register of the German Foot and Ankle Society (D. A. F.) - presentation of design and reliability of the data as well as first results

INTRODUCTION Even though arthroplasty of the ankle joint is considered to be an established procedure, only about 1,300 endoprostheses are implanted in Germany annually. Arthrodeses of the ankle joint are performed almost three times more often. This may be due to the availability of the procedure - more than twice as many providers perform arthrodesis - as well as the postulated high frequency of revision procedures of arthroplasties in the literature. In those publications, however, there is often no clear differentiation between revision surgery with exchange of components, subsequent interventions due to complications and subsequent surgery not associated with complications. The German Orthopaedic Foot and Ankle Association's (D. A. F.) registry for total ankle replacement collects data pertaining to perioperative complications as well as cause, nature and extent of the subsequent interventions, and postoperative patient satisfaction. MATERIAL AND METHODS The D. A. F.'s total ankle replacement register is a nation-wide, voluntary registry. After giving written informed consent, the patients can be added to the database by participating providers. Data are collected during hospital stay for surgical treatment, during routine follow-up inspections and in the context of revision surgery. The information can be submitted in paper-based or online formats. The survey instruments are available as minimum data sets or scientific questionnaires which include patient-reported outcome measures (PROMs). The pseudonymous clinical data are collected and evaluated at the Institute for Evaluative Research in Medicine, University of Bern/Switzerland (IEFM). The patient-related data remain on the register's module server in North Rhine-Westphalia, Germany. The registry's methodology as well as the results of the revisions and patient satisfaction for 115 patients with a two year follow-up period are presented. Statistical analyses are performed with SAS™ (Version 9.4, SAS Institute, Inc., Cary, NC, USA). RESULTS About 2½ years after the register was launched there are 621 datasets on primary implantations, 1,427 on follow-ups and 121 records on re-operation available. 49 % of the patients received their implants due to post-traumatic osteoarthritis, 27 % because of a primary osteoarthritis and 15 % of patients suffered from a rheumatic disease. More than 90 % of the primary interventions proceeded without complications. Subsequent interventions were recorded for 84 patients, which corresponds to a rate of 13.5 % with respect to the primary implantations. It should be noted that these secondary procedures also include two-stage procedures not due to a complication. "True revisions" are interventions with exchange of components due to mechanical complications and/or infection and were present in 7.6 % of patients. 415 of the patients commented on their satisfaction with the operative result during the last follow-up: 89.9 % of patients evaluate their outcome as excellent or good, 9.4 % as moderate and only 0.7 % (3 patients) as poor. In these three cases a component loosening or symptomatic USG osteoarthritis was present. Two-year follow-up data using the American Orthopedic Foot and Ankle Society Ankle and Hindfoot Scale (AOFAS-AHS) are already available for 115 patients. The median AOFAS-AHS score increased from 33 points preoperatively to more than 80 points three to six months postoperatively. This increase remained nearly constant over the entire two-year follow-up period. CONCLUSION Covering less than 10 % of the approximately 240 providers in Germany and approximately 12 % of the annually implanted total ankle-replacements, the D. A. F.-register is still far from being seen as a national registry. Nevertheless, geographical coverage and inclusion of "high-" (more than 100 total ankle replacements a year) and "low-volume surgeons" (less than 5 total ankle replacements a year) make the register representative for Germany. The registry data show that the number of subsequent interventions and in particular the "true revision" procedures are markedly lower than the 20 % often postulated in the literature. In addition, a high level of patient satisfaction over the short and medium term is recorded. From the perspective of the authors, these results indicate that total ankle arthroplasty - given a correct indication and appropriate selection of patients - is not inferior to an ankle arthrodesis concerning patients' satisfaction and function. First valid survival rates can be expected about 10 years after the register's start.

A Simple Guideline Reduces the Need for Red Blood Cell Transfusions in Swiss Hospitals: A Prospective, Multicentre, Before-and-After Study in Elective Hip and Knee Replacement

INTRODUCTION Optimising the use of blood has become a core task of transfusion medicine. Because no general guidelines are available in Switzerland, we analysed the effects of the introduction of a guideline on red blood cell (RBC) transfusion for elective orthopaedic surgery. METHODS Prospective, multicentre, before-and-after study comparing the use of RBCs in adult elective hip or knee replacement before and after the implementation of a guideline in 10 Swiss hospitals, developed together with all participants. RESULTS We included 2,134 patients, 1,238 in 7 months before, 896 in 6 months after intervention. 57 (34 or 2.7% before, 23 or 2.6% after) were lost before follow-up visit. The mean number of transfused RBC units decreased from 0.5 to 0.4 per patient (0.1, 95% CI 0.08-0.2; p = 0.014), the proportion of transfused patients from 20.9% to 16.9% (4%, 95% C.I. 0.7-7.4%; p = 0.02), and the pre-transfusion haemoglobin from 82.6 to 78.2 g/l (4.4 g/l, 95% C. I. 2.15-6.62 g/l, p < 0.001). We did not observe any statistically significant changes in in-hospital mortality (0.4% vs. 0%) and morbidity (4.1% vs. 4.0%), median hospital length of stay (9 vs. 9 days), follow-up mortality (0.4% vs. 0.2%) and follow-up morbidity (6.9% vs. 6.0%). CONCLUSIONS The introduction of a simple transfusion guideline reduces and standardises the use of RBCs by decreasing the haemoglobin transfusion trigger, without negative effects on the patient outcome. Local support, training, and monitoring of the effects are requirements for programmes optimising the use of blood.

Ovarian and uterine development and hormonal feedback mechanism in a 46 XX patient with CYP19A1 deficiency under low dose estrogen replacement.

Abstract Background: Aromatase deficiency may result in a complete block of estrogen synthesis because of the failure to convert androgens to estrogens. In females, this results in virilisation at birth, ovarian cysts in prepuberty and lack of pubertal development but virilisation, thereafter. Objective and methods: We studied the impact of oral 17β-estradiol treatment on ovarian and uterine development, and on LH/FSH and inhibin B during the long-term follow-up of a girl harboring compound heterozygote point mutations in the CYP19A1 gene. Results: In early childhood, low doses of oral 17β-estradiol were needed. During prepuberty treatment with slowly increasing doses of E2 resulted in normal uterine and almost normal development of ovarian volume, as well as number and size of follicles. Regarding hormonal feedback mechanisms, inhibin B levels were in the upper normal range during childhood and puberty. Low doses of estradiol did not suffice to achieve physiological gonadotropin levels in late prepuberty and puberty. However, when estradiol doses were further increased in late puberty levels of both FSH and LH declined with estradiol levels within normal range. Conclusion: Complete aromatase deficiency provides an excellent model of how ovarian and uterine development in relation to E2, LH, FSH and inhibin B feedback progresses from infancy to adolescence.

Regular exercise decreases liver tumors development in hepatocyte-specific PTEN-deficient mice independently of steatosis.

BACKGROUND & AIMS Unhealthy lifestyles predispose to non-alcoholic steatohepatitis (NASH), which may further result in the development of hepatocellular carcinoma (HCC). Although NASH patients benefit from physical activity, it is unknown whether regular exercise reduces the risk of developing HCC. Therefore, we studied the effect of regular exercise on the development of HCC in male hepatocyte-specific PTEN-deficient mice (AlbCrePten(flox/flox)), which develop steatohepatitis and HCC spontaneously. METHODS Mice were fed a standardized 10% fat diet and were randomly divided into exercise or sedentary groups. The exercise group ran on a motorized treadmill for 60 minutes/day, 5 days/week during 32 weeks. RESULTS After 32 weeks of regular exercise, 71% of exercised mice developed nodules larger than 15 mm(3) vs 100% of mice in the sedentary group. The mean number of tumors per liver was reduced by exercise, as well as the total tumoral volume per liver. Exercise did not affect steatosis and had no effect on the Non-alcoholic fatty liver disease (NAFLD) Activity Score (NAS). Exercise decreased tumor cell proliferation. Mechanistically, exercise stimulated the phosphorylation of AMPK and its substrate raptor, which decreased the kinase activity of mTOR. CONCLUSIONS These data show a benefit of regular exercise on the development of HCC in an experimental model of NASH and offer a rationale for encouraging predisposed patients to increase their physical activity for the prevention of HCC.

Pattern and process: competition causes regular spacing of individuals within plant populations

1 We used simulated and experimental plant populations to analyse mortality-driven pattern formation under size-dependent competition. Larger plants had an advantage under size-asymmetric but not under symmetric competition. Initial patterns were random or clumped. 2 The simulations were individual-based and spatially explicit. Size-dependent competition was modelled with different rules to partition overlapping zones of influence. 3 The experiment used genotypes of Arabidopsis thaliana with different morphological plasticity and hence size-dependent competition. Compared with wild types, transgenic individuals over-expressed phytochrome A and had decreased plasticity because of disabled phytochrome-mediated shade avoidance. Therefore, competition among transgenics was more asymmetric compared with wild-types. 4 Density-dependent mortality under symmetric competition did not substantially change the initial spatial pattern. Conversely, simulations under asymmetric competition and experimental patterns of transgenic over-expressors showed patterns of survivors that deviated substantially from random mortality independent of initial patterns. 5 Small-scale initial patterns of wild types were regular rather than random or clumped. We hypothesize that this small-scale regularity may be explained by early shade avoidance of seedlings in their cotyledon stage. 6 Our experimental results support predictions from an individual-based simulation model and support the conclusion that regular spatial patterns of surviving individuals should be interpreted as evidence for strong, asymmetric competitive interactions and subsequent density-dependent mortality.

Is postmenopausal hormone replacement therapy suitable after a cardio- or cerebrovascular event?

PURPOSE Vascular disease is the leading cause of death in women. One-third of acute events affect women below age 60, when the prevalence of menopausal symptoms is high. This raises the question if hormone replacement therapy (HRT) may be an appropriate treatment for individual women although vascular disease is generally considered a contraindication. METHODS Selective literature search was used for this study. RESULTS In healthy women, HRT increases risks for venous thromboembolism and ischemic stroke, but for cardiovascular disease apparently only beyond 10 years after menopause or 60 years of age. Limited data in women with cardio or cerebrovascular disease have not demonstrated an increased risk for a vascular recurrent event, but for the first year after initiation. In HRT users affected by a cardiovascular event continuation of HRT has not been found to be associated with adverse outcome. Low dose estradiol--preferentially as transdermal patches, if necessary combined with metabolically neutral progestins--appears to convey lower risk. CONCLUSIONS Safety data on HRT in survivors of cardiovascular events or ischemic stroke are limited, but exceptionally increased risk appears to be excluded. If off-label use of HRT is considered to be initiated or continued in women with cardio- or cerebrovascular disease, extensive counseling on the pros and cons of HRT is mandatory.

Changes in Left Ventricular Torsion Early Postoperatively After Aortic Valve Replacement and at Long-Term Follow-up.

OBJECTIVE In patients with aortic stenosis, left ventricular systolic torsion (pT) is increased to overcome excessive afterload. This study assessed left ventricular torsion before and immediately after surgical valve replacement and tested the instant effect of fluid loading. DESIGN Prospective, clinical single-center study. SETTING Intensive care unit of a university hospital. PARTICIPANTS 12 patients undergoing elective aortic valve replacement for aortic stenosis. INTERVENTIONS Echocardiography was performed on the day before surgery, within 18 hours after surgery including a fluid challenge, and after 2.5 years. MEASUREMENTS AND MAIN RESULTS pT decreased early postoperatively by 21.2% (23.4° ± 5.6° to 18.4° ± 6.9°; p = 0.012) and reached preoperative values at 2.5 years follow-up (24 ± 7). Peak diastolic untwisting velocity occurred later early postoperatively (13% ± 8% to 21% ± 9.4%; p = 0.019) and returned toward preoperative values at follow-up (10.2 ± 4.7°). The fluid challenge increased central venous pressure (8 ± 4 mmHg to 11 ± 4 mmHg; p = 0.003) and reduced peak systolic torsion velocity (138.7 ± 37.6/s to 121.3 ± 32/s; p = 0.032). pT decreased in 3 and increased in 8 patients after fluid loading. Patients whose pT increased had higher early mitral inflow velocity postoperatively (p = 0.04) than those with decreasing pT. Patients with reduced pT after fluid loading received more fluids (p = 0.04) and had a higher positive fluid balance during the intensive care unit stay (p = 0.03). Torsion after fluid loading correlated with total fluid input (p = 0.001) and cumulative fluid balance (p = 0.002). CONCLUSIONS pT decreased early after aortic valve replacement but remained elevated despite elimination of aortic stenosis. After 2.5 years, torsion had returned to preoperative levels.

Sutureless Aortic Valve Replacement International Registry (SU-AVR-IR): design and rationale from the International Valvular Surgery Study Group (IVSSG).

BACKGROUND Sutureless aortic valve replacement (SU-AVR) is an innovative approach which shortens cardiopulmonary bypass and cross-clamp durations and may facilitate minimally invasive approach. Evidence outlining its safety, efficacy, hemodynamic profile and potential complications is replete with small-volume observational studies and few comparative publications. METHODS Minimally invasive aortic valve surgery and high-volume SU-AVR replacement centers were contacted for recruitment into a global collaborative coalition dedicated to sutureless valve research. A Research Steering Committee was formulated to direct research and support the mission of providing registry evidence warranted for SU-AVR. RESULTS The International Valvular Surgery Study Group (IVSSG) was formed under the auspices of the Research Steering Committee, comprised of 36 expert valvular surgeons from 27 major centers across the globe. IVSSG Sutureless Projects currently proceeding include the Retrospective and Prospective Phases of the SU-AVR International Registry (SU-AVR-IR). CONCLUSIONS The global pooling of data by the IVSSG Sutureless Projects will provide required robust clinical evidence on the safety, efficacy and hemodynamic outcomes of SU-AVR.

Sutureless aortic valve replacement: a systematic review and meta-analysis.

BACKGROUND Sutureless aortic valve replacement (SU-AVR) has emerged as an innovative alternative for treatment of aortic stenosis. By avoiding the placement of sutures, this approach aims to reduce cross-clamp and cardiopulmonary bypass (CPB) duration and thereby improve surgical outcomes and facilitate a minimally invasive approach suitable for higher risk patients. The present systematic review and meta-analysis aims to assess the safety and efficacy of SU-AVR approach in the current literature. METHODS Electronic searches were performed using six databases from their inception to January 2014. Relevant studies utilizing sutureless valves for aortic valve implantation were identified. Data were extracted and analyzed according to predefined clinical endpoints. RESULTS Twelve studies were identified for inclusion of qualitative and quantitative analyses, all of which were observational reports. The minimally invasive approach was used in 40.4% of included patients, while 22.8% underwent concomitant coronary bypass surgery. Pooled cross-clamp and CPB duration for isolated AVR was 56.7 and 46.5 minutes, respectively. Pooled 30-day and 1-year mortality rates were 2.1% and 4.9%, respectively, while the incidences of strokes (1.5%), valve degenerations (0.4%) and paravalvular leaks (PVL) (3.0%) were acceptable. CONCLUSIONS The evaluation of current observational evidence suggests that sutureless aortic valve implantation is a safe procedure associated with shorter cross-clamp and CPB duration, and comparable complication rates to the conventional approach in the short-term.

Mechanical versus biological aortic valve replacement strategies.

Aortic valve replacement (AVR) is the most frequently performed procedure in valve surgery. The controversy about the optimal choice of the prosthetic valve is as old as the technique itself. Currently there is no perfect valve substitute available. The main challenge is to choose between mechanical and biological prosthetic valves. Biological valves include pericardial (bovine, porcine or equine) and native porcine bioprostheses designed in stented or stentless versions. Homografts and pulmonary autografts are reserved for special indications and will not be discussed in detail in this review. We will focus on the decision making between artificial biological and mechanical prostheses, respectively. The first part of this article reviews guideline recommendations concerning the choice of aortic prostheses in different clinical situations while the second part is focused on novel strategies in the treatment of patients with aortic valve pathology.