中文
相关论文

相关论文: Proceedings First Workshop on CTP Components for E…

200 篇论文

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…

符号计算 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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,…

人机交互 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

软件工程 · 计算机科学 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.…

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…

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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机与社会 · 计算机科学 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)…

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.…

计算机科学中的逻辑 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 2025-04-02 Zhongtang Luo
‹ 上一页 1 8 9 10 下一页 ›