Decomposition and reformulation of integer linear programming problems

This thesis deals with an investigation of Decomposition and Reformulation to solve Integer Linear Programming Problems. This method is often a very successful approach computationally, producing high-quality solutions for well-structured combinatorial optimization problems like vehicle routing, cutting stock, p-median and generalized assignment . However, until now the method has always been tailored to the specific problem under investigation. The principal innovation of this thesis is to develop a new framework able to apply this concept to a generic MIP problem. The new approach is thus capable of auto-decomposition and autoreformulation of the input problem applicable as a resolving black box algorithm and works as a complement and alternative to the normal resolving techniques. The idea of Decomposing and Reformulating (usually called in literature Dantzig and Wolfe Decomposition DWD) is, given a MIP, to convexify one (or more) subset(s) of constraints (slaves) and working on the partially convexified polyhedron(s) obtained. For a given MIP several decompositions can be defined depending from what sets of constraints we want to convexify. In this thesis we mainly reformulate MIPs using two sets of variables: the original variables and the extended variables (representing the exponential extreme points). The master constraints consist of the original constraints not included in any slaves plus the convexity constraint(s) and the linking constraints(ensuring that each original variable can be viewed as linear combination of extreme points of the slaves). The solution procedure consists of iteratively solving the reformulated MIP (master) and checking (pricing) if a variable of reduced costs exists, and in which case adding it to the master and solving it again (columns generation), or otherwise stopping the procedure. The advantage of using DWD is that the reformulated relaxation gives bounds stronger than the original LP relaxation, in addition it can be incorporated in a Branch and bound scheme (Branch and Price) in order to solve the problem to optimality. If the computational time for the pricing problem is reasonable this leads in practice to a stronger speed up in the solution time, specially when the convex hull of the slaves is easy to compute, usually because of its special structure.

In vitro precision of fit of computer-aided design and computer-aided manufacturing titanium and zirconium dioxide bars

OBJECTIVES Optical scanners combined with computer-aided design and computer-aided manufacturing (CAD/CAM) technology provide high accuracy in the fabrication of titanium (TIT) and zirconium dioxide (ZrO) bars. The aim of this study was to compare the precision of fit of CAD/CAM TIT bars produced with a photogrammetric and a laser scanner. METHODS Twenty rigid CAD/CAM bars were fabricated on one single edentulous master cast with 6 implants in the positions of the second premolars, canines and central incisors. A photogrammetric scanner (P) provided digitized data for TIT-P (n=5) while a laser scanner (L) was used for TIT-L (n=5). The control groups consisted of soldered gold bars (gold, n=5) and ZrO-P with similar bar design. Median vertical distance between implant and bar platforms from non-tightened implants (one-screw test) was calculated from mesial, buccal and distal scanning electron microscope measurements. RESULTS Vertical microgaps were not significantly different between TIT-P (median 16μm; 95% CI 10-27μm) and TIT-L (25μm; 13-32μm). Gold (49μm; 12-69μm) had higher values than TIT-P (p=0.001) and TIT-L (p=0.008), while ZrO-P (35μm; 17-55μm) exhibited higher values than TIT-P (p=0.023). Misfit values increased in all groups from implant position 23 (3 units) to 15 (10 units), while in gold and TIT-P values decreased from implant 11 toward the most distal implant 15. SIGNIFICANCE CAD/CAM titanium bars showed high precision of fit using photogrammetric and laser scanners. In comparison, the misfit of ZrO bars (CAM/CAM, photogrammetric scanner) and soldered gold bars was statistically higher but values were clinically acceptable.

A Foraging Cost of Migration for a Partially Migratory Cyprinid Fish

Migration has evolved as a strategy to maximise individual fitness in response to seasonally changing ecological and environmental conditions. However, migration can also incur costs, and quantifying these costs can provide important clues to the ultimate ecological forces that underpin migratory behaviour. A key emerging model to explain migration in many systems posits that migration is driven by seasonal changes to a predation/growth potential (p/g) trade-off that a wide range of animals face. In this study we assess a key assumption of this model for a common cyprinid partial migrant, the roach Rutilus rutilus, which migrates from shallow lakes to streams during winter. By sampling fish from stream and lake habitats in the autumn and spring and measuring their stomach fullness and diet composition, we tested if migrating roach pay a cost of reduced foraging when migrating. Resident fish had fuller stomachs containing more high quality prey items than migrant fish. Hence, we document a feeding cost to migration in roach, which adds additional support for the validity of the p/g model of migration in freshwater systems.

Evidence for the spin-0 nature of the Higgs boson using ATLAS data

Studies of the spin and parity quantum numbers of the Higgs boson are presented, based on protonproton collision data collected by the ATLAS experiment at the LHC. The Standard Model spin-parity J(P) = 0(+) hypothesis is compared with alternative hypotheses using the Higgs boson decays H -> gamma gamma, H -> ZZ* -> 4l and H -> WW* -> l nu l nu, as well as the combination of these channels. The analysed dataset corresponds to an integrated luminosity of 20.7 fb(-1) collected at a centre-of-mass energy of root s = 8 TeV. For the H -> ZZ* -> 4l decay mode the dataset corresponding to an integrated luminosity of 4.6 fb(-1) collected at root s = 7 TeV is included. The data are compatible with the Standard Model J(P) = 0+ quantum numbers for the Higgs boson, whereas all alternative hypotheses studied in this Letter, namely some specific J(P) = 0(-), 1(+), 1(-), 2(+) models, are excluded at confidence levels above 97.8%. This exclusion holds independently of the assumptions on the coupling strengths to the Standard Model particles and in the case of the J(P) = 2(+) model, of the relative fractions of gluon-fusion and quark-antiquark production of the spin-2 particle. The data thus provide evidence for the spin-0 nature of the Higgs boson, with positive parity being strongly preferred.

Explicitly Context-Aware Publish/Subscribe with Context-Invariant Subscriptions

Although context could be exploited to improve the performance, elasticity and adaptation in most distributed systems that adopt the publish/subscribe (P/S) model of communication, only very few works have explored domains with highly dynamic context, whereas most adopted models are context agnostic. In this paper, we present the key design principles underlying a novel context-aware content-based P/S (CA-CBPS) model of communication, where the context is explicitly managed, focusing on the minimization of network overhead in domains with recurrent context changes thanks to contextual scoping. We highlight how we dealt with the main shortcomings of most of the current approaches. Our research is some of the first to study the problem of explicitly introducing context-awareness into the P/S model to capitalize on contextual information. The envisioned CA-CBPS middleware enables the cloud ecosystem of services to communicate very efficiently, in a decoupled, but contextually scoped fashion.

Explicit context matching in content-based publish/subscribe systems

Although context could be exploited to improve performance, elasticity and adaptation in most distributed systems that adopt the publish/subscribe (P/S) communication model, only a few researchers have focused on the area of context-aware matching in P/S systems and have explored its implications in domains with highly dynamic context like wireless sensor networks (WSNs) and IoT-enabled applications. Most adopted P/S models are context agnostic or do not differentiate context from the other application data. In this article, we present a novel context-aware P/S model. SilboPS manages context explicitly, focusing on the minimization of network overhead in domains with recurrent context changes related, for example, to mobile ad hoc networks (MANETs). Our approach represents a solution that helps to efficiently share and use sensor data coming from ubiquitous WSNs across a plethora of applications intent on using these data to build context awareness. Specifically, we empirically demonstrate that decoupling a subscription from the changing context in which it is produced and leveraging contextual scoping in the filtering process notably reduces (un)subscription cost per node, while improving the global performance/throughput of the network of brokers without fltering the cost of SIENA-like topology changes.

Acyl-homoserine lactone quorum sensing in Gram-negative bacteria: A signaling mechanism involved in associations with higher organisms

Recent advances in studies of bacterial gene expression have brought the realization that cell-to-cell communication and community behavior are critical for successful interactions with higher organisms. Species-specific cell-to-cell communication is involved in successful pathogenic or symbiotic interactions of a variety of bacteria with plant and animal hosts. One type of cell–cell signaling is acyl-homoserine lactone quorum sensing in Gram-negative bacteria. This type of quorum sensing represents a dedicated communication system that enables a given species to sense when it has reached a critical population density in a host, and to respond by activating expression of genes necessary for continued success in the host. Acyl-homoserine lactone signaling in the opportunistic animal and plant pathogen Pseudomonas aeruginosa is a model for the relationships among quorum sensing, pathogenesis, and community behavior. In the P. aeruginosa model, quorum sensing is required for normal biofilm maturation and for virulence. There are multiple quorum-sensing circuits that control the expression of dozens of specific genes that represent potential virulence loci.

On the development of advanced techniques for mixed-elastohydrodynamic lubrification modelling of journal and sliding bearing systems.

The present thesis is focused on the development of a thorough mathematical modelling and computational solution framework aimed at the numerical simulation of journal and sliding bearing systems operating under a wide range of lubrication regimes (mixed, elastohydrodynamic and full film lubrication regimes) and working conditions (static, quasi-static and transient conditions). The fluid flow effects have been considered in terms of the Isothermal Generalized Equation of the Mechanics of the Viscous Thin Films (Reynolds equation), along with the massconserving p-Ø Elrod-Adams cavitation model that accordingly ensures the so-called JFO complementary boundary conditions for fluid film rupture. The variation of the lubricant rheological properties due to the viscous-pressure (Barus and Roelands equations), viscous-shear-thinning (Eyring and Carreau-Yasuda equations) and density-pressure (Dowson-Higginson equation) relationships have also been taken into account in the overall modelling. Generic models have been derived for the aforementioned bearing components in order to enable their applications in general multibody dynamic systems (MDS), and by including the effects of angular misalignments, superficial geometric defects (form/waviness deviations, EHL deformations, etc.) and axial motion. The bearing exibility (conformal EHL) has been incorporated by means of FEM model reduction (or condensation) techniques. The macroscopic in fluence of the mixedlubrication phenomena have been included into the modelling by the stochastic Patir and Cheng average ow model and the Greenwood-Williamson/Greenwood-Tripp formulations for rough contacts. Furthermore, a deterministic mixed-lubrication model with inter-asperity cavitation has also been proposed for full-scale simulations in the microscopic (roughness) level. According to the extensive mathematical modelling background established, three significant contributions have been accomplished. Firstly, a general numerical solution for the Reynolds lubrication equation with the mass-conserving p - Ø cavitation model has been developed based on the hybridtype Element-Based Finite Volume Method (EbFVM). This new solution scheme allows solving lubrication problems with complex geometries to be discretized by unstructured grids. The numerical method was validated in agreement with several example cases from the literature, and further used in numerical experiments to explore its exibility in coping with irregular meshes for reducing the number of nodes required in the solution of textured sliding bearings. Secondly, novel robust partitioned techniques, namely: Fixed Point Gauss-Seidel Method (PGMF), Point Gauss-Seidel Method with Aitken Acceleration (PGMA) and Interface Quasi-Newton Method with Inverse Jacobian from Least-Squares approximation (IQN-ILS), commonly adopted for solving uid-structure interaction problems have been introduced in the context of tribological simulations, particularly for the coupled calculation of dynamic conformal EHL contacts. The performance of such partitioned methods was evaluated according to simulations of dynamically loaded connecting-rod big-end bearings of both heavy-duty and high-speed engines. Finally, the proposed deterministic mixed-lubrication modelling was applied to investigate the in fluence of the cylinder liner wear after a 100h dynamometer engine test on the hydrodynamic pressure generation and friction of Twin-Land Oil Control Rings.

Uniform laws and regulations /

Imprint varies: Washington, D.C., 1984-19 ; Gaithersburg, MD <1996->

Noninvasive tests for arterial structure, function, and compliance: Do they identify risk or diagnose disease?

Background: Brachial artery reactivity (BAR), carotid intima-media thickness (IMT), and applanation tonometry for evaluation of total arterial compliance may provide information about preclinical vascular disease. We sought to determine whether these tests could be used to identify patients with coronary artery disease (CAD) without being influenced by their ability to identify those at risk ford CAD developing. Methods: We studied 100 patients and compared 3 groups: 35 patients with known CAD; 34 patients with symptoms and risk factors but no CAD identified by stress echocardiography (risk group); and 31 control subjects. BAR and IMT were measured using standard methods, and total arterial compliance was calculated by the pulse-pressure method from simultaneous radial applanation tonometry and pulsed wave Doppler of the left ventricular outflow. Ischemia was identified as a new or worsening wall-motion abnormality induced by stress. Results: In a comparison between the control subjects and patients either at risk for developing CAD or with CAD, the predictors of risk for CAD were: age (P = .01); smoking history (P = .002); hypercholesterolemia (P = .002); and hypertension (P = .004) (model R = 0.82; P = .0001). The independent predictors of CAD were: IMT (P = .001); BAR (P = .04); sex (P = .005); and hypertension (P = .005) (model R = 0.80; P = .0001). Conclusion: IMT, BAR, and traditional cardiovascular risk factors appear to identify patients at risk for CAD developing. However, only IMT was significantly different between patients at risk for developing CAD and those with overt CAD.

Molecular crowding effects of linear polymers in protein solutions

Measurement of protein-polymer second virial coefficients (B-AP) by sedimentation equilibrium studies of carbonic anhydrase and cytochrome c in the presence of dextrans (T10-T80) has revealed an inverse dependence of B-AP upon dextran molecular mass that conforms well with the behaviour predicted for the excluded-volume interaction between a spherical protein solute A and a random-flight representation of the polymeric cosolute P. That model of the protein-polymer interaction is also shown to provide a reasonable description of published gel chromatographic and equilibrium dialysis data on the effect of polymer molecular mass on BAP for human serum albumin in the presence of polyethylene glycols, a contrary finding from analysis of albumin solubility measurements being rejected on theoretical grounds. Inverse dependence upon polymer chainlength is also the predicted excluded-volume effect on the strength of several types of macromolecular equilibria-protein isomerization, protein dimerization, and 1 : 1 complex formation between dissimilar protein reactants. It is therefore concluded that published experimental observations of the reverse dependence, preferential reaction enhancement within DNA replication complexes by larger polyethylene glycols, must reflect the consequences of cosolute chemical interactions that outweigh those of thermodynamic nonideality arising from excluded-volume effects. (c) 2005 Elsevier B.V. All rights reserved.

Quality performance rating

This Thesis reports on the principles and usefulness of Performance Rating as developed by the writer over a number of years. In Part one a brief analysis is made of the Quality scene and its development up to the present. The need is exposed for Performance Rating as a tool for all areas of management*. At the same time a system of Quality Control is described which the writer has further developed under the title of 'Operator Control'. This system is based on the integration of all Quality control functions with the creative functions required for Quality achievement. The discussions are mainly focussed on the general philosophy of Quality, its creation and control and that part of Operator Control which affects Performance Rating. Whereas it is shown that the combination of Operator Control and Performance Rating is both economically and technically advantageous, Performance Rating can also usefully be applied under inspection control conditions. Part two describes the principles of Area Performance Rating. *The need for, and the advantages of, Performance Rating are particularly demonstrated in Case study No.1. From this a summation expression is derived which gives the key for grouping of areas with similar Performance Rating (P). A model is devised on which the theory is demonstrated. Relevant case studies, carried out in practice in factories are quoted in Part two, Chapter 4, one written by the Quality manager of that particular factory. Particular stress is laid in the final conclusions on management's function in the Quality field and how greatly this function is eased and improved through the introduction of Area Performance Rating.

Investigating the Structure of FtsZ to Understand its Functional Role in Bacterial Cell Division

FtsZ, a bacterial tubulin homologue, is a cytoskeleton protein that plays key roles in cytokinesis of almost all prokaryotes. FtsZ assembles into protofilaments (pfs), one subunit thick, and these pfs assemble further to form a “Z ring” at the center of prokaryotic cells. The Z ring generates a constriction force on the inner membrane, and also serves as a scaffold to recruit cell-wall remodeling proteins for complete cell division in vivo. FtsZ can be subdivided into 3 main functional regions: globular domain, C terminal (Ct) linker, and Ct peptide. The globular domain binds GTP to assembles the pfs. The extreme Ct peptide binds membrane proteins to allow cytoplasmic FtsZ to function at the inner membrane. The Ct linker connects the globular domain and Ct peptide. In the present studies, we used genetic and structural approaches to investigate the function of Escherichia coli (E. coli) FtsZ. We sought to examine three questions: (1) Are lateral bonds between pfs essential for the Z ring? (2) Can we improve direct visualization of FtsZ in vivo by engineering an FtsZ-FP fusion that can function as the sole source of FtsZ for cell division? (3) Is the divergent Ct linker of FtsZ an intrinsically disordered peptide (IDP)?

One model of the Z ring proposes that pfs associate via lateral bonds to form ribbons; however, lateral bonds are still only hypothetical. To explore potential lateral bonding sites, we probed the surface of E. coli FtsZ by inserting either small peptides or whole FPs. Of the four lateral surfaces on FtsZ pfs, we obtained inserts on the front and back surfaces that were functional for cell division. We concluded that these faces are not sites of essential interactions. Inserts at two sites, G124 and R174 located on the left and right surfaces, completely blocked function, and were identified as possible sites for essential lateral interactions. Another goal was to find a location within FtsZ that supported fusion of FP reporter proteins, while allowing the FtsZ-FP to function as the sole source of FtsZ. We discovered one internal site, G55-Q56, where several different FPs could be inserted without impairing function. These FtsZ-FPs may provide advances for imaging Z-ring structure by super-resolution techniques.

The Ct linker is the most divergent region of FtsZ in both sequence and length. In E. coli FtsZ the Ct linker is 50 amino acids (aa), but for other FtsZ it can be as short as 37 aa or as long as 250 aa. The Ct linker has been hypothesized to be an IDP. In the present study, circular dichroism confirmed that isolated Ct linkers of E. coli (50 aa) and C. crescentus (175 aa) are IDPs. Limited trypsin proteolysis followed by mass spectrometry (LC-MS/MS) confirmed Ct linkers of E. coli (50 aa) and B. subtilis (47 aa) as IDPs even when still attached to the globular domain. In addition, we made chimeras, swapping the E. coli Ct linker for other peptides and proteins. Most chimeras allowed for normal cell division in E. coli, suggesting that IDPs with a length of 43 to 95 aa are tolerated, sequence has little importance, and electrostatic charge is unimportant. Several chimeras were purified to confirm the effect they had on pf assembly. We concluded that the Ct linker functions as a flexible tether allowing for force to be transferred from the FtsZ pf to the membrane to constrict the septum for division.

The VLT-FLAMES Tarantula Survey: XIX. B-type supergiants: Atmospheric parameters and nitrogen abundances to investigate the role of binarity and the width of the main sequence

Context: Model atmosphere analyses have been previously undertaken for both Galactic and extragalactic B-type supergiants. By contrast, little attention has been given to a comparison of the properties of single supergiants and those that are members of multiple systems. 

Aims: Atmospheric parameters and nitrogen abundances have been estimated for all the B-type supergiants identified in the VLT-FLAMES Tarantula survey. These include both single targets and binary candidates. The results have been analysed to investigate the role of binarity in the evolutionary history of supergiants. 

Methods: tlusty non-local thermodynamic equilibrium (LTE) model atmosphere calculations have been used to determine atmospheric parameters and nitrogen abundances for 34 single and 18 binary supergiants. Effective temperatures were deduced using the silicon balance technique, complemented by the helium ionisation in the hotter spectra. Surface gravities were estimated using Balmer line profiles and microturbulent velocities deduced using the silicon spectrum. Nitrogen abundances or upper limits were estimated from the Nii spectrum. The effects of a flux contribution from an unseen secondary were considered for the binary sample. Results. We present the first systematic study of the incidence of binarity for a sample of B-type supergiants across the theoretical terminal age main sequence (TAMS). To account for the distribution of effective temperatures of the B-type supergiants it may be necessary to extend the TAMS to lower temperatures. This is also consistent with the derived distribution of mass discrepancies, projected rotational velocities and nitrogen abundances, provided that stars cooler than this temperature are post-red supergiant objects. For all the supergiants in the Tarantula and in a previous FLAMES survey, the majority have small projected rotational velocities. The distribution peaks at about 50 km s^-1 with 65% in the range 30 km s^-1 ≤ ν_e sin i ≤ 60 km s^-1. About ten per cent have larger ve sin i (≥100 km s^-1), but surprisingly these show little or no nitrogen enhancement. All the cooler supergiants have low projected rotational velocities of ≤70 km s^-1 and high nitrogen abundance estimates, implying that either bi-stability braking or evolution on a blue loop may be important. Additionally, there is a lack of cooler binaries, possibly reflecting the small sample sizes. Single-star evolutionary models, which include rotation, can account for all of the nitrogen enhancement in both the single and binary samples. The detailed distribution of nitrogen abundances in the single and binary samples may be different, possibly reflecting differences in their evolutionary history. 

Conclusions: The first comparative study of single and binary B-type supergiants has revealed that the main sequence may be significantly wider than previously assumed, extending to T_eff = 20 000 K. Some marginal differences in single and binary atmospheric parameters and abundances have been identified, possibly implying non-standard evolution for some of the sample. This sample as a whole has implications for several aspects of our understanding of the evolutionary status of blue supergiants.

Future trends in cystic fibrosis demography in 34 European countries

Median survival has increased in people with cystic fibrosis (CF) during the past six decades, which has led to an increased number of adults with CF. The future impact of changes in CF demographics has not been evaluated. The aim of this study was to estimate the number of children and adults with CF in 34 European countries by 2025. Data were obtained from the European Cystic Fibrosis Society Patient Registry. Population forecasts were performed for countries that have extensive CF population coverage and at least 4 years of longitudinal data by modelling future entering and exiting flows in registry cohorts. For the other countries, population projections were performed based on assumptions from knowledge of current CF epidemiology. Western European countries' forecasts indicate that an increase in the overall number of CF patients by 2025, by approximately 50%, corresponds to an increase by 20% and by 75% in children and adults, respectively. In Eastern European countries the projections suggest a predominant increase in the CF child population, although the CF adult population would also increase.It was concluded that a large increase in the adult CF population is expected in the next decade. A significant increase in adult CF services throughout Europe is urgently required.