Building Connections Between First-Year Students and the Academic Library

It is an honor to be with you here on this lovely campus. This is not my first trip to Indiana Wesleyan. I have many friends here and recently worked closely with Indiana Wesleyan’s faculty and staff in a major yearlong self-study and improvement planning process for the first year. I very much appreciate the invitation extended to me by Sheila Carlblom to reflect with you about your important role in Christian college settings and how what you do – helping students become knowledgeable and ethical seekers and consumers of information – is so important. In my remarks this morning, I want to reflect with you about the first year, the nature of today’s beginning students, and about the challenges we face in making information literacy a more central component of the first year. I also have questions about what it means to be a Christian librarian – honest questions that I want to explore with you in the context of the first year. Finally I want to facilitate a conversation between all of us about ways that you are currently integrating your work into the first year. But let me begin by practicing what I preach to faculty who teach first-year students by telling you a bit more about myself and how I more or less fell into a career focused on the first year

Range Analysis of Binaries with Minimal Effort

COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns. Since source code is unavailable, security audits necessarily occur at the binary level. Push-button formal method techniques, such as model checking and abstract interpretation, can support this process by, among other things, inferring ranges of values for registers. Ranges aid the security engineer in checking for vulnerabilities that relate, for example, to integer wrapping, uninitialised variables and bu?er over ows. Yet the lack of structure in binaries limits the e?ffectiveness of classical range analyses based on widening. This paper thus contributes a simple but novel range analysis, formulated in terms of linear programming, which calculates ranges without manual intervention

Religion in Schools? The Importance of Recognizing the Impact of Religious Experiences

The school environment is a place of forced contact between diverse peoples. It is the perfect environment to nurture the diverse identities present. The influences on identity (i.e., language, ethnicity, religion, etc.) shape how students perceive information and learn. Some educators use these influences to help them instruct students. However, often overlooked is the influence of religious practices on language use and behavior in classrooms. This paper argues that the significance of understanding the religious practices of students is equally as important for planning instruction as knowing any other aspect of their culture, (i.e., the students’ native language(s)). Framed by principles of interfaith dialogue, the paper highlights a few examples of language use and behavior at the intersection of religion and education. The author argues that using the religious beliefs of students as strengths of their identity might eliminate some of the misunderstandings in the classroom and help establish an environment of mutual acceptance which might lead to deeper learning. Additionally, dialogue that includes aspects of religious practices might help students makes sense of the world and foster collaboration in the larger society

Symmetry Reduction in the ProB Model Checker

Model checking suffers from the state space explosion problem. One method to alleviate this problem is to exploit symmetries in the system, such that duplicate symmetric components of the state space are not explored – saving time during the checking process. This paper identifies symmetries in typical structures of the formal language of B, including relations, powersets and elements of sets, and presents a method for finding them through the modification of the well known graph isomorphism program, NAUTY. This work has been implemented in the ProB model checker and preliminary experiments indicate the idea holds much potential for improving the performance of model checking for B

Interview with Marianne Marcus

An oral history with Marianne Marcus, Professor Emerita at the University of Texas at Houston School of Nursing. Before she retired and assumed the title of Professor Emerita in 2104, Dr. Marcus chaired the UT Nursing School’s Department of Nursing Systems, directed its Master’s of Nursing Education degree track and directed its Center for Substance Abuse Prevention, Education and Research. While at UT, she was elected to its Academy of Health Science Education and named as a Fellow of the American Academy of Nursing. She was appointed the John P. McGovern Distinguished Professor of Addiction Nursing at UT Health Science Center

Range and Set Abstraction using SAT

Symbolic decision trees are not the only way to correlate the relationship between flags and numeric variables. Boolean formulae can also represent such relationships where the integer variables are modelled with bit-vectors of propositional variables. Boolean formulae can be composed to express the semantics of a block and program state, but they are hardly tractable, hence the need to compute their abstractions. This paper shows how incremental SAT can be applied to derive range and set abstractions for bit-vectors that are constrained by Boolean formulae

Implications for Immigrant Child Health: Creating Evidence-Based Practice in a Changing Environment

Executive Editors, Dr. Robert Sanborn and Dr. Christopher Greeley, discuss the implications of research presented in the Journal of Applied Research on Children 10 (1) regarding the well being of immigrant children

Who works in the public sector? Evidence from the World Values Survey

Earlier single-country studies found a higher level of intrinsic motivation among public sector workers, compared to the private sector. Using data from the World Values Survey, covering 51 countries, we find a tendency for public sector workers to be more intrinsically motivated, but this is not a universal relationship: we also show that the level of government corruption (appropriately instrumented) explains some of the variation across countries. Consistent with earlier studies that find that selection accounts for differential motivation across sectors, we show that intrinsically-motivated workers are less likely to work in the public sector when corruption is higher.Intrinsic motivation, public sector, corruption

Our History Clips: Collaborating for the Common Good

This case study reveals how middle school social studies teachers within a professional development program are encouraging their students to use multiple disciplinary literacies to create Our History Clips as they also work toward developing a classroom community of engaged student citizens