English
Related papers

Related papers: Algorithms Visualization Tool for Students and Lec…

200 papers

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and…

Statistics Theory · Mathematics 2020-06-17 Evan Patterson

The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if one can observe the structure of models and the verification…

Logic in Computer Science · Computer Science 2017-02-16 Jian Liu , Ying Jiang , Yanyun Chen , Qing Zhou

This tutorial addresses the challenge of incorporating large language models (LLMs), such as ChatGPT, in a data analytics class. It details several new in-class and out-of-class teaching techniques enabled by AI. For example, instructors…

Computers and Society · Computer Science 2024-11-13 Robert L. Bray

The most common method to auto-grade a student's submission in a CS1 or a CS2 course is to run it against a pre-defined test suite and compare the results against reference results. However, this technique cannot be used if the correctness…

Artificial Intelligence · Computer Science 2024-10-22 Aaryen Mehta , Gagan Aryan

According to some algorithmicists, algorithmics traditionally uses algorithm theory, which stems from mathematics. The growing need for innovative algorithms has caused increasing gaps between theory and practice. Originally, this motivated…

Software Engineering · Computer Science 2020-12-04 Sabah Al-Fedaghi

High-quality visualizations are an essential part of robotics research, enabling clear communication of results through figures, animations, and demonstration videos. While Blender is a powerful and freely available 3D graphics platform,…

Robotics · Computer Science 2026-01-01 Peter Messina , Daniel Rakita

Computer experiments refer to the study of real systems using complex simulation models. They have been widely used as alternatives to physical experiments. Design and analysis of computer experiments have attracted great attention in past…

Methodology · Statistics 2025-04-29 Anita Shahrokhian , Xinwei Deng , C. Devon Lin

A computational graph in a deep neural network (DNN) denotes a specific data flow diagram (DFD) composed of many tensors and operators. Existing toolkits for visualizing computational graphs are not applicable when the structure is highly…

Human-Computer Interaction · Computer Science 2023-01-02 Rusheng Pan , Zhiyong Wang , Yating Wei , Han Gao , Gongchang Ou , Caleb Chen Cao , Jingli Xu , Tong Xu , Wei Chen

The goal of imitation learning is to mimic expert behavior without access to an explicit reward signal. Expert demonstrations provided by humans, however, often show significant variability due to latent factors that are typically not…

Machine Learning · Computer Science 2017-11-16 Yunzhu Li , Jiaming Song , Stefano Ermon

We present a method for visualising the response of a deep neural network to a specific input. For image data for instance our method will highlight areas that provide evidence in favor of, and against choosing a certain class. The method…

Computer Vision and Pattern Recognition · Computer Science 2017-06-13 Luisa M. Zintgraf , Taco S. Cohen , Max Welling

For several years, students visit us on different occasions at the university. But how to bridge from the school curriculum to the contents of the university mathematics? And how to find a focal point at which an active contribute, despite…

Optimization and Control · Mathematics 2016-03-26 Miriam Kießling , Sascha Kurz , Tobias Kreisel , Jörg Rambau , Konra Schade , Cornelius Schwarz

A visibility algorithm maps time series into complex networks following a simple criterion. The resulting visibility graph has recently proven to be a powerful tool for time series analysis. However its straightforward computation is…

Data Structures and Algorithms · Computer Science 2020-04-29 Delia Fano Yela , Florian Thalmann , Vincenzo Nicosia , Dan Stowell , Mark Sandler

Deep Learning algorithms are often used as black box type learning and they are too complex to understand. The widespread usability of Deep Learning algorithms to solve various machine learning problems demands deep and transparent…

Even relatively simple code analysis can be a daunting task for many first year students. Perceived complexity, coupled with foreign and harsh syntax, often outstrips the ability for students to take in what they are seeing in terms of…

Human-Computer Interaction · Computer Science 2008-03-05 Christopher Pearson , Celina Gibbs , Yvonne Coady

Deep learning and deep architectures are emerging as the best machine learning methods so far in many practical applications such as reducing the dimensionality of data, image classification, speech recognition or object segmentation. In…

Machine Learning · Computer Science 2018-07-10 The-Hien Dang-Ha

When writing high-performance code for numerical computation in a scripting language like MATLAB, it is crucial to have the operations in a large for-loop vectorized. If not, the code becomes too slow to use, even for a moderately large…

Mathematical Software · Computer Science 2024-04-26 Alexej Moskovka , Talal Rahman , Jan Valdman , Jon Eivind Vatne

This workshop focuses on visualization education, literacy, and activities. It aims to streamline previous efforts and initiatives of the visualization community to provide a format for education and engagement practices in visualization.…

Networks provide a meaningful way to represent and analyze complex biological information, but the methodological details of network-based tools are often described for a technical audience. Graphery is a hands-on tutorial webserver…

Molecular Networks · Quantitative Biology 2024-02-19 Heyuan Zeng , Jinbiao Zhang , Gabriel A. Preising , Tobias Rubel , Pramesh Singh , Anna Ritz

Real-world complex networks are usually being modeled as graphs. The concept of graphs assumes that the relations within the network are binary (for instance, between pairs of nodes); however, this is not always true for many real-life…

Social and Information Networks · Computer Science 2020-05-06 Alessia Antelmi , Gennaro Cordasco , Bogumił Kamiński , Paweł Prałat , Vittorio Scarano , Carmine Spagnuolo , Przemyslaw Szufel

The use of statistical software in academia and enterprises has been evolving over the last years. More often than not, students, professors, workers, and users, in general, have all had, at some point, exposure to statistical software.…

Applications · Statistics 2019-08-21 Rui Portocarrero Sarmento , Vera Costa