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.

Structural verification of the ESEO spacecraft: from launch loads analysis to composite panels verification

The present thesis work was performed in the frame of ESEO (European Student Earth Orbiter) project. The activities that are described in this document were carried out in the Microsatellites and Space Micro systems Lab led by Professor Paolo Tortora and in ALMASpace company facilities. The thesis deals with ESEO structural analysis, at system and unit level, and verification: after determining the design limit loads to be applied to the spacecraft as an envelope of different launchers load profiles, a finite element structural analysis was performed on the model of the satellite in order to ensure the capability to withstand the loads encountered during the launch; all the analyses were performed according to ESA standards and using the software MSC NASTRAN SIMXPERT. Amplification factors were derived and used to determine loads to be considered at unit level. In particular structural analyses were carried out on the GPS unit, the payload developed for ESEO by students of University of Bologna and results were used in the preparation of GPS payload design definition file. As for the verification phase a study on the panels and inserts to be used in the spacecraft was performed: different designs were created exploiting methods to optimize weight and mechanical behavior. The configurations have been analyzed and results compared to select the final design.

Gray matter volume differences specific to formal thought disorder in schizophrenia

Formal thought disorder (FTD) is one of the main symptoms of schizophrenia. To date there are no whole brain volumetric studies investigating gray matter (GM) differences specifically associated with FTD. Here, we studied 20 right-handed schizophrenia patients that differed in the severity of formal thought disorder and 20 matched healthy controls, using voxel-based morphometry (VBM). The severity of FTD was measured with the Scale for the Assessment of Thought, Language, and Communication. The severity was negatively correlated with the GM volume of the left superior temporal sulcus, the left temporal pole, the right middle orbital gyrus and the right cuneus/lingual gyrus. Structural abnormalities specific for FTD were found to be unrelated to GM differences associated with schizophrenia in general. The specific GM abnormalities within the left temporal lobe may help to explain language disturbances included in FTD.

Semantic network disconnection in formal thought disorder

Structural and functional findings in schizophrenic patients with formal thought disorder (FTD) show abnormalities within left-side semantic areas. The present study investigate the network function of the involved brain regions as a function of FTD severity.

Life on the Edge: Patterns of Formal and Informal Help to Older Adults in the United States and Sweden

Objectives Our objective in this study was to compare assistance received by individuals in the United States and Sweden with characteristics associated with low, moderate, or high 1-year placement risk in the United States. Methods We used longitudinal nationally representative data from 4,579 participants aged 75 years and older in the 1992 and 1993 waves of the Medicare Current Beneficiary Survey (MCBS) and cross-sectional data from 1,379 individuals aged 75 years and older in the Swedish Aging at Home (AH) national survey for comparative purposes. We developed a logistic regression equation using U.S. data to identify individuals with 3 levels (low, moderate, or high) of predicted 1-year institutional placement risk. Groups with the same characteristics were identified in the Swedish sample and compared on formal and informal assistance received. Results Formal service utilization was higher in Swedish sample, whereas informal service use is lower overall. Individuals with characteristics associated with high placement risk received more formal and less informal assistance in Sweden relative to the United States. Discussion Differences suggest formal services supplement informal support in the United States and that formal and informal services are complementary in Sweden.

The Effects of Privatization of State-Owned Enterprises in Poland and East Germany

The main goal of this project was to propose appropriate methods of analysing the effects of the privatisation of state-owned enterprises, methods which were then tested on a limited sample of 16 Polish and 8 German enterprises privatised in 1992. A considerable amount of information was collected relating to the six-year period 1989-1994 relating to most aspects of the companies' activities. The effects of privatisation were taken to be those changes within the enterprises which were the result of privatisation, in such areas as production, the productivity of labour and fixed assets, investments and innovations, employment and wages, economic incentives (especially for top managers), financing (internal and external sources), bad debts and economic effects (financial analysis). A second important goal was to identify the main factors which represent methodological obstacles in surveys of the effects of privatisation during a period of fundamental transformation of the entire economic system. The list of enterprises for the research was compiled in such a way as to allow for the differentiation of ownership structures of privatised firms and to permit (at least to a certain extent) the empirical verification of some hypotheses regarding the privatisation process. The enterprises selected were divided into the following three groups representing (as far as possible) various types of ownership structures or types of control: (1) enterprises control by strategic investors (domestic or foreign), (2) enterprises controlled by employees (employee-owned companies), (3) enterprises controlled by managers. Formal methods such as econometric models with varying parameters were used to separate pure privatisation effects from other factors which influence various aspects of an enterprise's working, including policies on the productivity of labour and capital, average wages, the remuneration of top managers, etc. While the group admits that their findings and conclusions cannot be treated as representative of all privatised enterprises in Poland and Germany, they found considerable convergence with their findings and those of other surveys conducted on a wider scale. The main hypotheses that were confirmed included that privatisation (especially in companies controlled by large investors and managers) leads to a significant increase in the effectiveness of these production process, growing pay differentials between different employee groups (e.g. between executives and rank-and-file employees) and between different jobs and positions within particular professional groups. They also confirmed the growing importance in incentives to top executives of incentives linked with the company's economic effects (particularly profit-related incentives), long-term incentives and the capital market.

[Verification of normative values for the Swiss version of the Freiburg speech intelligibility test.]

BACKGROUND AND OBJECTIVE: In the Swiss version of the Freiburg speech intelligibility test five test words from the original German recording which are rarely used in Switzerland have been exchanged. Furthermore, differences in the transfer functions between headphone and loudspeaker presentation are not taken into account during calibration. New settings for the levels of the individual test words in the recommended recording and small changes in calibration procedures led us to make a verification of the currently used normative values.PATIENTS AND METHODS: Speech intelligibility was measured in 20 subjects with normal hearing using monosyllabic words and numbers via headphones and loudspeakers.RESULTS: On average, 50% speech intelligibility was reached at levels which were 7.5 dB lower under free-field conditions than for headphone presentation. The average difference between numbers and monosyllabic words was found to be 9.6 dB, which is considerably lower than the 14 dB of the current normative curves.CONCLUSIONS: There is a good agreement between our measurements and the normative values for tests using monosyllabic words and headphones, but not for numbers or free-field measurements.

Isolated Islands? Memory of the Holocaust in Formal and Non-Formal Education. The Case Study of Post-Communist Poland

Existing studies revealed several conflicts around the memory of the Holocaust in Poland: between understanding the need to teach about the Holocaust and indifference toward anti-Jewish graffiti; a conflict around the perception of Polish help to Jews; and the competing images of Polish and Jewish suffering during World War II. Those conflicts will be addressed in the paper as reflecting educational gaps in the Polish education system (lack of bad memory). This paper will look at the consciousness of young Poles, in terms of attitudes toward Jews, the Holocaust and memory of the Holocaust. The data presented are the preliminary results of the author’s longitudinal study „Attitudes of Young Poles toward the Jews and the Holocaust”. Quantitative and qualitative studies include field studies and participant observation of educational projects in Tykocin, Treblinka, Warsaw, Lublin, Bodzentyn and Kielce. The paper will present some components of the development of education about the Holocaust in Poland. There is a need to evaluate the attempt to bring back the memory of Jewish neighbours in some of the states of Central and Eastern Europe, a process with an ongoing effort to renovate monuments, destroyed cemeteries and synagogues. The number and scope of such initiatives in Poland indicate that civic institutions and individuals are intensifying their efforts to teach their fellow citizens about the Holocaust, however their impact should be assessed in detail.