Implications of maternal nutrient restriction in transgenerational programming of hypertension and endothelial dysfunction across F1-F3 offspring

Aims: An extensive variety of prenatal insults are associated with an increased incidence of metabolic and cardiovascular disorders in adult life. We previously demonstrated that maternal global nutrient restriction during pregnancy leads to increased blood pressure and endothelial dysfunction in the adult offspring. This study aimed to assess whether prenatal exposure to nutritional insult has transgenerational effects in F-2 and F-3 offspring. Main methods: For this, female Wistar rats were randomly divided into two groups on day 1 of pregnancy: a control group fed standard chow ad libitum and a restricted group fed 50% of the ad libitum intake throughout gestation. At delivery, all animals were fed a standard laboratory chow diet. At 11 weeks of age, one female and one male from each restricted litter were randomly selected and mated with rats from another restricted litters in order to generate the F-2 offspring. The same procedure produced F-3 generation. Similarly, the rats in the control group were bred for each generation. Key Findings: Our findings show that the deleterious effects of maternal nutrient restriction to which the F-0 mothers were exposed may not be limited to the male first generation. In fact, we found that elevated blood pressure, an impaired vasodilatory response to acetylcholine and alterations in NO production were all transferred to the subsequent males from F-2 and F-3 generations. Significance: Our data show that global nutrient restriction during pregnancy results in a specific phenotype that can be passed transgenerationally to a second and third generation. (c) 2012 Elsevier Inc. All rights reserved.

Enhanced Mixed Integer Programming Techniques and Routing Problems

Mixed integer programming is up today one of the most widely used techniques for dealing with hard optimization problems. On the one side, many practical optimization problems arising from real-world applications (such as, e.g., scheduling, project planning, transportation, telecommunications, economics and finance, timetabling, etc) can be easily and effectively formulated as Mixed Integer linear Programs (MIPs). On the other hand, 50 and more years of intensive research has dramatically improved on the capability of the current generation of MIP solvers to tackle hard problems in practice. However, many questions are still open and not fully understood, and the mixed integer programming community is still more than active in trying to answer some of these questions. As a consequence, a huge number of papers are continuously developed and new intriguing questions arise every year. When dealing with MIPs, we have to distinguish between two different scenarios. The first one happens when we are asked to handle a general MIP and we cannot assume any special structure for the given problem. In this case, a Linear Programming (LP) relaxation and some integrality requirements are all we have for tackling the problem, and we are ``forced" to use some general purpose techniques. The second one happens when mixed integer programming is used to address a somehow structured problem. In this context, polyhedral analysis and other theoretical and practical considerations are typically exploited to devise some special purpose techniques. This thesis tries to give some insights in both the above mentioned situations. The first part of the work is focused on general purpose cutting planes, which are probably the key ingredient behind the success of the current generation of MIP solvers. Chapter 1 presents a quick overview of the main ingredients of a branch-and-cut algorithm, while Chapter 2 recalls some results from the literature in the context of disjunctive cuts and their connections with Gomory mixed integer cuts. Chapter 3 presents a theoretical and computational investigation of disjunctive cuts. In particular, we analyze the connections between different normalization conditions (i.e., conditions to truncate the cone associated with disjunctive cutting planes) and other crucial aspects as cut rank, cut density and cut strength. We give a theoretical characterization of weak rays of the disjunctive cone that lead to dominated cuts, and propose a practical method to possibly strengthen those cuts arising from such weak extremal solution. Further, we point out how redundant constraints can affect the quality of the generated disjunctive cuts, and discuss possible ways to cope with them. Finally, Chapter 4 presents some preliminary ideas in the context of multiple-row cuts. Very recently, a series of papers have brought the attention to the possibility of generating cuts using more than one row of the simplex tableau at a time. Several interesting theoretical results have been presented in this direction, often revisiting and recalling other important results discovered more than 40 years ago. However, is not clear at all how these results can be exploited in practice. As stated, the chapter is a still work-in-progress and simply presents a possible way for generating two-row cuts from the simplex tableau arising from lattice-free triangles and some preliminary computational results. The second part of the thesis is instead focused on the heuristic and exact exploitation of integer programming techniques for hard combinatorial optimization problems in the context of routing applications. Chapters 5 and 6 present an integer linear programming local search algorithm for Vehicle Routing Problems (VRPs). The overall procedure follows a general destroy-and-repair paradigm (i.e., the current solution is first randomly destroyed and then repaired in the attempt of finding a new improved solution) where a class of exponential neighborhoods are iteratively explored by heuristically solving an integer programming formulation through a general purpose MIP solver. Chapters 7 and 8 deal with exact branch-and-cut methods. Chapter 7 presents an extended formulation for the Traveling Salesman Problem with Time Windows (TSPTW), a generalization of the well known TSP where each node must be visited within a given time window. The polyhedral approaches proposed for this problem in the literature typically follow the one which has been proven to be extremely effective in the classical TSP context. Here we present an overall (quite) general idea which is based on a relaxed discretization of time windows. Such an idea leads to a stronger formulation and to stronger valid inequalities which are then separated within the classical branch-and-cut framework. Finally, Chapter 8 addresses the branch-and-cut in the context of Generalized Minimum Spanning Tree Problems (GMSTPs) (i.e., a class of NP-hard generalizations of the classical minimum spanning tree problem). In this chapter, we show how some basic ideas (and, in particular, the usage of general purpose cutting planes) can be useful to improve on branch-and-cut methods proposed in the literature.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

A farm-level programming model to compare the atmospheric impact of conventional and organic farming

A model is developed to represent the activity of a farm using the method of linear programming. Two are the main components of the model, the balance of soil fertility and the livestock nutrition. According to the first, the farm is supposed to have a total requirement of nitrogen, which is to be accomplished either through internal sources (manure) or through external sources (fertilisers). The second component describes the animal husbandry as having a nutritional requirement which must be satisfied through the internal production of arable crops or the acquisition of feed from the market. The farmer is supposed to maximise total net income from the agricultural and the zoo-technical activities by choosing one rotation among those available for climate and acclivity. The perspective of the analysis is one of a short period: the structure of the farm is supposed to be fixed without possibility to change the allocation of permanent crops and the amount of animal husbandry. The model is integrated with an environmental module that describes the role of the farm within the carbon-nitrogen cycle. On the one hand the farm allows storing carbon through the photosynthesis of the plants and the accumulation of carbon in the soil; on the other some activities of the farm emit greenhouse gases into the atmosphere. The model is tested for some representative farms of the Emilia-Romagna region, showing to be capable to give different results for conventional and organic farming and providing first results concerning the different atmospheric impact. Relevant data about the representative farms and the feasible rotations are extracted from the FADN database, with an integration of the coefficients from the literature.

Context-sensitive design in transportation infrastructure: relating tire/pavement noise with wearing course characteristics

A design can be defined as context-sensitive when it achieves effective technical and functional transportation solutions, while preserving and enhancing natural environments and minimizing impacts on local communities. Traffic noise is one of the most critical environmental impacts of transportation infrastructure and it affects both humans and ecosystems. Tire/pavement noise is caused by a set of interactions at the contact patch and it is the predominant source of road noise at the regular traffic speeds. Wearing course characteristics affect tire/pavement noise through various mechanisms. Furthermore, acoustic performance of road pavements varies over time and it is influenced by both aging and temperature. Three experimentations have been carried out to evaluate wearing course characteristics effects on tire/pavement noise. The first study involves the evaluation of skid resistance, surface texture and tire/pavement noise of an innovative application of multipurpose cold-laid microsurfacing. The second one involves the evaluation of the surface and acoustic characteristics of the different pavement sections of the test track of the Centre for Pavement and Transportation Technology (CPATT) at the University of Waterloo. In the third study, a set of highway sections have been selected in Southern Ontario with various types of pavements. Noise measurements were carried out by means of the Statistical Pass-by (SPB) method in the first case study, whereas in the second and in the third one, Close-proximity (CPX) and the On-Board Sound Intensity (OBSI) methods have been performed in parallel. Test results have contributed to understand the effects of pavement materials, temperature and aging on tire/pavement noise. Negligible correlation was found between surface texture and roughness with noise. As a general trend, aged and stiffer materials have shown to provide higher noise levels than newer and less stiff ones. Noise levels were also observed to be higher with temperature increase.

Co2-dependent vasomotor reactivity of cerebral arteries in patients with severe traumatic brain injury: time course and effect of augmentation of cardiac output with dobutamine

Failing cerebral blood flow (CBF) autoregulation may contribute to cerebral damage after traumatic brain injury (TBI). The purpose of this study was to describe the time course of CO(2)-dependent vasoreactivity, measured as CBF velocity in response to hyperventilation (vasomotor reactivity [VMR] index). We included 13 patients who had had severe TBI, 8 of whom received norepinephrine (NE) based on clinical indication. In these patients, measurements were also performed after dobutamine administration, with a goal of increasing cardiac output by 30%. Blood flow velocity was measured with transcranial Doppler ultrasound in both hemispheres. All patients except one had an abnormal VMR index in at least one hemisphere within the first 24 h after TBI. In those patients who did not receive catecholamines, mean VMR index recovered within the first 48 to 72 h. In contrast, in patients who received NE within the first 48 h period, VMR index did not recover on the second day. Cardiac output and mean CBF velocity increased significantly during dobutamine administration, but VMR index did not change significantly. In conclusion, CO(2) vasomotor reactivity was abnormal in the first 24 h after TBI in most of the patients, but recovered within 48 h in those patients who did not receive NE, in contrast to those eventually receiving the drug. Addition of dobutamine to NE had variable but overall insignificant effects on CO(2) vasomotor reactivity.

A project-oriented course in probability and statistics for undergraduate electrical engineering students

An introductory course in probability and statistics for third-year and fourth-year electrical engineering students is described. The course is centered around several computer-based projects that are designed to achieve two objectives. First, the projects illustrate the course topics and provide hands-on experience for the students. The second and equally important objective of the projects is to convey the relevance and usefulness of probability and statistics to practical problems that undergraduate students can appreciate. The benefit of this course as to motivate electrical engineering students to excel in the study of probability concepts, instead of viewing the subject as one more course requirement toward graduation. The authors co-teach the course, and MATLAB is used for mast of the computer-based projects

Do Central Hypersensitivity and Altered Pain Modulation Predict the Course of Chronic Low Back and Neck Pain?

OBJECTIVES:: Widespread central hypersensitivity and altered conditioned pain modulation (CPM) have been documented in chronic pain conditions. Information on their prognostic values is limited. This study tested the hypothesis that widespread central hypersensitivity (WCH) and altered CPM, assessed during the chronic phase of low back and neck pain, predict poor outcome. METHODS:: A total of 169 consecutive patients with chronic low back or neck pain, referred to the pain clinic during 1 year, were analyzed. Pressure pain tolerance threshold at the second toe and tolerance time during cold pressor test at the hand assessed WCH. CPM was measured by the change in pressure pain tolerance threshold (test stimulus) after cold pressor test (conditioning stimulus). A structured telephone interview was performed 12 to 15 months after testing to record outcome parameters. Linear regression models were used, with average and maximum pain intensity of the last 24 hours at follow-up as endpoints. Multivariable analyses included sex, age, catastrophizing scale, Beck Depression Inventory, pain duration, intake of opioids, and type of pain syndrome. RESULTS:: Statistically significant reductions from baseline to follow-up were observed in pain intensity (P<0.001). No evidence for an association between the measures of WCH or CPM and intensity of chronic pain at follow-up was found. DISCUSSION:: A major predictive value of the measures that we used is unlikely. Future studies adopting other assessment modalities and possibly standardized treatments are needed to further elucidate the prognostic value of WCH and altered CPM in chronic pain.

Time course based artifact identification for independent components of resting-state FMRI

In functional magnetic resonance imaging (fMRI) coherent oscillations of the blood oxygen level-dependent (BOLD) signal can be detected. These arise when brain regions respond to external stimuli or are activated by tasks. The same networks have been characterized during wakeful rest when functional connectivity of the human brain is organized in generic resting-state networks (RSN). Alterations of RSN emerge as neurobiological markers of pathological conditions such as altered mental state. In single-subject fMRI data the coherent components can be identified by blind source separation of the pre-processed BOLD data using spatial independent component analysis (ICA) and related approaches. The resulting maps may represent physiological RSNs or may be due to various artifacts. In this methodological study, we propose a conceptually simple and fully automatic time course based filtering procedure to detect obvious artifacts in the ICA output for resting-state fMRI. The filter is trained on six and tested on 29 healthy subjects, yielding mean filter accuracy, sensitivity and specificity of 0.80, 0.82, and 0.75 in out-of-sample tests. To estimate the impact of clearly artifactual single-subject components on group resting-state studies we analyze unfiltered and filtered output with a second level ICA procedure. Although the automated filter does not reach performance values of visual analysis by human raters, we propose that resting-state compatible analysis of ICA time courses could be very useful to complement the existing map or task/event oriented artifact classification algorithms.

Restructuring Justice: Moving Towards Gender-Responsive Programming and Alternatives to Incarceration for Non-Violent Female Offenders

The United States¿ Federal and State laws differentiate between acceptable (or, legal) and unacceptable (illegal) behavior by prescribing restrictive punishment to citizens and/or groups that violate these established rules. These regulations are written to treat every person equally and to fairly serve justice; furthermore, the sanctions placed on offenders seek to reform illegal behavior through limitations on freedoms and rehabilitative programs. Despite the effort to treat all offenders fairly regardless of social identity categories (e.g., sex, race, ethnicity, socioeconomic status, age, ability, and gender and sexual orientation) and to humanely eliminate illegal behavior, the American penal system perpetuates de facto discrimination against a multitude of peoples. Furthermore, soaring recidivism rates caused by unsuccessful re-entry of incarcerated offenders puts economic stress on Federal and State budgets. For these reasons, offenders, policy-makers, and law-abiding citizens should all have a vested interest in reforming the prison system. This thesis focuses on the failure of the United States corrections system to adequately address the gender-specific needs of non-violent female offenders. Several factors contribute to the gender-specific discrimination that women experience in the criminal justice system: 1) Trends in female criminality that skew women¿s crime towards drug-related crimes, prostitution, and property offenses; 2) Mandatory minimum sentences for drug crimes that are disproportionate to the crime committed; 3) So-called ¿gender-neutral¿ educational, vocational, substance abuse, and mental health programming that intends to equally rehabilitate men and women, but in fact favors men; and 4) The isolating nature of prison structures that inhibits smooth re-entry into society. I argue that a shift in the placement and treatment of non-violent female offenders is necessary for effective rehabilitation and for reducing recidivism rates. The first component of this shift is the design and implementation of gender- responsive treatment (GRT) rather than gender-neutral approaches in rehabilitative programming. The second shift is the utilization of alternatives to incarceration, which provide both more humane treatment of offenders and smoother reintegration to society. Drawing on recent scholarship, information from prison advocacy organizations, and research with men in an alternative program, I provide a critical analysis of current policies and alternative programs, and suggest several proposals for future gender- responsive programs in prisons and in place of incarceration. I argue that the expansion of gender-responsive programming and alternatives to incarceration respond to the marginalization of female offenders, address concerns about the financial sustainability of the United States criminal justice system, and tackle high recidivism rates.

[Photodynamic therapy of AMD for the first (better sight) and the second (worse sight) eyes]

BACKGROUND: Photodynamic therapy (PDT) is the standard treatment procedure for many forms of exudative and/or neovascular AMD. Despite therapy, visual acuity often drops to low vision levels. The cost efficiency of treating the eye in which vision is worse is therefore the subject of some controversy. PATIENTS AND METHODS: A retrospective case-control study was conducted in all patients who were treated with PDT at the Universitätsspital Zürich between September 1999 and November 2004. Each patient's first (with worse vision) and second (with better vision) eyes were compared for situation on presentation and course during treatment. RESULTS: In 117/228 cases (51.3%) visual acuity of the treated eye was better than (or identical to) that of the fellow eye at presentation. Visual acuity before therapy was an average of 0.58+/-0.27 logMAR [Snellen: 0.26 (0.14-0.49)] in the eyes with better visual acuity and 0.69+/-0.4 logMAR [Snellen 0.20 (0.08-0.51)] in the fellow eyes (p=0.015). After therapy there was no significant difference between the patient groups in visual acuity or in the magnitude of any change in visual acuity, or in lesion size or change in lesion size. CONCLUSION: The outcome of PDT of a second eye (with better visual acuity) is not significantly better than the result obtained in the first eye (the one with worse visual acuity initially).

An Active Learning Module for an Introduction to Software Engineering Course

Many schools do not begin to introduce college students to software engineering until they have had at least one semester of programming. Since software engineering is a large, complex, and abstract subject it is difficult to construct active learning exercises that build on the students’ elementary knowledge of programming and still teach basic software engineering principles. It is also the case that beginning students typically know how to construct small programs, but they have little experience with the techniques necessary to produce reliable and long-term maintainable modules. I have addressed these two concerns by defining a local standard (Montana Tech Method (MTM) Software Development Standard for Small Modules Template) that step-by-step directs students toward the construction of highly reliable small modules using well known, best-practices software engineering techniques. “Small module” is here defined as a coherent development task that can be unit tested, and can be car ried out by a single (or a pair of) software engineer(s) in at most a few weeks. The standard describes the process to be used and also provides a template for the top-level documentation. The instructional module’s sequence of mini-lectures and exercises associated with the use of this (and other) local standards are used throughout the course, which perforce covers more abstract software engineering material using traditional reading and writing assignments. The sequence of mini-lectures and hands-on assignments (many of which are done in small groups) constitutes an instructional module that can be used in any similar software engineering course.

Setting Inventory Levels of CONWIP Flow Lines via Linear Programming

This paper treats the problem of setting the inventory level and optimizing the buffer allocation of closed-loop flow lines operating under the constant-work-in-process (CONWIP) protocol. We solve a very large but simple linear program that models an entire simulation run of a closed-loop flow line in discrete time to determine a production rate estimate of the system. This approach introduced in Helber, Schimmelpfeng, Stolletz, and Lagershausen (2011) for open flow lines with limited buffer capacities is extended to closed-loop CONWIP flow lines. Via this method, both the CONWIP level and the buffer allocation can be optimized simultaneously. The first part of a numerical study deals with the accuracy of the method. In the second part, we focus on the relationship between the CONWIP inventory level and the short-term profit. The accuracy of the method turns out to be best for such configurations that maximize production rate and/or short-term profit.

Neonatal steroids induce a down-regulation of tenascin-C and elastin and cause a deceleration of the first phase and an acceleration of the second phase of lung alveolarization

Pre- and postnatal corticosteroids are often used in perinatal medicine to improve pulmonary function in preterm infants. To mimic this clinical situation, newborn rats were treated systemically with dexamethasone (Dex), 0.1-0.01 mg/kg/day on days P1-P4. We hypothesized that postnatal Dex may have an impact on alveolarization by interfering with extracellular matrix proteins and cellular differentiation. Morphological alterations were observed on 3D images obtained by high-resolution synchrotron radiation X-ray tomographic microscopy. Alveolarization was quantified stereologically by estimating the formation of new septa between days P4 and P60. The parenchymal expression of tenascin-C (TNC), smooth muscle actin (SMA), and elastin was measured by immunofluorescence and gene expression for TNC by qRT-PCR. After Dex treatment, the first phase of alveolarization was significantly delayed between days P6 and P10, whereas the second phase was accelerated. Elastin and SMA expressions were delayed by Dex treatment, whereas TNC expression was delayed and prolonged. A short course of neonatal steroids impairs the first phase of alveolarization, most likely by altering the TNC and elastin expression. Due to an overshooting catch-up during the second phase of alveolarization, the differences disappear when the animals reach adulthood.

Optional course "Homeopathically potentised substances: placebos or effective?" for medical students at the University of Bern, Switzerland

Background Apart from compulsory lectures on classical homeopathy (CH), traditional Chinese medicine/acupuncture, neural therapy and anthroposophically extended medicine (AEM), our institute at the University of Bern offers several optional practical courses for medical students. The aim of this course during autumn 2011 and spring 2012 was to discuss basic research, observational and clinical studies in the fields of CH and AEM, so that students i) learned how to read and appraise scientific publications, ii) learned how complementary medicine can be investigated with scientific methods, and iii) were able to form their own opinion about the possible specific effects and effectiveness of homeopathically potentised substances. Methods Introductory lectures on AEM, CH and study design were given to 12 second year medical students. The students appraised 12 research articles and presented the results in class, followed by discussions with experts in the fields of basic and clinical research from our institute. A company producing homeopathic remedies was visited and students could practise potentization procedures and trituration. At the end of the course, students compiled posters with arguments in favour of and against specific effects and effectiveness as well as their own conclusions. The course was evaluated using a written questionnaire with closed and open questions. Results Previous knowledge about CH and AEM was scarce among the students. It slightly increased during the course, and the course itself fostered their interest on the topic. This course was chosen by most students, because they were genuinely interested in the topic (and not because other courses they had wanted to visit were fully booked). The students especially valued the discussions, the various perspectives presented to them, and experiencing a potentization process. Conclusion Medical students were interested to learn more about homeopathically potentised substances. The contradictory study results made it difficult for them to form their own opinion. Apart from appraising articles, the students would have liked to meet and talk to patients.