The role of dietary polyphenols in the moderation of the inflammatory response in early stage colorectal cancer

Current focus in colorectal cancer management is on reducing overall mortality by increasing the number of early stage cancers diagnosed and treated with curative intent. Despite the success of screening programmes in down-staging colorectal cancer, interval cancer rates are substantial and other strategies are desirable. Sporadic colorectal cancer is largely associated with lifestyle factors including diet. Polyphenols are phytochemicals ingested as part of a normal diet which are abundant in plant foods including fruits/berries and vegetables. These may exert their anti-carcinogenic effects via the modulation of inflammatory pathways. Key signal transduction pathways are fundamental to the association of inflammation and disease progression including those mediated by NF-κB and STAT, PI3K and COX. Our aim was to examine the evidence for the effect of dietary polyphenols intake on tumour and host inflammatory responses to determine if polyphenols may be effective as part of a dietary intervention. There is good epidemiological evidence of a reduction in colorectal cancer risk from case-control and cohort studies assessing polyphenol intake. It would be premature to suggest a major public health intervention to promote their consumption however, dietary change is safe and feasible, emphasising the need for further investigation of polyphenols and colorectal cancer risk

Decision-making in policy governed human-autonomous systems teams

Policies govern choices in the behavior of systems. They are applied to human behavior as well as to the behavior of autonomous systems but are defined differently in each case. Generally humans have the ability to interpret the intent behind the policies, to bring about their desired effects, even occasionally violating them when the need arises. In contrast, policies for automated systems fully define the prescribed behavior without ambiguity, conflicts or omissions. The increasing use of AI techniques and machine learning in autonomous systems such as drones promises to blur these boundaries and allows us to conceive in a similar way more flexible policies for the spectrum of human-autonomous systems collaborations. In coalition environments this spectrum extends across the boundaries of authority in pursuit of a common coalition goal and covers collaborations between human and autonomous systems alike. In social sciences, social exchange theory has been applied successfully to explain human behavior in a variety of contexts. It provides a framework linking the expected rewards, costs, satisfaction and commitment to explain and anticipate the choices that individuals make when confronted with various options. We discuss here how it can be used within coalition environments to explain joint decision making and to help formulate policies re-framing the concepts where appropriate. Social exchange theory is particularly attractive within this context as it provides a theory with “measurable” components that can be readily integrated in machine reasoning processes

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

Investigation of the relationship between main-bearing loads and wind field characteristics

This paper investigates the relationship between main bearing loads and the characteristics of the incident wind field in which a wind turbine is operating. For a 2MW wind turbine model, fully aeroelastic multibody simulations are performed in 3D turbulent wind fields across the wind turbines operational envelope. Hub loads are extracted and then injected into a simplified drivetrain model of a single main-bearing configuration whose parameters are determined using finite element software. The main bearing reaction loads and load ratios from the simplified model are presented and analysed. The results indicate that there is a strong link between wind field characteristics and the loading experienced by a single main-bearing, with more damaging load ratios seen to occur in low turbulence and high shear wind conditions

Enhanced hydrogen storage in Ni/Ce composite oxides

The properties of dried (but not calcined) coprecipitated nickel ceria systems have been investigated in terms of their hydrogen emission characteristics following activation in hydrogen. XRD and BET data obtained on the powders show similarities to calcined ceria but it is likely that the majority of the material produced by the coprecipitation process is largely of an amorphous nature. XPS data indicate very little nickel is present on the outermost surface of the particles. Nevertheless, the thermal analytical techniques (TGA, DSC and TPD-MS) indicate that the hydrogen has access to the catalyst present and the nickel is able to generate hydrogen species capable of interacting with the support. Both unactivated and activated materials show two hydrogen emission features, viz. low temperature and high temperature emissions (LTE and HTE, respectively) over the temperature range 50 and 500 °C. A clear effect of hydrogen interaction with the material is that the activated sample not only emits much more hydrogen than the corresponding unactivated one but also at lower temperatures. H2 dissociation occurs on the reduced catalyst surface and the spillover mechanism transfers this active hydrogen into the ceria, possibly via the formation and migration of OH− species. The amount of hydrogen obtained (0.24 wt%) is 10× higher than those observed for calcined materials and would suggest that the amorphous phase plays a critical role in this process. The affiliated emissions of CO and CO2 with that of the HTE hydrogen (and consumption of water) strongly suggests a proportion of the hydrogen emission at this point arises from the water gas shift type reaction. It has not been possible from the present data to delineate between the various hydrogen storage mechanisms reported for ceria

To focus-match or not to focus-match inverse spatially offset Raman spectroscopy : a question of light penetration

Funding: The work was supported by funding from the UK Engineering and Physical Sciences Research Council (EP/P030017/1 and EP/R004854/1) and the H2020 FETOPEN project “Dynamic” (EC-GA 863203).The ability to identify the contents of a sealed container, without the need to extract a sample, is desirable in applications ranging from forensics to product quality control. One technique suited to this is inverse spatially offset Raman spectroscopy (ISORS) which illuminates a sample of interest with an annular beam of light and collects Raman scattering from the centre of the ring, thereby retrieving the chemical signature of the contents while suppressing signal from the container. Here we explore in detail the relative benefits of a recently developed variant of ISORS, called focus-matched ISORS. In this variant, the Fourier relationship between the annular beam and a tightly focused Bessel beam is exploited to focus the excitation light inside the sample and to match the focal point of excitation and collection optics to increase the signal from the contents without out compromising the suppression of the container signal. Using a flexible experimental setup which can realise both traditional and focus-matched ISORS, and Monte-Carlo simulations, we elucidate the relative advantages of the two techniques for a range of optical properties of sample and container.Publisher PDFPeer reviewe

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache coherence protocol domain and consistent with the internal definition of deadlock in the Murphi model checker: we refer to this deadlock as a system- wide deadlock (s-deadlock). In s-deadlock, the entire system gets blocked and is unable to make any transition. Cache coherence protocols consist of N symmetric cache agents, where N is an unbounded parameter; thus the verification of s-deadlock freedom is naturally a parameterized verification problem. Parametrized verification techniques work by using sound abstractions to reduce the unbounded model to a bounded model. Efficient abstractions which work well for industrial scale protocols typically bound the model by replacing the state of most of the agents by an abstract environment, while keeping just one or two agents as is. However, leveraging such efficient abstractions becomes a challenge for s-deadlock: a violation of s-deadlock is a state in which the transitions of all of the unbounded number of agents cannot occur and so a simple abstraction like the one above will not preserve this violation. In this work we address this challenge by presenting a technique which leverages high-level information about the protocols, in the form of message sequence dia- grams referred to as flows, for constructing invariants that are collectively stronger than s-deadlock. Efficient abstractions can be constructed to verify these invariants. We successfully verify the German and Flash protocols using our technique

Theory of Tunneling for Rough Junctions

A formally exact expression for the tunneling current, for its separation into specular and diffuse components, and for its directionality, is given for a thick tunnel junction with rough interfaces in terms of the properties of appropriately defined scattering amplitudes. An approximate evaluation yields the relative magnitudes of the specular and diffuse components, and the angular dependence of the diffuse component, in terms of certain statistical properties of the junction interfaces.Comment: 4 page

Proving Safety with Trace Automata and Bounded Model Checking

Loop under-approximation is a technique that enriches C programs with additional branches that represent the effect of a (limited) range of loop iterations. While this technique can speed up the detection of bugs significantly, it introduces redundant execution traces which may complicate the verification of the program. This holds particularly true for verification tools based on Bounded Model Checking, which incorporate simplistic heuristics to determine whether all feasible iterations of a loop have been considered. We present a technique that uses \emph{trace automata} to eliminate redundant executions after performing loop acceleration. The method reduces the diameter of the program under analysis, which is in certain cases sufficient to allow a safety proof using Bounded Model Checking. Our transformation is precise---it does not introduce false positives, nor does it mask any errors. We have implemented the analysis as a source-to-source transformation, and present experimental results showing the applicability of the technique