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.

Process-based modelling of lichens and bryophytes and their role in global biogeochemical cycles

This thesis presents a process-based modelling approach to quantify carbon uptake by lichens and bryophytes at the global scale. Based on the modelled carbon uptake, potential global rates of nitrogen fixation, phosphorus uptake and chemical weathering by the organisms are estimated. In this way, the significance of lichens and bryophytes for global biogeochemical cycles can be assessed. The model uses gridded climate data and key properties of the habitat (e.g. disturbance intervals) to predict processes which control net carbon uptake, namely photosynthesis, respiration, water uptake and evaporation. It relies on equations used in many dynamical vegetation models, which are combined with concepts specific to lichens and bryophytes, such as poikilohydry or the effect of water content on CO2 diffusivity. To incorporate the great functional variation of lichens and bryophytes at the global scale, the model parameters are characterised by broad ranges of possible values instead of a single, globally uniform value. The predicted terrestrial net uptake of 0.34 to 3.3 Gt / yr of carbon and global patterns of productivity are in accordance with empirically-derived estimates. Based on the simulated estimates of net carbon uptake, further impacts of lichens and bryophytes on biogeochemical cycles are quantified at the global scale. Thereby the focus is on three processes, namely nitrogen fixation, phosphorus uptake and chemical weathering. The presented estimates have the form of potential rates, which means that the amount of nitrogen and phosphorus is quantified which is needed by the organisms to build up biomass, also accounting for resorption and leaching of nutrients. Subsequently, the potential phosphorus uptake on bare ground is used to estimate chemical weathering by the organisms, assuming that they release weathering agents to obtain phosphorus. The predicted requirement for nitrogen ranges from 3.5 to 34 Tg / yr and for phosphorus it ranges from 0.46 to 4.6 Tg / yr. Estimates of chemical weathering are between 0.058 and 1.1 km³ / yr of rock. These values seem to have a realistic order of magnitude and they support the notion that lichens and bryophytes have the potential to play an important role for global biogeochemical cycles.

Offline grammar-based recognition of handwritten sentences

This paper proposes a sequential coupling of a Hidden Markov Model (HMM) recognizer for offline handwritten English sentences with a probabilistic bottom-up chart parser using Stochastic Context-Free Grammars (SCFG) extracted from a text corpus. Based on extensive experiments, we conclude that syntax analysis helps to improve recognition rates significantly.

Comparing satellite and ground-based observations of paroxysmal degassing events at Etna volcano, Italy

Mount Etna, Italy, is one of the most active volcanoes in the world, and is also regarded as one of the strongest volcanic sources of sulfur dioxide (SO2) emissions to the atmosphere. Since October 2004, an automated ultraviolet (UV) spectrometer network (FLAME) has provided ground-based SO2 measurements with high temporal resolution, providing an opportunity to validate satellite SO2 measurements at Etna. The Ozone Monitoring Instrument (OMI) on the NASA Aura satellite, which makes global daily measurements of trace gases in the atmosphere, was used to compare SO2 amount released by the volcano during paroxysmal lava-fountaining events from 2004 to present. We present the first comparison between SO2 emission rates and SO2 burdens obtained by the OMI transect technique and OMI Normalized Cloud-Mass (NCM) technique and the ground-based FLAME Mini-DOAS measurements. In spite of a good data set from the FLAME network, finding coincident OMI and FLAME measurements proved challenging and only one paroxysmal event provided a good validation for OMI. Another goal of this work was to assess the efficacy of the FLAME network in capturing paroxysmal SO2 emissions from Etna, given that the FLAME network is only operational during daylight hours and some paroxysms occur at night. OMI measurements are advantageous since SO2 emissions from nighttime paroxysms can often be quantified on the following day, providing improved constraints on Etna’s SO2 budget.

Quantile-Based Optimization of Noisy Computer Experiments with Tunable Precision

This article addresses the issue of kriging-based optimization of stochastic simulators. Many of these simulators depend on factors that tune the level of precision of the response, the gain in accuracy being at a price of computational time. The contribution of this work is two-fold: first, we propose a quantile-based criterion for the sequential design of experiments, in the fashion of the classical expected improvement criterion, which allows an elegant treatment of heterogeneous response precisions. Second, we present a procedure for the allocation of the computational time given to each measurement, allowing a better distribution of the computational effort and increased efficiency. Finally, the optimization method is applied to an original application in nuclear criticality safety. This article has supplementary material available online. The proposed criterion is available in the R package DiceOptim.

Cloud-based Orchestration of Multimedia Services and Applications

The Mobile Cloud Networking project develops among others, several virtualized services and applications, in particular: (1) IP Multimedia Subsystem as a Service that gives the possibility to deploy a virtualized and on-demand instance of the IP Multimedia Subsystem platform, (2) Digital Signage Service as a Service that is based on a re-designed Digital Signage Service architecture, adopting the cloud computing principles, and (3) Information Centric Networking/Content Delivery Network as a Service that is used for distributing, caching and migrating content from other services. Possible designs for these virtualized services and applications have been identified and are being implemented. In particular, the architectures of the mentioned services were specified, adopting cloud computing principles, such as infrastructure sharing, elasticity, on-demand and pay-as-you-go. The benefits of Reactive Programming paradigm are presented in the context of Interactive Cloudified Digital Signage services in a Mobile Cloud Platform, as well as the benefit of interworking between different Mobile Cloud Networking Services as Digital Signage Service and Content Delivery Network Service for better performance of Video on Demand content deliver. Finally, the management of Service Level Agreements and the support of rating, charging and billing has also been considered and defined.

Supporting Whole-Class Collaborative Inquiry in a Secondary Mathematics Classroom

Recent mathematics education reform efforts call for the instantiation of mathematics classroom environments where students have opportunities to reason and construct their understandings as part of a community of learners. Despite some successes, traditional models of instruction still dominate the educational landscape. This limited success can be attributed, in part, to an underdeveloped understanding of the roles teachers must enact to successfully organize and participate in collaborative classroom practices. Towards this end, an in-depth longitudinal case study of a collaborative high school mathematics classroom was undertaken guided by the following two questions: What roles do these collaborative practices require of teacher and students? How does the community’s capacity to engage in collaborative practices develop over time? The analyses produced two conceptual models: one of the teacher’s role, along with specific instructional strategies the teacher used to organize a collaborative learning environment, and the second of the process by which the class’s capacity to participate in collaborative inquiry practices developed over time.

The introduction of teaching innovations into the traditional teaching of construction and building materials

The traditional teaching methods used for training civil engineers are currently being called into question as a result of the new knowledge and skills now required by the labor market. In addition, the European Higher Education Area is requesting that students be given a greater say in their learning. In the subject called Construction and Building Materials at the Civil Engineering School of the Universidad Politécnica de Madrid, a path was set three academic years ago to lead to an improvement in traditional teaching by introducing active methodologies. The innovations are based on cooperative learning, new technologies, and continuous assessment. The writers’ proposal is to offer their experience as a contribution to the debate on how students can be encouraged to acquire the skills currently demanded from a civil engineer, though not overlooking solid, top-quality training. From the outcomes obtained, it can be concluded that using new teaching techniques to supplement a traditional approach provides more opportunities for students to learn while boosting their motivation. In our case, the introduction of these changes has resulted in an increased pass rate of 29% on average, when such a figure is considered in the light of the mean value of passes during the last decade.

The online case study development for the teaching of building structures reinforcement

The Reinforcement of Building Structures is one of the topics of the Master in Building Innovation Technology (MBIT) of Universidad Politécnica de Madrid (UPM). Since the beginning of the delivery of this master, case studies have been chosen as the teaching methodology. For the 2011-2012 course the online education of this subject was implemented, instead of the classical learning based on attendance. Through ICT’s (Information and Communication Technologies) students are provided with much more and more selective information than through the classical learning. ICT’s can be used for search, enquiries and reporting. Using the online tools has been proved, through the results obtained and based on the surveys made amongst students, to be a successful experience.

Innovation in the teaching of sustainable development in Europe: the case of ISLE Erasmus Network

Sustainable Development (SD) is one of the most widely used terms during the last years. It is a multidisciplinary concept, which applies mostly to life sciences but is not limited to them. Even though the short survey conducted by the authors revealed that there are only a few cases of Higher Educational Institutes (HEIs) around Europe that provide programs dedicated to SD, it is obvious that there is a constant raise in the need for implementing courses related to SD in existing programs. This paper discusses the case study of I.S.L.E., an Erasmus Academic Network, which aims to use the existing knowledge and tools in the context of teaching sustainable development topics in Universities and HEIs around Europe as a basis, and elaborate further by introducing an innovative approach towards the improvement of teaching SD in HEIs, based on the current needs as they are identified by the actions of the Network.

Symposium on mathematics for engineering students being the proceedings of the joint sessions of the Chicago section of the American mathematical society and Section A, Mathematics, and Section D, Mechanical science and engineering of the American Association for the Advancement of Science held at the University of Chicago December 30 and 31, 1907.

Caption title: The American Association for the Advancement of Science. Section D--Mechanical science and engineering. Engineering Mathematics symposium.

A philosophy of mathematics.

"Based upon courses in philosophy of mathematics given at the University of North Carolina."

A new tool for measurement of process-based performance of multispecialty tertiary care hospitals

There is an increasing need of a model for the process-based performance measurement of multispecialty tertiary care hospitals for quality improvement. Analytic hierarchy process (AHP) is utilized in this study to evolve such a model. Each step in the model was derived by group-discussions and brainstorming sessions among experienced clinicians and managers. This tool was applied to two tertiary care teaching hospitals in Barbados and India. The model enabled identification of specific areas where neither hospital performed very well, and helped to suggest recommendations to improve those areas. AHP is recommended as a valuable tool to measure the process-based performance of multispecialty tertiary care hospitals. © Emerald Group Publishing Limited.

The effects of peer teaching of infant massage on general elf-efficacy and mother infant attachment among mothers in a residential rehabilitation facility for drug addiction and substance abuse

Approximately 200 million people, 5% aged 15-64 worldwide are illicit drug or substance abusers (World Drug Report, 2006). Between 2002 and 2005, an average of 8.2% of 12 year olds and older in the Miami, Fort Lauderdale metropolitan areas used illicit drugs (SAMHSA, 2007). Eight percent of pregnant women, aged 15 to 25, were more likely to have used illicit drugs during pregnancy than pregnant women aged 26 to 44. Alcohol use was 9.8% and cigarette use was 18% for pregnant women aged 15 to 44 (SAMHSA, 2005). Approximately a quarter of annual birth defects are attributed to the exposure of drugs or substance abuse in utero (General Accounting Office, 1991). Physical, psychological and emotional challenges may be present for the illicit drug/substance abuse (ID/SA) mother and infant placing them at a disadvantage early in their relationship (Shonkoff & Marshall, 1990). Mothers with low self efficacy have insecurely attached infants (Donovan, Leavitt, & Walsh, 1987). As the ID/SA mother struggles with wanting to be a good parent, education is needed to help her care for her infant. In this experimental study residential rehabilitating ID/SA mothers peer taught infant massage. Massage builds bonding/attachment between mother and infant (Reese & Storm, 2008) and peer teaching is effective because participants have faced similar challenges and speak the same language (Boud, Cohen, & Sampson 2001). Quantitative data were collected using the General Self-Efficacy and Maternal Attachment Inventory-Revised Scale before and after the 4-week intervention program. A reported result of this study was that empowering ID/SA mothers increased their self-efficacy, which in turn allowed the mothers to tackle challenges encountered and created feelings of being a fit mother to their infants. This research contributes to the existing database promoting evidence-based practice in drug rehabilitation centers. Healthcare personnel, such as nurse educators and maternal-child health practitioners, can develop programs in drug rehabilitation centers that cultivate an environment where the ID/SA rehabilitating mothers can peer teach each other, while creating a support system. Using infant massage as a therapeutic tool can develop a healthy infant and nurture a more positive relationship between mother and infant.