ASCUE, the Association Supporting Computer Users in Education, is a group of people interested in small college computing issues. It is a blend of people from all over the country who use computers in their teaching, academic support, and administrative support functions. Begun in 1968 as CUETUG, the College and University Eleven-Thirty Users'…

ASCUE, the Association Supporting Computer Users in Education, is a group of people interested in small college computing issues. It is a blend of people from all over the country who use computers in their teaching, academic support, and administrative support functions. Begun in 1968 as CUETUG, the College and University Eleven-Thirty Users'…

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…

Before massive numbers of students can take online courses for college credit, the challenges of providing tutoring support, answers to student-posed questions, and the control of cheating will need to be addressed. These challenges are taken up here by developing an online course delivery system that runs in a cluster computing environment and is…

This paper presents the findings from a pilot study which explored the impact of embedding work-related learning activities in the first-year computing curriculum at Glasgow Caledonian University. Students worked in teams on practical projects which were formally assessed and the researchers gathered student feedback using two online surveys (n =…

HTML 5 is the most significant update of HTML in the last 10 years since XHTML was introduced. It promises a vastly improved user experience, increased browser features, cross compatibility and the ability to provide semantic content. In this paper we discuss the near future position for Higher Education in terms of technological transform, the…

The Association Supporting Computer Users in Education (ASCUE) is a group of people interested in small college computing issues. It is a blend of people from all over the country who use computers in their teaching, academic support, and administrative support functions. Begun in 1968 as the College and University Eleven-Thirty Users' Group…

This study develops a Multiprog virtual laboratory for a mechatronics education designed to teach how to programme a programmable logic controller (PLC). The study was carried out with 34 students in the Department of Industry Education and Technology at National Changhua University of Education in Taiwan. In total, 17 students were assigned to…

The use of swarm intelligence techniques in e-learning scenarios provides a way to combine simple interactions of individual students to solve a more complex problem. After getting some data from the interactions of the first students with a central system, the use of these techniques converges to a solution that the rest of the students can…

These proceedings contain the papers and poster of the 6th International Conference on Educational Technologies 2019 (ICEduTech 2019), which has been organised by the International Association for Development of the Information Society and co-organised by the Lingnan University, in Hong Kong, February 8-10, 2019. ICEduTech is the scientific…

Students who pursue a bachelor's degree in four-year colleges and universities often take longer than four years to complete their degrees. The reasons for prolonging the time to degree seem to fall into three broad categories: part-time enrollment, deficiencies in academic readiness, and inadequate course planning. This paper focuses on the…

Focuses on how to write clear programs with C++ that are easier to debug and modify. Student programs designed according to these outlined principles will tend to develop more quickly, have less bugs, and be much easier to debug. (ASK)

Members of the Association of State Technology-Using Teacher Educators completed questionnaires about the availability of computer programming within the California State University (CSU) system, noting its characteristics if it existed. Though programming still exists in there, it is evolving to include authoring tools and is still taught for…

As an information and instruction librarian at SUNY-Cortland, the author is responsible for designing, developing, and maintaining the Library's Web site. In this article, she describes her experience in combining print/microform holdings list. She pursued a strategy that would make the two holding lists "appear" as one by using XML. She iterates…

Asserts that involving students in learning a small amount of programming language can enable them to learn the important concepts of electronic information systems. Describes a three-week unit in which arts and humanities undergraduate students use the authoring language, PILOT. (CFR)