English
Related papers

Related papers: Proceedings First Workshop on CTP Components for E…

200 papers

This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European…

Symbolic Computation · Computer Science 2013-02-26 Rachid Echahed , Detlef Plump

Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical…

Logic in Computer Science · Computer Science 2026-01-05 Martin Gebser , Daniela Inclezan , Francesco Ricca , Manuel Carro , Miroslaw Truszczynski

The objective of this report is to present a list of proceedings (conferences, workshops, symposia, meetings) in the areas of Computer Science, Electrical & Electronic Engineering, and Communications covered by Google Scholar Metrics and…

This exploratory study investigates the potential of the artificial intelligence tool, ChatGPT, to support systems thinking (ST) in various subjects. Using both general and subject specific prompts, the study assesses the accuracy,…

Human-Computer Interaction · Computer Science 2023-07-27 Holger Arndt

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:…

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…

Logic in Computer Science · Computer Science 2018-02-19 Horatiu Cirstea , David Sabel

Progressive efforts have been evolving continuously for the betterment of the services of the Information Technology for Educational Management(ITEM). These services require data intensive and communication intensive applications. Due to…

Computers and Society · Computer Science 2016-11-01 Rakesh Mohan Bhatt

This work-in-progress research paper explores the effectiveness of tutorials in interdisciplinary learning environments, specifically focusing on bioinformatics. Tutorials are typically designed for a single audience, but our study aims to…

Computers and Society · Computer Science 2025-03-07 Hannah Kim , Sergei L. Kosakovsky Pond , Stephen MacNeil

Computer-based learning platforms (CBLPs) have become a common medium in schools, transforming how students learn and interact with educational content. However, researchers still lack adequate tools to address the diverse set of challenges…

This paper describes the motivation and design of a 10-week graduate course that teaches practices for developing research software; although offered by an engineering program, the content applies broadly to any field of scientific research…

Software Engineering · Computer Science 2019-06-27 Kyle E. Niemeyer

We present components of an AI-assisted academic writing system including citation recommendation and introduction writing. The system recommends citations by considering the user's current document context to provide relevant suggestions.…

Artificial Intelligence · Computer Science 2025-03-19 Daniel J. Liebling , Malcolm Kane , Madeleine Grunde-Mclaughlin , Ian J. Lang , Subhashini Venugopalan , Michael P. Brenner

The objective of this report is to present a list of proceedings (conferences, workshops, symposia, meetings) in the areas of Computer Science, Electrical & Electronic Engineering, and Communications covered by Google Scholar Metrics and…

Digital Libraries · Computer Science 2015-01-09 Alberto Martin-Martin , Enrique Ordunna-Malea , Juan Manuel Ayllon , Emilio Delgado Lopez-Cozar

The article describes the advisable ways of the cloud-based systems use to support students collaboration in the process of math disciplines learning. The SageMathCloud-based component that aggregates electronic resources for several math…

Computers and Society · Computer Science 2018-07-04 Maiia Popel , Svitlana Shokalyuk , Mariya Shyshkina

The Louisiana Department of Education partnered with the Gordon A. Cain Center at LSU to pilot a Computing High School Graduation Pathway. The first course in the pathway, Introduction to Computational Thinking (ICT), is designed to teach…

Computers and Society · Computer Science 2019-12-03 Fernando Alegre , John Underwoood , Juana Moreno , Mario Alegre

In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three…

Software Engineering · Computer Science 2017-09-26 Saurabh Tiwari , Santosh Singh Rathore

Automated feedback systems have become increasingly integral to programming education, where learners engage in iterative cycles of code construction, testing, and refinement. Despite its wider integration in practices and technical…

Computers and Society · Computer Science 2026-02-03 Yeonji Jung , Yunseo Lee , Jiyeong Bae , DoYong Kim , Heungsoo Choi , Minji Kang , Unggi Lee

The integration of generative AI in the field of education is actively being explored. In particular, ChatGPT has garnered significant interest, offering an opportunity to examine its effectiveness in English as a foreign language (EFL)…

Human-Computer Interaction · Computer Science 2023-09-14 Jieun Han , Haneul Yoo , Yoonsu Kim , Junho Myung , Minsun Kim , Hyunseung Lim , Juho Kim , Tak Yeon Lee , Hwajung Hong , So-Yeon Ahn , Alice Oh

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

For an offer of the same course for thousands of students, for face-to-face or distance learning, some uniformities must be adopted to allow a comparison of performance in the teaching-learning processes. The Evaluation Unified Process…

Computers and Society · Computer Science 2017-10-23 Francisco de Assis Zampirolli , Denise Hideko Goya , Edson Pinheiro Pimentel , Guiou Kobayashi

Competitive programming (CP) has been increasingly integrated into computer science curricula worldwide due to its efficacy in enhancing students' algorithmic reasoning and problem-solving skills. However, existing CP curriculum designs…

Computers and Society · Computer Science 2025-04-02 Zhongtang Luo
‹ Prev 1 8 9 10 Next ›