Dialogic learning and interactive groups: an IMS LD template integrated in runtime systems

Dialogic learning and interactive groups have proved to be a useful methodological approach appliedin educational situations for lifelong adult learners. The principles of this approach stress theimportance of dialogue and equal participation also when designing the training activities. This paperadopts these principles as the basis for a configurable template that can be integrated in runtimesystems. The template is formulated as a meta-UoL which can be interpreted by IMS Learning Designplayers. This template serves as a guide to flexibly select and edit the activities at runtime (on the fly).The meta-UoL has been used successfully by a practitioner so as to create a real-life example, withpositive and encouraging results

Memòria justificativa del treball realitzat durant l’estada a la Universitat de Wisconsin-Madison

Projecte de recerca elaborat a partir d’una estada a la Universitat de Wisconsin-Madison, EUA, Departament de Curriculum and Instruction, des de mitjans d’agost a mitjans de novembre de 2006. S’ha treballat en relació a la preparació de la tesi “Els grups interactius: una pràctica de les comunitats d’aprenentatge per a la inclusió de l’alumnat amb discapacitat “. La universitat de Wisconsin-Madison i en concret el departament de Curriculum and instruction compta amb professorat de reconegut prestigi internacional en l’àmbit de l’educació. Entre els temes que es treballen al departament i que vaig poder conèixer, en destaco les implicacions de l’educació en l’existència de desigualtats socials, així com les implicacions del govern i de les polítiques educatives en la creació i manteniment d’aquestes desigualtats, les reformes i polítiques educatives i el paper de l’educació en el més ampli context de la societat i les seves estructures, l’anàlisi del llenguatge vinculat amb les desigualtats i l’educació, la necessitat de tenir en compte la multiculturalitat des d’una perspectiva crítica, i les possibilitats de transformació en educació facilitades per les oportunitats d’interacció.

The nature of communication structures of university students in an international web-based computer-supported collaborative learning (CSCL) course

Communication, the flow of ideas and information between individuals in a social context, is the heart of educational experience. Constructivism and constructivist theories form the foundation for the collaborative learning processes of creating and sharing meaning in online educational contexts. The Learning and Collaboration in Technology-enhanced Contexts (LeCoTec) course comprised of 66 participants drawn from four European universities (Oulu, Turku, Ghent and Ramon Llull). These participants were split into 15 groups with the express aim of learning about computer-supported collaborative learning (CSCL). The Community of Inquiry model (social, cognitive and teaching presences) provided the content and tools for learning and researching the collaborative interactions in this environment. The sampled comments from the collaborative phase were collected and analyzed at chain-level and group-level, with the aim of identifying the various message types that sustained high learning outcomes. Furthermore, the Social Network Analysis helped to view the density of whole group interactions, as well as the popular and active members within the highly collaborating groups. It was observed that long chains occur in groups having high quality outcomes. These chains were also characterized by Social, Interactivity, Administrative and Content comment-types. In addition, high outcomes were realized from the high interactive cases and high-density groups. In low interactive groups, commenting patterned around the one or two central group members. In conclusion, future online environments should support high-order learning and develop greater metacognition and self-regulation. Moreover, such an environment, with a wide variety of problem solving tools, would enhance interactivity.

A shift from passive teaching at medical conferences to more interactive methods improves physician learning

Conferences that deliver interactive sessions designed to enhance physician participation, such as role play, small discussion groups, workshops, hands-on training, problem- or case-based learning and individualised training sessions, are effective for physician education.

The effects of computer assisted interactive fiction on the development of reading comprehension in grade five students

This study was undertaken in order to determine the effects of playing computer based text adventure games on the reading comprehension gains of students. Forty-five grade five students from one elementary school were randomly assigned to experimental and control groups, and were tested with regard to ability, achievement and reading skills. An experimental treatment, consisting of playing computer based interactive fiction games of the student's choice for fifteen minutes each day over an eight-week period, was administered. A comparison treatment engaged the control group in sustained silent reading of materials of the student's choice for an equal period of time. Following the experimental period all students were post-tested with an alternate form of the pre-test in reading skills, and gain scores were analysed. It was found that there were no significant differences in the gain scores of the experimental and control groups for overall reading comprehenSion, but the experimental group showed greater gains than the control group in the structural analysis reading sub-skill. Extreme variance in the data made generalization very difficult, but the findings indicated a potential for computer based interactive fiction as a useful tool for developing reading sl

Development of the Physical Activity Interactive Recall (PAIR) for Aboriginal children

Affiliation: Margaret Cargo : Département de médecine sociale et préventive, Faculté de médecine, Université de Montréal

Educational value of different types of exhibits in an interactive science and technology center

This study analyzes the short-term consequences of visitors' use of different types of exhibits (i.e., "exemplars of phenomena" and "analogy based") together with the factors affecting visitors' understanding of and their evaluation of the use of such exhibits. One hundred and twenty five visitors (either alone or in groups) were observed during their interaction and interviewed immediately afterwards. Findings suggest that the type of exhibit constrains the nature of the understanding achieved. The use of analogical reasoning may lead to an intended causal explanation of an exhibit that is an exemplar of a phenomenon, but visitors often express misconceptions as a consequence of using this type of exhibit. Analogy-based exhibits are often not used as intended by the designer. This may be because visitors do not access the source domain intended; are unaware of the use of analogy per se (in particular, when the exhibit is of the subtype "only showing similarities between relationships"); only acquire fragmentary knowledge about the target; or fail to use analogical reasoning of which they were capable. Furthermore, exhibits related to everyday world situations are recognized to have an immediate educative value for visitors. Suggestions for enhancing the educative value of exhibits are proposed.

The Impact of the NIHERST/NGC National Science Centre, Trinidad and Tobago on Visiting Student Groups

The aim of this study was to asses the impact of a visit to the NIHERST/NGC National Science Centre in Trinidad on four different school-age visitor groups. The research was conducted through the administering of a post-visit questionnaire immediately upon completion of each visit by each group, and via visitor feedback obtained in post-visit or pre-visit activities conducted within two weeks of the visit for three groups. Teachers/instructors who accompanied the groups on their visit also completed post-visit questionnaires and provided additional information on follow-up activities via an interview. The results of this investigation suggest that the visit to this science centre provided entertainment/enjoyment value and potential educational value to most individuals. The nature of this enjoyment was noted for various age groups and genders in this study. Quantification of the educational impact was not possible within the constraints of this study, which was unable to capture long-term effects of the supply of ‘new knowledge’ to visitors which the visit to the science centre had provided.

Interactive effects of mechanical ventilation, inhaled nitric oxide and oxidative stress in acute lung injury

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Music at the Fair! The Trans- Mississippi and International Exposition. An Interactive Website

“Music at the Fair!” gives the daily musical programs for The Trans-Mississippi and International Exposition, held in Omaha, Nebraska, June 1 through October 31, 1898. The Trans-Mississippi and International Exposition brought an unprecedented array of local, national, and international musical acts to Omaha, NE in 1898. This served to designate Omaha, "the gateway to the west" as a musical hub, as well as to incite musical excitement in the region. Some of the more popular acts featured were the Theodore Thomas Orchestra, the U.S. Marine Band, and the Apollo Club of Chicago. Many more groups and their musical programs can be found within the pages of this site. The “Music at the Fair!” website was created by Grace Carey, and last revised on May 19, 2006.It is the result of a two- year research grant funded by an Undergraduate Creative Activities and Research Experiences (UCARE) grant through the University of Nebraska at Lincoln. It is an extension of an ongoing project on music at the TME by Music Professor Peter Lefferts. The primary sources of information for the site are the following newspapers from June – November 1898: The Omaha Daily Bee, the Omaha Evening Bee, and the Omaha World Herald, and the the official programs of the fair located in the archives at the Omaha Public Library. I would like to thank the helpful staff at the Nebraska State Historical Society and the downtown branch of the Omaha Public Library. Site Creator: Grace Carey Project Advisor: Peter Lefferts, Professor of Music History at the University of Nebraska, Lincoln The linked “Document” is a flat PDF version of the interactive website. To download the fully interactive html version, click on the “Related file” to download the zipped folder. When unzipped, click on the file named “index” to enter the website.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Connecting Interactive Arts and Virtual Reality with Enaction

This paper reports on a Virtual Reality theater experiment named Il était Xn fois, conducted by artists and computer scientists working in cognitive science. It offered the opportunity for knowledge and ideas exchange between these groups, highlighting the benefits of collaboration of this kind. Section 1 explains the link between enaction in cognitive science and virtual reality, and specifically the need to develop an autonomous entity which enhances presence in an artificial world. Section 2 argues that enactive artificial intelligence is able to produce such autonomy. This was demonstrated by the theatrical experiment, "Il était Xn fois" (in English: Once upon Xn time), explained in section 3. Its first public performance was in 2009, by the company Dérézo. The last section offers the view that enaction can form a common ground between the artistic and computer science areas.

MQN-Mapplet: Visualization of Chemical Space with Interactive Maps of DrugBank, ChEMBL, PubChem, GDB-11, and GDB-13

The MQN-mapplet is a Java application giving access to the structure of small molecules in large databases via color-coded maps of their chemical space. These maps are projections from a 42-dimensional property space defined by 42 integer value descriptors called molecular quantum numbers (MQN), which count different categories of atoms, bonds, polar groups, and topological features and categorize molecules by size, rigidity, and polarity. Despite its simplicity, MQN-space is relevant to biological activities. The MQN-mapplet allows localization of any molecule on the color-coded images, visualization of the molecules, and identification of analogs as neighbors on the MQN-map or in the original 42-dimensional MQN-space. No query molecule is necessary to start the exploration, which may be particularly attractive for nonchemists. To our knowledge, this type of interactive exploration tool is unprecedented for very large databases such as PubChem and GDB-13 (almost one billion molecules). The application is freely available for download at www.gdb.unibe.ch.

PDB-Explorer: a web-based interactive map of the protein data bank in shape space

Background The RCSB Protein Data Bank (PDB) provides public access to experimentally determined 3D-structures of biological macromolecules (proteins, peptides and nucleic acids). While various tools are available to explore the PDB, options to access the global structural diversity of the entire PDB and to perceive relationships between PDB structures remain very limited. Methods A 136-dimensional atom pair 3D-fingerprint for proteins (3DP) counting categorized atom pairs at increasing through-space distances was designed to represent the molecular shape of PDB-entries. Nearest neighbor searches examples were reported exemplifying the ability of 3DP-similarity to identify closely related biomolecules from small peptides to enzyme and large multiprotein complexes such as virus particles. The principle component analysis was used to obtain the visualization of PDB in 3DP-space. Results The 3DP property space groups proteins and protein assemblies according to their 3D-shape similarity, yet shows exquisite ability to distinguish between closely related structures. An interactive website called PDB-Explorer is presented featuring a color-coded interactive map of PDB in 3DP-space. Each pixel of the map contains one or more PDB-entries which are directly visualized as ribbon diagrams when the pixel is selected. The PDB-Explorer website allows performing 3DP-nearest neighbor searches of any PDB-entry or of any structure uploaded as protein-type PDB file. All functionalities on the website are implemented in JavaScript in a platform-independent manner and draw data from a server that is updated daily with the latest PDB additions, ensuring complete and up-to-date coverage. The essentially instantaneous 3DP-similarity search with the PDB-Explorer provides results comparable to those of much slower 3D-alignment algorithms, and automatically clusters proteins from the same superfamilies in tight groups. Conclusion A chemical space classification of PDB based on molecular shape was obtained using a new atom-pair 3D-fingerprint for proteins and implemented in a web-based database exploration tool comprising an interactive color-coded map of the PDB chemical space and a nearest neighbor search tool. The PDB-Explorer website is freely available at www.​cheminfo.​org/​pdbexplorer and represents an unprecedented opportunity to interactively visualize and explore the structural diversity of the PDB.

An interactive intervention to impact adherence to antiretroviral treatment among treatment-naive HIV-infected adults in Thailand: A pilot randomized controlled study

Background. Consistent adherence to antiretroviral treatment is necessary for a treatment success. Improving and maintaining adherence rate >95% are challenging for health care professionals. This pilot randomized controlled study aimed to evaluate the impact of the interactive intervention on adherence to GPO-VIR, to describe the feasibility of the interactive intervention in Thailand, and to illustrate the adherence self-efficacy concept among HIV treatment-naïve patients in Thailand who were starting antiretroviral treatment. ^ Methods. The study took place at three HIV clinics located in Phayao, Thailand. Twenty-three patients were randomly assigned into the experimental (n=11) and the control groups (n=12). Each participant in the experimental group and a significant person to the patient received 5 educational sessions with a nurse at the clinics and at their homes. They also received 3 follow-up evaluations during the 6-month period of the study. The participants in the control group received the standard of care provided by HIV clinical personnel plus three follow-up evaluations at the clinic. ^ Results. Seventeen patients (7 in the experimental and 10 in the control group) completed the study. The 4-day recall on the Thai ACTG Adherence Scale demonstrated adherence rate >95% for most participants from both groups. After the first measurement, no experimental group patients reporting missing ART, while one control group participant continuously skipped ART. Participants from both groups had significantly increased CD4 cell counts after the study (F(1, 15) = 29.30, p = .000), but no differences were found between two groups (F(1, 15) = .001, p = .98). Examination of the intervention showed limitations and possibilities to implement it in Thailand. Qualitative data demonstrated self-efficacy expectations, resignation and acceptance as related concepts to improve adherence outcomes. ^ Conclusions. This interactive intervention, after appropriate modifications, is feasible to apply for Thai HIV-treatment naïve patients. Because of limitations the study could not demonstrate whether the interactive intervention improved adherence to ART among HIV-treatment naïve in Thailand. A longitudinal study in a larger sample would be required to test the impact of the intervention. ^ Keyword: antiretroviral treatment, adherence, treatment-naïve, Thailand, randomized controlled study ^