A Hierarchical Approach for Multi-task Logistic Regression

Peer-reviewed

A transformada de Fourier em basic

In this paper we describe three computer programs in Basic language about the Fourier transform (FFT) which are available in the Internet site http://artemis.ffclrp.usp.br/SoftwareE.htm (in English) or http://artemis.ffclrp.usp.br/softwareP.htm (in Portuguese) since October 1998. Those are addresses to the Web Page of our Laboratory of Organic Synthesis. The programs can be downloaded and used by anyone who is interested on the subject. The texts, menus and captions in the programs are written in English.

Redes neurais e suas aplicações em calibração multivariada

Neural Networks are a set of mathematical methods and computer programs designed to simulate the information process and the knowledge acquisition of the human brain. In last years its application in chemistry is increasing significantly, due the special characteristics for model complex systems. The basic principles of two types of neural networks, the multi-layer perceptrons and radial basis functions, are introduced, as well as, a pruning approach to architecture optimization. Two analytical applications based on near infrared spectroscopy are presented, the first one for determination of nitrogen content in wheat leaves using multi-layer perceptrons networks and second one for determination of BRIX in sugar cane juices using radial basis functions networks.

Introdução a modelagem molecular de fármacos no curso experimental de química farmacêutica

Molecular Modeling is an important tool in drug design and it is very useful to predict biological activity from a library of compounds. A wide variety of computer programs and methods have been developed to visualize the tridimensional geometry and calculate physical properties of drugs. In this work, we describe a practical approach of molecular modeling as a powerful tool to study structure-activity relationships of drugs, including some antibacterials, hormones, cholinergic and adrenergic agents. At first, the students learn how to draw 3D structures and use them to perform conformational and molecular analysis. Thus, they compare drugs with similar pharmacological activity by superimposing one structure on the top of another and evaluate the geometry and physical properties.

Integración de visualización científica molecular en el salón de clases

For some years, Chemistry teachers have used scientific visualization software of molecular models in computing rooms and chemistry laboratories for educational purposes. However, its application in classrooms has been limited. This article describes the integration and use of computer programs for scientific molecular visualization in a traditional classroom. We consider that the improvement of technical aspects of their application and use (usability) has a direct effect on students' understanding of molecular structures (including students' extrinsic motivation), among other factors. Consequently, we developed a guide for the integration of hardware and software of molecular visualization for its use in the classroom.

A teoria de pearson para a disciplina de química orgânica: um exercício prático e teórico aplicado em sala de aula

We report a didactic experience in teaching Pearson's theory (HSAB) to graduate students in organic chemistry. This approach was based on teaching students how to use computer programs to calculate frontier orbitals (HOMO-LUMO). The suggested level of calculation was a semi-empiric PM3, proving to be efficient for obtaining robust and fast numerical results that can be performed easily in the classroom. We described a practical computational exercise and asked students to compare these numerical data with qualitative analysis using valence bond theory. A comprehensive solution of this exercise is presented, aiming to support teachers in their lessons.

Parallella, dynamiska representationer i gymnasiefysiken : implementering av ett interaktivt datorverktyg i didaktiska situationer och uppfattning av effektivt lärande

The computer is a useful tool in the teaching of upper secondary school physics, and should not have a subordinate role in students' learning process. However, computers and computer-based tools are often not available when they could serve their purpose best in the ongoing teaching. Another problem is the fact that commercially available tools are not usable in the way the teacher wants. The aim of this thesis was to try out a novel teaching scenario in a complicated subject in physics, electrodynamics. The didactic engineering of the thesis consisted of developing a computer-based simulation and training material, implementing the tool in physics teaching and investigating its effectiveness in the learning process. The design-based research method, didactic engineering (Artigue, 1994), which is based on the theoryof didactical situations (Brousseau, 1997), was used as a frame of reference for the design of this type of teaching product. In designing the simulation tool a general spreadsheet program was used. The design was based on parallel, dynamic representations of the physics behind the function of an AC series circuit in both graphical and numerical form. The tool, which was furnished with possibilities to control the representations in an interactive way, was hypothesized to activate the students and promote the effectiveness of their learning. An effect variable was constructed in order to measure the students' and teachers' conceptions of learning effectiveness. The empirical study was twofold. Twelve physics students, who attended a course in electrodynamics in an upper secondary school, participated in a class experiment with the computer-based tool implemented in three modes of didactical situations: practice, concept introduction and assessment. The main goal of the didactical situations was to have students solve problems and study the function of AC series circuits, taking responsibility for theirown learning process. In the teacher study eighteen Swedish speaking physics teachers evaluated the didactic potential of the computer-based tool and the accompanying paper-based material without using them in their physics teaching. Quantitative and qualitative data were collected using questionnaires, observations and interviews. The result of the studies showed that both the group of students and the teachers had generally positive conceptions of learning effectiveness. The students' conceptions were more positive in the practice situation than in the concept introduction situation, a setting that was more explorative. However, it turned out that the students' conceptions were also positive in the more complex assessment situation. This had not been hypothesized. A deeper analysis of data from observations and interviews showed that one of the students in each pair was more active than the other, taking more initiative and more responsibilityfor the student-student and student-computer interaction. These active studentshad strong, positive conceptions of learning effectiveness in each of the threedidactical situations. The group of less active students had a weak but positive conception in the first iv two situations, but a negative conception in the assessment situation, thus corroborating the hypothesis ad hoc. The teacher study revealed that computers were seldom used in physics teaching and that computer programs were in short supply. The use of a computer was considered time-consuming. As long as physics teaching with computer-based tools has to take place in special computer rooms, the use of such tools will remain limited. The affordance is enhanced when the physical dimensions as well as the performance of the computer are optimised. As a consequence, the computer then becomes a real learning tool for each pair of students, smoothly integrated into the ongoing teaching in the same space where teaching normally takes place. With more interactive support from the teacher, the computer-based parallel, dynamic representations will be efficient in promoting the learning process of the students with focus on qualitative reasoning - an often neglected part of the learning process of the students in upper secondary school physics.

Adherence and perceptions regarding simulation training in undergraduate health Sciences

BACKGROUND: Simulation techniques are spreading rapidly in medicine. Suc h resources are increasingly concentrated in Simulation Laboratories. The MSRP-USP is structuring such a laboratory and is interested in the prevalence of individual initiatives that could be centralized there. The MSRP-USP currently has five full-curriculum courses in the health sciences: Medicine, Speech Therapy, Physical Therapy, Nutrition, and Occupational Therapy, all consisting of core disciplines. GOAL: To determine the prevalence of simulation techniques in the regular courses at MSRP-USP. METHODS: Coordinators of disciplines in the various courses were interviewed using a specifically designed semi-structured questionnaire, and all the collected data were stored in a dedicated database. The disciplines were grouped according to whether they used (GI) or did not use (GII) simulation resources. RESULTS AND DISCUSSION: 256 disciplines were analyzed, of which only 18.3% used simulation techniques, varying according to course: Medicine (24.7.3%), Occupational Therapy (23.0%), Nutrition (15.9%), Physical Therapy (9.8%), and Speech Therapy (9.1%). Computer simulation programs predominated (42.5%) in all five courses. The resources were provided mainly by MSRP-USP (56.3%), with additional funding coming from other sources based on individual initiatives. The same pattern was observed for maintenance. There was great interest in centralizing the resources in the new Simulation Laboratory in order to facilitate maintenance, but there was concern about training and access to the material. CONCLUSIONS: 1) The MSRP-USP simulation resources show low complexity and are mainly limited to computer programs; 2) Use of simulation varies according to course, and is most prevalent in Medicine; 3) Resources are scattered across several locations, and their acquisition and maintenance depend on individual initiatives rather than central coordination or curricular guidelines

Palveluinnovaatio ja sen johtaminen osaamisintensiivisessä palveluyrityksessä - diskurssianalyysi

Tutkimuksen tavoitteena oli tutkia KIBS-yrityksen diskurssien vaikutusta kyseisen yrityksen palveluinnovaatioprosessin johtamiseen. Kontekstina tässä työssä oli tilitoimisto, jota verrattiin tutkimuksen muihin KIBS-yrityksiin. Tutkimusmenetelmänä käytettiin haastattelua ja analyysikeinona diskurssianalyysiä. Tutkimuksen tulokset osoittavat, että tilitoimiston diskursseissa luotetaan vahvasti tietotekniikan ja koulutuksen voimaan palveluinnovaatioiden kehittämisessä. Innovaatiojohtamisessa tämä voi merkitä näkökentän kaventumista. Tilitoimistossa havaittuja innovaation kannustimia olivat esimerkiksi työn itsenäisyys. Tilitoimistossa palveluinnovaatioita esti liiallinen kiire. Tilitoimiston diskurssien kautta ilmenevä palveluinnovaatioprosessin johtaminen oli melko kehittymätöntä verrattuna tutkimuksen innovatiivisimpaan yritykseen, joka suunnitteli taloteknisiä ohjelmistoja.

Pohjapaperin kustannusrakenteen optimointi

Kilpailulliset tekijät ovat johtaneet paperin valmistajat miettimään keinoja valmistuskustannusten leikkaamiseksi. Yksi keino on optimoida raaka-aineiden käyttöä, jota on tehty tässä diplomityössä. Työn tarkoitus on selvittää koeajoin mahdollisuudet kalliimpien raaka-aineiden korvaamiseen edullisemmilla, säilyttäen kuitenkin pohjapaperin laadulliset ominaisuudet. Työ on toteutettu UPM Kymmene Oyj:n Jokilaakson tehtailla, Jämsänkosken paperitehtaan Tarrapaperit-osastolla. Työssä on käytetty apuna tietokoneohjelmia mallintamaan ja simuloimaan paperissa ja paperin kustannusrakenteessa tapahtuvia muutoksia, mutta merkittävimmässä asemassa ovat olleet koeajot ja erilaisten näytteiden käsittely. Raaka-aineina käytettävien massojen osuuksien optimoinnilla on saatu aikaiseksi merkittäviä kustannussäästöjä, mutta työn yhteydessä on löydetty myös keinoja säästöjen saavuttamiseksi energiankulutusta järkevöittämällä. Luotu malli auttaa jatkossa kustannusrakenteen seurannassa. Mäntysellun osuuden laskulla ja täyteaineen osuuden nostolla saavutetaan merkittävimmät kustannussäästöt, kemihierteellä vaikutus kustannuksiin on vähäisempi. Sähköenergiaa vievä kuitujen jauhatus on järjestetty paperikone 3:lla uudella tavalla, jolla on paitsi saavutettu säästöä energiassa, parannettu myös paperin lujuutta.

Structural and Computational Existence Results for Multidimensional Subshifts

Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of symbols, or in the multidimensional case, infinite grids of symbols. Classes of such sequences and grids defined by collections of forbidden patterns are called subshifts, and subshifts of finite type are defined by finitely many forbidden patterns. The simplest examples of multidimensional subshifts are sets of Wang tilings, infinite arrangements of square tiles with colored edges, where adjacent edges must have the same color. Multidimensional symbolic dynamics has strong connections to computability theory, since most of the basic properties of subshifts cannot be recognized by computer programs, but are instead characterized by some higher-level notion of computability. This dissertation focuses on the structure of multidimensional subshifts, and the ways in which it relates to their computational properties. In the first part, we study the subpattern posets and Cantor-Bendixson ranks of countable subshifts of finite type, which can be seen as measures of their structural complexity. We show, by explicitly constructing subshifts with the desired properties, that both notions are essentially restricted only by computability conditions. In the second part of the dissertation, we study different methods of defining (classes of ) multidimensional subshifts, and how they relate to each other and existing methods. We present definitions that use monadic second-order logic, a more restricted kind of logical quantification called quantifier extension, and multi-headed finite state machines. Two of the definitions give rise to hierarchies of subshift classes, which are a priori infinite, but which we show to collapse into finitely many levels. The quantifier extension provides insight to the somewhat mysterious class of multidimensional sofic subshifts, since we prove a characterization for the class of subshifts that can extend a sofic subshift into a nonsofic one.

Open source solutions for multiplatform graphics programming

New emerging technologies in the recent decade have brought new options to cross platform computer graphics development. This master thesis took a look for cross platform 3D graphics development possibilities. All platform dependent and non real time solutions were excluded. WebGL and two different OpenGL based solutions were assessed via demo application by using most recent development tools. In the results pros and cons of the each solutions were noted.

Attitudes of second year diploma nurses in three community colleges toward the use of computers in the nursing role /

The effectiveness of various kinds of computer programs is of concern to nurse-educators. Using a 3x3 experimental design, ninety second year diploma student nurses were randomly selected from a total population at three community colleges in Ontario. Data were collected via a 20-item valid and reliable Likert-type questionnaire developed by the nursing profession to measure perceptions of nurses about computers in the nursing role. The groups were pretested and posttested at the beginning and end of one semester. Subjects attending College A group received a computer literacy course which comprised word processing with technology awareness. College B students were exposed to computer-aided instruction primarily in nursing simulations intermittently throughout the semester. College C subjects maintained their regular curriculum with no computer involvement. The student's t-test (two-tailed) was employed to assess the attitude scores data and a one-way analysis of variance was performed on the attitude scores. Posttest analysis revealed that there was a significant difference (p<.05) between attitude scores on the use of computers in the nursing role between College A and C. No significant differences (p>.05) were seen between College B and A in posttesting. Suggestions for continued computer education of diploma student nurses are provided.

Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.