Computer aided synthesis: a game theoretic approach

In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.Comment: Invitation contribution for conference "Developments in Language Theory" (DLT 2017

Vertical Distribution and Migration Patterns of Nautilus pompilius

Vertical depth migrations into shallower waters at night by the chambered cephalopod Nautilus were first hypothesized early in the early 20th Century. Subsequent studies have supported the hypothesis that Nautilus spend daytime hours at depth and only ascend to around 200 m at night. Here we challenge this idea of a universal Nautilus behavior. Ultrasonic telemetry techniques were employed to track eleven specimens of Nautilus pompilius for variable times ranging from one to 78 days at Osprey Reef, Coral Sea, Australia. To supplement these observations, six remotely operated vehicle (ROV) dives were conducted at the same location to provide 29 hours of observations from 100 to 800 meter depths which sighted an additional 48 individuals, including five juveniles, all deeper than 489 m. The resulting data suggest virtually continuous, nightly movement between depths of 130 to 700 m, with daytime behavior split between either virtual stasis in the relatively shallow 160–225 m depths or active foraging in depths between 489 to 700 m. The findings also extend the known habitable depth range of Nautilus to 700 m, demonstrate juvenile distribution within the same habitat as adults and document daytime feeding behavior. These data support a hypothesis that, contrary to previously observed diurnal patterns of shallower at night than day, more complex vertical movement patterns may exist in at least this, and perhaps all other Nautilus populations. These are most likely dictated by optimal feeding substrate, avoidance of daytime visual predators, requirements for resting periods at 200 m to regain neutral buoyancy, upper temperature limits of around 25°C and implosion depths of 800 m. The slope, terrain and biological community of the various geographically separated Nautilus populations may provide different permutations and combinations of the above factors resulting in preferred vertical movement strategies most suited for each population

Treatment of hallux valgus by modified McBride procedure: a 6-year follow-up

PubMed ID: 20505975Background Surgical decision-making was reevaluated by comparison with an algorithm designed to analyze treatment of hallux valgus deformities. Materials and methods A modified McBride procedure was performed on 52 feet of 35 patients with hallux valgusdeformity. From this series, 36 feet of 21 patients were evaluated preoperatively, early postoperatively, and late postoperatively by means of subjective evaluation and clinical and radiological findings. Results The hallux valgus angle preoperatively, early postoperatively, and late postoperatively was 32.7 ± 8.5°, 10.1 ± 6.9°, and 20.6 ± 9.5°, respectively. Hallux valgus recurrence of 72.2% was observed. Subjective results were better and the patients rated their satisfaction with the procedure as excellent or high in 23 cases (63.9%) and moderate, low, or unsatisfactory in 13 cases (36.1%). Conclusions This level of patient satisfaction demonstrates that the McBride procedure is an efficient approach for eliminating pain due to hallux valgus deformity. © The Author(s) 2010

Treatment of hallux valgus by modified McBride procedure: a 6-year follow-up

PubMed ID: 20505975Background Surgical decision-making was reevaluated by comparison with an algorithm designed to analyze treatment of hallux valgus deformities. Materials and methods A modified McBride procedure was performed on 52 feet of 35 patients with hallux valgusdeformity. From this series, 36 feet of 21 patients were evaluated preoperatively, early postoperatively, and late postoperatively by means of subjective evaluation and clinical and radiological findings. Results The hallux valgus angle preoperatively, early postoperatively, and late postoperatively was 32.7 ± 8.5°, 10.1 ± 6.9°, and 20.6 ± 9.5°, respectively. Hallux valgus recurrence of 72.2% was observed. Subjective results were better and the patients rated their satisfaction with the procedure as excellent or high in 23 cases (63.9%) and moderate, low, or unsatisfactory in 13 cases (36.1%). Conclusions This level of patient satisfaction demonstrates that the McBride procedure is an efficient approach for eliminating pain due to hallux valgus deformity. © The Author(s) 2010

Combining Clinical, Pathological, and Demographic Factors Refines Prognosis of Lung Cancer: A Population-Based Study

In the treatment of lung cancer, an accurate estimation of patient clinical outcome is essential for choosing an appropriate course of therapy. It is important to develop a prognostic stratification model which combines clinical, pathological and demographic factors for individualized clinical decision making.A total of 234,412 patients diagnosed with adenocarcinomas or squamous cell carcinomas of the lung or bronchus between 1988 and 2006 were retrieved from the SEER database to construct a prognostic model. A model was developed by estimating a Cox proportional hazards model on 500 bootstrapped samples. Two models, one using stage alone and another comprehensive model using additional covariates, were constructed. The comprehensive model consistently outperformed the model using stage alone in prognostic stratification and on Harrell's C, Nagelkerke's R(2), and Brier Scores in the whole patient population as well as in specific treatment modalities. Specifically, the comprehensive model generated different prognostic groups with distinct post-operative survival (log-rank P<0.001) within surgical stage IA and IB patients in Kaplan-Meier analyses. Two additional patient cohorts (n = 1,991) were used as an external validation, with the comprehensive model again outperforming the model using stage alone with regards to prognostic stratification and the three evaluated metrics.These results demonstrate the feasibility of constructing a precise prognostic model combining multiple clinical, pathologic, and demographic factors. The comprehensive model significantly improves individualized prognosis upon AJCC tumor staging and is robust across a range of treatment modalities, the spectrum of patient risk, and in novel patient cohorts

Sedimentary Environment Influences the Effect of an Infaunal Suspension Feeding Bivalve on Estuarine Ecosystem Function

The suspension feeding bivalve Austrovenus stutchburyi is a key species on intertidal sandflats in New Zealand, affecting the appearance and functioning of these systems, but is susceptible to several environmental stressors including sedimentation. Previous studies into the effect of this species on ecosystem function have been restricted in space and time, limiting our ability to infer the effect of habitat change on functioning. We examined the effect of Austrovenus on benthic primary production and nutrient dynamics at two sites, one sandy, the other composed of muddy-sand to determine whether sedimentary environment alters this key species' role. At each site we established large (16 m2) plots of two types, Austrovenus addition and removal. In winter and summer we deployed light and dark benthic chambers to quantify oxygen and nutrient fluxes and measured sediment denitrification enzyme activity to assess denitrification potential. Rates of gross primary production (GPP) and ammonium uptake were significantly increased when Austrovenus was added, relative to removed, at the sandy site (GPP, 1.5 times greater in winter and summer; ammonium uptake, 8 times greater in summer; 3-factor analysis of variance (ANOVA), p<0.05). Denitrification potential was also elevated in Austrovenus addition plots at the sandy site in summer (by 1.6 times, p<0.1). In contrast, there was no effect of Austrovenus treatment on any of these variables at the muddy-sand site, and overall rates tended to be lower at the muddy-sand site, relative to the sandy site (e.g. GPP was 2.1 to 3.4 times lower in winter and summer, respectively, p<0.001). Our results suggest that the positive effects of Austrovenus on system productivity and denitrification potential is limited at a muddy-sand site compared to a sandy site, and reveal the importance of considering sedimentary environment when examining the effect of key species on ecosystem function

Detailed Regulatory Mechanism of the Interaction between ZO-1 PDZ2 and Connexin43 Revealed by MD Simulations

The gap junction protein connexin43 (Cx43) binds to the second PDZ domain of Zonula occludens-1 (ZO-1) through its C-terminal tail, mediating the regulation of gap junction plaque size and dynamics. Biochemical study demonstrated that the very C-terminal 12 residues of Cx43 are necessary and sufficient for ZO-1 PDZ2 binding and phosphorylation at residues Ser (-9) and Ser (-10) of the peptide can disrupt the association. However, only a crystal structure of ZO-1 PDZ2 in complex with a shorter 9 aa peptide of connexin43 was solved experimentally. Here, the interactions between ZO-1 PDZ2 and the short, long and phosphorylated Cx43 peptides were studied using molecular dynamics (MD) simulations and free energy calculation. The short peptide bound to PDZ2 exhibits large structural variations, while the extension of three upstream residues stabilizes the peptide conformation and enhanced the interaction. Phosphorylation at Ser(-9) significantly weakens the binding and results in conformational flexibility of the peptide. Glu210 of ZO-1 PDZ2 was found to be a key regulatory point in Cx43 binding and phosphorylation induced dissociation

Meiofauna in the Gollum Channels and the Whittard Canyon, Celtic Margin—How Local Environmental Conditions Shape Nematode Structure and Function

The Gollum Channels and Whittard Canyon (NE Atlantic) are two areas that receive high input of organic matter and phytodetritus from euphotic layers, but they are typified by different trophic and hydrodynamic conditions. Sediment biogeochemistry was analysed in conjunction with structure and diversity of the nematode community and differences were tested between study areas, water depths (700 m vs 1000 m), stations, and sediment layers. The Gollum Channels and Whittard Canyon harboured high meiofauna abundances (1054–1426 ind. 10 cm−2) and high nematode diversity (total of 181 genera). Next to enhanced meiofauna abundance and nematode biomass, there were signs of high levels of organic matter deposition leading to reduced sedimentary conditions, which in turn structured the nematode community. Striking in this respect was the presence of large numbers of ‘chemosynthetic’ Astomonema nematodes (Astomonema southwardorum, Order Monhysterida, Family Siphonolaimidae). This genus lacks a mouth, buccal cavity and pharynx and possesses a rudimentary gut containing internal, symbiotic prokaryotes which have been recognised as sulphur-oxidising bacteria. Dominance of Astomonema may indicate the presence of reduced environments in the study areas, which is partially confirmed by the local biogeochemical environment. The nematode communities were mostly affected by sediment layer differences and concomitant trophic conditions rather than other spatial gradients related to study area, water depth or station differences, pointing to small-scale heterogeneity as the main source of variation in nematode structure and function. Furthermore, the positive relation between nematode standing stocks, and quantity and quality of the organic matter was stronger when hydrodynamic disturbance was greater. Analogically, this study also suggests that structural diversity can be positively correlated with trophic conditions and that this relation is tighter when hydrodynamic disturbance is greater

Four Regional Marine Biodiversity Studies: Approaches and Contributions to Ecosystem-Based Management

We compare objectives and approaches of four regional studies of marine biodiversity: Gulf of Maine Area Census of Marine Life, Baltic Sea History of Marine Animal Populations, Great Barrier Reef Seabed Biodiversity Project, and Gulf of Mexico Biodiversity Project. Each program was designed as an "ecosystem" scale but was created independently and executed differently. Each lasted 8 to 10 years, including several years to refine program objectives, raise funding, and develop research networks. All resulted in improved baseline data and in new, or revised, data systems. Each contributed to the creation or evolution of interdisciplinary teams, and to regional, national, or international science-management linkages. To date, there have been differing extents of delivery and use of scientific information to and by management, with greatest integration by the program designed around specific management questions. We evaluate each research program's relative emphasis on three principal elements of biodiversity organization: composition, structure, and function. This approach is used to analyze existing ecosystem-wide biodiversity knowledge and to assess what is known and where gaps exist. In all four of these systems and studies, there is a relative paucity of investigation on functional elements of biodiversity, when compared with compositional and structural elements. This is symptomatic of the current state of the science. Substantial investment in understanding one or more biodiversity element(s) will allow issues to be addressed in a timely and more integrative fashion. Evaluating research needs and possible approaches across specific elements of biodiversity organization can facilitate planning of future studies and lead to more effective communication between scientists, managers, and stakeholders. Building a general approach that captures how various studies have focused on different biodiversity elements can also contribute to meta-analyses of worldwide experience in scientific research to support ecosystem-based management

Prognostic impact of reduced connexin43 expression and gap junction coupling of neoplastic stromal cells in giant cell tumor of bone

Missense mutations of the GJA1 gene encoding the gap junction channel protein connexin43 (Cx43) cause bone malformations resulting in oculodentodigital dysplasia (ODDD), while GJA1 null and ODDD mutant mice develop osteopenia. In this study we investigated Cx43 expression and channel functions in giant cell tumor of bone (GCTB), a locally aggressive osteolytic lesion with uncertain progression. Cx43 protein levels assessed by immunohistochemistry were correlated with GCTB cell types, clinico-radiological stages and progression free survival in tissue microarrays of 89 primary and 34 recurrent GCTB cases. Cx43 expression, phosphorylation, subcellular distribution and gap junction coupling was also investigated and compared between cultured neoplastic GCTB stromal cells and bone marow stromal cells or HDFa fibroblasts as a control. In GCTB tissues, most Cx43 was produced by CD163 negative neoplastic stromal cells and less by CD163 positive reactive monocytes/macrophages or by giant cells. Significantly less Cx43 was detected in alpha-smooth muscle actin positive than alpha-smooth muscle actin negative stromal cells and in osteoclast-rich tumor nests than in the adjacent reactive stroma. Progressively reduced Cx43 production in GCTB was significantly linked to advanced clinico-radiological stages and worse progression free survival. In neoplastic GCTB stromal cell cultures most Cx43 protein was localized in the paranuclear-Golgi region, while it was concentrated in the cell membranes both in bone marrow stromal cells and HDFa fibroblasts. In Western blots, alkaline phosphatase sensitive bands, linked to serine residues (Ser369, Ser372 or Ser373) detected in control cells, were missing in GCTB stromal cells. Defective cell membrane localization of Cx43 channels was in line with the significantly reduced transfer of the 622 Da fluorescing calcein dye between GCTB stromal cells. Our results show that significant downregulation of Cx43 expression and gap junction coupling in neoplastic stromal cells are associated with the clinical progression and worse prognosis in GCTB