Equine and human mutual welfare: a whole subject? Critical aspects and possible strategies in equine-assisted activities and therapies

General aim of the study is equine welfare, particularly concerning different husbandry methodic and inter-specific relational factors. Specific aim is the evaluation of possible mutual (to humans and to equines) benefits and the analysis of critical factors/strength points, of human-horse relationship within Therapeutic Riding context (TR). The peculiarities of human-horse relationship (compared to the bond with “Pet”) are analyzed, concerning their socio-anthropological, psychological, psycho-dynamic distinctive characteristics. 8 European representative therapeutic riding centers (TRC) were therefore selected (on the basis of their different animals’ husbandry criteria, and of the different rehabilitative methodologies adopted). TRC were investigated through 2 different questionnaires, specifically settled to access objective/subjective animal welfare parameters; the quality of human-horse relationship; technicians’ emotional experienced. 3 Centers were further selected, and behavioral (145 hours of behavioral recording) and physiological parameters (heart rate and heart rate variability) were evaluated, aimed to access equine welfare and horses’ adaptive responses/coping (towards general environment and towards TR job). Moreover a specific “handling-task” was ideated and experimented, aimed to measure the quality of TR technicians-horses relationship. We did therefore evaluate both the individual horses’ responses and the possible differences among Centers. Data collected highlight the lack of univocal standardized methodic, concerning the general animals’ management and the specific methodologies (aimed to improve animal welfare and to empower TR efficacy). Some positive and some critical aspects were detected concerning TR personnel-horse relationship. Another experimental approach did evaluate the efficacy (concerning the mutual benefits’ empowerment) of an “ethologically-fitted” TR intervention, aimed to educate children to and through the relationship with horses. Our data evidenced that the improvement of human horse relationship, through structured educational programs for TR personnel might have important consequences both to human and equine welfare.

Subject-specific musculoskeletal models of the lower limbs for the prediction of skeletal loads during motion

The determination of skeletal loading conditions in vivo and their relationship to the health of bone tissues, remain an open question. Computational modeling of the musculoskeletal system is the only practicable method providing a valuable approach to muscle and joint loading analyses, although crucial shortcomings limit the translation process of computational methods into the orthopedic and neurological practice. A growing attention focused on subject-specific modeling, particularly when pathological musculoskeletal conditions need to be studied. Nevertheless, subject-specific data cannot be always collected in the research and clinical practice, and there is a lack of efficient methods and frameworks for building models and incorporating them in simulations of motion. The overall aim of the present PhD thesis was to introduce improvements to the state-of-the-art musculoskeletal modeling for the prediction of physiological muscle and joint loads during motion. A threefold goal was articulated as follows: (i) develop state-of-the art subject-specific models and analyze skeletal load predictions; (ii) analyze the sensitivity of model predictions to relevant musculotendon model parameters and kinematic uncertainties; (iii) design an efficient software framework simplifying the effort-intensive phases of subject-specific modeling pre-processing. The first goal underlined the relevance of subject-specific musculoskeletal modeling to determine physiological skeletal loads during gait, corroborating the choice of full subject-specific modeling for the analyses of pathological conditions. The second goal characterized the sensitivity of skeletal load predictions to major musculotendon parameters and kinematic uncertainties, and robust probabilistic methods were applied for methodological and clinical purposes. The last goal created an efficient software framework for subject-specific modeling and simulation, which is practical, user friendly and effort effective. Future research development aims at the implementation of more accurate models describing lower-limb joint mechanics and musculotendon paths, and the assessment of an overall scenario of the crucial model parameters affecting the skeletal load predictions through probabilistic modeling.

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.