Computer-Assisted Proofs and Symbolic Computations

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.

A comparison of a distance education and locally based course in an urban university setting

The purpose of this research was to compare the academic performance and attitudes of students at the instructor-based site of a televised course and the distant site. An earlier pilot program indicated the need for certain technical and structural interventions at the distant site such as multiple "press-to-touch" microphones, a site-administrator and participative seating arrangements. At the beginning of the class, demographic data were collected from the students at both sites through a questionnaire and supplemented with information from students' records. Factors such as age, gender, ethnicity, marital status, number of children, current class status, major, work status and CLAST scores (achievement tests) were examined. There were no significant differences between the students at the sites except ethnicity and reading CLAST scores. The instructor-based site had a higher percentage of Hispanic students and the distant site had a larger percentage of Caucasian and Black Americans. The distant site scored significantly better on the reading section of the CLAST achievement test. An evaluation instrument was distributed to both sites, at the midpoint of the semester, measuring their attitude toward the organizational, technical, and pedagogical factors of the course. A second evaluation instrument, measuring similar factors, but more in-depth, was distributed to both sites near the end of the term. Nine students at the distant site were interviewed along with the site administrator to collect additional information.^ Course completion rates, dropout rates, pass rates and final grades of students at both sites were compared. There were no significant differences in academic performance between the students at both sites, however, there were significant differences in their attitudes. Those at the instructor-based site gave better ratings to most of items in the evaluation instruments. Problems at the distant site included audio and visual clarity, lack of available assistance, too much nonrelated talking, not enough opportunities to ask questions or to interact with the instructor during class. ^

Toward understanding the study experience of culturally sensitive graduate students in *American distance education programs

The purpose of this research was to gain an understanding of the study experience of non-American graduate students living outside of the United States and formally engaged in graduate studies in an American Distance Education (DE) Program. These students have been labeled “culturally sensitive.” The nature of this study dictated a qualitative case study methodology using in-depth interviews to collect the data and the hermeneutic approach to understanding and description. This study aims at generating questions and hypotheses that will lead to further investigations that explore the need for cultural and contextual sensitivity in order to provide more equitable and accessible higher education for all. ^ The study attempted to answer the question: What is the study experience of “culturally sensitive” graduate students in American DE Programs? The underlying issue in this study is whether education designed and provided by educators of different socio-cultural backgrounds from that of the students could be content relevant and instructionally appropriate, resulting in educational enhancement and/or prepare students to function adequately in their own communities. ^ Participants in this study (n = 12) were engaged in Master's level (n = 2) and Doctoral level (n = 10) DE programs at American Universities, and were interviewed by E-mail, face-to-face, or using a combination of the two. Data analysis compared interviews and highlighted repetitive patterns. Interview data was triangulated with recent related literature and data from document reviews of archived E-mail conversations between students and their professors. The patterns that emerged were coded and categorized according to generative themes. The following themes were identified in order to analyze the data and confirmed through participant check-back: program benefits, communication, technology, culture and methodology, and reflectivity. ^ Major findings in this study indicate that culture plays an important role in cross-cultural encounters for students in American DE programs vis-à-vis student perceptions as to whether their study needs were being met. Most notably, it was found that the coupling of cultural perceptual differences with transactional distance created a potential barrier to communication that could affect short-term success in American DE programs. To overcome this barrier, students cited good communication as essential in meeting student's needs, especially those communications that were supportive and full of detail and context and from a primary source (ex. directly from the professor). Evaluation was a particularly sensitive issue, especially when students were unaware of their professor's cultural and contextual intricacies and therefore were uncertain about expectations and intended meaning. CSGS were aware of their position and the American rather than global context in which they were participating. Students appear to have developed “extended identities”, meaning that they acculturated in varying degrees in order to be successful in their program but that their local cultural identity was not compromised in any way. For participants from Venezuela access to higher DE has been a limiting factor to participation, due to the high cost of technology and telephone lines for communication. ^

Computer assisted synthesis and in-vitro cytotoxic evaluation of new pyrazole-fused isoquinolinoquinones derivatives as PI3K receptor antagonist with promising antitumoral activity

The importance of pyrazole and isoquinoline-5,8-dione scaffolds in medical chemistry is underlined by the high number of drugs currently on trading that contains these active ingredients. Due to their cytotoxic capability, the interest of medicinal chemists in these heterocyclic rings has grown exponentially especially, for cancer therapy. In this project, the first synthesis of pyrazole-fused isoquinoline-5,8-diones has been developed. 1,3-Dipolar cycloaddition followed by oxidative aromatization, established by our research group, has been employed. Screening of reaction conditions and characterization studies about the regioselectivity have been successfully performed. A remote control of regioselectivity, to achieve the two possible regioisomers has been accomplished. Through Molecular Docking studies, Structure-Activity relationship of differently substituted scaffolds containing our central core proved that a family of PI3K inhibitors have been discovered. Finally, in order to verify the promising antitumor activity, a first test of cell viability in vitro on T98G cell line of a solid brain tumor, the Glioblastoma Multiforme, showed cytotoxic inhibition comparable to currently trade anticancer drugs.

Computer Assisted Content Analysis of the print press coverarge of corruption in Hungary

Coverage of corruption in the Hungarian media was analyzed using four online news portals. Three of them, Magyar Nemzet Online (short name: MNO, web: mno.hu), Népszava (web: nepszava.hu) and Heti Világgazdaság (web: hvg.hu) are also available as newspapers but the content of these papers is different from the online form to a certain extent. The news portal Origo (web: origo.hu) has no print version.

Accuracy of computer-aided design/computer-assisted manufacture (CAD/CAM) fabricated dental restorations: a comparative study

Introduction: Computer-Aided-Design (CAD) and Computer-Aided-Manufacture (CAM) has been developed to fabricate fixed dental restorations accurately, faster and improve cost effectiveness of manufacture when compared to the conventional method. Two main methods exist in dental CAD/CAM technology: the subtractive and additive methods. While fitting accuracy of both methods has been explored, no study yet has compared the fabricated restoration (CAM output) to its CAD in terms of accuracy. The aim of this present study was to compare the output of various dental CAM routes to a sole initial CAD and establish the accuracy of fabrication. The internal fit of the various CAM routes were also investigated. The null hypotheses tested were: 1) no significant differences observed between the CAM output to the CAD and 2) no significant differences observed between the various CAM routes. Methods: An aluminium master model of a standard premolar preparation was scanned with a contact dental scanner (Incise, Renishaw, UK). A single CAD was created on the scanned master model (InciseCAD software, V2.5.0.140, UK). Twenty copings were then fabricated by sending the single CAD to a multitude of CAM routes. The copings were grouped (n=5) as: Laser sintered CoCrMo (LS), 5-axis milled CoCrMo (MCoCrMo), 3-axis milled zirconia (ZAx3) and 4-axis milled zirconia (ZAx4). All copings were micro-CT scanned (Phoenix X-Ray, Nanotom-S, Germany, power: 155kV, current: 60µA, 3600 projections) to produce 3-Dimensional (3D) models. A novel methodology was created to superimpose the micro-CT scans with the CAD (GOM Inspect software, V7.5SR2, Germany) to indicate inaccuracies in manufacturing. The accuracy in terms of coping volume was explored. The distances from the surfaces of the micro-CT 3D models to the surfaces of the CAD model (CAD Deviation) were investigated after creating surface colour deviation maps. Localised digital sections of the deviations (Occlusal, Axial and Cervical) and selected focussed areas were then quantitatively measured using software (GOM Inspect software, Germany). A novel methodology was also explored to digitally align (Rhino software, V5, USA) the micro-CT scans with the master model to investigate internal fit. Fifty digital cross sections of the aligned scans were created. Point-to-point distances were measured at 5 levels at each cross section. The five levels were: Vertical Marginal Fit (VF), Absolute Marginal Fit (AM), Axio-margin Fit (AMF), Axial Fit (AF) and Occlusal Fit (OF). Results: The results of the volume measurement were summarised as: VM-CoCrMo (62.8mm3 ) > VZax3 (59.4mm3 ) > VCAD (57mm3 ) > VZax4 (56.1mm3 ) > VLS (52.5mm3 ) and were all significantly different (p presented as areas with different colour. No significant differences were observed at the internal aspect of the cervical aspect between all groups of copings. Significant differences (p< M-CoCrMo Internal Occlusal, Internal Axial and External Axial 2 ZAx3 > ZAx4 External Occlusal, External Cervical 3 ZAx3 < ZAx4 Internal Occlusal 4 M-CoCrMo > ZAx4 Internal Occlusal and Internal Axial The mean values of AMF and AF were significantly (p M-CoCrMo and CAD > ZAx4. Only VF of M-CoCrMo was comparable with the CAD Internal Fit. All VF and AM values were within the clinically acceptable fit (120µm). Conclusion: The investigated CAM methods reproduced the CAD accurately at the internal cervical aspect of the copings. However, localised deviations at axial and occlusal aspects of the copings may suggest the need for modifications in these areas prior to fitting and veneering with porcelain. The CAM groups evaluated also showed different levels of Internal Fit thus rejecting the null hypotheses. The novel non-destructive methodologies for CAD/CAM accuracy and internal fit testing presented in this thesis may be a useful evaluation tool for similar applications.

A Virtual Joystick as a Novel Interaction Modality for Surgeon-Computer Interaction During Computer-Assisted Surgical Procedures

Interacting with a computer system in the operating room (OR) can be a frustrating experience for a surgeon, who currently has to verbally delegate to an assistant every computer interaction task. This indirect mode of interaction is time consuming, error prone and can lead to poor usability of OR computer systems. This thesis describes the design and evaluation of a joystick-like device that allows direct surgeon control of the computer in the OR. The device was tested extensively in comparison to a mouse and delegated dictation with seven surgeons, eleven residents, and five graduate students. The device contains no electronic parts, is easy to use, is unobtrusive, has no physical connection to the computer and makes use of an existing tool in the OR. We performed a user study to determine its effectiveness in allowing a user to perform all the tasks they would be expected to perform on an OR computer system during a computer-assisted surgery. Dictation was found to be superior to the joystick in qualitative measures, but the joystick was preferred over dictation in user satisfaction responses. The mouse outperformed both joystick and dictation, but it is not a readily accepted modality in the OR.

Sedentary behavior and not physical activity predicts study progress in distance education`

For the official publication, see: http://dx.doi.org/10.1016/j.lindif.2016.06.021

Seguimiento a la interacción del estudiante con recursos educativos desplegados en contextos diferentes al LMS a través de la implementación del estándar Tin Can Api

Los maestros deben fortalecer desde el currículo ambientes adecuados para que los estudiantes se apropien del manejo de las TIC (Tecnologías de la Información y Comunicación) y las involucren en el proceso de enseñanza - aprendizaje; favoreciendo con esto el desarrollo de los contenidos en todas las áreas -- Cuando se pretende hacer uso de las TIC para mejorar el aprendizaje significativo de los estudiantes, se evidencia la debilidad que tiene el maestro para realizar un seguimiento a las actividades informales que realiza el estudiante para comprender un tema o adquirir una competencia -- El primer acercamiento para mejorar esta problemática, es realizar una integración de un estándar educativo para llevar un control y registrar las actividades informales que el estudiante realice a través de Internet, empleando un sinnúmero de aplicaciones que la web ofrece -- Para el mejoramiento del proceso evaluativo de los estudiantes de la Institución Educativa San José, se implementará la integración del estándar Tin Can Api dentro de un prototipo para realizar seguimiento a las actividades informales que realicen los estudiantes con el fin de llevar un registro de experiencias de aprendizaje -- Teniendo en cuenta lo anterior el maestro debe estar preparado para utilizar metodologías apoyadas en las herramientas tecnológicas, así el aprendizaje se logra con mayor disfrute y calidad

Telefone celular como recurso didático no ensino de física

Currently, there are several factors that suggest the need for the school to review their teaching practices: 1) the speed with which information and communication technologies - ICT are spread throughout society and in particular the increasing use of mobile phone by groups in school age;2) the scope and power of integrating ICT convergence of these technological resources, that can be used as teaching resources; 3) the fact that nowadays students grow up in a technological world and make their thought patterns operating in accordance with this reality, etc... In contrast, there are educators unrelated to the appropriation of ICT, presenting, in many cases, resistance to them. There is a incongruity between how individuals use mobile phones, for example, inside and outside the school. There are also educators, schools, public educational departments claiming to be against mobile phones usage; bills and laws regulating their use in educational space, etc... For these controversial aspects we have investigated whether cell phone use as a teaching resource practices mediator in Physics teaching. For this purpose, we developed an applied research with qualitative and exploratory approach about the objectives, adopting participant and the technical procedures. A documental and bibliographical research was taken. First of all, data were collected by e-mail, through a multiple choice questionnaire applied to private school teachers in southern Brazil, to identify the researched reality and develop teaching practices likely to be applied in the studied corpus. Then, such practices were applied in workshops located in Curitiba and Ponta Grossa cities, in Paraná state. During the application, data was collected by the researcher's field notes. Then, we recorded chats about the workshops from an instant message software (msn messenger), and we took photographic records. Data analysis was performed by triangulation. The results showed the need to enhance continuing education courses for teachers and the production of national academic literature, such as articles, dissertations, theses and books that explore the theme of the cell phone and its functionality in educational spaces as an educational resource mediator in the practices of teaching Physics. They are available in the dissertation defended in 2012, and now are also systematized in this book, organized as a final product of research conducted by the Graduate Program in Science Education and Technology UTFPR, Campus Ponta Grossa-PR.

Objetos de ensino, suas potencialidades e dificuldades para aprendizagem de física no ensino médio

Acompanha: Procedimento para o uso do Tracker como objeto de ensino, suas potencialidades e dificuldades para aprendizagem de física no ensino médio

Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel [Band 1]

Die Jahrestagung der Gesellschaft für Didaktik der Mathematik fand im Jahr 2015 zum dritten Mal in der Schweiz statt. [...] Mit rund 300 Vorträgen, 16 moderierten Sektionen, 15 Arbeitskreistreffen und 21 Posterpräsentationen eröffnete sich ein breites Spektrum an Themen und unterschiedlichen Zugangsweisen zur Erforschung von Fragen rund um das Lernen und Lehren von Mathematik. (DIPF/Orig.)

READ180 Intervention for Struggling Adolescent Readers

Call for Posters, Action Research on READ180 program for Struggling Adolescent Readers