English
Related papers

Related papers: Beowulf Analysis Symbolic INterface BASIN: Interac…

200 papers

Scientific collaborations require a strong computing infrastructure to successfully process and analyze data. While large-scale collaborations have access to resources such as Analysis Facilities, small-scale collaborations often lack the…

While most robotics simulation libraries are built for low-dimensional and intrinsically serial tasks, soft-body and multi-agent robotics have created a demand for simulation environments that can model many interacting bodies in parallel.…

Robotics · Computer Science 2019-11-26 Jacob Austin , Rafael Corrales-Fatou , Sofia Wyetzner , Hod Lipson

The Data Science domain has expanded monumentally in both research and industry communities during the past decade, predominantly owing to the Big Data revolution. Artificial Intelligence (AI) and Machine Learning (ML) are bringing more…

While deep learning excels in natural image and language processing, its application to high-dimensional data faces computational challenges due to the dimensionality curse. Current large-scale data tools focus on business-oriented…

Machine Learning · Computer Science 2025-07-01 Chen Zhang

Considering the diverse nature of real-world distributed applications that makes it hard to identify a representative subset of distributed benchmarks, we focus on their underlying distributed algorithms. We present and characterize a new…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-10-11 Suyash Gupta , V. Krishna Nandivada

Causal inference is a statistical paradigm for quantifying causal effects using observational data. It is a complex process, requiring multiple steps, iterations, and collaborations with domain experts. Analysts often rely on visualizations…

Human-Computer Interaction · Computer Science 2023-03-02 Grace Guo , Ehud Karavani , Alex Endert , Bum Chul Kwon

Scientific data sets continue to increase in both size and complexity. In the past, dedicated graphics systems at supercomputing centers were required to visualize large data sets, but as the price of commodity graphics hardware has dropped…

Instrumentation and Methods for Astrophysics · Physics 2015-05-19 P. R. Gazis , C. Levit , M. J. Way

We present PINNACLE, an open-source computational framework for physics-informed neural networks (PINNs) that integrates modern training strategies, multi-GPU acceleration, and hybrid quantum-classical architectures within a unified modular…

Machine Learning · Computer Science 2026-04-20 Shimon Pisnoy , Hemanth Chandravamsi , Ziv Chen , Aaron Goldgewert , Gal Shaviner , Boris Shragner , Steven H. Frankel

The era of GPU-powered data analytics has arrived. In this paper, we argue that recent advances in hardware (e.g., larger GPU memory, faster interconnect and IO, and declining cost) and software (e.g., composable data systems and mature…

PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in…

Formal Languages and Automata Theory · Computer Science 2017-07-14 Barbara König , Sebastian Küpper , Christina Mika

MultiBUGS (https://www.multibugs.org) is a new version of the general-purpose Bayesian modelling software BUGS that implements a generic algorithm for parallelising Markov chain Monte Carlo (MCMC) algorithms to speed up posterior inference…

Computation · Statistics 2020-10-09 Robert J. B. Goudie , Rebecca M. Turner , Daniela De Angelis , Andrew Thomas

Any cutting-edge scientific research project requires a myriad of computational tools for data generation, management, analysis and visualization. Python is a flexible and extensible scientific programming platform that offered the perfect…

Quantitative Methods · Quantitative Biology 2008-03-14 Julius B. Lucks

The increasing need for causal analysis in large-scale industrial datasets necessitates the development of efficient and scalable causal algorithms for real-world applications. This paper addresses the challenge of scaling causal algorithms…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-23 Vishal Verma , Vinod Reddy , Jaiprakash Ravi

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable…

Machine Learning · Computer Science 2021-03-02 Muhammad Usman , Yannic Noller , Corina Pasareanu , Youcheng Sun , Divya Gopinath

Basic Linear Algebra Subprograms (BLAS) are a set of low level linear algebra kernels widely adopted by applications involved with the deep learning and scientific computing. The massive and economic computing power brought forth by the…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-20 Linnan Wang , Wei Wu , Jianxiong Xiao , Yi Yang

We present MUSE, a software framework for combining existing computational tools for different astrophysical domains into a single multiphysics, multiscale application. MUSE facilitates the coupling of existing codes written in different…

Astrophysics · Physics 2009-11-13 Simon Portegies Zwart , Steve McMillan , Stefan Harfst , Derek Groen , Michiko Fujii

Any data analysis, especially the data sets that may be changing often or in real-time, consists of at least three important synchronized components: i) figuring out what to infer (objectives), ii) analysis or computation of objectives, and…

Human-Computer Interaction · Computer Science 2021-06-11 Abhishek Santra , Kunal Samant , Endrit Memeti , Enamul Karim , Sharma Chakravarthy

State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important…

Logic in Computer Science · Computer Science 2009-12-16 Gianfranco Ciardo , Yang Zhao , Xiaoqing Jin

The current landscape of scientific research is widely based on modeling and simulation, typically with complexity in the simulation's flow of execution and parameterization properties. Execution flows are not necessarily straightforward…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-26 Eduardo Ponce , Brittany Stephenson , Suzanne Lenhart , Judy Day , Gregory D. Peterson

Statistical analysis is the tool of choice to turn data into information, and then information into empirical knowledge. To be valid, the process that goes from data to knowledge should be supported by detailed, rigorous guidelines, which…

Software Engineering · Computer Science 2024-10-03 Carlo A. Furia , Richard Torkar , Robert Feldt