Audit of the Regulated Materials Facility Revenue Bond Funds of Iowa State University of Science and Technology (Iowa State University) as of and for the year ended June 30, 2007

Audit of the Regulated Materials Facility Revenue Bond Funds of Iowa State University of Science and Technology (Iowa State University) as of and for the year ended June 30, 2007

Otimização Não Linear de Mínimos Quadrados

O problema de otimização de mínimos quadrados e apresentado como uma classe importante de problemas de minimização sem restrições. A importância dessa classe de problemas deriva das bem conhecidas aplicações a estimação de parâmetros no contexto das analises de regressão e de resolução de sistemas de equações não lineares. Apresenta-se uma revisão dos métodos de otimização de mínimos quadrados lineares e de algumas técnicas conhecidas de linearização. Faz-se um estudo dos principais métodos de gradiente usados para problemas não lineares gerais: Métodos de Newton e suas modificações incluindo os métodos Quasi-Newton mais usados (DFP e BFGS). Introduzem-se depois métodos específicos de gradiente para problemas de mínimos quadrados: Gauss-Newton e Levenberg-Larquardt. Apresenta-se uma variedade de exemplos selecionados na literatura para testar os diferentes métodos usando rotinas MATLAB. Faz-se uma an alise comparativa dos algoritmos baseados nesses ensaios computacionais que exibem as vantagens e desvantagens dos diferentes métodos.

On the throughput-WIP trade-off in queueing systems, diminishing returns and the threshold property: A linear programming approach

We present a new unifying framework for investigating throughput-WIP(Work-in-Process) optimal control problems in queueing systems,based on reformulating them as linear programming (LP) problems withspecial structure: We show that if a throughput-WIP performance pairin a stochastic system satisfies the Threshold Property we introducein this paper, then we can reformulate the problem of optimizing alinear objective of throughput-WIP performance as a (semi-infinite)LP problem over a polygon with special structure (a thresholdpolygon). The strong structural properties of such polygones explainthe optimality of threshold policies for optimizing linearperformance objectives: their vertices correspond to the performancepairs of threshold policies. We analyze in this framework theversatile input-output queueing intensity control model introduced byChen and Yao (1990), obtaining a variety of new results, including (a)an exact reformulation of the control problem as an LP problem over athreshold polygon; (b) an analytical characterization of the Min WIPfunction (giving the minimum WIP level required to attain a targetthroughput level); (c) an LP Value Decomposition Theorem that relatesthe objective value under an arbitrary policy with that of a giventhreshold policy (thus revealing the LP interpretation of Chen andYao's optimality conditions); (d) diminishing returns and invarianceproperties of throughput-WIP performance, which underlie thresholdoptimality; (e) a unified treatment of the time-discounted andtime-average cases.

Exact tests for correlation and for the slope in simple linear regressions without making assumptions

We present an exact test for whether two random variables that have known bounds on their support are negatively correlated. The alternative hypothesis is that they are not negatively correlated. No assumptions are made on the underlying distributions. We show by example that the Spearman rank correlation test as the competing exact test of correlation in nonparametric settings rests on an additional assumption on the data generating process without which it is not valid as a test for correlation.We then show how to test for the significance of the slope in a linear regression analysis that invovles a single independent variable and where outcomes of the dependent variable belong to a known bounded set.

A test of the predictive validity of non-linear QALY models using time trade-off utilities

This paper presents a test of the predictive validity of various classes ofQALY models (i.e., linear, power and exponential models). We first estimatedTTO utilities for 43 EQ-5D chronic health states and next these states wereembedded in health profiles. The chronic TTO utilities were then used topredict the responses to TTO questions with health profiles. We find that thepower QALY model clearly outperforms linear and exponential QALY models.Optimal power coefficient is 0.65. Our results suggest that TTO-based QALYcalculations may be biased. This bias can be avoided using a power QALY model.

Implementing TURF analysis through binary linear programming

This paper introduces the approach of using Total Unduplicated Reach and Frequency analysis (TURF) to design a product line through a binary linear programming model. This improves the efficiency of the search for the solution to the problem compared to the algorithms that have been used to date. The results obtained through our exact algorithm are presented, and this method shows to be extremely efficient both in obtaining optimal solutions and in computing time for very large instances of the problem at hand. Furthermore, the proposed technique enables the model to be improved in order to overcome the main drawbacks presented by TURF analysis in practice.

Report of the Regulated Materials Facility Revenue Bond Funds of Iowa State University of Science and Technology as of and for the year ended June 30, 2008

Report of the Regulated Materials Facility Revenue Bond Funds of Iowa State University of Science and Technology as of and for the year ended June 30, 2008

Expression of apoptosis and survival genes in human memory T cell populations

RESUME Introduction: Les cellules T mémoires humaines sont classées en trois sous-populations sur la base de l'expression d'un marqueur de surface cellulaire, CD45RA, et du récepteur aux chimiokines, CCR7. Ces sous-populations, nommées cellules mémoires centrales (TcM), mémoires effectrices (TEM) et mémoires effectrices terminales (ITEM), ont des rôles fonctionnels distincts, ainsi que des capacités de prolifération et de régénération différentes. Cependant, la génération de ces différences reste encore mal comprise et on ignore les mécanismes moléculaires impliqués. Matériaux et Méthodes: Des cellules mononucléaires humaines du sang périphérique ont été séparées par cytométrie de flux selon leur expression de CD4, CD8, CD45RA et CCR7 en sous-populations de cellules CD4+ ou CD8+ naïves, TcM, TEM ou ITEM. Dans chacune de ces sous-populations, 14 gènes impliqués dans l'apoptose, la survie ou la capacité proliférative des cellules T ont été quantifiés par RT-PCR en temps réel, relativement à l'expression d'un gène de référence endogène. L'ARN provenant de 450 cellules T a été utilisé par gène et par sous-population. Les gènes analysés (cibles) comprenaient des gènes de survie (BAFF, APRIL, BAFF-R, BCMA, TACI, IL-15Rα, IL-7Rα), des gènes anti-apoptotiques (Bcl-2, BclxL, FLIP), des gènes pro-apoptotiques (Bad, Bax, Fast) et le gène anti-prolifératif, Tob. A l'aide de la méthode comparative delta-delta-CT, le taux d'expression des gènes cibles de chaque sous-population des cellules T mémoires CD4+ et CD8+, à été comparée à leur taux d'expression dans les cellules T naïves CD4+ et CD8+. Résultats: Dans les cellules CD8+, les gènes pro-apoptotiques Bax et Fast étaient surexprimés dans toutes les sous-populations mémoires, tandis que l'expression des facteurs anti-apoptotiques et de survie comme Bcl-2, APRIL et BAFF-R, étaient diminués. Ces deux tendances étaient particulièrement accentuées dans les sous-groupes des cellules mémoires TEM et TTEM. A noter que malgré le fait que leur expression était également diminuée dans les autres cellules mémoires, le facteur de survie IL-7Ra, était sélectivement surexprimé dans la sous-population de cellules TcM et l'expression d'IL-15Ra était sélectivement augmentée dans les TEM. Dans les cellules CD4+, le taux d'expression des gènes analysés était plus variable entre les sujets étudiés que dans les cellules CD8+, ne permettant pas de définir un profil d'expression spécifique. L'expression du gène de survie BAFF par contre, a été significativement augmentée dans toutes les sous-populations mémoire CD4+. Il en va de même pour l'expression d' APRIL et de BAFF-R, bien que dans moindre degré. A remarquer que l'expression du facteur anti-apoptotique Fast a été observée uniquement dans la souspopulation des TTEM. Discussion et Conclusions: Cette étude montre une nette différence entre les cellules CD8+ et CD4+, en ce qui concerne les profils d'expression des gènes impliqués dans la survie et l'apoptose des cellules T mémoires. Ceci pourrait impliquer une régulation cellulaire homéostatique distincte dans ces deux compartiments de cellules T mémoires. Dans les cellules CD8+ l'expression d'un nombre de gènes impliqués dans la survie et la protection de l'apoptose semblerait être diminuée dans les populations TEM et TTEM en comparaison à celle des sous-populations naïves et TEM, tandis que l'expression des gènes pro-apoptotiques semblerait être augmentée. Comme ceci paraît être plus accentué dans les TTEM, cela pourrait indiquer une plus grande disposition à l'apopotose dans les populations CCR7- (effectrices) et une perte de survie parallèlement à l'acquisition de capacités effectrices. Ceci parlerait en faveur d'un modèle de différentiation linéaire dans les cellules CD8+. De plus, l'augmentation sélective de l'expression d'IL-7Ra observée dans le sous-groupe de cellules mémoires TEM, et d'IL-15Ra dans celui des TEM, pourrait indiquer un moyen de sélection pour des réponses immunitaires mémoires à long terme par une réponse distincte à ces cytokines. Dans les cellules CD4+ par contre, aucun profil d'expression n'a pu être déterminé; les résultats suggèrent même une résistance relative à l'apoptose de la part des cellules mémoires. Ceci pourrait favoriser l'existence d'un modèle de différentiation plus flexible avec des possibilités d'interaction multiples. Ainsi, la surexpression sélective de BAFF, APRIL et BAFF-R dans les sous-populations individuelles des cellules mémoires pourrait être un indice de l'interaction de ces sous-groupes avec des cellules B. ABSTRACT Introduction: Based on their surface expression of the CD45 isoform and of the CCR7 chemokine receptor, memory T cells have been divided into the following three subsets: central memory (TAM), effector memory (TEM) and terminal effector memory (ITEM). Distinct functional roles and different proliferative and regenerative capacities have been attributed to each one of these subpopulations. The molecular mechanisms underlying these differences; however, remain poorly understood. Materials and Methods: According to their expression of CD4, CD8, CD45RA and CCR7, human peripheral blood mononuclear cells were sorted by flow-cytometry into CD4+ or CD8+ naïve, TAM, TEM and ITEM subsets. Using real-time PCR, the expression of 14 genes known to be involved in apoptotis, survival or proliferation of T cells was quantified separately in each individual subset, relative to an endogenous reference gene. The RNA equivalent of 450 T cells was used for each gene and subset. The target gene panel included the survival genes BAFF, APRIL, BAFF-R, BCMA, TACI, IL-15Rα and IL-7Rα, the anti-apoptotic genes Bcl2, Bcl-xL and FLIP, the pro-apoptotic genes Bad, Bax and Fast, as well as the antiproliferative gene Tob. Using the comparative CT-method, the expression of the target genes in the three memory T cell subsets of both CD4+ and CD8+ T cell populations was compared to their expression in the naïve T cells. Results: In CD8+ cells, the pro-apoptotic factors Bax and Fast were found to be upregulated in all memory T cell subsets, whereas the survival and anti-apoptotic factors Bcl-2, APRIL and BAFF-R were downregulated. These tendencies were most accentuated in TEM and TTEM subsets. Even though the survival factor IL-7Rα was also downregulated in these subsets, interestingly, it was selectively upregulated in the CD8+ TAM subset. Similarly, IL-15Rαexpression was shown to be selectively upregulated in the CD8+ TEM subset. In CD4+ cells, the expression levels of the analyzed genes showed a greater inter-individual variability than in CD8+ cells, thus suggesting the absence of any particular expression pattern for CD4+ memory T cells. However, the survival factor BAFF was found to be significantly upregulated in all CD4+ memory T cell subsets, as was also the expression of APRIL and BAFF-R, although to a lesser extent. Furthermore, it was noted that the pro-apoptotic gene Fast was only expressed in the TTEM CD4+ subset. Discussion and Conclusions: Genes involved in apoptosis and survival in human memory T cells have been shown to be expressed differently in CD8+ cells as compared to CD4+ cells, suggesting a distinct regulation of cell homeostasis in these two memory T cell compartments. The present study suggests that, in CD8+ T cells, the expression of various survival and antiapoptotic genes is downregulated in TEM and TTEM subsets, while the expression of proapoptotic genes is upregulated in comparison to the naïve and the TAM populations. These characteristics, potentially translating to a greater susceptibility to apoptosis in the CCR7- (effector) memory populations, are accentuated in the TTEM population, suggesting a loss of survival in parallel to the acquisition of effector capacities. This speaks in favour of a linear differentiation model in CD8+ T memory cells. Moreover, the observed selectively increased expression of IL-7Rα in CD8+ TAM cells - as that of IL-15Rα in CD8+ TEM cells -suggest that differential responsiveness to cytokines could confer a selection bias for distinct long-term memory cell responses. Relative to the results for CD8+ T cells, those for CD4+ T cells seem to indicate a certain resistance of the memory subsets to apoptosis, suggesting the possibility of a more flexible differentiation model with multiple checkpoints and potential interaction of CD4+ memory cells with other cells. Thus, the selective upregulation of BAFF, APRIL and BAFF-R in individual memory subsets could imply an interaction of these subsets with B cells.

Restless bandits, linear programming relaxations and a primal-dual index heuristic

We develop a mathematical programming approach for the classicalPSPACE - hard restless bandit problem in stochastic optimization.We introduce a hierarchy of n (where n is the number of bandits)increasingly stronger linear programming relaxations, the lastof which is exact and corresponds to the (exponential size)formulation of the problem as a Markov decision chain, while theother relaxations provide bounds and are efficiently computed. Wealso propose a priority-index heuristic scheduling policy fromthe solution to the first-order relaxation, where the indices aredefined in terms of optimal dual variables. In this way wepropose a policy and a suboptimality guarantee. We report resultsof computational experiments that suggest that the proposedheuristic policy is nearly optimal. Moreover, the second-orderrelaxation is found to provide strong bounds on the optimalvalue.

On heuristic and linear models of judgment: Mapping the demand for knowledge

Research on judgment and decision making presents a confusing picture of human abilities. For example, much research has emphasized the dysfunctional aspects of judgmental heuristics, and yet, other findings suggest that these can be highly effective. A further line of research has modeled judgment as resulting from as if linear models. This paper illuminates the distinctions in these approaches by providing a common analytical framework based on the central theoretical premise that understanding human performance requires specifying how characteristics of the decision rules people use interact with the demands of the tasks they face. Our work synthesizes the analytical tools of lens model research with novel methodology developed to specify the effectiveness of heuristics in different environments and allows direct comparisons between the different approaches. We illustrate with both theoretical analyses and simulations. We further link our results to the empirical literature by a meta-analysis of lens model studies and estimate both human andheuristic performance in the same tasks. Our results highlight the trade-off betweenlinear models and heuristics. Whereas the former are cognitively demanding, the latterare simple to use. However, they require knowledge and thus maps of when andwhich heuristic to employ.

O Primal e o Dual na programação Linear

O tema da Programação Linear, com as suas particularizações do Problema dos Transportes e do Problema da Afectação de Recursos, é hoje estudado em cursos diversos onde uma disciplina de Investigação Operacional esteja presente. Trata-se, em última análise, de um problema de cálculo de extremos condicionados, seja de máximo ou de mínimo, que apresenta características muito particulares e de grande elegância simbólica. Também os Problemas dos Transportes e da Afectação de Recursos se podem resolver como problemas de Programação Linear, através do Algoritmo Simplex, embora seja preferível o recurso a algoritmos próprios, de muitíssimo maior simplicidade: o Algoritmo dos Transportes e o Algoritmo Húngaro, respectivamente. De molde a facilitar a compreensão do que realmente está em jogo, consideram-se aqui dois casos de determinação de extremos e de extremos condicionados, mas ao nível do final do ensino secundário.

DIGITAL LIBRARY FOR DIGITAL DIVIDE AND ENVIRONMENT OF SCARCE ACCESS TO PRINTED MATERIALS: THE CASE OF UNIVERSITY JEAN PIAGET OF CAPE VERDE

With the failure of the traditional mechanisms of distributing bibliographic materials into developing countries, digital libraries show up as a strong alternative in accomplishing such job, despite the challenges of the digital divide. This paper discusses the challenges of building a digital library (DL) in a developing country. The case of Cape Verde as a digital divide country is analyzed, in terms of current digital library usage and its potentiality for fighting the difficulties in accessing bibliographic resources in the country. The paper also introduces an undergoing project of building a digital library at the University Jean Piaget of Cape Verde.

Possibles materials amb destinació a obres portuàries a la Costa Brava (Girona)

The metodology used in the research of materials destinated to port constructions in the Costa Brava is described. This metodology follows a set of work steps. The first three allow to do a selection of the stone quarries that exist in the zone. The other steps consists in studing the materials and the characteristics of the chosen quarries and the zones closed to them, as to order them according to their utility in port constmctions. Finally, the main results obtained are explained