Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Both complex systems methods (such as agent-based modeling) and computational methods (such as programming) provide powerful ways for students to understand new phenomena. To understand how to effectively teach complex systems and computational content to younger students, we conducted a study in four urban middle school classrooms comparing…

The use of digital media by adolescents living in out-of-home care raises safeguarding and risk-management concerns, creating challenges for practitioners in how to control risk while promoting independence. This article explores how professionals working in residential care negotiated their own and adolescents' use of ubiquitous digital…

In this paper, we identify "Learning to Learn Together" (L2L2) as a new and important educational goal. Our view of L2L2 is a substantial extension of "Learning to Learn" (L2L): L2L2 consists of learning to collaborate to successfully face L2L challenges. It is inseparable from L2L, as it emerges when individuals face problems…

Advances in, and dissemination of, computer technologies in the field of drug research now enable the use of molecular modeling tools to teach important concepts of drug design to chemistry and pharmacy students. A series of computer laboratories is described to introduce undergraduate students to commonly adopted "in silico" drug design…

When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…

The "NMC Horizon Report: 2015 Higher Education Edition" is a collaborative effort between the New Media Consortium (NMC) and the EDUCAUSE Learning Initiative (ELI). This 12th edition describes annual findings from the NMC Horizon Project, an ongoing research project designed to identify and describe emerging technologies likely to have…

Improving student retention is an important and challenging problem for universities. This paper reports on the development of a student attrition model for predicting which first year students are most at-risk of leaving at various points in time during their first semester of study. The objective of developing such a model is to assist…

Literacy, numeracy, and problem solving in technology-rich environments (LNPS) skills are important for health -- LNPS is linked with health through accessing, interpreting, and using health information which leads to increased health knowledge and further impact on health behaviors. In order for adults to participate in their health care, they…

The introduction and wide use of devices, especially mobile ones, has changed the way learners read and do research for a variety of reasons, and this trend has attracted a number of studies conducted regarding reading on screen and on paper in addition to those dealing with the students' behavior in using online resources to print ones. This…

A quasi-experimental study was set up in secondary education to study the role of teachers while implementing tablet devices in science education. Three different classroom scripts that guided students and teachers' actions during the intervention on two social planes (group and classroom level) are compared. The main goal was to investigate which…

The basis of the submitted study are the continuously rising demands to alter the curricula with the aim to develop students' key competences in order to increase their professional versatility. The lack of scientific research and discussions show that little investigation has been done on the issue of development of key competences. Therefore,…

This study was the fourth study (Study 4) of four consecutive cohort studies (2007/2008, 2008/2009, 2009/2010 and 2010/2011) of over 520 dental undergraduate first year students at King's College London as part of their 5-year undergraduate programme. The study reported in this paper is a 2-year longitudinal investigation of 140 first year…

The purpose of the present study was to compare the effects of two different teaching methods on students' comprehension in Mathematics: pictures with concurrent narration versus pictures with on-screen text, during teaching triangles, a lesson in Mathematics. Forty primary school children (boys and girls) selected to participate in this study.…

It is established that transcription skills (handwriting and spelling) constrain children's writing. Yet, little is known about the mechanism underlying this relationship. This study examined the mediating role of bursts and pauses on the link between transcription skills and writing fluency or text quality. For that, 174 second graders did the…