Teacher-learning process based on an immersive and interactive environment

This paper explores the benefits of using immersive and interactive multiprojection environments (CAVE) to visualize molecules, and how it improves users’ understanding. We have proposed and implemented a tool for teachers to manipulate molecules and another to edit molecules and assist students at home. The contribution of the present research project are these tool that allows investigating structures, properties and dynamics of a molecular system which are extremely complex and comprises millions of atoms. The experience is enriched through multimedia information associated with parts of the model; for example, videos and text can be linked to specific molecule, demonstrating some detail. This solution is based on a teaching-learning process.

The interactive whiteboard in primary school: a case study of a brazilian district school

Interactive whiteboards (IWB) consist of a set of technological equipment organized in order to fulfill a specific task, enabling the development of didactic activities. Because they are associated to computers’ potentiality, interactive whiteboards can provide bigger interactivity between: teacher and students, students and content, and among students. This work’s main objective is to present some of the results yielded from a research related to the way students perceive interactive whiteboards in the classroom. In order to analyze the IWB usage dynamics, some educational applications in the field of mathematics were applied in the 3rd grade of elementary school. Aside from observation, video recordings were made and students were interviewed about the interactive whiteboard, in order to understand how these students observe and engage with the technological tool. IWB do not transform classroom’s reality by themselves, however, their physical presence and usage amount to external reinforcement can change student’s behavior positively.

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.

DNA-Interactive Properties of Crotamine, a Cell-Penetrating Polypeptide and a Potential Drug Carrier

Crotamine, a 42-residue polypeptide derived from the venom of the South American rattlesnake Crotalus durissus terrificus, has been shown to be a cell-penetrating protein that targets chromosomes, carries plasmid DNA into cells, and shows specificity for actively proliferating cells. Given this potential role as a nucleic acid-delivery vector, we have studied in detail the binding of crotamine to single- and double-stranded DNAs of different lengths and base compositions over a range of ionic conditions. Agarose gel electrophoresis and ultraviolet spectrophotometry analysis indicate that complexes of crotamine with long-chain DNAs readily aggregate and precipitate at low ionic strength. This aggregation, which may be important for cellular uptake of DNA, becomes less likely with shorter chain length. 25-mer oligonucleotides do not show any evidence of such aggregation, permitting the determination of affinities and size via fluorescence quenching experiments. The polypeptide binds non-cooperatively to DNA, covering about 5 nucleotide residues when it binds to single (ss) or (ds) double stranded molecules. The affinities of the protein for ss-vs. ds-DNA are comparable, and inversely proportional to salt levels. Analysis of the dependence of affinity on [NaCl] indicates that there are a maximum of,3 ionic interactions between the protein and DNA, with some of the binding affinity attributable to non-ionic interactions. Inspection of the three-dimensional structure of the protein suggests that residues 31 to 35, Arg-Trp-Arg-Trp-Lys, could serve as a potential DNA-binding site. A hexapeptide containing this sequence displayed a lower DNA binding affinity and salt dependence as compared to the full-length protein, likely indicative of a more suitable 3D structure and the presence of accessory binding sites in the native crotamine. Taken together, the data presented here describing crotamine-DNA interactions may lend support to the design of more effective nucleic acid drug delivery vehicles which take advantage of crotamine as a carrier with specificity for actively proliferating cells. Citation: Chen P-C, Hayashi MAF, Oliveira EB, Karpel RL (2012) DNA-Interactive Properties of Crotamine, a Cell-Penetrating Polypeptide and a Potential Drug Carrier. PLoS ONE 7(11): e48913. doi:10.1371/journal.pone.0048913

The Everyday Life in Public Health Research: a theoretical and methodological framework

The aim of this paper is to present some reflections on possibilities to investigate everyday life by examining ways of life, so as to broaden perspectives to the field of research in public health, in light of the fact that the study of daily ways of life involves the analysis of trajectories that contextualize routines, interactions and meanings of life. This allows the social researcher in the health field to have, based on a theoretical framework, a flexible methodology that offers mobility in the choice of the technique that best favors the understanding of the issue to be investigated. We have here, as a conceptual reference, the idea of everyday life investigated from interactive processes and contexts, as opposed to a categorial objectification between subject and object. In this context, from the theoretical reflection, we take, as the research's empirical reference, the waiting room of the outpatient clinic of the Osteoarticular Metabolism Department of a Health Care Unit in the city of Fortaleza/, Northeastern Brazil, in order to foster an interpretive understanding of the daily routine that involves the life and health situations of women with osteoporosis.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

An interactive surgical planning tool for acetabular fractures: initial results

Background Acetabular fractures still are among the most challenging fractures to treat because of complex anatomy, involved surgical access to fracture sites and the relatively low incidence of these lesions. Proper evaluation and surgical planning is necessary to achieve anatomic reduction of the articular surface and stable fixation of the pelvic ring. The goal of this study was to test the feasibility of preoperative surgical planning in acetabular fractures using a new prototype planning tool based on an interactive virtual reality-style environment. Methods 7 patients (5 male and 2 female; median age 53 y (25 to 92 y)) with an acetabular fracture were prospectively included. Exclusion criterions were simple wall fractures, cases with anticipated surgical dislocation of the femoral head for joint debridement and accurate fracture reduction. According to the Letournel classification 4 cases had two column fractures, 2 cases had anterior column fractures and 1 case had a T-shaped fracture including a posterior wall fracture. The workflow included following steps: (1) Formation of a patient-specific bone model from preoperative computed tomography scans, (2) interactive virtual fracture reduction with visuo-haptic feedback, (3) virtual fracture fixation using common osteosynthesis implants and (4) measurement of implant position relative to landmarks. The surgeon manually contoured osteosynthesis plates preoperatively according to the virtually defined deformation. Screenshots including all measurements for the OR were available. The tool was validated comparing the preoperative planning and postoperative results by 3D-superimposition. Results Preoperative planning was feasible in all cases. In 6 of 7 cases superimposition of preoperative planning and postoperative follow-up CT showed a good to excellent correlation. In one case part of the procedure had to be changed due to impossibility of fracture reduction from an ilioinguinal approach. In 3 cases with osteopenic bone patient-specific prebent fixation plates were helpful in guiding fracture reduction. Additionally, anatomical landmark based measurements were helpful for intraoperative navigation. Conclusion The presented prototype planning tool for pelvic surgery was successfully integrated in a clinical workflow to improve patient-specific preoperative planning, giving visual and haptic information about the injury and allowing a patient-specific adaptation of osteosynthesis implants to the virtually reduced pelvis.

Disabling c-Myc in childhood medulloblastoma and atypical teratoid/rhabdoid tumor cells by the potent G-quadruplex interactive agent S2T1-6OTD

We investigated here the effects of S2T1-6OTD, a novel telomestatin derivative that is synthesized to target G-quadruplex-forming DNA sequences, on a representative panel of human medulloblastoma (MB) and atypical teratoid/rhabdoid (AT/RT) childhood brain cancer cell lines. S2T1-6OTD proved to be a potent c-Myc inhibitor through its high-affinity physical interaction with the G-quadruplex structure in the c-Myc promoter. Treatment with S2T1-6OTD reduced the mRNA and protein expressions of c-Myc and hTERT, which is transcriptionally regulated by c-Myc, and decreased the activities of both genes. In remarkable contrast to control cells, short-term (72-hour) treatment with S2T1-6OTD resulted in a dose- and time-dependent antiproliferative effect in all MB and AT/RT brain tumor cell lines tested (IC(50), 0.25-0.39 micromol/L). Under conditions where inhibition of both proliferation and c-Myc activity was observed, S2T1-6OTD treatment decreased the protein expression of the cell cycle activator cyclin-dependent kinase 2 and induced cell cycle arrest. Long-term treatment (5 weeks) with nontoxic concentrations of S2T1-6OTD resulted in a time-dependent (mainly c-Myc-dependent) telomere shortening. This was accompanied by cell growth arrest starting on day 28 followed by cell senescence and induction of apoptosis on day 35 in all of the five cell lines investigated. On in vivo animal testing, S2T1-6OTD may well represent a novel therapeutic strategy for childhood brain tumors.

A new model of interactive effects of alcohol and high-fat diet on hepatic fibrosis

Alcoholic steatohepatitis (ASH) and nonalcoholic steatohepatitis (NASH) are the most frequent conditions leading to elevated liver enzymes and liver cirrhosis, respectively, in the Western world. However, despite strong epidemiological evidence for combined effects on the progression of liver injury, the mutual interaction of the pathophysiological mechanisms is incompletely understood. The aim of this study was to establish and analyze an experimental murine model, where we combined chronic alcohol administration with a NASH-inducing high-fat (HF) diet.

Statistical Analyses and Reproducible Research

For various reasons, it is important, if not essential, to integrate the computations and code used in data analyses, methodological descriptions, simulations, etc. with the documents that describe and rely on them. This integration allows readers to both verify and adapt the statements in the documents. Authors can easily reproduce them in the future, and they can present the document's contents in a different medium, e.g. with interactive controls. This paper describes a software framework for authoring and distributing these integrated, dynamic documents that contain text, code, data, and any auxiliary content needed to recreate the computations. The documents are dynamic in that the contents, including figures, tables, etc., can be recalculated each time a view of the document is generated. Our model treats a dynamic document as a master or ``source'' document from which one can generate different views in the form of traditional, derived documents for different audiences. We introduce the concept of a compendium as both a container for the different elements that make up the document and its computations (i.e. text, code, data, ...), and as a means for distributing, managing and updating the collection. The step from disseminating analyses via a compendium to reproducible research is a small one. By reproducible research, we mean research papers with accompanying software tools that allow the reader to directly reproduce the results and employ the methods that are presented in the research paper. Some of the issues involved in paradigms for the production, distribution and use of such reproducible research are discussed.

INTERACTIVE CONTROLS OF WATER TABLE POSITION AND PLANT FUNCTIONAL TYPES ON PEAT POREWATER CHARACTER IN NORTHERN BOG ECOSYSTEMS: IMPLICATIONS FOR CARBON CYCLING DYNAMICS

Northern wetlands, and particularly peatlands, have been shown to store around 30% of the world's soil carbon and thus play a significant role in the carbon cycle of our planet. Changes in climate are altering peatland hydrology and vegetation communities. These changes are possibly resulting in declines in the ability of peatlands to sequester carbon because losses through carbon oxidation and mineralization are likely to increase relative to C inputs from net primary production in a warmer, drier climate. However, the consequences of interactive effects of altered hydrology and vegetation on carbon storage are not well understood. This research evaluated the importance of plant species, water table, and their interactive effects on porewater quality in a northern peatland with an average pH of 4.54, ranging from 4.15 to 4.8. We assessed the effects of plant functional group (ericaceous shrubs, sedges, and bryophytes) and water table position on biogeochemical processes. Specifically, we measured dissolved organic carbon (DOC), total dissolved nitrogen (TDN), potential enzyme activity, organic acids, anions and cations, spectral indexes of aromaticity, and phenolic content. Our results indicate that acetate and propionate concentrations in the sedge-dominated communities declined with depth and water table drawdown, relative to the control and ericaceous treatments. DOC increased in the lowered water table treatments in all vegetation community types, and the peat porewater C:N ratio declined in the sedge-dominated treatments when the water table was lowered. The relationship between DOC and ferrous iron showed significant responses to vegetation type; the exclusion of Ericaceae resulted in less ferrous iron per unit DOC compared to mixed species treatments and Ericaceae alone. This observation was corroborated with higher mean oxidation redox potential profiles (integrating 20, 40, and 70 cm) measured in the sedge treatments, compared with the mixed and Ericaceae species treatments over a growing season. Enzymatic activities did not show as strong of a response to treatments as expected; the oxidative enzyme peroxidase and the hydrolytic enzyme phosphatase were the only enzymes to respond to water table, where the potential activity of both enzymes increased with water table drawdown. Overall, there were significant interactive effects between changes in vegetation and water table position on peat porewater composition. These data suggest that vegetation effects on oxidation reduction potentials and peat porewater character can be as important as water table position in northern bog ecosystems.

Methods and Applications in Interactive Broadcasting

Interactive TV technology has been addressed in many previous works, but there is sparse research on the topic of interactive content broadcasting and how to support the production process. In this article, the interactive broadcasting process is broadly defined to include studio technology and digital TV applications at consumer set-top boxes. In particular, augmented reality studio technology employs smart-projectors as light sources and blends real scenes with interactive computer graphics that are controlled at end-user terminals. Moreover, TV producer-friendly multimedia authoring tools empower the development of novel TV formats. Finally, the support for user-contributed content raises the potential to revolutionize the hierarchical TV production process, by introducing the viewer as part of content delivery chain.

Interactive Curriculum Based on Models of Mind & Brain

What does it mean for curriculum to be interactive? It encourages student engagement and active participation in both individual and group work. It offers teachers a coherent set of materials to choose from that can enhance their classes. It is the product of on-going development and continuous improvement based on research and feedback from the field. This paper will introduce work in progress from the Center for Excellence in Education, Science, and Technology (CELEST), an NSF Science of Learning Center. Among its many goals, CELEST is developing a unique educational curriculum, an interactive curriculum based upon models of mind and brain. Teachers, administrators, and governments are naturally concerned with how students learn. Students are greatly concerned about how minds work, including how to learn. CELEST aims to introduce curricula that not only meet current U.S. standards in mathematics, science, and psychology but also influence plans to improve those standards. Software and support materials are in development and available at http://cns.bu.edu/celest/private/. Interested parties are invited to contact the author for access.

BrainMaps.org - Interactive High-Resolution Digital Brain Atlases and Virtual Microscopy

BrainMaps.org is an interactive high-resolution digital brain atlas and virtual microscope that is based on over 20 million megapixels of scanned images of serial sections of both primate and non-primate brains and that is integrated with a high-speed database for querying and retrieving data about brain structure and function over the internet. Complete brain datasets for various species, including Homo sapiens, Macaca mulatta, Chlorocebus aethiops, Felis catus, Mus musculus, Rattus norvegicus, and Tyto alba, are accessible online. The methods and tools we describe are useful for both research and teaching, and can be replicated by labs seeking to increase accessibility and sharing of neuroanatomical data. These tools offer the possibility of visualizing and exploring completely digitized sections of brains at a sub-neuronal level, and can facilitate large-scale connectional tracing, histochemical and stereological analyses.