By bringing together the national German sports game community and an international scientific community in a joint conference, the 6th International Teaching Games for Understanding Conference (TGfU) Meets the 10th German Sports Games Symposium of the German Association of Sport Science (DVS), held July 25-27, 2016, at the German Sport University…

This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

This paper reports on progress and conclusions of two-year research of gender issues in studying computer science at Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad. Using statistics on data gathered by a survey, the work presented here focused on identifying, understanding, and correlating both female and…

The purpose of the present study was to examine application materials for assistant professor positions in 3 academic disciplines. Applicants were asked to write a diversity statement describing how they would advance diversity through their research, teaching, and service. The sample included application materials submitted by 191 candidates for…

Drawing on Eccles' expectancy-value model of achievement-related choices, we examined the personal aptitudes and motivational beliefs at 12th grade that move individuals toward or away from science, technology, engineering, and mathematics (STEM) occupations at age 29. In the first set of analyses, occupational and lifestyle values, math ability…

Recent studies on a computationally hard visual optimization problem, the Traveling Salesperson Problem (TSP), indicate that humans are capable of finding close to optimal solutions in near-linear time. The current study is a preliminary step in investigating human performance on another hard problem, the Minimum Vertex Cover Problem, in which…

In this thesis, we study the importance of background knowledge in relation extraction systems. We not only demonstrate the benefits of leveraging background knowledge to improve the systems' performance but also propose a principled framework that allows one to effectively incorporate knowledge into statistical machine learning models for…

Over the past 3 years, the authors have pursued unique cross-college collaboration. They have hosted a National Endowment for the Humanities (NEH)-funded Humanities Gaming Institute and team-taught a cross-listed course that brought together students from the humanities and computer science. Currently, they are overseeing the development of an…

Largely due to technological advances, methods for analyzing readability have increased significantly in recent years. While past researchers designed hundreds of formulas to estimate the difficulty of texts for readers, controversy has surrounded their use for decades, with criticism stemming largely from their application in creating new texts…

This article traces the influences of hypertext theory throughout the various genres of online publication in technical communication. It begins with a look back at some of the important concepts and theorists writing about hypertext theory from the post-World War II era, to the early years of the World Wide Web 2.0, and the very differing notions…

Within existing ICT degrees there is a widely-held belief that content must be tailored for different "kinds" of students--often two differing student groups: a technical group requiring detailed Computer Science knowledge and a separate group requiring less technical, more strategic ICT knowledge and skills. Our institution has produced…

Computer science as a school subject in France is characterized by a succession of promising starts that have not yet been transformed into perennial solutions. The main goal of this article is to analyze this complex situation from a historical perspective, and describe the current rebirth of an optional Computer Science course in the last year…

While many technical disciplines have reached or are moving toward gender parity in the number of bachelors degrees in those fields, the percentage of women graduating in computer science remains stubbornly low. Many recent efforts to address this situation have focused on retention of undergraduate majors or graduate students, recruiting…

The under-representation of females in Information and Communication Technology (ICT) fields of study and careers continues to attract considerable attention. This article discusses findings of a research that investigated interest in ICT studies and careers among female secondary school students from schools in three districts in the Central…

The increasing popularity of high-bandwidth Internet connections has enabled new applications like the online delivery of high-quality audio and video content. Conventional server-client approaches place the entire burden of delivery on the content provider's server, making these services expensive to provide. A peer-to-peer approach allows end…