中文
相关论文

相关论文: Proceedings 3rd International Workshop on Trends i…

200 篇论文

In the field of computational science and engineering, workflows often entail the application of various software, for instance, for simulation or pre- and postprocessing. Typically, these components have to be combined in arbitrarily…

软件工程 · 计算机科学 2022-11-15 Philipp Diercks , Dennis Gläser , Ontje Lünsdorf , Michael Selzer , Bernd Flemisch , Jörg F. Unger

Feedback is one of the most crucial components to facilitate effective learning. With the rise of large language models (LLMs) in recent years, research in programming education has increasingly focused on automated feedback generation to…

计算机与社会 · 计算机科学 2025-09-05 Niklas Scholz , Manh Hung Nguyen , Adish Singla , Tomohiro Nagashima

Background: As traditional coding tasks in education become increasingly vulnerable to the use of Generative AI, there is a critical need for authentic, project-based assessments that evaluate students' scientific inquiry. To address this…

物理教育 · 物理学 2026-05-11 Sean Savage , Amir Bralin , Paul Hur , N. Sanjay Rebello

Effectiveness of teaching digital signal processing can be enhanced by reducing lecture time devoted to theory, and increasing emphasis on applications, programming aspects, visualization and intuitive understanding. An integrated approach…

信号处理 · 电气工程与系统科学 2021-05-18 Keshab K. Parhi

This is the first volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), a free international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and of…

计算复杂性 · 计算机科学 2009-10-13 Turlough Neary , Damien Woods , Anthony K. Seda , Niall Murphy

Several Networks of Excellence have been set up in the framework of the European FP5 research program. Among these Networks of Excellence, the NEMIS project focuses on the field of Text Mining. Within this field, document processing and…

计算与语言 · 计算机科学 2007-05-23 Martin Rajman , Martin Vesely , Pierre Andrews

This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

计算机科学中的逻辑 · 计算机科学 2024-03-27 Frédéric Lang , Matthias Volk

Large development projects and programs are conducted using agile development methods, with an increasing body of advice from practitioners and from research. This sixth workshop showed in increasing interest in scaling frameworks and in…

软件工程 · 计算机科学 2018-12-27 Torgeir Dingsøyr , Nils Brede Moe , Helena Holmstrom Ohlsson

The concept of functionality oriented programming is proposed, and some of its aspects are discussed, such as: (1) implementation independent basic types and generic collection types; (2) syntax requirements and recommendations for…

编程语言 · 计算机科学 2011-02-21 Chengpu Wang

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated…

形式语言与自动机理论 · 计算机科学 2010-11-01 Yu-Fang Chen , Ahmed Rezine

Event extraction has gained considerable interest due to its wide-ranging applications. However, recent studies draw attention to evaluation issues, suggesting that reported scores may not accurately reflect the true performance. In this…

计算与语言 · 计算机科学 2024-06-07 Kuan-Hao Huang , I-Hung Hsu , Tanmay Parekh , Zhiyu Xie , Zixuan Zhang , Premkumar Natarajan , Kai-Wei Chang , Nanyun Peng , Heng Ji

This study aims to develop a personalized Recommender System that helps to address the problems encountered by the faculty members of Higher Education Institutions in the selection of Seminar and Training Programs (STP). The researcher used…

计算机与社会 · 计算机科学 2020-12-03 Albert V. Paytaren

This shared task has aimed to assess pedagogical abilities of AI tutors powered by large language models (LLMs), focusing on evaluating the quality of tutor responses aimed at student's mistake remediation within educational dialogues. The…

计算机与社会 · 计算机科学 2025-07-16 Ekaterina Kochmar , Kaushal Kumar Maurya , Kseniia Petukhova , KV Aditya Srivatsa , Anaïs Tack , Justin Vasselli

The aim of the Transformation Tool Contest (TTC) series is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. Participants want to learn about…

软件工程 · 计算机科学 2013-12-02 Pieter Van Gorp , Louis M. Rose , Christian Krause

Technology-Enhanced Formative Assessment (TEFA) is a pedagogy for teaching with classroom response technology. Teacher Learning of TEFA is a five-year research project studying teacher change, in the context of an intensive professional…

With the rising popularity of interdisciplinary work and increasing institutional incentives in this direction, there is a growing need to understand how resulting publications incorporate ideas from multiple disciplines. Existing…

数字图书馆 · 计算机科学 2026-01-27 Bagyasree Sudharsan , Alexandria Leto , Maria Leonor Pacheco

This paper presents SPIE: a novel approach for semantic and structural post-training of instruction-based image editing diffusion models, addressing key challenges in alignment with user prompts and consistency with input images. We…

计算机视觉与模式识别 · 计算机科学 2025-08-13 Elior Benarous , Yilun Du , Heng Yang

This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference…

编程语言 · 计算机科学 2016-08-22 Manuel Carro , Andy King

This technical report records and discusses the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2). The report includes a description of the alternative, experimental submission and review process, two…

The assessment of source code in university education is a central and important task for lecturers of programming courses. In doing so, educators are confronted with growing numbers of students having increasingly diverse prerequisites, a…