Polyhedral study of mixed integer sets arising from inventory problems

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.

Minimal state-space realizations of 2D convolutional codes

In this thesis we consider two-dimensional (2D) convolutional codes. As happens in the one-dimensional (1D) case one of the major issues is obtaining minimal state-space realizations for these codes. It turns out that the problem of minimal realization of codes is not equivalent to the minimal realization of encoders. This is due to the fact that the same code may admit different encoders with different McMillan degrees. Here we focus on the study of minimality of the realizations of 2D convolutional codes by means of separable Roesser models. Such models can be regarded as a series connection between two 1D systems. As a first step we provide an algorithm to obtain a minimal realization of a 1D convolutional code starting from a minimal realization of an encoder of the code. Then, we restrict our study to two particular classes of 2D convolutional codes. The first class to be considered is the one of codes which admit encoders of type n 1. For these codes, minimal encoders (i.e., encoders for which a minimal realization is also minimal as a code realization) are characterized enabling the construction of minimal code realizations starting from such encoders. The second class of codes to be considered is the one constituted by what we have called composition codes. For a subclass of these codes, we propose a method to obtain minimal realizations by means of separable Roesser models.

Evolution of matrix and bone gamma-carboxyglutamic acid proteins in vertebrates

The evolution of calcified tissues is a defining feature in vertebrate evolution. Investigating the evolution of proteins involved in tissue calcification should help elucidate how calcified tissues have evolved. The purpose of this study was to collect and compare sequences of matrix and bone γ-carboxyglutamic acid proteins (MGP and BGP, respectively) to identify common features and determine the evolutionary relationship between MGP and BGP. Thirteen cDNAs and genes were cloned using standard methods or reconstructed through the use of comparative genomics and data mining. These sequences were compared with available annotated sequences (a total of 48 complete or nearly complete sequences, 28 BGPs and 20 MGPs) have been identified across 32 different species (representing most classes of vertebrates), and evolutionarily conserved features in both MGP and BGP were analyzed using bioinformatic tools and the Tree-Puzzle software. We propose that: 1) MGP and BGP genes originated from two genome duplications that occurred around 500 and 400 million years ago before jawless and jawed fish evolved, respectively; 2) MGP appeared first concomitantly with the emergence of cartilaginous structures, and BGP appeared thereafter along with bony structures; and 3) BGP derives from MGP. We also propose a highly specific pattern definition for the Gla domain of BGP and MGP. Previous Section Next Section BGP1 (bone Gla protein or osteocalcin) and MGP (matrix Gla protein) belong to the growing family of vitamin K-dependent (VKD) proteins, the members of which are involved in a broad range of biological functions such as skeletogenesis and bone maintenance (BGP and MGP), hemostasis (prothrombin, clotting factors VII, IX, and X, and proteins C, S, and Z), growth control (gas6), and potentially signal transduction (proline-rich Gla proteins 1 and 2). VKD proteins are characterized by the presence of several Gla residues resulting from the post-translational vitamin K-dependent γ-carboxylation of specific glutamates, through which they can bind to calcium-containing mineral such as hydroxyapatite. To date, VKD proteins have only been clearly identified in vertebrates (1) although the presence of a γ-glutamyl carboxylase has been reported in the fruit fly Drosophila melanogaster (2) and in marine snails belonging to the genus Conus (3). Gla residues have also been found in neuropeptides from Conus venoms (4), suggesting a wider prevalence of γ-carboxylation.

Synthesis and computer-assisted design of mitochondrial electron transport-chain inhibitors as antimalarial agents

Tese de doutoramento, Farmácia (Química Farmacêutica e Terapêutica), Universidade de Lisboa, Faculdade de Farmácia, 2014

Fractional generalization of memristor and higher order elements

Fractional calculus generalizes integer order derivatives and integrals. Memristor systems generalize the notion of electrical elements. Both concepts were shown to model important classes of phenomena. This paper goes a step further by embedding both tools in a generalization considering complex-order objects. Two complex operators leading to real-valued results are proposed. The proposed class of models generate a broad universe of elements. Several combinations of values are tested and the corresponding dynamical behavior is analyzed.

Improving quality-of-service in wireless sensor networks by mitigating “Hidden-Node Collisions”

Wireless sensor networks (WSNs) emerge as underlying infrastructures for new classes of large-scale networked embedded systems. However, WSNs system designers must fulfill the quality-of-service (QoS) requirements imposed by the applications (and users). Very harsh and dynamic physical environments and extremely limited energy/computing/memory/communication node resources are major obstacles for satisfying QoS metrics such as reliability, timeliness, and system lifetime. The limited communication range of WSN nodes, link asymmetry, and the characteristics of the physical environment lead to a major source of QoS degradation in WSNs-the ldquohidden node problem.rdquo In wireless contention-based medium access control (MAC) protocols, when two nodes that are not visible to each other transmit to a third node that is visible to the former, there will be a collision-called hidden-node or blind collision. This problem greatly impacts network throughput, energy-efficiency and message transfer delays, and the problem dramatically increases with the number of nodes. This paper proposes H-NAMe, a very simple yet extremely efficient hidden-node avoidance mechanism for WSNs. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes that scales to multiple clusters via a cluster grouping strategy that guarantees no interference between overlapping clusters. Importantly, H-NAMe is instantiated in IEEE 802.15.4/ZigBee, which currently are the most widespread communication technologies for WSNs, with only minor add-ons and ensuring backward compatibility with their protocols standards. H-NAMe was implemented and exhaustively tested using an experimental test-bed based on ldquooff-the-shelfrdquo technology, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. H-NAMe effectiveness was also demonstrated in a target tracking application with mobile robots - over a WSN deployment.

Development of a platform for lean manufacturing simulation games

More than ever, the economic globalization is creating the need to increase business competitiveness. Lean manufacturing is a management philosophy oriented to the elimination of activities that do not create any type of value and are thus considered a waste. One of the main differences from other management philosophies is the shop-floor focus and the operators' involvement. Therefore, the training of all organization levels is crucial for the success of lean manufacturing. Universities should also participate actively in this process by developing students' lean management skills and promoting a better and faster integration of students into their future organizations. This paper proposes a single realistic manufacturing platform, involving production and assembly operations, to learn by playing many of the lean tools such as VSM, 5S, SMED, poke-yoke, line balance, TPM, Mizusumashi, plant layout, and JIT/kanban. This simulation game was built in tight cooperation with experienced lean companies under the international program “Lean Learning Academy,”http://www.leanlearningacademy.eu/ and its main aim is to make bachelor and master courses in applied sciences more attractive by integrating classic lectures with a simulated production environment that could result in more motivated students and higher study yields. The simulation game results show that our approach is efficient in providing a realistic platform for the effective learning of lean principles, tools, and mindset, which can be easily included in course classes of less than two hours.

Influence of abiotic stress factors on VOCs emission from Portuguese rice paddy fields: relation with increased climate change

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente Perfil de Gestão de Sistemas Ambientais

Epidemiological traits of the malaria-like parasite Polychromophilus murinus in the Daubenton¿s bat Myotis daubentonii.

BackgroundThe great diversity of bat haemosporidians is being uncovered with the help of molecular tools. Yet most of these studies provide only snapshots in time of the parasites discovered. Polychromophilus murinus, a malaria-like blood parasite, specialised on temperate-zone bats is a species that is being `rediscovered¿. This study describes the infection dynamics over time and between host sex and age classes.MethodsFor three years we followed the members of three breeding colonies of Myotis daubentonii in Western Switzerland and screened them for the prevalence and parasitemia of P. murinus using both molecular tools and traditional microscopy. In order to identify more susceptible classes of hosts, we measured, sexed and aged all individuals. During one year, we additionally measured body temperature and haematocrit values.ResultsJuvenile bats demonstrated much higher parasitemia than any other age class sampled, suggesting that first exposure to the parasite is very early in life during which infections are also at their most intense. Moreover, in subadults there was a clear negative correlation between body condition and intensity of infection, whereas a weak positive correlation was observed in adults. Neither body temperature, nor haematocrit, two proxies used for pathology, could be linked to intensities of infection.ConclusionIf both weaker condition and younger age are associated with higher infection intensity, then the highest selection pressure exerted by P. murinus should be at the juvenile stage. Confusion over the identities and nomenclature of malarial-like parasites requires that molecular barcodes are coupled to accurate morphological descriptions.

Monoclonal antibodies to murine lipopolysaccharide (LPS)-binding protein (LBP) protect mice from lethal endotoxemia by blocking either the binding of LPS to LBP or the presentation of LPS/LBP complexes to CD14.

Cellular responses to LPS, the major lipid component of the outer membrane of Gram-negative bacteria, are enhanced markedly by the LPS-binding protein (LBP), a plasma protein that transfers LPS to the cell surface CD14 present on cells of the myeloid lineage. LBP has been shown previously to potentiate the host response to LPS. However, experiments performed in mice with a disruption of the LBP gene have yielded discordant results. Whereas one study showed that LBP knockout mice were resistant to endotoxemia, another study did not confirm an important role for LBP in the response of mice challenged in vivo with low doses of LPS. Consequently, we generated rat mAbs to murine LBP to investigate further the contribution of LBP in experimental endotoxemia. Three classes of mAbs were obtained. Class 1 mAbs blocked the binding of LPS to LBP; class 2 mAbs blocked the binding of LPS/LBP complexes to CD14; class 3 mAbs bound LBP but did not suppress LBP activity. In vivo, class 1 and class 2 mAbs suppressed LPS-induced TNF production and protected mice from lethal endotoxemia. These results show that the neutralization of LBP accomplished by blocking either the binding of LPS to LBP or the binding of LPS/LBP complexes to CD14 protects the host from LPS-induced toxicity, confirming that LBP is a critical component of innate immunity.

Regional consumption of antibiotics : a demand system approach

Through this paper. we have attempted to model the demand for different classes of antibiotics used for respiratory infections in outpatient care in Switzerland using a spatial version of the linear approximate Almost Ideal Demand System (AIDS) model. This model takes spatial dependency into account by means of spatial lags of antibiotic budget shares. We control for the health status of patients and the potential harmful effects of antibiotic use in terms of bacterial resistance. Elasticities to socioeconomic determinants of consumption and own- and cross-price elasticities between different groups of antibiotic have also been computed in this paper. Significant cross-price elasticities are found between newer or more expensive generations and older or less expensive generations of antibiotics. (C) 2009 Elsevier B.V. All rights reserved.

Genetic dissection of sodium and potassium transport along the aldosterone-sensitive distal nephron: Importance in the control of blood pressure and hypertension.

In this review, we discuss genetic evidence supporting Guyton's hypothesis stating that blood pressure control is critically depending on fluid handling by the kidney. The review is focused on the genetic dissection of sodium and potassium transport in the distal nephron and the collecting duct that are the most important sites for the control of sodium and potassium balance by aldosterone and angiotensin II. Thanks to the study of Mendelian forms of hypertension and their corresponding transgenic mouse models, three main classes of diuretic receptors (furosemide, thiazide, amiloride) and the main components of the aldosterone- and angiotensin-dependent signaling pathways were molecularly identified over the past 20years. This will allow to design rational strategies for the treatment of hypertension and for the development of the next generation of diuretics.

The relation of body mass index and abdominal adiposity with dyslipidemia in 27 general populations of the WHO MONICA Project.

The association between adiposity measures and dyslipidemia has seldom been assessed in a multipopulational setting. 27 populations from Europe, Australia, New Zealand and Canada (WHO MONICA project) using health surveys conducted between 1990 and 1997 in adults aged 35-64 years (n = 40,480). Dyslipidemia was defined as the total/HDL cholesterol ratio >6 (men) and >5 (women). Overall prevalence of dyslipidemia was 25% in men and 23% in women. Logistic regression showed that dyslipidemia was strongly associated with body mass index (BMI) in men and with waist circumference (WC) in women, after adjusting for region, age and smoking. Among normal-weight men and women (BMI<25 kg/m(2)), an increase in the odds for being dyslipidemic was observed between lowest and highest WC quartiles (OR = 3.6, p < 0.001). Among obese men (BMI ≥ 30), the corresponding increase was smaller (OR = 1.2, p = 0.036). A similar weakening was observed among women. Classification tree analysis was performed to assign subjects into classes of risk for dyslipidemia. BMI thresholds (25.4 and 29.2 kg/m(2)) in men and WC thresholds (81.7 and 92.6 cm) in women came out at first stages. High WC (>84.8 cm) in normal-weight men, menopause in women and regular smoking further defined subgroups at increased risk. standard categories of BMI and WC, or their combinations, do not lead to optimal risk stratification for dyslipidemia in middle-age adults. Sex-specific adaptations are necessary, in particular by taking into account abdominal obesity in normal-weight men, post-menopausal age in women and regular smoking in both sexes.

Cis interactions of immunoreceptors with MHC and non-MHC ligands

The conventional wisdom is that cell-surface receptors interact with ligands expressed on other cells to mediate cell-to-cell communication (trans interactions). Unexpectedly, it has recently been found that two classes of receptors specific for MHC class I molecules not only interact with MHC class I molecules expressed on opposing cells, but also with those on the same cell. These cis interactions are a feature of immunoreceptors that inhibit, rather than activate, cellular functions. Here, we review situations in which cis interactions have been observed, the characteristics of receptors that bind in trans and cis, and the biological roles of cis recognition.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.