Writing In Math Class? Written Communication in the Mathematics Classroom

In this action research study of my seventh grade mathematics classroom, I investigated what written communication within the mathematics classroom would look like. I increased vocabulary instruction of specific mathematical terms for my students to use in their writing. I also looked at what I would have to do differently in my teaching in order for my students to be successful in their writing. Although my students said that using writing to explain mathematics helped them to better understand the math, my research revealed that student writing did not necessarily translate to improved scores. After direct instruction and practice on math vocabulary, my students did use the vocabulary words more often in their writing; however, my students used the words more like they would in spelling sentences rather than to show what it meant and how it can be applied within their written explanation in math. In my teaching, I discovered I tried many different strategies to help my students be successful. I was very deliberate in my language and usage of vocabulary words and also in my explanations of various math concepts. As a result of this research, I plan to continue having my students use writing to communicate within the mathematics classroom. I will keep using some of the strategies I found successful. I also will be very deliberate in using vocabulary words and stress the use of vocabulary words with my students in the future.

Generating Interest in Mathematics Using Discussion in the Middle School Classroom

In this action research study of my classroom of 8th grade algebra, I investigated students’ discussion of mathematics and how it relates to interest in the subject. Discussion is a powerful tool in the classroom. By relying too heavily on drill and practice, a teacher may lose any individual student insight into the learning process. However, in order for the discussion to be effective, students must be provided with structure and purpose. It is unrealistic to expect middle school age students to provide their own structure and purpose; a packet was constructed that would allow the students to both show their thoughts and work as a small group toward a common goal. The students showed more interest in the subject in question as they related to the algebra topics being studied. The students appreciated the packets as a way to facilitate discussion rather than as a vehicle for practicing concepts. Students still had a need for practice problems as part of their homework. As a result of this research, it is clear that discussion packets are very useful as a part of daily instruction. While there are modifications that must be made to the original packets to more clearly express the expectations in question, discussion packets will continue to be an effective tool in the classroom.

Reading as a Learning Strategy for Mathematics

In this action research study of 55 sophomore and junior students in my Algebra II/Trigonometry classrooms, I investigated a reading strategy of learning mathematics. Students were given background information about reading and explored the benefits of reading for themselves. Next, students were taught to read their textbook, analyzing one section of the textbook at a time. Throughout the research project, students were given reading guides to fill out during class with whole class discussion following the reading time. I discovered that students are able to read a mathematics textbook with understanding and students who are gone for activities can learn independently. Teacher observations, student surveys, and student interviews provide quantitative evidence of increased student understanding and achievement. As a result of this research, I plan to continue utilizing the reading guides and incorporating reading as a method of learning mathematics within my classrooms.

Is Competition Making a Comeback? Discovering Methods to Keep Female Adolescents Engaged in STEM: A Phenomenological Approach

The decreasing number of women who are graduating in the Science, Technology, Engineering and Mathematics (STEM) fields continues to be a major concern. Despite national support in the form of grants provided by National Science Foundation, National Center for Information and Technology and legislation passed such as the Deficit Reduction Act of 2005 that encourages women to enter the STEM fields, the number of women actually graduating in these fields is surprisingly low. This research study focuses on a robotics competition and its ability to engage female adolescents in STEM curricula. Data have been collected to help explain why young women are reticent to take technology or engineering type courses in high school and college. Factors that have been described include attitudes, parental support, social aspects, peer pressure, and lack of role models. Often these courses were thought to have masculine and “nerdy” overtones. The courses were usually majority male enrollments and appeared to be very competitive. With more female adolescents engaging in this type of competitive atmosphere, this study gathered information to discover what about the competition appealed to these young women. Focus groups were used to gather information from adolescent females who were participating in the First Lego League (FLL) and CEENBoT competitions. What enticed them to participate in a curriculum that data demonstrated many of their peers avoided? FLL and CEENBoT are robotics programs based on curricula that are taught in afterschool programs in non-formal environments. These programs culminate in a very large robotics competition. My research questions included: What are the factors that encouraged participants to participate in the robotics competition? What was the original enticement to the FLL and CEENBoT programs? What will make participants want to come back and what are the participants’ plans for the future? My research mirrored data of previous findings such as lack of role models, the need for parental support, social stigmatisms and peer pressure are still major factors that determine whether adolescent females seek out STEM activities. An interesting finding, which was an exception to previous findings, was these female adolescents enjoyed the challenge of the competition. The informal learning environments encouraged an atmosphere of social engagement and cooperative learning. Many volunteers that led the afterschool programs were women (role models) and a majority of parents showed support by accommodating an afterschool situation. The young women that were engaged in the competition noted it was a friendly competition, but they were all there to win. All who participated in the competition had a similar learning environment: competitive but cooperative. Further research is needed to determine if it is the learning environment that lures adolescent females to the program and entices them to continue in the STEM fields or if it is the competitive aspect of the culminating activity. Advisors: James King and Allen Steckelberg

Análise de variância WAVELET de séries temporais com dados faltantes: avaliação do índice de cintilação ionosférica S4 em sinais de satélite GPS

Pós-graduação em Matematica Aplicada e Computacional - FCT

A Simpler and More Accurate AUTO-HDS Framework for Clustering and Visualization of Biological Data

In [1], the authors proposed a framework for automated clustering and visualization of biological data sets named AUTO-HDS. This letter is intended to complement that framework by showing that it is possible to get rid of a user-defined parameter in a way that the clustering stage can be implemented more accurately while having reduced computational complexity

A relaxed constant positive linear dependence constraint qualification and applications

In this work we introduce a relaxed version of the constant positive linear dependence constraint qualification (CPLD) that we call RCPLD. This development is inspired by a recent generalization of the constant rank constraint qualification by Minchenko and Stakhovski that was called RCRCQ. We show that RCPLD is enough to ensure the convergence of an augmented Lagrangian algorithm and that it asserts the validity of an error bound. We also provide proofs and counter-examples that show the relations of RCRCQ and RCPLD with other known constraint qualifications. In particular, RCPLD is strictly weaker than CPLD and RCRCQ, while still stronger than Abadie's constraint qualification. We also verify that the second order necessary optimality condition holds under RCRCQ.

Experimental evidence for the sensitivity of the air-shower radio signal to the longitudinal shower development

We observe a correlation between the slope of radio lateral distributions and the mean muon pseudorapidity of 59 individual cosmic-ray-air-shower events. The radio lateral distributions are measured with LOPES, a digital radio interferometer colocated with the multidetector-air-shower array KASCADE-Grande, which includes a muon-tracking detector. The result proves experimentally that radio measurements are sensitive to the longitudinal development of cosmic-ray air showers. This is one of the main prerequisites for using radio arrays for ultra-high-energy particle physics and astrophysics.

An integrated approach of software development and test processes to distributed teams

The Distributed Software Development (DSD) is a development strategy that meets the globalization needs concerned with the increase productivity and cost reduction. However, the temporal distance, geographical dispersion and the socio-cultural differences, increased some challenges and, especially, added new requirements related with the communication, coordination and control of projects. Among these new demands there is the necessity of a software process that provides adequate support to the distributed software development. This paper presents an integrated approach of software development and test that considers distributed teams peculiarities. The approach purpose is to offer support to DSD, providing a better project visibility, improving the communication between the development and test teams, minimizing the ambiguity and difficulty to understand the artifacts and activities. This integrated approach was conceived based on four pillars: (i) to identify the DSD peculiarities concerned with development and test processes, (ii) to define the necessary elements to compose the integrated approach of development and test to support the distributed teams, (iii) to describe and specify the workflows, artifacts, and roles of the approach, and (iv) to represent appropriately the approach to enable the effective communication and understanding of it.

Development of an Autonomous Robot for Gas Storage Spheres Inspection

Inspection for corrosion of gas storage spheres at the welding seam lines must be done periodically. Until now this inspection is being done manually and has a high cost associated to it and a high risk of inspection personel injuries. The Brazilian Petroleum Company, Petrobras, is seeking cost reduction and personel safety by the use of autonomous robot technology. This paper presents the development of a robot capable of autonomously follow a welding line and transporting corrosion measurement sensors. The robot uses a pair of sensors each composed of a laser source and a video camera that allows the estimation of the center of the welding line. The mechanical robot uses four magnetic wheels to adhere to the sphere's surface and was constructed in a way that always three wheels are in contact with the sphere's metallic surface which guarantees enough magnetic atraction to hold the robot in the sphere's surface all the time. Additionally, an independently actuated table for attaching the corrosion inspection sensors was included for small position corrections. Tests were conducted at the laboratory and in a real sphere showing the validity of the proposed approach and implementation.

A fragment-based approach for ligand binding affinity and selectivity for the liver X receptor beta

Selective modulation of liver X receptor beta (LXR beta) has been recognized as an important approach to prevent or reverse the atherosclerotic process. In the present work, we have developed robust conformation-independent fragment-based quantitative structure-activity and structure-selectivity relationship models for a series of quinolines and cinnolines as potent modulators of the two LXR sub-types. The generated models were then used to predict the potency of an external test set and the predicted values were in good agreement with the experimental results, indicating the potential of the models for untested compounds. The final 2D molecular recognition patterns obtained were integrated to 3D structure-based molecular modeling studies to provide useful insights into the chemical and structural determinants for increased LXR beta binding affinity and selectivity. (C) 2011 Elsevier Inc. All rights reserved.

A Unified Framework for e-Commerce Systems Development : Business Process Pattern Perspective

In electronic commerce, systems development is based on two fundamental types of models, business models and process models. A business model is concerned with value exchanges among business partners, while a process model focuses on operational and procedural aspects of business communication. Thus, a business model defines the what in an e-commerce system, while a process model defines the how. Business process design can be facilitated and improved by a method for systematically moving from a business model to a process model. Such a method would provide support for traceability, evaluation of design alternatives, and seamless transition from analysis to realization. This work proposes a unified framework that can be used as a basis to analyze, to interpret and to understand different concepts associated at different stages in e-Commerce system development. In this thesis, we illustrate how UN/CEFACT’s recommended metamodels for business and process design can be analyzed, extended and then integrated for the final solutions based on the proposed unified framework. Also, as an application of the framework, we demonstrate how process-modeling tasks can be facilitated in e-Commerce system design. The proposed methodology, called BP3 stands for Business Process Patterns Perspective. The BP3 methodology uses a question-answer interface to capture different business requirements from the designers. It is based on pre-defined process patterns, and the final solution is generated by applying the captured business requirements by means of a set of production rules to complete the inter-process communication among these patterns.

Muscular development and physical activity as major determinants of femoral bone mass acquisition during growth

[EN] OBJECTIVES: To investigate to what extent bone mass accrual is determined by physical activity and changes in lean, fat, and total body mass during growth. METHODS: Twenty six physically active and 16 age matched control boys were followed up for three years. All subjects were prepubertal at the start of the survey (mean (SEM) age 9.4 (0.3) years). The weekly physical activity of the active boys included compulsory physical education sessions (80-90 minutes a week), three hours a week of extracurricular sports participation, and occasional sports competitions at weekends. The physical activity of the control group was limited to the compulsory physical education curriculum. Bone mineral content (BMC) and areal density (BMD), lean mass, and fat mass were measured by dual energy x ray absorptiometry. RESULTS: The effect of sports participation on femoral bone mass accrual was remarkable. Femoral BMC and BMD increased twice as much in the active group as in the controls over the three year period (p < 0.05). The greatest correlation was found between the increment in femoral bone mass and the increment in lean mass (BMC r = 0.67 and BMD r = 0.69, both p < 0.001). Multiple regression analysis revealed enhancement in lean mass as the best predictor of the increment in femoral bone BMC (R = 0.65) and BMD (R = 0.69). CONCLUSIONS: Long term sports participation during early adolescence results in greater accrual of bone mass. Enhancement of lean mass seems to be the best predictor of this bone mass accumulation. However, for a given muscle mass, a greater level of physical activity is associated with greater bone mass and density in peripubertal boys.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.