RESSONÂNCIA MAGNÉTICA NUCLEAR DE SUBSTÂNCIAS ORGANOFLUORADAS: UM DESAFIO NO ENSINO DE ESPECTROSCOPIA

Nuclear magnetic resonance is a technique that is widely used for elucidating and characterizing organic substances. Organofluorine substances have applications in many areas from drugs to liquid crystals, but their NMR spectra are often challenging due to fluoride coupling with other nuclei. For this reason, NMR spectra of this class of substances are not commonly covered in undergraduate and graduate chemistry courses and related fields. Thus, the aim of this work was the presentation and discussion of 1H, 13C, and 19F NMR spectra of eleven organofluorine substances which, in the case of 1H and 13C nuclei, showed classic patterns of first-order coupling and the effects of the fluorine nucleus in different chemical and magnetic environments. In addition, the observation of long distance coupling constants was possible through the use of apodization functions in the processing of the spectra. It is expected that the examples presented herein can be utilized and discussed in undergraduate and graduate NMR spectroscopy disciplines and thus improve the teaching and future research of organofluorine compounds.

TREATMENT OF WASTE FROM ATOMIC EMISSION SPECTROMETRIC TECHNIQUES AND REUSE IN UNDERGRADUATE LAB CLASSES FOR QUALITATIVE ANALYSIS

Flame atomic absorption spectrometry (FAAS) and inductively coupled plasma optical emission spectrometry (ICP OES) are widely used in academic institutions and laboratories for quality control to analyze inorganic elements in samples. However, these techniques have been observed to underperform in sample nebulization processes. Most of the samples processed through nebulization system are discarded, producing large volumes of waste. This study reports the treatment and reuse of the waste produced from ICP OES technique in a laboratory of analytical research at the Universidade Federal do Ceará, Brazil. The treatment of the waste was performed by the precipitation of elements using (NH4)2CO3. Subsequently, the supernatant solution can be discarded in accordance with CONAMA 430/2011. The precipitate produced from the treatment of residues can be reused as a potential sample in undergraduate qualitative analytical chemistry lab classes, providing students the opportunity to test a real sample.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Mentors, students, and the undergraduate medical course: a virtuous circle

BACKGROUND: Mentoring Programs have been developed in several medical schools, but few studies have investigated the mentors'perspective. PURPOSES: To explore mentors'perceptions regarding their experience. METHODS: Mentors at a medical school were invited to participate in an in-depth interview including questions on satisfaction, difficulties, and perception of changes resulting from the program. RESULTS: Mentors' satisfaction and difficulties are strongly associated with students'involvement in the activity. Mentors believe changes observed in students were more related to life issues; for some mentors, there is no recognition or awareness of the program. However, most of the mentors acknowledged important changes in relation to themselves: as teachers, faculty members, and individuals. CONCLUSION: Attendance is crucial for both the mentoring relationship and strengthening of the program. Students involved in the activity motivate mentors in teaching and curriculum development, thereby creating a virtuous circle and benefiting undergraduate medical education as a whole.

METHODOLOGY FOR AUTOMATICALLY DELIMITING PERMANENT PRESERVATION AREAS ALONG WATER COURSES - THE USE OF GIS IN THE HYDROLOGICAL BASIN OF THE SERGIPE RIVER, BRAZIL

ABSTRACT Permanent Preservation Areas (PPAs) along watercourses have been the focus of numerous studies, not only because of the fragility and ecological relevance of riverine vegetation, but also because of the inefficiency demonstrated in conforming to the legislation protecting it. One of the major difficulties encountered in terms of guaranteeing the effective conservation of these riverside areas is the absence of methodologies that can be used to define them rapidly and accurately without manually determining the widths of the rivers or assigning only uniform linear values for the entire watercourse. The present work sought to develop a spatial analysis methodology capable of automatically defining permanent preservation areas along watercourses using geographic information system (GIS) software. The present study was undertaken in the Sergipe River basin, "considering the river itself and its principal affluents. We used the database of the Digital Atlas of Hydrological Resources (SEMARH/SE), and the delimitations of the PPAs were performed using ArcGIS 10.1 and the XToolPro 9.0 extension. A total of 5,003.82 hectares of Permanent Preservation Areas were delimited along the margins of the rivers analyzed, with a margin of error of <1% in delimiting the widths of the rivers within the entire area considered. The methodology described here can be used to define PPAs efficiently, relatively rapidly, and with very small margins of error, thus representing a technological advance in terms of using GIS for land management.

Low-fidelity bench models for basic surgical skills training during undergraduate medical education

It is remarkable the reduction in the number of medical students choosing general surgery as a career. In this context, new possibilities in the field of surgical education should be developed to combat this lack of interest. In this study, a program of surgical training based on learning with models of low-fidelity bench is designed as a complementary alternative to the various methodologies in the teaching of basic surgical skills during medical education, and to develop personal interests in career choice.

Applying Qt to programming courses

Työn tavoitteena on sovittaa Qt opetussuunnitelmaan. Työ sisältää Qt:n lyhyen historian sekä katsauksen sen nykytilaan. Nykytilakatsaus sisältää kolme näkökulmaa: miten ja missä Qt:ta voidaan käyttää, sekä sen käyttötarkoitukset teollisuudessa ja opetuksessa. Työn tuloksena syntyy luentodemonstraatiota varten pieni ohjelma, joka on luotu C++:n ja Qt Designerin avulla ja käyttää olennaisia käyttöliittymäkirjaston olioita. Toisena tuotteena työssä syntyy luonnos Lappeenrannan Teknillisen Yliopiston ohjelmointikursseista, joissa Qt:ta voitaisiin käyttää avustamaan opiskelijoita näkemään, miten graafinen ohjelma luodaan sekä valmentaa heitä ymmärtämään viitekehyksien ja graafisten kirjastojen tuomat edut.

Integration of learning supportive applications into the development of the e-portfolio construction process

The portfolio as a means of demonstrating personal skills has lately been gaining prominence among technology students. This is partially due to the introduction of electronic portfolios, or e-portfolios. As platforms for e-portfolio management with different approaches have been introduced, the learning cycle, traditional portfolio pedagogy, and learner centricity have sometimes been forgotten, and as a result, the tools have been used for the most part as data depositories. The purpose of this thesis is to show how the construction of e-portfolios of IT students can be supported by institutions through the usage of different tools that relate to study advising, teaching, and learning. The construction process is presented as a cycle based on learning theories. Actions related to the various phases of the e-portfolio construction process are supported by the implementation of software applications. To maximize learner-centricity and minimize the intervention of the institution, the evaluated and controlled actions for these practices can be separated from the e-portfolios, leaving the construction of the e-portfolio to students. The main contributions of this thesis are the implemented applications, which can be considered to support the e-portfolio construction by assisting in planning, organizing, and reflecting activities. Eventually, this supports the students in their construction of better and more extensive e-portfolios. The implemented tools include 1) JobSkillSearcher to help students’ recognition of the demands of the ICT industry regarding skills, 2) WebTUTOR to support students’ personal study planning, 3) Learning Styles to determine students' learning styles, and 4) MyPeerReview to provide a platform on which to carry out anonymous peer review processes in courses. The most visible outcome concerning the e-portfolio is its representation, meaning that one can use it to demonstrate personal achievements at the time of seeking a job and gaining employment. Testing the tools and the selected open-source e-portfolio application indicates that the degree of richness of e-portfolio content can be increased by using the implemented applications.

Training graduate students to be teachers

Pedagogic education of graduate students, when and where it exists, is restricted to theoretical courses or to the participation of the students as teachers' assistants. This model is essentially reproductive and offers few opportunities for any significant curriculum innovation. To open an opportunity for novelty we have introduced a new approach in "Biochemistry Teaching", a course included in the Biochemistry Graduate Program of the Biochemistry Department (Universidade Estadual de Campinas and Universidade de São Paulo). The content of the course consists of a) choosing the theme, b) selecting and organizing the topics, c) preparing written material, d) establishing the methodological strategies, e) planning the evaluation tools and, finally, f) as teachers, conducting the course as an optional summer course for undergraduate students. During the first semester the graduate students establish general and specific educational objectives, select and organize contents, decide on the instructional strategies and plan evaluation tools. The contents are explored using a wide range of strategies, which include computer-aided instruction, laboratory classes, small group teaching, a few lectures and round table discussions. The graduate students also organize printed class notes to be used by the undergraduate students. Finally, as a group, they teach the summer course. In the three versions already developed, the themes chosen were Biochemistry of Exercise (UNICAMP), Biochemistry of Nutrition (UNICAMP) and Molecular Biology of Plants (USP). In all cases the number of registrations greatly exceeded the number of places and a selection had to be made. The evaluation of the experience by both graduate and undergraduate students was very positive. Graduate students considered this experience to be unique and recommended it to their schoolmates; the undergraduate students benefited from a more flexible curriculum (more options) and gave very high scores to both the courses and the teachers.

Experiences among primary school teachers in Tanzania

The overall aim of the study was to explore primary school teachers’ experiences of constraints to their work, and actions taken for improvement after undergoing in-service courses in the Education Quality Improvement through Pedagogy program. The research interest was thus to deepen the understanding of teachers’ experiences of constraints to their work and experiences of actions taken to improve classroom actions. In order to achieve this ambition, the study was conducted with primary school teachers in Shinyanga district-Tanzania. Two research questions guided the study: What do teachers experience as constraints to their work? The second: How have teachers improved their classroom actions after undergoing professional development courses? The theoretical framework of the study is centred on limiting and enabling frames on teachers’ work and professional development. In order to understand the classroom situations, qualitative research was designed applying a phenomenological approach with semi-structured interview, observation and videotaping to collect data. Forty experienced primary school teachers from ten primary schools participated in the study. The results of the first research question indicate that teachers face many constraints in their work. Three categories identified as interactional, environmental and professional role constraints. The most critical experienced by all teachers is teaching in large classes and inadequate teaching and learning materials. The results of the second research question show that teachers’ actions taken for improving their work were influenced by professional development activities. Three main categories including expanded interaction, expanded use of environment and expanded professional roles were identified. Generally, the knowledge generated is relevant for viewing teachers’ experiences of the challenges they encounter in teaching and the importance of professional development beyond the sampled respondents. The results suggest that constant provision of teachers’ professional development could improve teaching performance.

Design of Personalization of Massive Open Online Courses

Massive Open Online Courses have been in the center of attention in the recent years. However, the main problem of all online learning environments is their lack of personalization according to the learners’ knowledge, learning styles and other learning preferences. This research explores the parameters and features used for personalization in the literature and based on them, evaluates to see how well the current MOOC platforms have been personalized. Then, proposes a design framework for personalization of MOOC platforms that fulfills most of the personalization parameters in the literature including the learning style as well as personalization features. The result of an assessment made for the proposed design framework shows that the framework well supports personalization of MOOCs.