Influence apart from Adoption: How Interaction between Programming and Scientific Practices Shapes Modes of Inquiry in Four Oceanography Teams

Thesis (Ph.D.)--University of Washington, 2016-06

Styx grid services: lightweight middleware for efficient scientific workflows

The service-oriented approach to performing distributed scientific research is potentially very powerful but is not yet widely used in many scientific fields. This is partly due to the technical difficulties involved in creating services and workflows and the inefficiency of many workflow systems with regard to handling large datasets. We present the Styx Grid Service, a simple system that wraps command-line programs and allows them to be run over the Internet exactly as if they were local programs. Styx Grid Services are very easy to create and use and can be composed into powerful workflows with simple shell scripts or more sophisticated graphical tools. An important feature of the system is that data can be streamed directly from service to service, significantly increasing the efficiency of workflows that use large data volumes. The status and progress of Styx Grid Services can be monitored asynchronously using a mechanism that places very few demands on firewalls. We show how Styx Grid Services can interoperate with with Web Services and WS-Resources using suitable adapters.

Precise analysis of array usage in scientific programs

The automatic transformation of sequential programs for efficient execution on parallel computers involves a number of analyses and restructurings of the input. Some of these analyses are based on computing array sections, a compact description of a range of array elements. Array sections describe the set of array elements that are either read or written by program statements. These sections can be compactly represented using shape descriptors such as regular sections, simple sections, or generalized convex regions. However, binary operations such as Union performed on these representations do not satisfy a straightforward closure property, e.g., if the operands to Union are convex, the result may be nonconvex. Approximations are resorted to in order to satisfy this closure property. These approximations introduce imprecision in the analyses and, furthermore, the imprecisions resulting from successive operations have a cumulative effect. Delayed merging is a technique suggested and used in some of the existing analyses to minimize the effects of approximation. However, this technique does not guarantee an exact solution in a general setting. This article presents a generalized technique to precisely compute Union which can overcome these imprecisions.

ESPECTRO ELETRÔNICO DA MOLÉCULA I2: UMA BREVE INTRODUÇÃO À PROGRAMAÇÃO CIENTÍFICA

This study proposes an activity to introduce scientific programming. In particular, the multidisciplinary concepts of scientific programming, quantum mechanics, and spectroscopy are presented in the study of the electronic spectrum of the I2 molecule. We use Python programming language and the IPython command shell, in particular, for their user friendliness and versatility.

Slogger: a profiling and analysis system based on semantic web technologies

Increasingly, distributed systems are being used to host all manner of applications. While these platforms provide a relatively cheap and effective means of executing applications, so far there has been little work in developing tools and utilities that can help application developers understand problems with the supporting software, or the executing applications. To fully understand why an application executing on a distributed system is not behaving as would be expected it is important that not only the application, but also the underlying middleware, and the operating system are analysed too, otherwise issues could be missed and certainly overall performance profiling and fault diagnoses would be harder to understand. We believe that one approach to profiling and the analysis of distributed systems and the associated applications is via the plethora of log files generated at runtime. In this paper we report on a system (Slogger), that utilises various emerging Semantic Web technologies to gather the heterogeneous log files generated by the various layers in a distributed system and unify them in common data store. Once unified, the log data can be queried and visualised in order to highlight potential problems or issues that may be occurring in the supporting software or the application itself.

Towards a Protocol for the Attachment of Metadata to Service Descriptions and its Use in Semantic Discovery

Service discovery in large scale, open distributed systems is difficult because of the need to filter out services suitable to the task at hand from a potentially huge pool of possibilities. Semantic descriptions have been advocated as the key to expressive service discovery, but the most commonly used service descriptions and registry protocols do not support such descriptions in a general manner. In this paper, we present a protocol, its implementation and an API for registering semantic service descriptions and other task/user-specific metadata, and for discovering services according to these. Our approach is based on a mechanism for attaching structured and unstructured metadata, which we show to be applicable to multiple registry technologies. The result is an extremely flexible service registry that can be the basis of a sophisticated semantically-enhanced service discovery engine, an essential component of a Semantic Grid.

TV BRASIL: UMA EMISSORA PÚBLICA EM CONSTRUÇÃO Ações e controvérsias 2007-2010 Universidade Metodista

A pesquisa verifica em que medida a TV Brasil, criada no país em 2007 pelo presidente Luiz Inácio Lula da Silva, se constitui, de fato, em um modelo democrático de TV pública, com o objetivo de desenvolver a consciência crítica do cidadão, mediante programação educativa, artística, cultural, informativa, cientifica e promotora da cidadania , como determina seu Estatuto. O trabalho descreve e analisa o processo de construção da emissora no período de 2007-2010. Examina as relações de poder e o debate entre os diferentes setores do governo e da sociedade civil organizada, envolvidos no processo de democratização da radiodifusão brasileira, e na criação e implementação do modelo de televisão pública no Brasil. Discute os processos de gestão, de produção e de financiamento da emissora, incluindo o sistema de pitching1 adotado. Define como é constituído o perfil da emissora, com base na descrição da grade semanal de programação, distribuída em horários e gêneros, através de um mapeamento geral dos programas, e uma breve análise comparativa da grade entre três emissoras: TV Globo, TV Cultura e TV Brasil 2009-2010. Trata-se de uma pesquisa exploratória. A metodologia central é a de Estudo de Caso (YIN, 2005), de natureza qualitativa. Examina as mudanças e tendências apresentadas no decorrer do período estudado. Apesar de existirem dificuldades de gestão e de ordem técnica relacionadas à transmissão, abrangência e qualidade do sinal, bem como a da ausência de verbas para a divulgação e constituição de sua programação, a TV Brasil oferece um novo paradigma para o campo público de rádio e televisão. Confirma, assim, sua viabilidade como um modelo alternativo e democrático de gestão e de funcionamento da televisão pública no país, ao se transformar num agente de fomento para a integração da sociedade brasileira. Vale ressaltar, no entanto, que a emissora encontra-se, ainda, em busca de novos caminhos e deverá aperfeiçoar-se ao longo do processo de sua consolidação, seja no âmbito de sua gestão ou de sua programação.

Univac scientific [computer, model] 1103 A programming manual.

Mode of access: Internet.

Minimizing total tardiness in a stochastic single machine scheduling problem using approximate dynamic programming

This paper addresses the non-preemptive single machine scheduling problem to minimize total tardiness. We are interested in the online version of this problem, where orders arrive at the system at random times. Jobs have to be scheduled without knowledge of what jobs will come afterwards. The processing times and the due dates become known when the order is placed. The order release date occurs only at the beginning of periodic intervals. A customized approximate dynamic programming method is introduced for this problem. The authors also present numerical experiments that assess the reliability of the new approach and show that it performs better than a myopic policy.

Child programming: an adequate domain specific language for programming specific robots

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Hipertensión y edema pulmonar de altura. Rol de la disfunción endotelial y de la programación fetal [Pulmonary hypertension and lung edema at high altitude. Role of endothelial dysfunction and fetal programming].

High altitude constitutes an exciting natural laboratory for medical research. While initially, the aim of high-altitude research was to understand the adaptation of the organism to hypoxia and find treatments for altitude-related diseases, over the past decade or so, the scope of this research has broadened considerably. Two important observations led to the foundation for the broadening of the scientific scope of high-altitude research. First, high-altitude pulmonary edema (HAPE) represents a unique model which allows studying fundamental mechanisms of pulmonary hypertension and lung edema in humans. Secondly, the ambient hypoxia associated with high-altitude exposure facilitates the detection of pulmonary and systemic vascular dysfunction at an early stage. Here, we review studies that, by capitalizing on these observations, have led to the description of novel mechanisms underpinning lung edema and pulmonary hypertension and to the first direct demonstration of fetal programming of vascular dysfunction in humans.

Selected topics in probiotics and prebiotics: meeting report for the 2004 international scientific association for probiotics and prebiotics

On August 2931, 2004, 84 academic and industry scientists from 16 countries gathered in Copper Mountain, Colorado USA to discuss certain issues at the forefront of the science of probiotics and prebiotics. The format for this invitation only meeting included six featured lectures: engineering human vaginal lactobacilli to express HIV inhibitory molecules (Peter Lee, Stanford University), programming the gut for health (Thaddeus Stappenbeck, Washington University School of Medicine), immune modulation by intestinal helminthes (Joel Weinstock, University of Iowa Hospitals and Clinics), hygiene as a cause of autoimmune disorders (G. A. Rook, University College London), prebiotics and bone health (Connie Weaver, Purdue University) and prebiotics and colorectal cancer risk (Ian Rowland, Northern Ireland Centre for Food and Health). In addition, all participants were included in one of eight discussion groups on the topics of engineered probiotics, host-commensal bacteria communication, 'omics' technologies, hygiene and immune regulation, biomarkers for healthy people, prebiotic and probiotic applications to companion animals, development of a probiotic dossier, and physiological relevance of prebiotic activity. Brief conclusions from these discussion groups are summarized in this paper.

[Fetal programming of cardiovascular disease: new causes and underlying mechanisms]

There exists an association between pathologic events occurring during early life and the development of cardiovascular disease in adulthood. For example, transient perinatal hypoxemia predisposes to exaggerated hypoxic pulmonary hypertension and preeclampsia predisposes the offspring to pulmonary and systemic endothelial dysfunction later in life. The latter finding offers a scientific basis for observations demonstrating an increased risk for premature cardiovascular morbidity in this population. Very recently, we showed that offspring of assisted reproductive technologies also display generalized vascular dysfunction and early arteriosclerosis. Studies in animal models have provided evidence that oxidative stress and/or epigenetic alterations play an important pathophysiological role in the fetal programming of cardiovascular disease.

[Pulmonary hypertension and lung edema at high altitude. Role of endothelial dysfunction and fetal programming]

High altitude constitutes an exciting natural laboratory for medical research. While initially, the aim of high-altitude research was to understand the adaptation of the organism to hypoxia and find treatments for altitude-related diseases, over the past decade or so, the scope of this research has broadened considerably. Two important observations led to the foundation for the broadening of the scientific scope of high-altitude research. First, high-altitude pulmonary edema (HAPE) represents a unique model which allows studying fundamental mechanisms of pulmonary hypertension and lung edema in humans. Secondly, the ambient hypoxia associated with high-altitude exposure facilitates the detection of pulmonary and systemic vascular dysfunction at an early stage. Here, we review studies that, by capitalizing on these observations, have led to the description of novel mechanisms underpinning lung edema and pulmonary hypertension and to the first direct demonstration of fetal programming of vascular dysfunction in humans.

Proceedings of the symposium in linear programming.

Sponsored by Office of Scientific Research of the Air Research and Development Command and held jointly by National Bureau of Standards and the Directorate of Management Analysis, DCS/Comptroller, USAF.