WAIS seminar: Publication Workflows for Scientific Data

Wednesday 23rd April 2014 Speaker(s): Willi Hasselbring Organiser: Leslie Carr Time: 23/04/2014 11:00-11:50 Location: B32/3077 File size: 669 Mb Abstract For good scientific practice, it is important that research results may be properly checked by reviewers and possibly repeated and extended by other researchers. This is of particular interest for "digital science" i.e. for in-silico experiments. In this talk, I'll discuss some issues of how software systems and services may contribute to good scientific practice. Particularly, I'll present our PubFlow approach to automate publication workflows for scientific data. The PubFlow workflow management system is based on established technology. We integrate institutional repository systems (based on EPrints) and world data centers (in marine science). PubFlow collects provenance data automatically via our monitoring framework Kieker. Provenance information describes the origins and the history of scientific data in its life cycle, and the process by which it arrived. Thus, provenance information is highly relevant to repeatability and trustworthiness of scientific results. In our evaluation in marine science, we collaborate with the GEOMAR Helmholtz Centre for Ocean Research Kiel.

Evaluación Psicológica de la Toma de Decisiones Éticas de Riesgo en Entorno Organizacional: Revisión Teórica

Este trabajo de investigación explora el proceso de toma de decisiones fundamentado desde la perspectiva psicológica. El campo de interés está centrado en la toma de decisiones éticas a nivel organizacional y las consecuencias que las zonas grises o las conductas de riesgo repercuten en las dinámicas económicas y sociales. Con base en el análisis de los escándalos financieros más importantes de Europa, Estados Unidos y Colombia, y la literatura ofrecida por las ciencias sociales, la ética y las ciencias económicas se reconstruye una recopilación teórica de los aportes que los modelos psicológicos aplicados pueden dar al campo de la consultoría y el funcionamiento organizacional como también al estudio y análisis de los comportamientos anti éticos en empresas.

Accountability and ideology: when left looks right and right looks left

Abstract Managers face hard choices between process and outcome systems of accountability in evaluating employees, but little is known about how managers resolve them. Building on the premise that political ideologies serve as uncertainty-reducing heuristics, two studies of working managers show that: (1) conservatives prefer outcome accountability and liberals prefer process accountability in an unspecified policy domain; (2) this split becomes more pronounced in a controversial domain (public schools) in which the foreground value is educational efficiency but reverses direction in a controversial domain (affirmative action) in which the foreground value is demographic equality; (3) managers who discover employees have subverted their preferred system favor tinkering over switching to an alternative system; (4) but bipartisan consensus arises when managers have clear evidence about employee trustworthiness and the tightness of the causal links between employee effort and success. These findings shed light on ideological and contextual factors that shape preferences for accountability systems.

Internet- den nya barnmorskan? : En enkätstudie om hur gravida kvinnor söker information om graviditet och förlossning via Internet

Bakgrund: Internet används globalt inom många områden och aktuell forskning visar att gravida kvinnor använder Internet till att söka information om graviditet och förlossning. En graviditet innebär många frågor hos kvinnan och kvinnor söker efter information för att få en trygghet och försäkran om att allt är normalt med deras hälsa och barnet i magen. Syfte: Syftet är att undersöka gravida kvinnors informationssökning via Internet avseende graviditet och förlossning. Metod: Beskrivande tvärsnittstudie. Datainsamling skedde via en enkätundersökning och data analyserades med deskriptiv och jämförande ansats. Resultat: Nästan alla kvinnor i undersökningen använde Internet för att söka information om graviditet och förlossning. Kvinnorna söker information om barnets utveckling, kost/näring och graviditetslängd i hög utsträckning. Högutbildade kvinnor har andra kriterier för trovärdighet på hemsidor än kvinnor med lägre utbildning. Slutsats: Barnmorskor bör vara medvetna om gravida kvinnors användning av Internet samt själva skapa sig en uppfattning om informationen som de gravida kvinnorna läser på Internet. Vår studie visar att barnmorskors rekommendation av hemsidor på Internet har stor betydelse för gravida kvinnor.  

LiLEDDA – a six step forum-based netnographic research method for nursing and caring sciences

Internet research methods in nursing science are less developed than in other sciences. We choose to present an approach to conducting nursing research on an internet-based forum. This paper presents LiLEDDA, a six-step forum-based netnographic research method for nursing science. The steps consist of: 1. Literature review and identification of the research question(s); 2. Locating the field(s) online; 3. Ethical considerations; 4. Data gathering; 5. Data analysis and interpretation; and 6. Abstractions and trustworthiness. Traditional research approaches are limiting when studying non-normative and non-mainstream life-worlds and their cultures. We argue that it is timely to develop more up-to-date research methods and study designs applicable to nursing science that reflect social developments and human living conditions that tend to be increasingly online-based.

Ekologiska kläder : En studie om varför konsumtionen av ekologiska kläder haft en svag ökning sett utifrån konsumenternas perspektiv

Syftet med denna studie är att förklara varför konsumtionen av ekologiska kläder haft en svag ökning sett utifrån konsumenternas perspektiv. För att kunna besvara syftet har en kvantitativ metod legat till grund för denna studie. Data har samlats in med hjälp av enkäter för att undersöka om det föreligger något samband bland konsumenter. För att kunna presentera ett mer djupgående resultat har den kvantitativa metoden kombinerats med en kvalitativ metod vid analys av data. Teorin i denna studie har använts som utgångspunkt för att bättre förstå konsumenternas köpbeteende samt betydelsen av varumärken. Studiens empiri består av den data som samlats in genom enkäter. I studies analys och diskussion har teorierna sedan tillämpats på den data som enkäterna genererat för att öka resultatets trovärdighet. I denna studie framkom att kvinnliga konsumenter i åldern 20-35 har låg kunskap om de konventionella klädernas påverkan på miljö och individ. Konsumenternas personliga behov värderas högre än socialt ansvarstagande och det som prioriteras högst vid köp av kläder är pris, design och kvalitet. Utbudet av ekologiska kläder är inte tillräckligt stort och de kläder som finns tillgängliga på marknaden saknar varumärkesimage och förknippas ofta med basplagg.

Facilitators and barriers to applying a national quality registry for quality improvement in stroke care

BACKGROUND: National quality registries (NQRs) purportedly facilitate quality improvement, while neither the extent nor the mechanisms of such a relationship are fully known. The aim of this case study is to describe the experiences of local stakeholders to determine those elements that facilitate and hinder clinical quality improvement in relation to participation in a well-known and established NQR on stroke in Sweden. METHODS: A strategic sample was drawn of 8 hospitals in 4 county councils, representing a variety of settings and outcomes according to the NQR's criteria. Semi-structured telephone interviews were conducted with 25 managers, physicians in charge of the Riks-Stroke, and registered nurses registering local data at the hospitals. Interviews, including aspects of barriers and facilitators within the NQR and the local context, were analysed with content analysis. RESULTS: An NQR can provide vital aspects for facilitating evidence-based practice, for example, local data drawn from national guidelines which can be used for comparisons over time within the organisation or with other hospitals. Major effort is required to ensure that data entries are accurate and valid, and thus the trustworthiness of local data output competes with resources needed for everyday clinical stroke care and quality improvement initiatives. Local stakeholders with knowledge of and interest in both the medical area (in this case stroke) and quality improvement can apply the NQR data to effectively initiate, carry out, and evaluate quality improvement, if supported by managers and co-workers, a common stroke care process and an operational management system that embraces and engages with the NQR data. CONCLUSION: While quality registries are assumed to support adherence to evidence-based guidelines around the world, this study proposes that a NQR can facilitate improvement of care but neither the registry itself nor the reporting of data initiates quality improvement. Rather, the local and general evidence provided by the NQR must be considered relevant and must be applied in the local context. Further, the quality improvement process needs to be facilitated by stakeholders collaborating within and outside the context, who know how to initiate, perform, and evaluate quality improvement, and who have the resources to do so.

Optimized Water Demand Management Through Intelligent Sensing And Analytics: The WISDOM Approach

New business and technology platforms are required to sustainably manage urban water resources [1,2]. However, any proposed solutions must be cognisant of security, privacy and other factors that may inhibit adoption and hence impact. The FP7 WISDOM project (funded by the European Commission - GA 619795) aims to achieve a step change in water and energy savings via the integration of innovative Information and Communication Technologies (ICT) frameworks to optimize water distribution networks and to enable change in consumer behavior through innovative demand management and adaptive pricing schemes [1,2,3]. The WISDOM concept centres on the integration of water distribution, sensor monitoring and communication systems coupled with semantic modelling (using ontologies, potentially connected to BIM, to serve as intelligent linkages throughout the entire framework) and control capabilities to provide for near real-time management of urban water resources. Fundamental to this framework are the needs and operational requirements of users and stakeholders at domestic, corporate and city levels and this requires the interoperability of a number of demand and operational models, fed with data from diverse sources such as sensor networks and crowsourced information. This has implications regarding the provenance and trustworthiness of such data and how it can be used in not only the understanding of system and user behaviours, but more importantly in the real-time control of such systems. Adaptive and intelligent analytics will be used to produce decision support systems that will drive the ability to increase the variability of both supply and consumption [3]. This in turn paves the way for adaptive pricing incentives and a greater understanding of the water-energy nexus. This integration is complex and uncertain yet being typical of a cyber-physical system, and its relevance transcends the water resource management domain. The WISDOM framework will be modeled and simulated with initial testing at an experimental facility in France (AQUASIM – a full-scale test-bed facility to study sustainable water management), then deployed and evaluated in in two pilots in Cardiff (UK) and La Spezia (Italy). These demonstrators will evaluate the integrated concept providing insight for wider adoption.

Crimes financeiros e política criminal : estudo de acórdãos do TRF da 3ª Região sobre os crimes de gestão fraudulenta e gestão temerária no período de 2001 a 2010

Este trabalho visa produzir conhecimento sobre como o Tribunal Regional Federal da 3ª Região tem decidido sobre dois dos principais crimes afetos à administração das instituições financeiras: gestão fraudulenta e gestão temerária. Trata-se de delitos criticados pela doutrina em razão das falhas de definição dos tipos, desde a edição da Lei 7.492, em 1986. Além disso, a sua previsão legislativa possui características que os aproximam do paradigma do direito penal do risco, ou seja: são crimes de perigo abstrato, que tutelam bem jurídico supra-individual, praticados por administradores detentores do dever de probidade na condução das instituições frente aos riscos inerentes à dinâmica do sistema financeiro. A adoção desse paradigma é controversa na doutrina penal por implicar a flexibilização de garantias do Estado Democrático de Direito sob a perspectiva do paradigma do direito penal tradicional. Diante disso, adota-se a metodologia de análise de conteúdo de decisões para se responder a dois problemas de pesquisa: (1) Quais os critérios adotados pelo Tribunal para a configuração dos crimes? (2) As decisões aproximam-se de algum paradigma de direito penal? As hipóteses objeto de teste são: (1) que o Tribunal considera principalmente a prática da conduta sem analisar a sua potencialidade lesiva sob uma perspectiva ex ante; e, (2) que esse discurso de imputação de responsabilidade aproxima as decisões do paradigma do direito penal do risco, considerados, em contexto, outros elementos presentes nas decisões. Na primeira parte, é feita uma introdução metodológica; na segunda, estabelece-se o referencial teórico; na terceira e na quarta, realizam-se as análises dos resultados quantitativos e qualitativos obtidos com a sua discussão; por fim, procede-se à conclusão, levantando-se novo problema a ser investigado.

Bases de confiança de relacionamento entre agentes: um estudo sobre seu efeito na reação cognitiva e comportamental dos agentes

Apesar da confiança entre os agentes ser fundamental para a estabilização do relacionamento, são frequentes os eventos de incerteza sobre o comportamento do outro, que podem gerar percepções de violação de confiança entre os agentes. Dada essa constatação, o entendimento de variáveis que podem influenciar os efeitos advindos de uma percepção de violação de confiança ganha relevância cada vez maior nos estudos de confiança. Dos vários elementos estudados na literatura para mediar os efeitos de uma percepção de violação de confiança, o objetivo do estudo foi investigar o efeito que o tipo de relacionamento prévio entre os agentes pode exercer na reação cognitiva e comportamental dos agentes, em situações em que há incerteza sobre o comportamento cooperativo do parceiro. Especificamente, o objetivo do trabalho foi comparar o efeito que diferentes tipos de relacionamento prévio entre os agentes – baseado em confiança calculativa ou relacional – exerce em duas dimensões de reação a um evento negativo na relação. Na dimensão cognitiva, comparou-se os efeitos que diferentes tipos de relacionamento prévio entre os agentes exercem no nível de confiabilidade atribuído à contraparte, após um evento negativo entre eles. Na dimensão comportamental, comparou-se os efeitos que diferentes tipos de relacionamento prévio exercem na posição de risco assumida pelos agentes, após o evento indesejado. Para isto, realizou-se um experimento para testar em ambiente laboratorial a reação dos agentes a um resultado negativo na interação, a partir da criação de dois contextos diferentes de relacionamento entre eles. Os resultados do experimento mostraram que, comparados com relacionamentos de base calculativa, aqueles de base relacional são mais resistentes a distúrbios externos, visto que eles geram atribuição causal mais positiva e maior nível de confiabilidade percebida sobre o outro após um evento negativo entre os agentes. Além disto, esta percepção de confiabilidade influencia positivamente as posições de risco assumidas pelos agentes após o evento negativo, de forma que riscos maiores são assumidos em relacionamentos de base de confiança relacional. Por fim, os resultados também reforçam que quanto maior a posição de risco assumida por um agente, maior é o nível de cooperação do seu parceiro.

Estudo da estimativa da incerteza de medição para determinação do BS&W e da vazão aplicado no laboratório de avaliação de medição do petróleo

The considered work presents the procedure for evaluation of the uncertainty related to the calibration of flow measurers and to BS&W. It is about a new method of measurement purposed by the conceptual project of the laboratory LAMP, at Universidade Federal do Rio Grande do Norte, that intends to determine the conventional true value of the BS&W from the total height of the liquid column in the auditor tank, hydrostatic pressure exerted by the liquid column, local gravity, specific mass of the water and the specific mass of the oil, and, to determine the flow, from total height of liquid column and transfer time. The calibration uses a automatized system of monitoration and data acquisition of some necessary largnesses to determine of flow and BS&W, allowing a better trustworthiness of through measurements

Protótipo de uma unidade com tri-geração de energia para utilizações remotas: aplicação de módulo secondutivo gerador termoelétrico

The generation for termoeletricity is characterized as a solid process of conversion of thermal energy (heat) in electric without the necessity of mobile parts. Although the conversion process is of low efficiency the system presents high degree of trustworthiness and low requisite of maintenance and durability. Its principle is based on the studies of termogeneration carried through by Thomas Seebeck in 1800. The frank development of the technologies of solid state for termoeletricity generation, the necessity of the best exploitation of the energy, also with incentive the cogeneration processes, the reduction of the ambient impact allies to the development of modules semiconductors of high efficiency, converge to the use of the thermoeletric generation through components of solid state in remote applications. The work presents the development, construction and performance evaluation of an prototype, in pilot scale, for energy tri-generation aiming at application in remote areas. The unit is composed of a gas lamp as primary source of energy, a module commercial semiconductor for thermoelectric generation and a shirt for production of the luminosity. The project of the device made compatible a headstock for adaptation in the gas lamp, a hot source for adaptation of the module, an exchanger of to be used heat as cold source and to compose first stage of cogeneration, an exchanger of tubular heat to compose second stage of cogeneration, the elaboration of a converter dc-dc type push pull, adequacy of a system of acquisition of temperature. It was become fullfilled assembly of the prototype in group of benches for tests and assay in the full load condition in order to evaluate its efficiency, had been carried through energy balance of the unit. The prototype presented an electric efficiency of 0,73%, thermal of 56,55%, illumination of 1,35% and global of 58,62%. The developed prototype, as the adopted methodology of assay had also taken care of to the considered objectives, making possible the attainment of conclusive results concerning to the experiment. Optimization in the system of setting of the semicondutor module, improvement in the thermal insulation and design of the prototype and system of protection to the user are suggestions to become it a commercial product

Determination of Population Size of Glass-like Carbon Sampling Used in Weibull Analysis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures