Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Future novel threats and opportunities facing UK biodiversity identified by horizon scanning

1. Horizon scanning is an essential tool for environmental scientists if they are to contribute to the evidence base for Government, its agencies and other decision makers to devise and implement environmental policies. The implication of not foreseeing issues that are foreseeable is illustrated by the contentious responses to genetically modified herbicide-tolerant crops in the UK, and by challenges surrounding biofuels, foot and mouth disease, avian influenza and climate change.

Oliver Rising Sr. Diary, 1797-1851

Oliver Rising (1775-1855) lived in Herkimer County, New York. He is buried in Cedar Lake Cemetery, Cedar Lake (part of the town of Litchfield) in Herkimer County, with his wife Hannah (1780-1855) and his son Oliver Rising Jr. (1817-1861).

Electronic configuration in the ground state of atomic lawrencium

Self-consistent relativistic Dirac-Hartree-Fock calculations have been made of some lowlying electronic energies for the atoms of all elements in ground-state ds^2 electron configurations. The results indicate that, contrary to some previous estimates, the ground electronic state of atomic Lr could be in either the 5f^14 6d7s^2 or the 5f^14 7p 7s^2 electron configuration. The separation between the lowest energy level of the 5f^14 6d7s^2 configuration and the lowest energy level of the 5f^14 7p7s^2 configuration is estimated to be (0 ± 3) x 10^3 cm^-1 for atomic Lr.

Los medios de comunicación (Cambio y Semana) como mecanismo de accountability social. Un análisis del escándalo de Agro Ingreso Seguro. Período 2009 - 2011.

Dentro del marco de la Rendición de Cuentas, los medios de comunicación han logrado convertirse en destacados mecanismos de accountability social, puesto que para ello se requiera visibilidad y los medios son la herramienta más útil para lograr este objetivo. Un ejemplo de estos procesos de visibilidad y accountability es el escándalo generado alrededor del programa gubernamental Agro Ingreso Seguro, principal tema de análisis de la presente monografía.

La reintegración social y económica de los grupos armados ilegales en Colombia: reflexiones a partir de la trayectoria de nueve excombatientes

Esta investigación toma como marco general la Política de Reintegración Social y económica de personas y grupos alzados en armas en Colombia, en donde tras el estudio de las trayectorias en el conflicto de un grupo de 9 excombatientes, se aborda la relación existente entre los beneficios otorgados por dicha política y aquello que facilitó y motivó el ingreso, la permanencia y desmovilización de los grupos armados. Se presenta una caracterización e interpretación conceptual de las denominadas trayectorias en el conflicto, son establecidas relaciones y diferencias entre las organizaciones ilegales FARC y las AUC, se revisan las percepciones que frente a los beneficios del programa de reintegración tienen excombatientes y profesionales de la entidad que lidera dicho proceso y a partir de ello, es argumentada la incidencia que sobre el éxito de esta política tienen las características individuales y particulares, tanto de los excombatientes como de las organizaciones armadas ilegales.

Equilibrium behavior of symmetric ABA triblock copolymer melts

Melts of ABA triblock copolymer molecules with identical end blocks are examined using self-consistent field theory (SCFT). Phase diagrams are calculated and compared with those of homologous AB diblock copolymers formed by snipping the triblocks in half. This creates additional end segments which decreases the degree of segregation. Consequently, triblock melts remain ordered to higher temperatures than their diblock counterparts. We also find that middle-block domains are easier to stretch than end-block domains. As a result, domain spacings are slightly larger, the complex phase regions are shifted towards smaller A-segment compositions, and the perforated-lamellar phase becomes more metastable in triblock melts as compared to diblock melts. Although triblock and diblock melts exhibit very similar phase behavior, their mechanical properties can differ substantially due to triblock copolymers that bridge between otherwise disconnected A domains. We evaluate the bridging fraction for lamellar, cylindrical, and spherical morphologies to be about 40%–45%, 60%–65%, and 75%–80%, respectively. These fractions only depend weakly on the degree of segregation and the copolymer composition.

Effective interaction between monolayers of block copolymer compatiblizer in a polymer blend

The stability of ternary blends of two immiscible homopolymers and a block copolymer compatiblizer depends crucially on the effective interaction between the copolymermonolayers that form between the unlike homopolymer domains. Here, the interaction is calculated for blends involving A and B homopolymers of equal size with ABABdiblock copolymers of symmetric composition using both self-consistent field theory (SCFT) and strong-segregation theory (SST). If the homopolymers are larger than the copolymer molecules, an attractive interaction is predicted which would destroy the blend. This conclusion coupled with considerations regarding the elastic properties of the monolayer suggests that the optimum size of the homopolymer molecules is about 80% that of the copolymer molecule. A detailed examination of the theory demonstrates that the attraction results from the configurational entropy loss of the homopolymer molecules trapped between the copolymermonolayers. We conclude by suggesting how the monolayers can be altered in order to suppress this attraction and thus improve compatiblization.

Improving polymeric microemulsions with block copolymer polydispersity

Recent experiments have demonstrated that block copolymers are capable of stabilizing immiscible homopolymer blends producing bicontinuous microemulsion. The stability of these polymeric alloys requires the copolymer to form flexible, nonattractive monolayers along the homopolymer interfaces. We predict that copolymer polydispersity can substantially and simultaneously improve the monolayers in both of these respects. Furthermore, polydispersity should provide similar improvements in systems, such as colloidal suspensions and polymer/clay composites, that utilize polymer brushes to suppress attractive interactions.

Políticas de salud en los Estados Unidos y Canadá

Incluye Bibliografía