中文
相关论文

相关论文: Beowulf Analysis Symbolic INterface BASIN: Interac…

200 篇论文

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

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

机器学习 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

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

天体物理仪器与方法 · 物理学 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…

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…

形式语言与自动机理论 · 计算机科学 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…

统计计算 · 统计学 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…

定量方法 · 定量生物学 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…

分布式、并行与集群计算 · 计算机科学 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…

机器学习 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

天体物理学 · 物理学 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…

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

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

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 2024-10-03 Carlo A. Furia , Richard Torkar , Robert Feldt