Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and Coq improvements, and also demographic data such as education and experience with Coq and other proof assistants and programming languages. The survey received 466 submitted responses, making it the largest survey of users of an interactive theorem prover (ITP) so far. We present the design of the survey, a summary of key results, and analysis of answers relevant to ITP technology development and usage. In particular, we analyze user characteristics associated with adoption of tools and libraries and make comparisons to adjacent software communities. Notably, we find that experience has significant impact on Coq user behavior, including on usage of tools, libraries, and integrated development environments

MIROR-Musical Interaction Relying On Reflexion. Project Final Report

open7siIl progetto è stato valutato dalla Commissione Europea con il massimo del punteggio (15/15) con la seguente valutazione sintetica: Excellent. The proposal successfully addresses all relevant aspects of the criterion in question. Any shortcomings are minor". Ha superato le tre valutazioni annuali con giudizio molto positivo (good) e con brillante giudizio finale. Progetto co-finanziato dalla Comunità Europea, 7° Programma Quadro, ICT-Challenge 4.2, Technology enhanced-learning, Programma Cooperation, no 258338. Il Programma “COOPERATION” è identificato dal DM del 1/7/2011 (Identificazione dei programmi di ricerca di alta qualificazione, finanziati dall'Unione europea o dal Ministero dell'istruzione, dell'universita' e della ricerca di cui all'articolo 29, comma 7, della legge n. 240/2010) come uno dei due programmi di ricerca di alta qualificazione finanziati dall’UE. In dettaglio, dal Coordinatore sono stati ricoperti i seguenti ruoli: • Preparazione della proposta e Coordinameto scientifico del Progetto • Responsabile dei contatti con la Commissione Europea • Supervisione e monitoraggio del lavoro svolto dal Consorzio, attraverso workshops, report tecnici e scientifici e coordinamento dei deliverable • Lieder dei seguenti Work-Packages: • WP1. Project Management • WP5. Psychological Experiments • WP8. Dissemination and Exploitation • Coordinatore dell’ALB • Coordinamento scientifico e organizzativo del gruppo di ricerca dell'Università di Bologna, composto da: o 2 assegni di ricerca post-dottorato o 1 assegno di ricerca o 2 contratti di assistenza alla ricerca o 1 contratto per il sito web o 15 studenti-collaboratori o 3 insegnanti collaboratori • Responsabile delle collaborazioni e convenzioni con l’Istituto Comprensivo di Casalecchio di Reno, la Nuova Scuola di Musica Baroncini di Imola, Il Centro Danza Musikè-Bologna. • Supervisione del Project Management (Dipartimento della Ricerca Europea dell'Università di Bologna - ARIC).The MIROR (Musical Interaction Relying On Reflexion) project is co‐funded by the European Commission under the 7th Framework Programme, Theme ICT‐2009.4.2, Technology‐enhanced learning. MIROR is a three‐years project and started on September 1st, 2010. All information regarding MIROR is available through the MIROR Portal at http://www.mirorproject.eu. The MIROR Project-Final Report deals with the description of the development of an adaptive system for music learning and teaching based on the “reflexive interaction” paradigm. The system is developed in the context of early childhood music education. It acts as an advanced cognitive tutor, designed to promote specific cognitive abilities in the field of music improvisation, both in formal learning contexts (kindergartens, primary schools, music schools) and informal ones (at home, kinder centres, etc.). The reflexive interaction paradigm is based on the idea of letting users manipulate virtual copies of themselves, through specifically designed machine‐learning software referred to as “Interactive Reflexive Musical Systems” (IRMS). By definition IRMS are able to learn and configure themselves according to their understanding of the learner's behaviour. In MIROR the IRMS paradigm is extended with the analysis and synthesis of multisensory expressive gesture to increase its impact on the musical pedagogy of young children, by developing new multimodal interfaces. The project is based on a spiral design approach involving coupled interactions between technical and psychopedagogical partners. MIROR integrates both psychological case‐study experiments, aiming to investigate cognitive hypotheses concerning the mirroring behaviour and the learning efficacy of the platform, and validation studies aiming at developing the software in concrete educational settings. The project contributes to promoting the reflexive interaction paradigm not only in the field of music learning, but more generally as a new paradigm for establishing a synergy between learning and cognition in the context of child/machine interaction.openopenA. R. Addessi ; C. Anagnostopoulou; S. Newman; B. Olsson; F. Pachet; G. Volpe; S. YoungA. R. Addessi ; C. Anagnostopoulou; S. Newman; B. Olsson; F. Pachet; G. Volpe; S. Youn

Exploratory Research Methods for the Extremely Mobile: Supporting Community Interaction Amongst Backpackers

Mobile communities of backpackers represent a challenging population to study because of frequent and long-duration of movement, distributed group structure, and adventuresome activities. Five types of mobile group studies are presented here, which address challenges posed by this context to existing methods. Methods used include: contextual interviews, site surveys, participatory activities, field trips, team ethnography, contextual questionnaires, and electronic diary methods. The structure of each method is described, reflected upon and recommendations are made for its effective use. Many existing mobile and CSCW methods have difficulties when applied to mobile groups, and many are not designed for exploratory research dealing with product conceptualization or requirements analysis. We propose that improvising with a diverse set of available methods is appropriate for many mobile research situations. It may also be advantageous to use multiple methods which explore different aspects of target user groups' behaviour from a variety of perspectives. Furthermore, piloting studies to test methods with new user groups or situations, and using in-situ methods is advisable

Progression magazine Summer 2017

Progression Magazine is published by the Gupta College of Science at Coastal Carolina University and highlights the marine-related work of the students, faculty, and staff, events, and educational and research information of students and faculty