NOSS altimeter algorithm specifications

A description of all algorithms required for altimeter processing is given. Each description includes title, description, inputs/outputs, general algebraic sequences and data volume. All required input/output data files are described and the computer resources required for the entire altimeter processing system were estimated. The majority of the data processing requirements for any radar altimeter of the Seasat-1 type are scoped. Additions and deletions could be made for the specific altimeter products required by other projects

Does the mode of delivery affect mathematics examination results?

At present most examinations are delivered on paper but there is a growing trend in many subjects to deliver some or part of these examinations by computer. It is therefore important to know whether there are any differences in the results obtained by candidates sitting examinations taken by computer compared with those obtained by candidates sitting conventional examinations using pen and paper. The purpose of this article is to describe the outcome of a pilot study designed to∗ investigate possible causes of any differences in results from the use of different modes of delivery in a mathematics examination. One outcome of this study was that the process of translating examination questions into a format required for use on the computer (but keeping this as a pen and paper test) can have a significant effect on examination results. However, the main conclusion is that changing the medium only has no effect on the results in mathematics examinations

Attitudes of surgeons to the use of postoperative markers of the systemic inflammatory response following elective surgery

Background: Cancer is responsible for 7.6 million deaths worldwide and surgery is the primary modality of a curative outcome. Postoperative care is of considerable importance and it is against this backdrop that a questionnaire based study assessing the attitudes of surgeons to monitoring postoperative systemic inflammation was carried out. Method: A Web based survey including 10 questions on the “attitudes of surgeons to the use of postoperative markers of the systemic inflammatory response following elective surgery” was distributed via email. Two cohorts were approached to participate in the survey. Cohort 1 consisted of 1092 surgeons on the “Association of Coloproctology of Great Britain and Ireland (ACPGBI)” membership list. Cohort 2 consisted of 270 surgeons who had published in this field in the past as identified by two recent reviews. A reminder email was sent out 21 days after the initial email in both cases and the survey was closed after 42 days in both cases. Result: In total 29 surgeons (2.7%) from cohort 1 and 40 surgeons (14.8%) from cohort 2 responded to the survey. The majority of responders were from Europe (77%), were colorectal specialists (64%) and were consultants (84%) and worked in teaching hospitals (54%) and used minimally invasive techniques (87%). The majority of responders measured CRP routinely in the post-operative period (85%) and used CRP to guide their decision making (91%) and believed that CRP monitoring should be incorporated into postoperative guidelines (81%). Conclusion: Although there was a limited response the majority of surgeons surveyed measure the systemic inflammatory response following elective surgery and use CRP measurements together with clinical findings to guide postoperative care. The present results provide a baseline against which future surveys can be compared

Comparison of the prognostic value of measures of the tumor inflammatory cell infiltrate and tumor-associated stroma in patients with primary operable colorectal cancer

The aim of the present study was to compare the clinical utility of two measures of the inflammatory cell infiltrate - a H&E-based assessment of the generalised inflammatory cell infiltrate (the Klintrup-Mäkinen (KM) grade), and an immunohistochemistry-based assessment of combined CD3+ and CD8+ T-cell density (the “Immunoscore”), in conjunction with assessment of the tumor stroma percentage (TSP) in patients undergoing resection of stage I-III colorectal cancer (CRC). 246 patients were identified from a prospectively maintained database of CRC resections in a single surgical unit. Assessment of KM grade and TSP was performed using full H&E sections. CD3+ and CD8+ T-cell density was assessed on full sections and the Immunoscore calculated. KM grade and Immunoscore were strongly associated (P<0.001). KM grade stratified cancer-specific survival (CSS) from 88% to 66% (P=0.002) and Immunoscore from 93% to 61% (P<0.001). Immunoscore further stratified survival of patients independent of KM grade from 94% (high KM, Im4) to 60% (low KM, Im0/1). Furthermore, TSP stratified survival of patients with a weak inflammatory cell infiltrate (low KM: from 75% to 47%; Im0/1: from 71% to 38%, both P<0.001) but not those with a strong inflammatory infiltrate. On multivariate analysis, only Immunoscore (HR 0.44, P<0.001) and TSP (HR 2.04, P<0.001) were independently associated with CSS. These results suggest that the prognostic value of an immunohistochemistry-based assessment of the inflammatory cell infiltrate is superior to H&E-based assessment in patients undergoing resection of stage I-III CRC. Furthermore, assessment of the tumor-associated stroma, using TSP, further improves prediction of outcome

How and why systemic inflammation worsens quality of life in patients with advanced cancer

Introduction: The presence of an innate host systemic inflammatory response has been reported to be a negative prognostic factor in a wide group of solid tumour types in both the operable and advanced setting, both local and distant. In addition, this host systemic inflammatory response is associated with both clinician reported patient performance status and self-reported measures of quality of life in patients with cancer. Areas covered: A variety of mechanisms are thought to underlie this, including the influence of the host immune response on physical symptoms such as pain and fatigue, its effect on organ systems associated with physical ability and well being such as skeletal muscle, and bone marrow. Furthermore, this innate inflammatory response is thought to have a direct negative impact on mood through its action on the central nervous system. Expert commentary: It is clear that the host systemic inflammatory response represents a target for intervention in terms of both improving quality of life and prognosis in patients with advanced cancer. Based on this paradigm, future research should focus both on pathways which might be targeted by novel agents, but also on whether existing anti-inflammatory drugs might be of benefit

Non-Universal Fractional Quantum Hall States in a Quantum wire

The ground state as well as low-lying excitations in a 2D electron system in strong magnetic fields and a parabolic potential is investigated by the variational Monte Calro method. Trial wave functions analogous to the Laughlin state are used with the power-law exponent as the variational parameter. Finite size scaling of the excitation energy shows that the correlation function at long distance is characterized by anon-universal exponent in sharp contrast to the standard Laughlin state.The Laughlin-type state becomes unstable depending on strength of the confining potential.Comment: 10 pages, REVTE

Preoperative systemic inflammation predicts postoperative infectious complications in patients undergoing curative resection for colorectal cancer

The presence of systemic inflammation before surgery, as evidenced by the glasgow prognostic score (mGPS), predicts poor long-term survival in colorectal cancer. The aim was to examine the relationship between the preoperative mGPS and the development of postoperative complications in patients undergoing potentially curative resection for colorectal cancer. Patients (n=455) who underwent potentially curative resections between 2003 and 2007 were assessed consecutively, and details were recorded in a database. The majority of patients presented for elective surgery (85%) were over the age of 65 years (70%), were male (58%), were deprived (53%), and had TNM stage I/II disease (61%), had preoperative haemoglobin (56%), white cell count (87%) and mGPS 0 (58%) in the normal range. After surgery, 86 (19%) patients developed a postoperative complication; 70 (81%) of which were infectious complications. On multivariate analysis, peritoneal soiling (P<0.01), elevated preoperative white cell count (P<0.05) and mGPS (P<0.01) were independently associated with increased risk of developing a postoperative infection. In elective patients, only the mGPS (OR=1.75, 95% CI=1.17-2.63, P=0.007) was significantly associated with increased risk of developing a postoperative infection. Preoperative elevated mGPS predicts increased postoperative infectious complications in patients undergoing potentially curative resection for colorectal cancer

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201