Tumour invasiveness, the local and systemic environment and the basis of staging systems in colorectal cancer

background: The present study aimed to examine the relationship between tumour invasiveness (T stage), the local and systemic environment and cancer-specific survival (CSS) of patients with primary operable colorectal cancer. methods: The tumour microenvironment was examined using measures of the inflammatory infiltrate (Klintrup-Makinen (KM) grade and Immunoscore), tumour stroma percentage (TSP) and tumour budding. The systemic inflammatory environment was examined using modified Glasgow Prognostic Score (mGPS) and neutrophil:lymphocyte ratio (NLR). A 5-year CSS was examined. results: A total of 331 patients were included. Increasing T stage was associated with colonic primary, N stage, poor differentiation, margin involvement and venous invasion (P<0.05). T stage was significantly associated with KM grade (P=0.001), Immunoscore (P=0.016), TSP (P=0.006), tumour budding (P<0.001), and elevated mGPS and NLR (both P<0.05). In patients with T3 cancer, N stage stratified survival from 88 to 64%, whereas Immunoscore and budding stratified survival from 100 to 70% and from 91 to 56%, respectively. The Glasgow Microenvironment Score, a score based on KM grade and TSP, stratified survival from 93 to 58%. conclusions: Although associated with increasing T stage, local and systemic tumour environment characteristics, and in particular Immunoscore, budding, TSP and mGPS, are stage-independent determinants of survival and may be utilised in the staging of patients with primary operable colorectal cancer

The Far-Infrared Properties of Spatially Resolved AKARI Observations

We present the spatially resolved observations of IRAS sources from the Japanese infrared astronomy satellite AKARI All-Sky Survey during the performance verification (PV) phase of the mission. We extracted reliable point sources matched with IRAS point source catalogue. By comparing IRAS and AKARI fluxes, we found that the flux measurements of some IRAS sources could have been over or underestimated and affected by the local background rather than the global background. We also found possible candidates for new AKARI sources and confirmed that AKARI observations resolved IRAS sources into multiple sources. All-Sky Survey observations are expected to verify the accuracies of IRAS flux measurements and to find new extragalactic point sources.Comment: 11 pages, 7 figures, accepted publication in PASJ AKARI special issu

Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u

Automatic Verification of Finite Precision Implementations of Linear Controllers

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller\u27s mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model and the specification by similarity checking. We show how to automatically verify the correctness of floating-point controller implementation in C language using the combination of techniques such as symbolic execution and convex optimization problem solving. We demonstrate the scalability of our approach through evaluation with randomly generated controller specifications of realistic size

A simple genetic algorithm for calibration of stochastic rock discontinuity networks

Este artículo propone un método para llevar a cabo la calibración de las familias de discontinuidades en macizos rocosos. We present a novel approach for calibration of stochastic discontinuity network parameters based on genetic algorithms (GAs). To validate the approach, examples of application of the method to cases with known parameters of the original Poisson discontinuity network are presented. Parameters of the model are encoded as chromosomes using a binary representation, and such chromosomes evolve as successive generations of a randomly generated initial population, subjected to GA operations of selection, crossover and mutation. Such back-calculated parameters are employed to make assessments about the inference capabilities of the model using different objective functions with different probabilities of crossover and mutation. Results show that the predictive capabilities of GAs significantly depend on the type of objective function considered; and they also show that the calibration capabilities of the genetic algorithm can be acceptable for practical engineering applications, since in most cases they can be expected to provide parameter estimates with relatively small errors for those parameters of the network (such as intensity and mean size of discontinuities) that have the strongest influence on many engineering applications

Rapid induction of p21WAF1 but delayed down-regulation of Cdc25A in the TGF-β-induced cell cycle arrest of gastric carcinoma cells

Transforming growth factor-beta (TGF-beta) is a multifunctional polypeptide that inhibits cellular proliferation in most epithelial cells. cdk4 and several cyclin-dependent kinase (cdk) inhibitors (p15(INK4B), p21(WAFI/Cip1) and p27(Kip1)) have been implicated in the TGF-beta-induced cell cycle arrest. More recently, down-regulation of Cdc25A, a cdk activator, was additionally suggested as a mechanism underlying growth inhibition by TGF-beta. The existence of diverse cellular mediators, of TGF-beta, however, raises the question of whether their involvement might occur in a redundant manner or coordinately in a certain cell type. Using two TGF-beta-sensitive gastric carcinoma cell lines (SNU-16 and -620), we addressed the contributory roles of several cdk inhibitors, and of cdk4 and Cdc25A, in TGF-beta-induced cell cycle arrest by comparing their temporal expression pattern in response to TGF-beta. Among the cdk inhibitors examined, p21 mRNA was most rapidly (in less than 1 h) and prominently induced by TGF-beta. In contrast, p15 mRNA was more slowly induced than p21 in SNU-620: cells, and not expressed in SNU-16 cells harbouring homozygous deletion of p15. Western blotting results confirmed the rapid increase of p21 while opposite patterns of p27 expression were observed in the two cell lines. The down-regulation of Cdc25A mRNA occurred, but was more delayed than that of p15 or p21. Until G1 arrest was established, changes in the protein levels of both Cdc25A and cdk4 were marginal. Co-immunoprecipitation with anti-cdk4 antibody showed that induced p21 associates with cdk4, and that its kinase activity is reduced by TGF-beta, which kinetically correlates closely with G1 arrest following TGF-beta treatment of both cell lines. These results suggest that in certain human epithelial cells, p21 may play an early role in TGF-beta-induced cell cycle arrest, and its cooperation with other cdk inhibitors is different depending on cell type. Delayed down-regulation of Cdc25A and cdk4 may contribute to cell adaptation to the quiescent state in the two gastric carcinoma cell lines studied

Mapping an atlas of tissue-specific drosophila melanogaster metabolomes by high resolution mass spectrometry

Metabolomics can provide exciting insights into organismal function, but most work on simple models has focussed on the whole organism metabolome, so missing the contributions of individual tissues. Comprehensive metabolite profiles for ten tissues from adult Drosophila melanogaster were obtained here by two chromatographic methods, a hydrophilic interaction (HILIC) method for polar metabolites and a lipid profiling method also based on HILIC, in combination with an Orbitrap Exactive instrument. Two hundred and forty two polar metabolites were putatively identified in the various tissues, and 251 lipids were observed in positive ion mode and 61 in negative ion mode. Although many metabolites were detected in all tissues, every tissue showed characteristically abundant metabolites which could be rationalised against specific tissue functions. For example, the cuticle contained high levels of glutathione, reflecting a role in oxidative defence; the alimentary canal (like vertebrate gut) had high levels of acylcarnitines for fatty acid metabolism, and the head contained high levels of ether lipids. The male accessory gland uniquely contained decarboxylated S-adenosylmethionine. These data thus both provide valuable insights into tissue function, and a reference baseline, compatible with the FlyAtlas.org transcriptomic resource, for further metabolomic analysis of this important model organism, for example in the modelling of human inborn errors of metabolism, aging or metabolic imbalances such as diabetes