Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Why do Municipalities Recycle?

The disposal of municipal solid waste is believed to emit foul odor, threaten groundwater, and increase road congestion. As remote regional landfills have replaced local town dumps, these costs are no longer internalized by garbage-producing households or their municipalities. Instead, rural property owners located adjacent to large regional landfills and along the roadways accessing those landfills bear the external costs of garbage disposal. This paper uses a comprehensive nine-year panel data set of aggregated state data to empirically examine why 8,937 municipalities continue to operate costly recycling programs designed to reduce the external costs of garbage disposal. Results suggest that local tastes for recycling drive municipal decisions. If household preferences for recycling are short lived, then we can expect a future decrease in the number of municipal recycling programs. Recent data indicate the number of recycling programs in operation in the U.S. has indeed fallen.

The Effects of Interstate Speed Limit Increases: Fatality Rates and Traffic Diversion Versus Speed Spillover

This thesis examines two panel data sets of 48 states from 1981 to 2009 and utilizes ordinary least squares (OLS) and fixed effects models to explore the relationship between rural Interstate speed limits and fatality rates and whether rural Interstate speed limits affect non-Interstate safety. Models provide evidence that rural Interstate speed limits higher than 55 MPH lead to higher fatality rates on rural Interstates though this effect is somewhat tempered by reductions in fatality rates for roads other than rural Interstates. These results provide some but not unanimous support for the traffic diversion hypothesis that rural Interstate speed limit increases lead to decreases in fatality rates of other roads. To the author’s knowledge, this paper is the first econometric study to differentiate between the effects of 70 MPH speed limits and speed limits above 70 MPH on fatality rates using a multi-state data set. Considering both rural Interstates and other roads, rural Interstate speed limit increases above 55 MPH are responsible for 39,700 net fatalities, 4.1 percent of total fatalities from 1987, the year limits were first raised, to 2009.

Performance Modeling Of Reconfigurable Distributed Systems Based On The Opensparc Fpga Board And The Sirc Communication Framewor

This thesis explores system performance for reconfigurable distributed systems and provides an analytical model for determining throughput of theoretical systems based on the OpenSPARC FPGA Board and the SIRC Communication Framework. This model was developed by studying a small set of variables that together determine a system¿s throughput. The importance of this model is in assisting system designers to make decisions as to whether or not to commit to designing a reconfigurable distributed system based on the estimated performance and hardware costs. Because custom hardware design and distributed system design are both time consuming and costly, it is important for designers to make decisions regarding system feasibility early in the development cycle. Based on experimental data the model presented in this paper shows a close fit with less than 10% experimental error on average. The model is limited to a certain range of problems, but it can still be used given those limitations and also provides a foundation for further development of modeling reconfigurable distributed systems.

Concordance Probability and Discriminatory Power in Proportional Hazards Regression

The concordance probability is used to evaluate the discriminatory power and the predictive accuracy of nonlinear statistical models. We derive an analytic expression for the concordance probability in the Cox proportional hazards model. The proposed estimator is a function of the regression parameters and the covariate distribution only and does not use the observed event and censoring times. For this reason it is asymptotically unbiased, unlike Harrell's c-index based on informative pairs. The asymptotic distribution of the concordance probability estimate is derived using U-statistic theory and the methodology is applied to a predictive model in lung cancer.

Perceptual Learning via Modification of Cortical Top-Down Signals

The primary visual cortex (V1) is pre-wired to facilitate the extraction of behaviorally important visual features. Collinear edge detectors in V1, for instance, mutually enhance each other to improve the perception of lines against a noisy background. The same pre-wiring that facilitates line extraction, however, is detrimental when subjects have to discriminate the brightness of different line segments. How is it possible to improve in one task by unsupervised practicing, without getting worse in the other task? The classical view of perceptual learning is that practicing modulates the feedforward input stream through synaptic modifications onto or within V1. However, any rewiring of V1 would deteriorate other perceptual abilities different from the trained one. We propose a general neuronal model showing that perceptual learning can modulate top-down input to V1 in a task-specific way while feedforward and lateral pathways remain intact. Consistent with biological data, the model explains how context-dependent brightness discrimination is improved by a top-down recruitment of recurrent inhibition and a top-down induced increase of the neuronal gain within V1. Both the top-down modulation of inhibition and of neuronal gain are suggested to be universal features of cortical microcircuits which enable perceptual learning.

CHARACTERIZING, ASSESSING AND IMPROVING HEALTHCARE REFERRAL COMMUNICATION

Similar to other health care processes, referrals are susceptible to breakdowns. These breakdowns in the referral process can lead to poor continuity of care, slow diagnostic processes, delays and repetition of tests, patient and provider dissatisfaction, and can lead to a loss of confidence in providers. These facts and the necessity for a deeper understanding of referrals in healthcare served as the motivation to conduct a comprehensive study of referrals. The research began with the real problem and need to understand referral communication as a mean to improve patient care. Despite previous efforts to explain referrals and the dynamics and interrelations of the variables that influence referrals there is not a common, contemporary, and accepted definition of what a referral is in the health care context. The research agenda was guided by the need to explore referrals as an abstract concept by: 1) developing a conceptual definition of referrals, and 2) developing a model of referrals, to finally propose a 3) comprehensive research framework. This dissertation has resulted in a standard conceptual definition of referrals and a model of referrals. In addition a mixed-method framework to evaluate referrals was proposed, and finally a data driven model was developed to predict whether a referral would be approved or denied by a specialty service. The three manuscripts included in this dissertation present the basis for studying and assessing referrals using a common framework that should allow an easier comparative research agenda to improve referrals taking into account the context where referrals occur.

Transient simulations of the carbon and nitrogen dynamics in northern peatlands: from the Last Glacial Maximum to the 21st century

The development of northern high-latitude peatlands played an important role in the carbon (C) balance of the land biosphere since the Last Glacial Maximum (LGM). At present, carbon storage in northern peatlands is substantial and estimated to be 500 ± 100 Pg C (1 Pg C = 1015 g C). Here, we develop and apply a peatland module embedded in a dynamic global vegetation and land surface process model (LPX-Bern 1.0). The peatland module features a dynamic nitrogen cycle, a dynamic C transfer between peatland acrotelm (upper oxic layer) and catotelm (deep anoxic layer), hydrology- and temperature-dependent respiration rates, and peatland specific plant functional types. Nitrogen limitation down-regulates average modern net primary productivity over peatlands by about half. Decadal acrotelm-to-catotelm C fluxes vary between −20 and +50 g C m−2 yr−1 over the Holocene. Key model parameters are calibrated with reconstructed peat accumulation rates from peat-core data. The model reproduces the major features of the peat core data and of the observation-based modern circumpolar soil carbon distribution. Results from a set of simulations for possible evolutions of northern peat development and areal extent show that soil C stocks in modern peatlands increased by 365–550 Pg C since the LGM, of which 175–272 Pg C accumulated between 11 and 5 kyr BP. Furthermore, our simulations suggest a persistent C sequestration rate of 35–50 Pg C per 1000 yr in present-day peatlands under current climate conditions, and that this C sink could either sustain or turn towards a source by 2100 AD depending on climate trajectories as projected for different representative greenhouse gas concentration pathways.

Gender differences at the transition to higher education between migrants and non-migrants: A comparison between Switzerland and France

Within Western societies women or girls meanwhile outperform men or boys with regard to attainments in primary and secondary education. For example concerning upper secondary degrees the share of females attaining the Matura approaches two thirds in Switzerland, while the share of females attaining the Baccalaureate exceeds fifty per cent in France. However, if transitions to higher education are regarded, the share of entitled females entering such institutions is significantly lower than among men in Switzerland. An opposite pattern is observed in France where females outperform men at this educational stage, too. With regard to migrant background, it has been shown by previous research focussing on secondary effects of ethnic origin that such youths enter the more demanding educational tracks (e.g. higher education) more often than their non-migrant peers if controlled for eligibility, their lower socioeconomic status and performances. However, so far only a few studies refer to the question of a possible gender gap regarding secondary effects of ethnic origin (e.g. Fleischmann et al., mimeo). Thus, with regard to a possible interaction of a migrant background and - for example - a female gender, it is important to note that in both countries many migrant groups have their origins in countries and regions where male advantage remains very strong. This is in particular the case for migrant groups from non-Western countries, e.g. Turkey, Algeria, Marocco or Tunisie, where gender gaps in the literacy rates of up to 18 per cent are still observed. In order to investigate the question of a possible disadvantages of women with a migrant background stemming from such countries when compared to non-migrant females two panel studies - the Tree data in Switzerland and the Panel d’élèves 1995 in France -, are analysed.

The Value of Adding Optics to Ecosystem Models: A Case Study

Many ecosystem models have been developed to study the ocean's biogeochemical properties, but most of these models use simple formulations to describe light penetration and spectral quality. Here, an optical model is coupled with a previously published ecosystem model that explicitly represents two phytoplankton (picoplankton and diatoms) and two zooplankton functional groups, as well as multiple nutrients and detritus. Surface ocean color fields and subsurface light fields are calculated by coupling the ecosystem model with an optical model that relates biogeochemical standing stocks with inherent optical properties (absorption, scattering); this provides input to a commercially available radiative transfer model (Ecolight). We apply this bio-optical model to the equatorial Pacific upwelling region, and find the model to be capable of reproducing many measured optical properties and key biogeochemical processes in this region. Our model results suggest that non-algal particles largely contribute to the total scattering or attenuation (> 50% at 660 nm) but have a much smaller contribution to particulate absorption (< 20% at 440 nm), while picoplankton dominate the total phytoplankton absorption (> 95% at 440 nm). These results are consistent with the field observations. In order to achieve such good agreement between data and model results, however, key model parameters, for which no field data are available, have to be constrained. Sensitivity analysis of the model results to optical parameters reveals a significant role played by colored dissolved organic matter through its influence on the quantity and quality of the ambient light. Coupling explicit optics to an ecosystem model provides advantages in generating: (1) a more accurate subsurface light-field, which is important for light sensitive biogeochemical processes such as photosynthesis and photo-oxidation, (2) additional constraints on model parameters that help to reduce uncertainties in ecosystem model simulations, and (3) model output which is comparable to basic remotely-sensed properties. In addition, the coupling of biogeochemical models and optics paves the road for future assimilation of ocean color and in-situ measured optical properties into the models.

Elucidating the internal structure of psychophysical timing performance in the sub-second and second range by utilizing confirmatory factor analysis

The most influential theoretical account in time psychophysics assumes the existence of a unitary internal clock based on neural counting. The distinct timing hypothesis, on the other hand, suggests an automatic timing mechanism for processing of durations in the sub-second range and a cognitively controlled timing mechanism for processing of durations in the range of seconds. Although several psychophysical approaches can be applied for identifying the internal structure of interval timing in the second and sub-second range, the existing data provide a puzzling picture of rather inconsistent results. In the present chapter, we introduce confirmatory factor analysis (CFA) to further elucidate the internal structure of interval timing performance in the sub-second and second range. More specifically, we investigated whether CFA would rather support the notion of a unitary timing mechanism or of distinct timing mechanisms underlying interval timing in the sub-second and second range, respectively. The assumption of two distinct timing mechanisms which are completely independent of each other was not supported by our data. The model assuming a unitary timing mechanism underlying interval timing in both the sub-second and second range fitted the empirical data much better. Eventually, we also tested a third model assuming two distinct, but functionally related mechanisms. The correlation between the two latent variables representing the hypothesized timing mechanisms was rather high and comparison of fit indices indicated that the assumption of two associated timing mechanisms described the observed data better than only one latent variable. Models are discussed in the light of the existing psychophysical and neurophysiological data.

Assessing the Potential of Multiple Imputation in Sequence Analysis

Sequence analysis and optimal matching are useful heuristic tools for the descriptive analysis of heterogeneous individual pathways such as educational careers, job sequences or patterns of family formation. However, to date it remains unclear how to handle the inevitable problems caused by missing values with regard to such analysis. Multiple Imputation (MI) offers a possible solution for this problem but it has not been tested in the context of sequence analysis. Against this background, we contribute to the literature by assessing the potential of MI in the context of sequence analyses using an empirical example. Methodologically, we draw upon the work of Brendan Halpin and extend it to additional types of missing value patterns. Our empirical case is a sequence analysis of panel data with substantial attrition that examines the typical patterns and the persistence of sex segregation in school-to-work transitions in Switzerland. The preliminary results indicate that MI is a valuable methodology for handling missing values due to panel mortality in the context of sequence analysis. MI is especially useful in facilitating a sound interpretation of the resulting sequence types.

Educational Systems and Gender Segregation in Education: A Three-Country Comparison of Germany, Norway and Canada

How do institutional settings and their embedded policy principles affect gender-typed enrolment in educational programmes? Based on gender-sensitive theories on career choice, we hypothesised that gender segregation in education is higher with a wider range of offers of vocational programmes. By analysing youth survey and panel data, we tested this assumption for Germany, Norway and Canada, three countries whose educational systems represent a different mix of academic, vocational and universalistic education principles. We found that vocational programmes are considerably more gender-segregated than are academic (e.g. university) programmes. Men, more so than women, can avoid gender-typed programmes by passing on to a university education. This in turn means that as long as their secondary school achievement does not allow for a higher education career, they have a higher likelihood of being allocated to male-typed programmes in the vocational education and training (VET) system. In addition, social background and the age at which students have to choose educational offers impact on the transition to gendered educational programmes. Overall, gender segregation in education is highest in Germany and the lowest in Canada. We interpret the differences between these countries with respect to the constellations of educational principles and policies in the respective countries.

Geschlechtsspezifische Berufswünsche und Ausbildungsentscheidungen

Dass es geschlechtstypische Berufe gibt, und dass die Berufsaspirationen und die Wahl der Berufsausbildung nach der Pflichtschulzeit zwischen den Geschlechtern deutlich differieren, ist eine vielfach empirisch belegte Tatsache. Diese geschlechtstypische Segregation bei der Berufswahl und der zum ausgewählten Beruf führenden schulischen und beruflichen Ausbildung wird bei der Erklärung oftmals (pauschal) auf die geschlechtsspezifische Sozialisation und darin vermittelte Geschlechterstereotype zurückgeführt. Im vorliegenden Beitrag werden aus strukturell-individualistischer Sicht Mechanismen der geschlechtstypischen Berufsaspiration und Berufsbildungsentscheidung beschrieben, die theoriegeleitet empirisch aufgedeckt werden sollen. Für die Analysen werden Daten der drei Wellen des DAB-Panels verwendet, die für die Deutschschweiz Informationen von 203 Schulklassen mit rund 3.300 Schülerinnen und Schüler zur Verfügung stellen. Mittels dieser Paneldaten wird für Jugendliche der Deutschschweiz gezeigt, dass der sozioökonomische Status des Elternhauses, das damit einhergehende Motiv des intergenerationalen Statuserhalts sowie der Lebenslaufplanungen wichtige Beiträge zur Erklärung der Segregation der Berufswahl nach Geschlecht liefern. Diese mit dem Sozialstatus des Elternhauses verbundenen Mechanismen sind weitaus einflussreicher als die geschlechtsspezifische Sozialisation.