Experimental and numerical simulation of dough kneading in filled geometries

Binding, David; Couch, M.A.; Sujatha, K.S.; Webster, M.F., (2003) 'Experimental and numerical simulation of dough kneading in filled geometries', Journal of Food Engineering 58 pp.111-123 RAE2008

An experimental study of the peeling of dough from solid surfaces

Binding, David; Couch, M.A., (2003) 'An experimental study of the peeling of dough from solid surfaces', Journal of Food Engineering 58(2) pp.299-309 RAE2008

Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

Towards a new model of criminal justice system in the era of globalised criminality: the biggest challenges for criminal process legislation

The main objective of this thesis is the critical analysis of the evolution of the criminal justice systems throughout the past decade, with special attention to the fight against transnational terrorism. It is evident – for any observer - that such threats and the associated risk that terrorism entails, has changed significantly throughout the past decade. This perception has generated answers – many times radical ones – by States, as they have committed themselves to warrant the safety of their populations and to ease a growing sentiment of social panic. This thesis seeks to analyse the characteristics of this new threat and the responses that States have developed in the fight against terrorism since 9/11, which have questioned some of the essential principles and values in place in their own legal systems. In such sense, freedom and security are placed into perspective throughout the analysis of the specific antiterrorist legal reforms of five different States: Israel, Portugal, Spain, the United Kingdom and the United States of America. On the other hand, in light of those antiterrorist reforms, it will be questioned if it is possible to speak of the emergence of a new system of criminal justice (and of a process of a convergence between common law and civil law systems), built upon a control and preventive security framework, significantly different from traditional models. Finally, this research project has the fundamental objective to contribute to a better understanding on the economic, social and civilization costs of those legal reforms regarding human rights, the rule of law and democracy in modern States.

Mesenchymal stem cell therapy for the treatment of myocardial infarction

Mesenchymal stem cells (MSCs) are currently under investigation as repair agents in the preservation of cardiac function following myocardial infarction (MI). However concerns have emerged regarding the safety of acute intracoronary (IC) MSC delivery specifically related to mortality, micro-infarction and microvascular flow restriction post cell therapy in animal models. This thesis aimed to firstly identify an optimal dose of MSC that could be tolerated when delivered via the coronary artery in a porcine model of acute MI (AMI). Initial dosing studies identified 25x106 MSC to be a safe MSC cell dose, however, angiographic observations from these studies recognised that on delivery of MSC there was a significant adverse decrease in distal blood flow within the artery. This observation along with additional supportive data in the literature (published during the course of this thesis) suggested MSC may be contributing to such adverse events through the propagation of thrombosis. Therefore further studies aimed to investigate the innate prothrombotic activity of MSC. Expression of the initiator of the coagulation cascade initiator tissue factor (TF) on MSC was detected in high levels on the surface of these cells. MSC-derived TF antigen was catalytically active, capable of supporting thrombin generation in vitro and enhancing platelet-driven thrombus deposition on collagen under flow. Infusion of MSC via IC route was associated with a decreased coronary flow reserve when delivered but not when coadministered with an antithrombin agent heparin. Heparin also reduced MSC-associated in situ thrombosis incorporating platelets and VWF in the microvasculature. Heparin-assisted MSC delivery reduced acute apoptosis and significantly improved infarct size, left ventricular ejection fraction, LV volumes, wall motion and scar formation at 6 weeks post AMI. In addition, this thesis investigated the paracrine factors secreted by MSC, in particular focusing on the effect on cardiac repair of a novel MSC-paracrine factor SPARCL1. In summary this work provides new insight into the mechanism by which MSC may be deleterious when delivered by an IC route and a means of abrogating this effect. Moreover we present new data on the MSC secretome with elucidation of the challenges encountered using a single paracrine factor cardiac repair strategy.

Engineering design of a bioprocess for the production of natural red colourants by submerged fermentation of the thermophilic fungus Penicillium purpurogenum GH2

The development of a new bioprocess requires several steps from initial concept to a practical and feasible application. Industrial applications of fungal pigments will depend on: (i) safety of consumption, (ii) stability of the pigments to the food processing conditions required by the products where they will be incorporated and (iii) high production yields so that production costs are reasonable. Of these requirements the first involves the highest research costs and the practical application of this type of processes may face several hurdles until final regulatory approval as a new food ingredient. Therefore, before going through expensive research to have them accepted as new products, the process potential should be assessed early on, and this brings forward pigment stability studies and process optimisation goals. Only ingredients that are usable in economically feasible conditions should progress to regulatory approval. This thesis covers these two aspects, stability and process optimisation, for a potential new ingredient; natural red colour, produced by microbial fermentation. The main goal was to design, optimise and scale-up the production process of red pigments by Penicillium purpurogenum GH2. The approach followed to reach this objective was first to establish that pigments produced by Penicillium purpurogenum GH2 are sufficiently stable under different processing conditions (thermal and non-thermal) that can be found in food and textile industries. Once defined that pigments were stable enough, the work progressed towards process optimisation, aiming for the highest productivity using submerged fermentation as production culture. Optimum production conditions defined at flask scale were used to scale up the pigment production process to a pilot reactor scale. Finally, the potential applications of the pigments were assessed. Based on this sequence of specific targets, the thesis was structured in six parts, containing a total of nine chapters. Engineering design of a bioprocess for the production of natural red colourants by submerged fermentation of the thermophilic fungus Penicillium purpurogenum GH2.

Mature results of a randomized phase II multicenter study of exemestane versus tamoxifen as first-line hormone therapy for postmenopausal women with metastatic breast cancer.

BACKGROUND: Women with hormone-responsive metastatic breast cancer (MBC) may respond to or have stable disease with a number of hormone therapies. We explored the efficacy and safety of the steroidal aromatase inactivator exemestane as first-line hormonal therapy in MBC in postmenopausal women. PATIENTS AND METHODS: Patients with measurable disease were eligible if they had received no prior hormone therapy for metastatic disease and had hormone receptor positive disease or hormone receptor unknown disease with a long disease-free interval from adjuvant therapy. They were randomized to tamoxifen 20 mg/day or exemestane 25 mg/day in this open-label study. RESULTS: Blinded independently reviewed response rates for exemestane and tamoxifen were 41% and 17%, respectively. Fifty-seven per cent of exemestane- and 42% of tamoxifen-treated patients experienced clinical benefit, defined as complete or partial response, or disease stabilization lasting at least 6 months. There was a low incidence of severe flushing, sweating, nausea and edema in women who received exemestane. One exemestane-treated patient had a pulmonary embolism with grade 4 dyspnea. CONCLUSIONS: Exemestane is well tolerated and active in the first-line treatment of hormone-responsive MBC. An ongoing EORTC phase III trial is comparing the efficacy, measuring time-to-disease progression, of exemestane and tamoxifen.

Equal IgG antibody response to pneumococcal vaccination in all stages of human immunodeficiency virus disease.

To evaluate the immunogenicity and safety of a 23-valent pneumococcal vaccine in human immunodeficiency virus (HIV)-seropositive patients, 80 men and 18 women received 1 dose of the vaccine (Pneumo 23; Pasteur Mérieux MSD, Brussels). The total IgG antibody response against all 23 Streptococcus pneumoniae capsular antigens was measured. Antibody levels were expressed in arbitrary units per microliter, referring to a standard curve. Geometric mean titers of the total IgG capsular antibodies on the day of vaccination and 30-45 days later were compared. The ratios of titers after and before vaccination in patients with > 500, 200-500, and < 200 CD4 lymphocytes/microL were 10, 10, and 12.6, respectively. Nonresponse (ratio < 4) occurred in 17% of patients and was unrelated to CD4 cell count. The vaccine was well tolerated; no serious side effects occurred. In 83% of the patients with HIV infection, the total antipneumococcal IgG level was higher after vaccination.

What leads Indians to participate in clinical trials? A meta-analysis of qualitative studies.

BACKGROUND: With the globalization of clinical trials, large developing nations have substantially increased their participation in multi-site studies. This participation has raised ethical concerns, among them the fear that local customs, habits and culture are not respected while asking potential participants to take part in study. This knowledge gap is particularly noticeable among Indian subjects, since despite the large number of participants, little is known regarding what factors affect their willingness to participate in clinical trials. METHODS: We conducted a meta-analysis of all studies evaluating the factors and barriers, from the perspective of potential Indian participants, contributing to their participation in clinical trials. We searched both international as well as Indian-specific bibliographic databases, including Pubmed, Cochrane, Openjgate, MedInd, Scirus and Medknow, also performing hand searches and communicating with authors to obtain additional references. We enrolled studies dealing exclusively with the participation of Indians in clinical trials. Data extraction was conducted by three researchers, with disagreement being resolved by consensus. RESULTS: Six qualitative studies and one survey were found evaluating the main themes affecting the participation of Indian subjects. Themes included Personal health benefits, Altruism, Trust in physicians, Source of extra income, Detailed knowledge, Methods for motivating participants as factors favoring, while Mistrust on trial organizations, Concerns about efficacy and safety of trials, Psychological reasons, Trial burden, Loss of confidentiality, Dependency issues, Language as the barriers. CONCLUSION: We identified factors that facilitated and barriers that have negative implications on trial participation decisions in Indian subjects. Due consideration and weightage should be assigned to these factors while planning future trials in India.

In vivo guidance and assessment of liver radio-frequency ablation with acoustic radiation force elastography.

The initial results from clinical trials investigating the utility of acoustic radiation force impulse (ARFI) imaging for use with radio-frequency ablation (RFA) procedures in the liver are presented. To date, data have been collected from 6 RFA procedures in 5 unique patients. Large displacement contrast was observed in ARFI images of both pre-ablation malignancies (mean 7.5 dB, range 5.7-11.9 dB) and post-ablation thermal lesions (mean 6.2 dB, range 5.1-7.5 dB). In general, ARFI images provided superior boundary definition of structures relative to the use of conventional sonography alone. Although further investigations are required, initial results are encouraging and demonstrate the clinical promise of the ARFI method for use in many stages of RFA procedures.

Impact of Kidney Function on Effects of the Dietary Approaches to Stop Hypertension (Dash) Diet.

OBJECTIVES: Although the Dietary Approaches to Stop Hypertension (DASH) diet lowers blood pressure in adults with hypertension, how kidney function impacts this effect is not known. We evaluated whether Estimated Glomerular Filtration Rate (eGFR) modifies the effect of the DASH diet on blood pressure, markers of mineral metabolism, and markers of kidney function. METHODS: Secondary analysis of the DASH-Sodium trial, a multicenter, randomized, controlled human feeding study that evaluated the blood pressure lowering effect of the DASH diet at three levels of sodium intake. Data from 92 participants with pre-hypertension or stage 1 hypertension during the 3450 mg /day sodium diet assignment contributed to this analysis. Stored frozen plasma and urine specimens were used to measure kidney related laboratory outcomes. RESULTS: Effects of the DASH diet on blood pressure, phosphorus, intact parathyroid hormone, creatinine, and albuminuria were not modified by baseline eGFR (mean 84.5 ± 18.0 ml/min/1.73 m(2), range 44.1 to 138.6 ml/min/1.73 m(2)) or the presence of chronic kidney disease (N=13%). CONCLUSIONS: The impact of the DASH diet on blood pressure, markers of mineral metabolism, and markers of kidney function does not appear to be modified by eGFR in this small subset of DASH-Sodium trial participants with relatively preserved kidney function. Whether greater reduction in eGFR modifies the effects of DASH on kidney related measures is yet to be determined. A larger study in individuals with more advanced kidney disease is needed to establish the efficacy and safety of the DASH diet in this patient population.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

A phase 1-2 clinical trial of gene therapy for recurrent glioblastoma multiforme by tumor transduction with the herpes simplex thymidine kinase gene followed by ganciclovir.

This study has investigated the effects of herpes simplex thymidine kinase gene (HSV-tk) transfer followed by ganciclovir treatment as adjuvant gene therapy to surgical resection in patients with recurrent glioblastoma multiforme (GBM). The study was open and single-arm, and aimed at assessing the feasibility and safety of the technique and indications of antitumor activity. In 48 patients a suspension of retroviral vector-producing cells (VPCs) was administered by intracerebral injection immediately after tumor resection. Intravenous ganciclovir was infused daily 14 to 27 days after surgery. Patients were monitored for adverse events and for life by regular biosafety assaying. Tumor changes were monitored by magnetic resonance imaging (MRI). Reflux during injection was a frequent occurrence but serious adverse events during the treatment period (days 1-27) were few and of a nature not unexpected in this population. One patient experienced transient neurological disorders associated with postganciclovir MRI enhancement. There was no evidence of replication-competent retrovirus in peripheral blood leukocytes or in tissue samples of reresection or autopsy. Vector DNA was shown in the leukocytes of some patients but not in autopsy gonadal samples. The median survival time was 8.6 months, and the 12-month survival rate was 13 of 48 (27%). On MRI studies, tumor recurrence was absent in seven patients for at least 6 months and for at least 12 months in two patients, one of whom remains recurrence free at more than 24 months. Treatment-characteristic images of injection tracks and intracavity hemoglobin were apparent. In conclusion, the gene therapy is feasible and appears to be satisfactorily safe as an adjuvant to the surgical resection of recurrent GBM, but any benefit appears to be marginal. Investigation of the precise effectiveness of this gene therapy requires prospective, controlled studies.

Safer by design: using computer simulation to predict the evacuation performance of passenger ships

When designing a new passenger ship or modifiying an existing design, how do we ensure that the proposed design is safe from an evacuation point of view? In the building and aviation industries, computer based evacuation models are being used to tackle similar issues. In these industries, the traditonal restrictive prescriptive approach to design is making way for performance based design methodologies using risk assessment and computer simulation. In the maritime industry, ship evacuation models off the promise to quickly and efficiently bring these considerations into the design phase, while the ship is "on the drawing board". This paper describes the development of evacuation models with applications to passenger ships and further discusses issues concerning data requirements and validation.