Data Journalism, Millennials & Social Networks

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para a obtenção do grau de Mestre em Ciências da Comunicação, ramo de Jornalismo

System F with Constraint Types

System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express subtyping constraints. These systems include terms which represent proofs of subtyping relationships between types. Given a proof that one type is a subtype of another, one may use a coercion term constructor to coerce terms from the first type to the second. The ability to manipulate type constraints as first-class entities gives these systems a lot of expressive power, including the ability to encode generalized algebraic data types and intensional type analysis. The main contributions of this work are in the formulation of constraint types and a proof of strong normalization for an extension of System F with constraint types.

Oblique propagation of arbitrary amplitude electron acoustic solitary waves in magnetized kappa-distributed plasmas

The linear and nonlinear properties of large-amplitude electron-acoustic waves are investigated in a magnetized plasma comprising two distinct electron populations (hot and cold) and immobile ions. The hot electrons are assumed to be in a non-Maxwellian state, characterized by an excess of superthermal particles, here modeled by a kappa-type long-tailed distribution function. Waves are assumed to propagate obliquely to the ambient magnetic field. Two types of electrostatic modes are shown to exist in the linear regime, and their properties are briefly analyzed. A nonlinear pseudopotential-type analysis reveals the existence of large-amplitude electrostatic solitary waves and allows for an investigation of their propagation characteristics and existence domain, in terms of the soliton speed (Mach number). The effects of the key plasma configuration parameters, namely the superthermality index and the cold electron density, on the soliton characteristics and existence domain, are studied. The role of obliqueness and magnetic field is discussed.

After the Male Breadwinner Model? Childcare Services and the Division of Labor in European Countries

Fundamental reforms in childcare services appear to have eroded traditional
support to the male breadwinner model across European states. There has been a strong debate about the direction of these changes, and the ways in which childcare services can alter the division of labor and promote gender equality. This paper deals with these issues by using fuzzy set ideal-type analysis to assess the conformity of childcare service provisions in European economies to Fraser’s four ideal typical models: male breadwinner, caregiver parity, universal breadwinner, and universal caregiver. We find that there is resilience of traditional gender roles in the majority of European countries, while there are different variants of the universal breadwinner shaping different forms of childcare policies. The more equalitarian universal caregiver model maintains its utopian character.

Exposição de profissionais de saúde a radiações ionizantes : confiança dos profissionais nas leituras de dosimetria individual

Resumo - O avanço tecnológico e científico no campo da Medicina tem favorecido a aplicação das radiações ionizantes nas áreas da Medicina Nuclear, Radiologia, Radioterapia e noutras especialidades relacionadas com a medicina de intervenção, como a Cardiologia. As Organizações de Saúde, com profissionais com risco de exposição a radiações ionizantes, são responsáveis, legislativamente, por assegurar a sua vigilância. Certificando a observação controlada das doses de exposição, os profissionais são monitorizados com dosímetros individuais e submetidos a vigilância médica. As leituras de dosímetria individual destes profissionais, originam por vezes, nos próprios, desconfianças e incertezas quanto aos valores medidos. Objectivo: avaliar o grau de confiança dos profissionais de saúde, expostos a radiações ionizantes, no sistema de monitorização individual. Metodologia: estudo observacional do tipo analítico- transversal, por questionário. Amostra de 190 Técnicos de Diagnóstico e Terapêutica de Cardiopneumologia, Medicina Nuclear, Radiologia, Radioterapia, expostos a radiações ionizantes, que exercem a sua actividade profissional em hospitais do concelho de Lisboa. Resultados: 51,1% dos Técnicos de Diagnóstico e Terapêutica não confiam nas leituras dos dosímetros, não se determinou uma relação estatisticamente significativa entre essa confiança, o tipo de dosímetro e a empresa que realiza as leituras. A confiança é maior nos que exercem em Organizações de Saúde públicas. 40,2% das Organizações de Saúde apresentam plano de vigilância médica, constatando-se uma falta de conformidade entre os Técnicos de Diagnóstico e Terapêutica, nalguns hospitais, relativamente à existência desse plano no respectivo hospital. A margem de erro associado ao estudo é de 5,09%, com um nível de confiança de 95%. -----------Abstract - The technological and scientific advances in the field of medicine has encouraged the application of ionizing radiation with a considerable positive contribution in the areas of Nuclear Medicine, Radiology, Radiotherapy and other specialties related to medical intervention like Cardiology. The Health Organizations that arise the risk of occupational exposure to ionizing radiation and is their responsibility to ensure monitoring, according the law. To ensure the monitoring of controlled doses of exposure, the exposed works use an individual dosimeter and undergo medical supervision. The individual dosimetry readings of health-care professionals, is sometimes questionable for themselves, arising distrust and uncertainty about the values measured. Objective: evaluate the degree of confidence of health professionals, exposed to radiation, on the system of individual monitoring. Methods: Observational study of cross-type analysis by questionnaire. Sample of 190 of technologists of Cardiopneumology, Nuclear Medicine, Radiology, Radiotherapy, exposed to ionizing radiation, which work in hospitals on the region of Lisbon. Results: 51.1% of technologists does not rely on the readings of their dosimeters, and wasn’t determined a statistically significant relationship between this trust, the type of dosimeter and the company that makes the readings(s) of their(s) dosimeter(s). The confidence in the readings is higher in public Health Organizations. 40.2% of the Health Organizations have medical monitoring plan and there is a disagreement between technologists, in some hospitals, relatively to the existence of this plan in their hospital. It was estimated that the u

Alkenones in surface waters of the Nordic seas

Samples of filtered particulate organic matter (POM) were obtained during the summers of 1999 and 2000 from the surface waters of the Nordic seas to monitor the spatial distribution of long-chain alkenones. The aim of the study was to appraise existing alkenone-based climatic proxies in northern high latitudes. Unusually high percentages of the tetraunsaturated alkenone were measured in the polar waters of the East Greenland Current, with C37:4 of up to 77% in 80% of sea-ice cover. Values of percent C37:4 across the Nordic seas showed a strong association with water mass type. Analysis of coccoliths in filters indicated that calcified Emiliania huxleyi could not be discounted as the biological precursor of alkenones in all the water masses. A combined data set of 69 samples of POM revealed a stronger correlation of percent C37:4 to sea surface salinity (SSS; R2 = 0.72) than to sea surface temperature (SST; R2 = 0.50). Values of percent C37:4 in sea surface POM were much higher than those in surficial sediments of the northern North Atlantic. To explain the discrepancy in sedimentary and surface water column percent C37:4, we propose that the alkenone contents in surface sediments underlying arctic and polar waters are a combination of autochthonous and allochthonous inputs of alkenones. Our results show that percent C37:4 can be used to reconstruct the relative extension of arctic/polar water masses in the North Atlantic. However, the results prevent confirmation of percent C37:4 as a paleo-SSS proxy in the Nordic seas, given its multivariate nature in our data set and the decoupling between its range of values in surface waters and sediments.

Teaching writing through reading: a text-centred approach

Se comparan y contrastan las destrezas requeridas para la comprensión lectora con aquellas que se necesitan para la producción de escritos correctos, en inglés, coherentes y bien cohesionados. Se comentan las actividades didácticas relacionadas con ello.The aim of this article is to establish the relevance of teaching reading and writing skills to students at Madrid Polytechnic University, and to show the relationship and interdependence of these activities in EAP courses. The skills involved in reading and writing processes for academic purposes for L2 students are compared and commented on from a rhetorical point of view. Learning tasks based on text-type analysis are recommended as adequate activities to build schemata for writing and represent a synthesis of the teaching objectives proposed for reading and writing English courses.

Astrophysical parameters of the peculiar X-ray transient IGR J11215−5952

Context. The current generation of X-ray satellites has discovered many new X-ray sources that are difficult to classify within the well-described subclasses. The hard X-ray source IGR J11215−5952 is a peculiar transient, displaying very short X-ray outbursts every 165 days. Aims. To characterise the source, we obtained high-resolution spectra of the optical counterpart, HD 306414, at different epochs, spanning a total of three months, before and around the 2007 February outburst with the combined aims of deriving its astrophysical parameters and searching for orbital modulation. Methods. We fit model atmospheres generated with the fastwind code to the spectrum, and used the interstellar lines in the spectrum to estimate its distance. We also cross-correlated each individual spectrum to the best-fit model to derive radial velocities. Results. From its spectral features, we classify HD 306414 as B0.5 Ia. From the model fit, we find Teff ≈ 24 700 K and log g ≈ 2.7, in good agreement with the morphological classification. Using the interstellar lines in its spectrum, we estimate a distance to HD 306414 d ≳ 7 kpc. Assuming this distance, we derive R∗ ≈ 40 R⊙ and Mspect ≈ 30 M⊙ (consistent, within errors, with Mevol ≈ 38 M⊙, and in good agreement with calibrations for the spectral type). Analysis of the radial velocity curve reveals that radial velocity changes are not dominated by the orbital motion, and provide an upper limit on the semi-amplitude for the optical component Kopt ≲ 11 ± 6 km   s-1. Large variations in the depth and shape of photospheric lines suggest the presence of strong pulsations, which may be the main cause of the radial velocity changes. Very significant variations, uncorrelated with those of the photospheric lines are seen in the shape and position of the Hα emission feature around the time of the X-ray outburst, but large excursions are also observed at other times. Conclusions. HD 306414 is a normal B0.5 Ia supergiant. Its radial velocity curve is dominated by an effect that is different from binary motion, and is most likely stellar pulsations. The data available suggest that the X-ray outbursts are caused by the close passage of the neutron star in a very eccentric orbit, perhaps leading to localised mass outflow.

PerR controls Mn-dependent resistance to oxidative stress in Neisseria gonorrhoeae

In previous studies it has been established that resistance to superoxide by Neisseria gonorrhoeae is dependent on the accumulation of Mn(II) ions involving the ABC transporter, MntABC. A mutant strain lacking the periplasmic binding protein component (MntC) of this transport system is hypersensitive to killing by superoxide anion. In this study the mntC mutant was found to be more sensitive to H2O2 killing than the wild-type. Analysis of regulation of MntC expression revealed that it was de-repressed under low Mn(II) conditions. The N. gonorrhoeae mntABC locus lacks the mntR repressor typically found associated with this locus in other organisms. A search for a candidate regulator of mntABC expression revealed a homologue of PerR, a Mn-dependent peroxide-responsive regulator found in Gram-positive organisms. A perR mutant expressed more MntC protein than wild-type, and expression was independent of Mn(II), consistent with a role for PerR as a repressor of mntABC expression. The PerR regulon of N. gonorrhoeae was defined by microarray analysis and includes ribosomal proteins, TonB-dependent receptors and an alcohol dehydrogenase. Both the mntC and perR mutants had reduced intracellular survival in a human cervical epithelial cell model.

A competência educativa do professor: concepções de professores com funções inspectivas

Dissertação de mest., Unidade de Ciências Exactas e Humanas, Escola Superior de Educação, Univ. do Algarve,1998

Right-angle crash vulnerability of motorcycles at signalized intersections : mixed logit analysis

Motorcycles are particularly vulnerable in right-angle crashes at signalized intersections. The objective of this study is to explore how variations in roadway characteristics, environmental factors, traffic factors, maneuver types, human factors as well as driver demographics influence the right-angle crash vulnerability of motorcycles at intersections. The problem is modeled using a mixed logit model with a binary choice category formulation to differentiate how an at-fault vehicle collides with a not-at-fault motorcycle in comparison to other collision types. The mixed logit formulation allows randomness in the parameters and hence takes into account the underlying heterogeneities potentially inherent in driver behavior, and other unobserved variables. A likelihood ratio test reveals that the mixed logit model is indeed better than the standard logit model. Night time riding shows a positive association with the vulnerability of motorcyclists. Moreover, motorcyclists are particularly vulnerable on single lane roads, on the curb and median lanes of multi-lane roads, and on one-way and two-way road type relative to divided-highway. Drivers who deliberately run red light as well as those who are careless towards motorcyclists especially when making turns at intersections increase the vulnerability of motorcyclists. Drivers appear more restrained when there is a passenger onboard and this has decreased the crash potential with motorcyclists. The presence of red light cameras also significantly decreases right-angle crash vulnerabilities of motorcyclists. The findings of this study would be helpful in developing more targeted countermeasures for traffic enforcement, driver/rider training and/or education, safety awareness programs to reduce the vulnerability of motorcyclists.

Type Test Elimination using Typeflow Analysis

Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would normally only be detected at program execution. This paper introduces the concepts of typeflow analysis and details its use in the reduction of runtime overhead in Oberon-2.

Development of accident modification factors on intersection crash maneuvers

In order to estimate the safety impact of roadway interventions engineers need to collect, analyze, and interpret the results of carefully implemented data collection efforts. The intent of these studies is to develop Accident Modification Factors (AMF's), which are used to predict the safety impact of various road safety features at other locations or in upon future enhancements. Models are typically estimated to estimate AMF's for total crashes, but can and should be estimated for crash outcomes as well. This paper first describes data collected with the intent estimate AMF's for rural intersections in the state of Georgia within the United Sates. Modeling results of crash prediction models for the crash outcomes: angle, head-on, rear-end, sideswipe (same direction and opposite direction) and pedestrian-involved crashes are then presented and discussed. The analysis reveals that factors such as the Annual Average Daily Traffic (AADT), the presence of turning lanes, and the number of driveways have a positive association with each type of crash, while the median width and the presence of lighting are negatively associated with crashes. The model covariates are related to crash outcome in different ways, suggesting that crash outcomes are associated with different pre-crash conditions.

Property damage crash equivalency factors to solve crash frequency-severity dilemma: Case study on South Korean rural roads

Safety interventions (e.g., median barriers, photo enforcement) and road features (e.g., median type and width) can influence crash severity, crash frequency, or both. Both dimensions—crash frequency and crash severity—are needed to obtain a full accounting of road safety. Extensive literature and common sense both dictate that crashes are not created equal, with fatalities costing society more than 1,000 times the cost of property damage crashes on average. Despite this glaring disparity, the profession has not unanimously embraced or successfully defended a nonarbitrary severity weighting approach for analyzing safety data and conducting safety analyses. It is argued here that the two dimensions (frequency and severity) are made available by intelligently and reliably weighting crash frequencies and converting all crashes to property-damage-only crash equivalents (PDOEs) by using comprehensive societal unit crash costs. This approach is analogous to calculating axle load equivalents in the prediction of pavement damage: for instance, a 40,000-lb truck causes 4,025 times more stress than does a 4,000-lb car and so simply counting axles is not sufficient. Calculating PDOEs using unit crash costs is the most defensible and nonarbitrary weighting scheme, allows for the simple incorporation of severity and frequency, and leads to crash models that are sensitive to factors that affect crash severity. Moreover, using PDOEs diminishes the errors introduced by underreporting of less severe crashes—an added benefit of the PDOE analysis approach. The method is illustrated with rural road segment data from South Korea (which in practice would develop PDOEs with Korean crash cost data).

Empirical analysis on relationship between traffic conditions and crash occurrences

This paper investigates relationship between traffic conditions and the crash occurrence likelihood (COL) using the I-880 data. To remedy the data limitations and the methodological shortcomings suffered by previous studies, a multiresolution data processing method is proposed and implemented, upon which binary logistic models were developed. The major findings of this paper are: 1) traffic conditions have significant impacts on COL at the study site; Specifically, COL in a congested (transitioning) traffic flow is about 6 (1.6) times of that in a free flow condition; 2)Speed variance alone is not sufficient to capture traffic dynamics’ impact on COL; a traffic chaos indicator that integrates speed, speed variance, and flow is proposed and shows a promising performance; 3) Models based on aggregated data shall be interpreted with caution. Generally, conclusions obtained from such models shall not be generalized to individual vehicles (drivers) without further evidences using high-resolution data and it is dubious to either claim or disclaim speed kills based on aggregated data.