Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences

J. Keppens and Q. Shen. Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. Journal of Artificial Intelligence Research, 21:499-550, 2004.

Through the eyes of instructors: a phenomenographic investigation of student success

Kinnunen, P., McCartney, R., Murphy, L., and Thomas, L. 2007. Through the eyes of instructors: a phenomenographic investigation of student success. In Proceedings of the Third international Workshop on Computing Education Research (Atlanta, Georgia, USA, September 15 - 16, 2007). ICER '07. ACM, New York, NY, 61-72.

Mount Vernon Student Association

A collection of materials concerning the Mount Vernon Student Association during 1967-1969 maintained by the School of Theology Library and Archives.

World-wide evangelization the urgent business of the church; addresses delivered before the fourth international convention of the Student volunteer movement for foreign missions, Toronto, Canada, February 26-March 2, 1902.

http://www.archive.org/details/worldwideevangel00unknuoft

Quadsim Version 2.1 Student Manual

Quadsim is an intermediate code simulator. It allows you to "run" programs that your compiler generates in intermediate code format. Its user interface is similar to most debuggers in that you can step through your program, instruction by instruction, set breakpoints, examine variable values, and so on. The intermediate code format used by Quadsim is that described in [Aho 86]. If your compiler generates intermediate code in this format, you will be able to take intermediate-code files generated by your compiler, load them into the simulator, and watch them "run." You are provided with functions that hide the internal representation of intermediate code. You can use these functions within your compiler to generate intermediate code files that can be read by the simulator. Quadsim was inspired and greatly influenced by [Aho 86]. The material in chapter 8 (Intermediate Code Generation) of [Aho 86] should be considered background material for users of Quadsim.

Identifying sources of global contention in constraint satisfaction search

Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.

Understanding student stress: a qualitative study of the stress experienced by third level students

Stress can be understood in terms of the meaning of stressful experiences for individuals. The meaning of stressful experiences involves threats to self-adequacy, where self-adequacy is considered a basic human need. Appropriate research methods are required to explore this aspect of stress. The present study is a qualitative exploration of the stress experienced by a group of 27 students at the National Institute of Higher Education, Limerick (since renamed the University of Limerick). The study was carried out by the resident student counsellor at the college. A model of student stress was explored, based on student developmental needs. The data consist of a series of interviews recorded with each of the 27 students over a 3 month period. These interviews were transcribed and the resulting transcripts are the subject of detailed analysis. The analysis of the data is an account of the sense-making process by the student counsellor of the students' reported experiences. The aim of the analysis was to reduce the large amounts of data to their most salient aspects in an ordered fashion, so as to examine the application of a developmental model of stress with this group of students. There were two key elements to the analysis. First, the raw data were edited to identify the key statements contained in the interviews. Second, the statements were categorised, as a means of summarising the data. The results of the qualitative dataanalysis were then applied to the developmental model. The analysis of data revealed a number of patterns of stress amongst the sample of students. Patterns of academic over-identification, parental conflict and social inadequacy were particularly noteworthy. These patterns consisted of an integration of academic, family and social stresses within a developmental framework. Gender differences with regard to the need for separateness and belonging are highlighted. Appropriate student stress intervention strategies are discussed. Based on the present results, the relationship between stress and development has been highlighted and is recommended as a firm basis for future studies of stress in general and student stress in particular.

Student voice in Irish post-primary schools: a drama of voices

This research is an exploration of the expression of student voice in Irish post-primary schools and how its affordance could impact on students’ and teachers’ experiences in the classroom, and at whole-school level through a student council. Student voice refers to the inclusion of students in decisions that shape their experiences in classrooms and schools, and is fundamental to a rights-based perspective that facilitates students to have a voice and a say in their education. Student voice is essential to the development of democratic principles, active citizenship, and learning and pedagogy. This qualitative research, based in three post-primary case-study schools, concerns teachers in eighteen classrooms engaging in dialogic consultation with their students over one school year. Teachers considered the students’ commentary and then adjusted their practice. The operation of student councils was also examined through the voices of council members, liaison teachers and school principals. Theorised within socio-cultural (social constructivist), social constructionist and poststructural frames, the complexity of student voice emerges from its conceptualisation and enactment. Affording students a voice in their classroom presented positive findings in the context of relationships, pedagogical change and students’ engagement, participation and achievement. The power and authority of the teacher and discordant student voices, particularly relating to examinations, presented challenges affecting teachers’ practice and students’ expectations. The functional redundancy of the student council as a construct for student voice at whole-school level, and its partial redundancy as a construct to reflect prefigurative democracy and active citizenship also emerge from the research. Current policy initiatives in Irish education situate student voice in pedagogy and as dialogic consultation at classroom and whole-school level. This work endorses the necessity for and benefit of such a positioning with the author further arguing that it should not become the instrumental student voice of data source, accountability and performativity.

The student bullying of teachers in Irish second level schools: exploring the influence of historical low state intervention in education on the development of contemporary policy responses in Ireland

The student bullying of teachers (SBT) is a distinct and complex form of bullying with a multiplicity of diverse, changeable and intersecting causes which is experienced by and affects teachers in a variety of ways. SBT is both a national and an international phenomenon which is under-recognised in academic, societal and political spheres, resulting in limited conceptual understanding and awareness of the issue. This study explores teachers’ experiences of SBT behaviours in Irish second level schools as well as teachers’ perceptions regarding training, policies and supports in Ireland to address the issue. Specifically, the study seeks to explore the influence of historical low State intervention in education on contemporary policies and supports to deal with SBT in Ireland. A mixed methods approach involving a survey of 531 second level school teachers and 17 semi-structured interviews with teachers, Year Heads and representatives from teacher trade unions and school management bodies was employed to collect and analyse data. Findings indicate that SBT behaviours are prevalent in many forms in Irish second level schools. The hidden nature of the phenomenon has simultaneously contributed to and is reinforced by limited understanding of the issue as well as teachers’ reluctance to disclose their experiences. Findings reveal that teachers perceive the contemporary policies, training and support structures in Ireland to be inadequate in equipping them to effectively deal with SBT. State intervention in addressing SBT behaviours to date, has been limited, therefore many teachers are forced to respond to the issue based on their own initiatives and assumptions rather than from an informed critically reflective approach, supported by national guidelines and sufficient State investment. This has resulted in a piecemeal, un-coordinated and ad-hoc approach to SBT in Irish schools both in terms of teachers’ management of SBT behaviours and with respect to the supports extended to staff. The potential negative consequences of SBT behaviours on teachers’ wellbeing and professional performance and thus, on the education system itself, underlines the need for a strategic, evidence-based, resourced and integrated approach which includes, as a pivotal component, consultation with teachers, whose contribution to the process is crucial.

Satisfaction and acceptance with learning management systems

More and more often, universities make the decision to implement integrated learning management systems. Nevertheless, these technological developments are not realized without any trouble, and are achieved with more or less success and user satisfaction (Valenduc, 2000). It is why the presented study aims at identifying the factors influencing learning management system satisfaction and acceptance among students. The Technology Acceptance model created by Wixom and Todd (2005) studies information system acceptance through user satisfaction, and has the benefit of incorporating several ergonomic factors. More precisely, the survey, based on this model, investigates behavioral attitudes towards the system, perceived ease of use, perceived usefulness, as well as system satisfaction, information satisfaction and also incorporates two groups of factors affecting separately the two types of satisfaction. The study was conducted on a representative sample of 593 students from a Brussels university which had recently implemented an integrated learning management system. The results show on one hand, the impact of system reliability, accessibility, flexibility, lay-out and functionalities offered on system satisfaction. And on the other hand, the impact of information accuracy, intelligibility, relevance, exhaustiveness and actualization on information satisfaction. In conclusion, the results indicate the applicability of the theoretical model with learning management systems, and also highlight the importance of each aforementioned factor for a successful implantation of such a system in universities.

Body image and body satisfaction differ by race in overweight postpartum mothers.

BACKGROUND: Body image (BI) and body satisfaction may be important in understanding weight loss behaviors, particularly during the postpartum period. We assessed these constructs among African American and white overweight postpartum women. METHODS: The sample included 162 women (73 African American and 89 white) in the intervention arm 6 months into the Active Mothers Postpartum (AMP) Study, a nutritional and physical activity weight loss intervention. BIs, self-reported using the Stunkard figure rating scale, were compared assessing mean values by race. Body satisfaction was measured using body discrepancy (BD), calculated as perceived current image minus ideal image (BD<0: desire to be heavier; BD>0: desire to be lighter). BD was assessed by race for: BD(Ideal) (current image minus the ideal image) and BD(Ideal Mother) (current image minus ideal mother image). RESULTS: Compared with white women, African American women were younger and were less likely to report being married, having any college education, or residing in households with annual incomes >$30,000 (all p < 0.01). They also had a higher mean body mass index (BMI) (p = 0.04), although perceived current BI did not differ by race (p = 0.21). African Americans had higher mean ideal (p = 0.07) and ideal mother (p = 0.001) BIs compared with whites. African Americans' mean BDs (adjusting for age, BMI, education, income, marital status, and interaction terms) were significantly lower than those of whites, indicating greater body satisfaction among African Americans (BD(Ideal): 1.7 vs. 2.3, p = 0.005; BD(Ideal Mother): 1.1 vs. 1.8, p = 0.0002). CONCLUSIONS: Racial differences exist in postpartum weight, ideal images, and body satisfaction. Healthcare providers should consider tailored messaging that accounts for these racially different perceptions and factors when designing weight loss programs for overweight mothers.

Can We Learn in the Sandbox Together?: Interprofessional Case Conferences as Facilitation Tools

Duke Medicine utilized interprofessional case conferences (ICCs) from 2008-2012 with the objective of modeling and facilitating development of teamwork skills among diverse health profession students, including physical therapy, physician assistant, medical doctor and nursing. The purpose of this publication was to describe the operational process used to develop and implement the ICCs and measure the success of the ICCs in order to shape future work. The ICCs were offered to develop skills and attitudes essential for participation in healthcare teams. Students were facilitated by faculty of different professions to conduct a comprehensive historical assessment of a standardized patient (SP), determine pertinent physical and lab assessments to undertake, and develop and share a comprehensive management plan. Cases included patient problems that were authentic and relevant to each professional student in attendance. The main barriers to implementation are outlined and the focus on the process of working together is highlighted. Evaluation showed high satisfaction rates among participants and the outcomes from these experiences are presented. The limitations of these results are discussed and recommendations for future assessment are emphasized. The ICCs demonstrated that students will come together voluntarily to learn in teams, even at a research-focused institution, and express benefit from the collaborative exercise.

Crime in College Park: understanding crime levels, perceptions, and environmental design in an off-campus student-occupied neighborhood

Gemstone Team Crime Prevention and Perception

Percutaneous Revision of a Testicular Prosthesis is Safe, Cost-effective, and Provides Good Patient Satisfaction.

Office-based percutaneous revision of a testicular prosthesis has never been reported. A patient received a testicular prosthesis but was dissatisfied with the firmness of the implant. In an office setting, the prosthesis was inflated with additional fluid via a percutaneous approach. Evaluated outcomes included patient satisfaction, prosthesis size, recovery time, and cost savings. The patient was satisfied, with no infection, leak, or complication after more than 1 year of follow-up, at significantly less cost than revision surgery. Percutaneous adjustment of testicular prosthesis fill-volume can be safe, inexpensive, and result in good patient satisfaction.

Satisfaction water index as corn yield estimate

p.1-16