The effects of an imagery intervention on implicit and explicit exercise attitudes

This study examined the effects of exercise imagery on implicit and explicit attitudes towards exercise and the moderating effect of exercise status. It was predicted that exercise imagery would activate a pattern of positive automatic associations with exercise that would be reflected in more positive implicit attitudes. Corresponding effects were expected for explicit affective attitudes, but imagery was not expected to influence explicit instrumental attitudes

Toward Intelligent Software Defect Detection

Source code level software defect detection has gone from state of the art to a software engineering best practice. Automated code analysis tools streamline many of the aspects of formal code inspections but have the drawback of being difficult to construct and either prone to false positives or severely limited in the set of defects that can be detected. Machine learning technology provides the promise of learning software defects by example, easing construction of detectors and broadening the range of defects that can be found. Pinpointing software defects with the same level of granularity as prominent source code analysis tools distinguishes this research from past efforts, which focused on analyzing software engineering metrics data with granularity limited to that of a particular function rather than a line of code

Creating Transformative Connections with Graduate Students Using a Social Capital Framework

Graduate school is a transformative time for many students. It is also a time when they are part of an elite community of learners. For some students, this is an exciting adventure that allows them to explore new ideas and more fully express themselves. However, many graduate students also experience feelings of anxiety, frustration, and exclusion because they don’t feel like they really belong to this academic community. Graduate students sometimes struggle with how to navigate the new social norms, hierarchies, and structures built on many years of accumulated, implicit knowledge. These socially-based struggles frequently lead to lower levels of retention among graduate students. Because librarians typically work outside of departmental or graduate school hierarchies, we often strive to act as neutral and safe information brokers for graduate students. However, researchers have found that in order to fit into small, specialized communities, instead of asking for help, people avoid doing anything that would make them look like they weren’t a “normal,” fully-functioning part of the community. So how can librarians create a trust-based relationship where students are willing to ask for help when few of us are part of graduate students’ immediate social community? In this workshop, we will explore theories such as Social Capital and Information Poverty to provide a lens for examining graduate students’ existing social networks. We will provide a grounding in past research on social capital and information acquisition to help participants better understand the context of graduate students’ information seeking behaviors. We will create personal social capital maps together to illustrate the principles of social capital, and then we will also build social capital maps based on graduate student scenarios. Using an assumptions inventory exercise, we will develop a better understanding of the connection between our beliefs about graduate students’ information needs and our perceptions of how those needs are provided. We will also explore the unique social capital perceptions and needs of historically underrepresented and underserved students. Drawing upon recent literature on the difficulties historically underrepresented students face, we will share findings that can help participants recognize ways that they can reach reach out to these students without threatening their standing in their academic communities. Using activities such as the critical incident questionnaire, we will ask participants to reflect on how their role as librarians can lead to increased engagement with these students. Recognizing that librarians’ interactions with graduate students vary based on a range of institutional factors, we will share our own experiences with graduate students at two different libraries - one small branch library and one large, main campus library. Through the use of individual reflection and small group discussions, we will guide participants through ways that they might use their own social capital within their own context to improve interactions with graduate students. Ultimately, we look forward to transforming our own and other librarians’ awareness of graduate students’ affective and information needs so that we can provide appropriate and meaningful assistance

Efficient multiple time scale molecular dynamics: using colored noise thermostats to stabilize resonances

Multiple time scale molecular dynamics enhances computational efficiency by updating slow motions less frequently than fast motions. However, in practice the largest outer time step possible is limited not by the physical forces but by resonances between the fast and slow modes. In this paper we show that this problem can be alleviated by using a simple colored noise thermostatting scheme which selectively targets the high frequency modes in the system. For two sample problems, flexible water and solvated alanine dipeptide, we demonstrate that this allows the use of large outer time steps while still obtaining accurate sampling and minimizing the perturbation of the dynamics. Furthermore, this approach is shown to be comparable to constraining fast motions, thus providing an alternative to molecular dynamics with constraints.Comment: accepted for publication by the Journal of Chemical Physic

Technology Infusion of CodeSonar into the Space Network Ground Segment

This slide presentation reviews the applicability of CodeSonar to the Space Network software. CodeSonar is a commercial off the shelf system that analyzes programs written in C, C++ or Ada for defects in the code. Software engineers use CodeSonar results as an input to the existing source code inspection process. The study is focused on large scale software developed using formal processes. The systems studied are mission critical in nature but some use commodity computer systems

Technology Infusion of CodeSonar into the Space Network Ground Segment (RII07): Software Assurance Symposium Technical Summary

Presents a source code analysis tool (CodeSonar) for use in the Space Network Ground Segment. The Space Network requires 99.9% proficiency and 97.0% availability of systems. Software has historically accounted for an annual average of 28% of the Space Network loss of availability and proficiency. CSCI A and CSCI B account for 42% of the previous eight months of software data loss. The technology infusion of CodeSonar into the Space Network Ground segment is meant to aid in determining the impact of the technology on the project both in the expenditure of effort and the technical results of the technology. Running a CodeSonar analysis and performing a preliminary review of the results averaged 3.5 minutes per finding (approximately 20 hours total). An additional 40 hours is estimated to analyze the 37 findings deemed too complex for the initial review. Using CodeSonar's tools to suppress known non-problems, delta tool runs will not repeat findings that have been marked as non-problems, further reducing the time needed for review. The 'non-interesting' finding rate of 70% is a large number, but filtering, search, and detailed contextual features of CodeSonar reduce the time per finding. Integration of the tool into the build process may also provide further savings by preventing developers from having to configure and operate the tool separately. These preliminary results show the tool to be easy to use and incorporate into the engineering process. These findings also provide significant potential improvements in proficiency and availability on the part of the software. As time-to-fix data become available a better cost trade can be made on person hours saved versus tool cost. Selective factors may be necessary to determine where best to apply CodeSonar to balance cost and benefits

Fishy Business: Fish in the United States Serial Set

The United States Congressional Serial Set contains a wide variety of historical documents relating to natural resources and their history in the United States. It is an excellent resource for those researching historical data concerning fisheries, from extant species and ecology to economic issues. Information on resources outside the United States is also available due to the U.S. history of explorations and expansions. Charts, maps and tables are found within many of the papers and reports. There are also numerous scientific illustrations