Estensione dell'interfaccia grafica in tuprolog per Android

L’obiettivo di questa tesi è quello di estendere l’interfaccia grafica di tuProlog nella versione per Android, il più diffuso sistema operativo per tablet e smartphone. TuProlog è un’ interprete Prolog interamente scritto in java, leggero e open–source. L’applicazione è disponibile sotto forma di archivio JAR eseguibile e può essere utilizzato tramite un’interfaccia a riga di comando, nella versione Java, o per mezzo di interfacce grafiche negli ambienti Java, .NET e Android. La versione per Android supporta pienamente Java e la maggior parte delle librerie dell’applicativo per JVM. Lo sviluppo di applicazioni per dispositivi mobile, però, limita lo sviluppatore in termini di complessità delle elaborazioni effettuabili dal programma e comprensibilità dell’interfaccia grafica; per questi e altri motivi, la struttura dell’applicativo in versione Android, fatta eccezione per il core Prolog, è diversa dalle versioni per altri ambienti. L’applicazione, giunta ora alla versione 2.7.2, manca della possibilità di input da console in tutte le versioni ad interfaccia grafica. Scopo di questa tesi è quindi integrare tale funzionalità, inserendola all’interno del contesto applicativo senza modificare il normale flusso delle operazioni, intervenendo in modo mirato, il meno invasivo possibile e garantendo l’espandibilità della modifica ad estensioni future.

The COLOSS BEEBOOK Volume I, Standard methods for Apis mellifera research: Introduction

The COLOSS BEEBOOK is a practical manual compiling standard methods in all fields of research on the western honey bee, Apis mellifera. The COLOSS network was founded in 2008 as a consequence of the heavy and frequent losses of managed honey bee colonies experienced in many regions of the world (Neumann and Carreck, 2010). As many of the world’s honey bee research teams began to address the problem, it soon became obvious that a lack of standardized research methods was seriously hindering scientists’ ability to harmonize and compare the data on colony losses obtained internationally. In its second year of activity, during a COLOSS meeting held in Bern, Switzerland, the idea of a manual of standardized honey bee research methods emerged. The manual, to be called the COLOSS BEEBOOK, was inspired by publications with similar purposes for fruit fly research (Lindsley and Grell, 1968; Ashburner 1989; Roberts, 1998; Greenspan, 2004).

The COLOSS BEEBOOK Volume II, Standard methods for Apis mellifera pest and pathogen research: Introduction

The COLOSS BEEBOOK is a practical manual compiling standard methods in all fields of research on the western honey bee, Apis mellifera. The COLOSS network was founded in 2008 as a consequence of the heavy and frequent losses of managed honey bee colonies experienced in many regions of the world (Neumann and Carreck, 2010). As many of the world’s honey bee research teams began to address the problem, it soon became obvious that a lack of standardized research methods was seriously hindering scientists’ ability to harmonize and compare the data on colony losses obtained internationally. In its second year of activity, during a COLOSS meeting held in Bern, Switzerland, the idea of a manual of standardized honey bee research methods emerged. The manual, to be called the COLOSS BEEBOOK, was inspired by publications with similar purposes for fruit fly research (Lindsley and Grell, 1968; Ashburner, 1989; Roberts, 1998; Greenspan, 2004).

Standard methods for Nosema research

Methods are described for working with Nosema apis and Nosema ceranae in the field and in the laboratory. For fieldwork, different sampling methods are described to determine colony level infections at a given point in time, but also for following the temporal infection dynamics. Suggestions are made for how to standardise field trials for evaluating treatments and disease impact. The laboratory methods described include different means for determining colony level and individual bee infection levels and methods for species determination, including light microscopy, electron microscopy, and molecular methods (PCR). Suggestions are made for how to standardise cage trials, and different inoculation methods for infecting bees are described, including control methods for spore viability. A cell culture system for in vitro rearing of Nosema spp. is described. Finally, how to conduct different types of experiments are described, including infectious dose, dose effects, course of infection and longevity tests

Standard methods for maintaining adult Apis mellifera in cages under in vitro laboratory conditions

Adult honey bees are maintained in vitro in laboratory cages for a variety of purposes. For example, researchers may wish to perform experiments on honey bees caged individually or in groups to study aspects of parasitology, toxicology, or physiology under highly controlled conditions, or they may cage whole frames to obtain newly emerged workers of known age cohorts. Regardless of purpose, researchers must manage a number of variables, ranging from selection of study subjects (e.g. honey bee subspecies) to experimental environment (e.g. temperature and relative humidity). Although decisions made by researchers may not necessarily jeopardize the scientific rigour of an experiment, they may profoundly affect results, and may make comparisons with similar, but independent, studies difficult. Focusing primarily on workers, we provide recommendations for maintaining adults under in vitro laboratory conditions, whilst acknowledging gaps in our understanding that require further attention. We specifically describe how to properly obtain honey bees, and how to choose appropriate cages, incubator conditions, and food to obtain biologically relevant and comparable experimental results. Additionally, we provide broad recommendations for experimental design and statistical analyses of data that arises from experiments using caged honey bees. The ultimate goal of this, and of all COLOSS BEEBOOK papers, is not to stifle science with restrictions, but rather to provide researchers with the appropriate tools to generate comparable data that will build upon our current understanding of honey bees.

Involvement of heparin-like glycosaminoglycans and expression of a novel heparan sulfate binding protein (p24) during human placentation and in a model for human implantation

Previous studies in our laboratory have indicated that heparan sulfate proteoglycans (HSPGs) play an important role in murine embryo implantation. To investigate the potential function of HSPGs in human implantation, two human cell lines (RL95 and JAR) were selected to model uterine epithelium and embryonal trophectoderm, respectively. A heterologous cell-cell adhesion assay showed that initial binding between JAR and RL95 cells is mediated by cell surface glycosaminoglycans (GAG) with heparin-like properties, i.e., heparan sulfate and dermatan sulfate. Furthermore, a single class of highly specific, protease-sensitive heparin/heparan sulfate binding sites exist on the surface of RL95 cells. Three heparin binding, tryptic peptide fragments were isolated from RL95 cell surfaces and their amino termini partially sequenced. Reverse transcription-polymerase chain reaction (RT-PCR) generated 1 to 4 PCR products per tryptic peptide. Northern blot analysis of RNA from RL95 cells using one of these RT-PCR products identified a 1.2 Kb mRNA species (p24). The amino acid sequence predicted from the cDNA sequence contains a putative heparin-binding domain. A synthetic peptide representing this putative heparin binding domain was used to generate a rabbit polyclonal antibody (anti-p24). Indirect immunofluorescence studies on RL95 and JAR cells as well as binding studies of anti-p24 to intact RL95 cells demonstrate that p24 is distributed on the cell surface. Western blots of RL95 membrane preparations identify a 24 kDa protein (p24) highly enriched in the 100,000 g pellet plasma membrane-enriched fraction. p24 eluted from membranes with 0.8 M NaCl, but not 0.6 M NaCl, suggesting that it is a peripheral membrane component. Solubilized p24 binds heparin by heparin affinity chromatography and $\sp{125}$I-heparin binding assays. Furthermore, indirect immunofluorescence studies indicate that cytotrophoblast of floating and attached villi of the human fetal-maternal interface are recognized by anti-p24. The study also indicates that the HSPG, perlecan, accumulates where chorionic villi are attached to uterine stroma and where p24-expressing cytotrophoblast penetrate the stroma. Collectively, these data indicate that p24 is a cell surface membrane-associated heparin/heparan sulfate binding protein found in cytotrophoblast, but not many other cell types of the fetal-maternal interface. Furthermore, p24 colocalizes with HSPGs in regions of cytotrophoblast invasion. These observations are consistent with a role for HSPGs and HSPG binding proteins in human trophoblast-uterine cell interactions. ^

cDNA cloning and expression of a novel cell surface-expressed \b heparan sulfate/heparin \b interacting \b protein (HIP) from human cell lines and functional studies of a synthetic HIP peptide

Heparan sulfate proteoglycans and their corresponding binding sites have been suggested to play an important role during the initial attachment of blastocysts to uterine epithelium and human trophoblastic cell lines to uterine epithelial cell lines. Previous studies on RL95 cells, a human uterine epithelial cell line, characterized a single class of cell surface heparin/heparan sulfate (HP/HS)-binding sites. Three major HP/HS-binding peptide fragments were isolated from RL95 cell surfaces by tryptic digestion and partial amino-terminal amino acid sequence from each peptide fragment was obtained. In the current study, using the approaches of reverse transcription-polymerase chain reaction and cDNA library screening, a novel cell surface $\rm\underline{H}$P/HS $\rm\underline{i}$nteracting $\rm\underline{p}$rotein (HIP) has been isolated from RL95 cells. The full-length cDNA of HIP encodes a protein of 259 amino acids with a calculated molecular weight of 17,754 Da and pI of 11.75. Transfection of HIP cDNA into NIH-3T3 cells demonstrated cell surface expression and a size similar to that of HIP expressed by human cells. Predicted amino acid sequence indicates that HIP lacks a membrane spanning region and has no consensus sites for glycosylation. Northern blot analysis detected a single transcript of 1.3 kb in both total RNA and poly(A$\sp+$) RNA. Examination of human cell lines and normal tissues using both Northern blot and Western blot analysis revealed that HIP is differentially expressed in a variety of human cell lines and normal tissues, but absent in some cell lines examined. HIP has about 80% homology, at the level of both mRNA and protein, to a rodent protein, designated as ribosomal protein L29. Thus, members of the L29 family may be displayed on cell surfaces where they participate in HP/HS binding events. Studies on a synthetic peptide derived from HIP demonstrate that HIP peptide binds HS/HP with high selectivity and has high affinity (Kd = 10 nM) for a subset of polysaccharides found in commercial HIP preparations. Moreover, HIP peptide also binds certain forms of cell surface, but not secreted or intracellular. HS expressed by RL95 and JAR cells. This peptide supports the attachment of several human trophoblastic cell lines and a variety of mammalian adherent cell lines in a HS-dependent fashion. Furthermore, studies on the subset of HP specifically recognized by HIP peptide indicate that this high-affinity HP (HA-HP) has a larger median MW and a greater negative charge density than bulk HP. The minimum size of oligosaccharide required to bind to HIP peptide with high affinity is a septa- or octasaccharide. HA-HP also quantitatively binds to antithrombin-III (AT-III) with high affinity, indicating that HIP peptide and AT-III may recognize the same or similar oligosaccharide structure(s). Furthermore, HIP peptide antagonizes HP action and promotes blood coagulation in both factor Xa- and thrombin-dependent assays. Finally, HA-HP recognized by HP peptide is highly enriched with anticoagulant activity relative to bulk HP. Collectively, these results demonstrate that HIP may play a role in the HP/HS-involved cell-cell and cell-matrix interactions and recognizes a motif in HP similar or identical to that recognized by AT-III and therefore, may modulate blood coagulation. ^

Abramo Colorni : ingegnere i Alfonso II. d'Este ; memoria letta nell' adunanza 30 marzo 1890

nuove ricerche del G. Jarè

Abramo Colorni : ingegnere Mantovano del secolo XVI. ; con documenti ined.

cenni del Giuseppe Jarè

Neue Verfassung! Halt! Dir muß ick mir koofen! : en Lebenszeichen

Welsch (Projektbearbeiter): Versuch einer differenzierteren Kommentierung der am 5. Dezember 1848 oktroyierten Verfassung: "De Verfassung is so unübel jar nich! Se hat zwars eenige eklige Knubben, aber se is doch immer noch besser, als ick se ... erwartet hätte." Kritik der Zusammensetzung der ersten Kammer sowie der Wahlrechtsbeschränkungen

Echo Christiana : Zu Lob vnd Ehren dem frölichen Geburtstag, vnsers Einigen Erlösers vnnd Seligmachers Jesu Christi, Gottes vnd Marien Sohn

Bibliograph. Nachweis: Harms, Dt. Illustr. Flugbl., III, 10 (Ausg. 1619); Straus, German single-leaf woodcut 1600-1700, p. 202 (Ausg. 1607)

De Haymone Gygante, Et Origine Monasterii Hvivs VVilthinensis Sacrosancta Antiquitate venerandi

... Christophori Gulielmi Putschii ab Haching Tyrolensis ... ; ... Durch Paulsen Ottenthaler, der freyen Künst Magister, auß hieneben gesetzten Latein, inn Teutsche Rheim trewlich verfasset, Im 1571. Jar

Metodologías de modelado, monitorización y asistencia robótica en neurorrehabilitación funcional de extremidad superior

La Organización Mundial de la Salud (OMS) prevé que para el año 2020, el Daño Cerebral Adquirido (DCA) estará entre las 10 causas más comunes de discapacidad. Estas lesiones, dadas sus consecuencias físicas, sensoriales, cognitivas, emocionales y socioeconómicas, cambian dramáticamente la vida de los pacientes y sus familias. Las nuevas técnicas de intervención precoz y el desarrollo de la medicina intensiva en la atención al DCA han mejorado notablemente la probabilidad de supervivencia. Sin embargo, hoy por hoy, las lesiones cerebrales no tienen ningún tratamiento quirúrgico que tenga por objetivo restablecer la funcionalidad perdida, sino que las terapias rehabilitadoras se dirigen hacia la compensación de los déficits producidos. Uno de los objetivos principales de la neurorrehabilitación es, por tanto, dotar al paciente de la capacidad necesaria para ejecutar las Actividades de Vida Diaria (AVDs) necesarias para desarrollar una vida independiente, siendo fundamentales aquellas en las que la Extremidad Superior (ES) está directamente implicada, dada su gran importancia a la hora de la manipulación de objetos. Con la incorporación de nuevas soluciones tecnológicas al proceso de neurorrehabilitación se pretende alcanzar un nuevo paradigma centrado en ofrecer una práctica personalizada, monitorizada y ubicua con una valoración continua de la eficacia y de la eficiencia de los procedimientos y con capacidad de generar conocimientos que impulsen la ruptura del paradigma de actual. Los nuevos objetivos consistirán en minimizar el impacto de las enfermedades que afectan a la capacidad funcional de las personas, disminuir el tiempo de incapacidad y permitir una gestión más eficiente de los recursos. Estos objetivos clínicos, de gran impacto socio-económico, sólo pueden alcanzarse desde una apuesta decidida en nuevas tecnologías, metodologías y algoritmos capaces de ocasionar la ruptura tecnológica necesaria que permita superar las barreras que hasta el momento han impedido la penetración tecnológica en el campo de la rehabilitación de manera universal. De esta forma, los trabajos y resultados alcanzados en la Tesis son los siguientes: 1. Modelado de AVDs: como paso previo a la incorporación de ayudas tecnológicas al proceso rehabilitador, se hace necesaria una primera fase de modelado y formalización del conocimiento asociado a la ejecución de las actividades que se realizan como parte de la terapia. En particular, las tareas más complejas y a su vez con mayor repercusión terapéutica son las AVDs, cuya formalización permitirá disponer de modelos de movimiento sanos que actuarán de referencia para futuros desarrollos tecnológicos dirigidos a personas con DCA. Siguiendo una metodología basada en diagramas de estados UML se han modelado las AVDs 'servir agua de una jarra' y 'coger un botella' 2. Monitorización ubícua del movimiento de la ES: se ha diseñado, desarrollado y validado un sistema de adquisición de movimiento basado en tecnología inercial que mejora las limitaciones de los dispositivos comerciales actuales (coste muy elevado e incapacidad para trabajar en entornos no controlados); los altos coeficientes de correlación y los bajos niveles de error obtenidos en los corregistros llevados a cabo con el sistema comercial BTS SMART-D demuestran la alta precisión del sistema. También se ha realizado un trabajo de investigación exploratorio de un sistema de captura de movimiento de coste muy reducido basado en visión estereoscópica, habiéndose detectado los puntos clave donde se hace necesario incidir desde un punto de vista tecnológico para su incorporación en un entorno real 3. Resolución del Problema Cinemático Inverso (PCI): se ha diseñado, desarrollado y validado una solución al PCI cuando el manipulador se corresponde con una ES humana estudiándose 2 posibles alternativas, una basada en la utilización de un Perceptrón Multicapa (PMC) y otra basada en sistemas Artificial Neuro-Fuzzy Inference Systems (ANFIS). La validación, llevada a cabo utilizando información relativa a los modelos disponibles de AVDs, indica que una solución basada en un PMC con 3 neuronas en la capa de entrada, una capa oculta también de 3 neuronas y una capa de salida con tantas neuronas como Grados de Libertad (GdLs) tenga el modelo de la ES, proporciona resultados, tanto de precisión como de tiempo de cálculo, que la hacen idónea para trabajar en sistemas con requisitos de tiempo real 4. Control inteligente assisted-as-needed: se ha diseñado, desarrollado y validado un algoritmo de control assisted-as-needed para una ortesis robótica con capacidades de actuación anticipatoria de la que existe un prototipo implementado en la actualidad. Los resultados obtenidos demuestran cómo el sistema es capaz de adaptarse al perfil disfuncional del paciente activando la ayuda en instantes anteriores a la ocurrencia de movimientos incorrectos. Esta estrategia implica un aumento en la participación del paciente y, por tanto, en su actividad muscular, fomentándose los procesos la plasticidad cerebral responsables del reaprendizaje o readaptación motora 5. Simuladores robóticos para planificación: se propone la utilización de un simulador robótico assisted-as-needed como herramienta de planificación de sesiones de rehabilitación personalizadas y con un objetivo clínico marcado en las que interviene una ortesis robotizada. Los resultados obtenidos evidencian como, tras la ejecución de ciertos algoritmos sencillos, es posible seleccionar automáticamente una configuración para el algoritmo de control assisted-as-needed que consigue que la ortesis se adapte a los criterios establecidos desde un punto de vista clínico en función del paciente estudiado. Estos resultados invitan a profundizar en el desarrollo de algoritmos más avanzados de selección de parámetros a partir de baterías de simulaciones Estos trabajos han servido para corroborar las hipótesis de investigación planteadas al inicio de la misma, permitiendo, asimismo, la apertura de nuevas líneas de investigación. Summary The World Health Organization (WHO) predicts that by the year 2020, Acquired Brain Injury (ABI) will be among the ten most common ailments. These injuries dramatically change the life of the patients and their families due to their physical, sensory, cognitive, emotional and socio-economic consequences. New techniques of early intervention and the development of intensive ABI care have noticeably improved the survival rate. However, in spite of these advances, brain injuries still have no surgical or pharmacological treatment to re-establish the lost functions. Neurorehabilitation therapies address this problem by restoring, minimizing or compensating the functional alterations in a person disabled because of a nervous system injury. One of the main objectives of Neurorehabilitation is to provide patients with the capacity to perform specific Activities of the Daily Life (ADL) required for an independent life, especially those in which the Upper Limb (UL) is directly involved due to its great importance in manipulating objects within the patients' environment. The incorporation of new technological aids to the neurorehabilitation process tries to reach a new paradigm focused on offering a personalized, monitored and ubiquitous practise with continuous assessment of both the efficacy and the efficiency of the procedures and with the capacity of generating new knowledge. New targets will be to minimize the impact of the sicknesses affecting the functional capabilitiies of the subjects, to decrease the time of the physical handicap and to allow a more efficient resources handling. These targets, of a great socio-economic impact, can only be achieved by means of new technologies and algorithms able to provoke the technological break needed to beat the barriers that are stopping the universal penetration of the technology in the field of rehabilitation. In this way, this PhD Thesis has achieved the following results: 1. ADL Modeling: as a previous step to the incorporation of technological aids to the neurorehabilitation process, it is necessary a first modelling and formalization phase of the knowledge associated to the execution of the activities that are performed as a part of the therapy. In particular, the most complex and therapeutically relevant tasks are the ADLs, whose formalization will produce healthy motion models to be used as a reference for future technological developments. Following a methodology based on UML state-chart diagrams, the ADLs 'serving water from a jar' and 'picking up a bottle' have been modelled 2. Ubiquitous monitoring of the UL movement: it has been designed, developed and validated a motion acquisition system based on inertial technology that improves the limitations of the current devices (high monetary cost and inability of working within uncontrolled environments); the high correlation coefficients and the low error levels obtained throughout several co-registration sessions with the commercial sys- tem BTS SMART-D show the high precision of the system. Besides an exploration of a very low cost stereoscopic vision-based motion capture system has been carried out and the key points where it is necessary to insist from a technological point of view have been detected 3. Inverse Kinematics (IK) problem solving: a solution to the IK problem has been proposed for a manipulator that corresponds to a human UL. This solution has been faced by means of two different alternatives, one based on a Mulilayer Perceptron (MLP) and another based on Artificial Neuro-Fuzzy Inference Systems (ANFIS). The validation of these solutions, carried out using the information regarding the previously generated motion models, indicate that a MLP-based solution, with an architecture consisting in 3 neurons in the input layer, one hidden layer of 3 neurons and an output layer with as many neurons as the number of Degrees of Freedom (DoFs) that the UL model has, is the one that provides the best results both in terms of precission and in terms of processing time, making in idoneous to be integrated within a system with real time restrictions 4. Assisted-as-needed intelligent control: an assisted-as-needed control algorithm with anticipatory actuation capabilities has been designed, developed and validated for a robotic orthosis of which there is an already implemented prototype. Obtained results demonstrate that the control system is able to adapt to the dysfunctional profile of the patient by triggering the assistance right before an incorrect movement is going to take place. This strategy implies an increase in the participation of the patients and in his or her muscle activity, encouraging the neural plasticity processes in charge of the motor learning 5. Planification with a robotic simulator: in this work a robotic simulator is proposed as a planification tool for personalized rehabilitation sessions under a certain clinical criterium. Obtained results indicate that, after the execution of simple parameter selection algorithms, it is possible to automatically choose a specific configuration that makes the assisted-as-needed control algorithm to adapt both to the clinical criteria and to the patient. These results invite researchers to work in the development of more complex parameter selection algorithms departing from simulation batteries Obtained results have been useful to corroborate the hypotheses set out at the beginning of this PhD Thesis. Besides, they have allowed the creation of new research lines in all the studied application fields.