Cover Image

Tool-Assisted Learning of Computational Reductions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kneisel, Tristan, Radtke, Elias, Schmellenkamp, Marko, Vehlken, Fabian, Zeume, Thomas
Format:	Preprint
Published:	2024
Subjects:	Computers and Society Human-Computer Interaction
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NILE: Formalizing Natural-Language Descriptions of Formal Languages
by: Kneisel, Tristan, et al.
Published: (2026)

Logical Modelling in CS Education: Bridging the Natural Language Gap
by: Kneisel, Tristan, et al.
Published: (2025)

Convivial Fabrication: Towards Relational Computational Tools For and From Craft Practices
by: Batra, Ritik, et al.
Published: (2026)

Designing Computational Tools for Exploring Causal Relationships in Qualitative Data
by: Meng, Han, et al.
Published: (2026)

Beyond Self-Regulated Learning Processes: Unveiling Hidden Tactics in Generative AI-Assisted Writing
by: Yang, Kaixun, et al.
Published: (2025)

OnDiscuss: An Epistemic Network Analysis Learning Analytics Visualization Tool for Evaluating Asynchronous Online Discussions
by: Luther, Yanye, et al.
Published: (2024)

Developer Insights into Designing AI-Based Computer Perception Tools
by: Guhan, Maya, et al.
Published: (2025)

Tremor Reduction for Accessible Ray Based Interaction in VR Applications
by: Green, Dr Corrie, et al.
Published: (2024)

CourseAssist: Pedagogically Appropriate AI Tutor for Computer Science Education
by: Feng, Ty, et al.
Published: (2024)

TRACE: AI-Assisted Assessment of Collaborative Projects in Computer Science Education
by: Yu, Songmei, et al.
Published: (2025)

50 questions on Active Assisted Living technologies. Global edition
by: Florez-Revuelta, Francisco, et al.
Published: (2024)

AI Risk Atlas: Taxonomy and Tooling for Navigating AI Risks and Resources
by: Bagehorn, Frank, et al.
Published: (2025)

Designing for Harm Reduction: Communication Repair for Multicultural Users' Voice Interactions
by: Wenzel, Kimi, et al.
Published: (2024)

A Taxonomy of Questions for Critical Reflection in Machine-Assisted Decision-Making
by: Fischer, Simon W. S., et al.
Published: (2025)

Am I Productive? Exploring the Experience of Remote Workers with Task Management Tools
by: Beale, Russell
Published: (2025)

Developing A Personal Decision Support Tool for Hospital Capacity Assessment and Querying
by: Burdett, Robert L, et al.
Published: (2023)

Exploring Error Types in Formal Languages Among Students of Upper Secondary Education
by: Schmellenkamp, Marko, et al.
Published: (2024)

Third-Party Developers and Tool Development For Community Management on Live Streaming Platform Twitch
by: Cai, Jie, et al.
Published: (2024)

The Design Space for Online Restorative Justice Tools: A Case Study with ApoloBot
by: Ngoc, Bich, et al.
Published: (2025)

The Influence and Relationship between Computational Thinking, Learning Motivation, Attitude, and Achievement of Code.org in K-12 Programming Education
by: Choi, Wan Chong, et al.
Published: (2024)

Divergent Paths to Depolarization: Dialogue Design Determines the Prosocial Benefits of AI-Assisted Political Argumentation
by: Zhu, Jianlong, et al.
Published: (2026)

Socially Responsible Computing in an Introductory Course
by: Gautam, Aakash, et al.
Published: (2024)

SocializeChat: A GPT-Based AAC Tool Grounded in Personal Memories to Support Social Communication
by: Xiang, Wei, et al.
Published: (2025)

Whose Knowledge Counts? Co-Designing Community-Centered AI Auditing Tools with Educators in Hawai`i
by: Zhao, Dora, et al.
Published: (2026)

Development of the Critical Reflection and Agency in Computing Index
by: Padiyath, Aadarsh, et al.
Published: (2025)

Bridging the Early Science Gap with Artificial Intelligence: Evaluating Large Language Models as Tools for Early Childhood Science Education
by: Bush, Annika, et al.
Published: (2025)

Media Bias Detector: Designing and Implementing a Tool for Real-Time Selection and Framing Bias Analysis in News Coverage
by: Wang, Jenny S, et al.
Published: (2025)

Sakshm AI: Advancing AI-Assisted Coding Education for Engineering Students in India Through Socratic Tutoring and Comprehensive Feedback
by: Gupta, Raj, et al.
Published: (2025)

Analyzing LLM Usage in an Advanced Computing Class in India
by: Garg, Anupam, et al.
Published: (2024)

Critical Challenges in Content Moderation for People Who Use Drugs (PWUD): Insights into Online Harm Reduction Practices from Moderators
by: Wang, Kaixuan, et al.
Published: (2025)

How Researchers Navigate Accountability, Transparency, and Trust When Using AI Tools in Early-Stage Research: A Think-Aloud Study
by: Gautam, Sanjana, et al.
Published: (2026)

The Most Important Laboratory for Social Scientific and Computing Research in History
by: Hill, Benjamin Mako, et al.
Published: (2026)

The Sociotechnical Stack: Opportunities for Social Computing Research in Non-consensual Intimate Media
by: Qiwei, Li, et al.
Published: (2024)

Integrating ChatGPT in a Computer Science Course: Students Perceptions and Suggestions
by: Aruleba, Kehinde, et al.
Published: (2023)

Urban Computing for Climate and Environmental Justice: Early Perspectives From Two Research Initiatives
by: Veiga, Carolina, et al.
Published: (2024)

Kawaii Computing: Scoping Out the Japanese Notion of Cute in User Experiences with Interactive Systems
by: Wang, Yijia, et al.
Published: (2024)

From Hanging Out to Figuring It Out: Socializing Online as a Pathway to Computational Thinking
by: Shorey, Samantha, et al.
Published: (2026)

Computing for Community-Based Economies: A Sociotechnical Ecosystem for Democratic, Egalitarian and Sustainable Futures
by: Robinson, Kwame Porter, et al.
Published: (2025)

Screen Matters: Cognitive and Behavioral Divergence Between Smartphone-Native and Computer-Native Youth
by: Eldarov, Kanan
Published: (2025)

Specification and Automatic Verification of Computational Reductions
by: Grange, Julien, et al.
Published: (2024)