中文
相关论文

相关论文: GDL today: Reaching a viable alternative to IDL

200 篇论文

We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused on making GNU Aris a web application to enable almost all…

计算机科学中的逻辑 · 计算机科学 2025-05-12 Saksham Attri , Zoltán Kovács , Aaron Windischbauer

This paper introduces a novel generalized self-imitation learning ($\textbf{GSIL}$) framework, which effectively and efficiently aligns large language models with offline demonstration data. We develop $\textbf{GSIL}$ by deriving a…

计算与语言 · 计算机科学 2024-10-15 Teng Xiao , Mingxiao Li , Yige Yuan , Huaisheng Zhu , Chao Cui , Vasant G Honavar

Progress is being made in code discoverability and preservation, but as discussed at ADASS XXI, many codes still remain hidden from public view. With the Astrophysics Source Code Library (ASCL) now indexed by the SAO/NASA Astrophysics Data…

In this proceeding contribution we discuss the status and progress towards a modernised and extended International Lattice Data Grid (ILDG), which has seen major developments, updates, and upgrades over the last year. In particular,…

Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed over the years, most of them for Haskell, but…

编程语言 · 计算机科学 2012-02-15 José Pedro Magalhães , Andres Löh

Molecular dynamics simulations are one of the methods in scientific computing that benefit from GPU acceleration. For those devices, SYCL is a promising API for writing portable codes. In this paper, we present the case study of "HAL's MD…

分布式、并行与集群计算 · 计算机科学 2024-06-07 Viktor Skoblin , Felix Höfling , Steffen Christgau

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives…

软件工程 · 计算机科学 2008-09-25 Ana-Elena Rugina , Peter H. Feiler , Karama Kanoun , Mohamed Kaaniche

3D Gaussian splatting (GS) has emerged as a transformative technique in radiance fields. Unlike mainstream implicit neural models, 3D GS uses millions of learnable 3D Gaussians for an explicit scene representation. Paired with a…

计算机视觉与模式识别 · 计算机科学 2026-04-10 Guikun Chen , Wenguan Wang

Recent advances in parallel computing and GPU acceleration have created new opportunities for computation-intensive learning problems such as Active SLAM -- where actions are selected to reduce uncertainty and improve joint mapping and…

机器人学 · 计算机科学 2026-03-30 Martín Arce Llobera , Julio A. Placed , Mariano De Paula , Pablo De Cristóforis

The intelligent Data Delivery Service (iDDS) has been developed to cope with the huge increase of computing and storage resource usage in the coming LHC data taking. iDDS has been designed to intelligently orchestrate workflow and data…

分布式、并行与集群计算 · 计算机科学 2021-09-08 Wen Guan , Tadashi Maeno , Brian Paul Bockelman , Torre Wenaus , Fahui Lin , Siarhei Padolski , Rui Zhang , Aleksandr Alekseev

Graph Neural Networks (GNNs) achieve high performance in various real-world applications, such as drug discovery, traffic states prediction, and recommendation systems. The fact that building powerful GNNs requires a large amount of…

密码学与安全 · 计算机科学 2025-08-29 Jing Xu , Franziska Boenisch , Adam Dziedzic

Large language models (LLMs) are remarkably good at writing code. A particularly valuable case of human-LLM collaboration is code-based UI prototyping, a method for creating interactive prototypes that allows users to view and fully engage…

人机交互 · 计算机科学 2024-07-12 Jenny Ma , Karthik Sreedhar , Vivian Liu , Sitong Wang , Pedro Alejandro Perez , Lydia B. Chilton

While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to help produce DSLs quickly. DSLs are already in wide use (HTML…

编程语言 · 计算机科学 2007-05-23 Jan Heering

This is the arXiv index for the electronic proceedings of GD 2021, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

计算几何 · 计算机科学 2021-09-13 Helen Purchase , Ignaz Rutter

Forward wavefield simulation is an important step in Full Waveform Inversion systems. Fast simulations are instrumental to get inversion result in reasonable time frames. Most of research and software aims towards utilizing costly computer…

While general game playing is an active field of research, the learning of game design has tended to be either a secondary goal of such research or it has been solely the domain of humans. We propose a field of research, Automated Game…

人工智能 · 计算机科学 2017-07-12 Joseph C Osborn , Adam Summerville , Michael Mateas

Many modern methods for imitation learning and inverse reinforcement learning, such as GAIL or AIRL, are based on an adversarial formulation. These methods apply GANs to match the expert's distribution over states and actions with the…

机器学习 · 计算机科学 2020-08-11 Oleg Arenz , Gerhard Neumann

Dependent types help programmers write highly reliable code. However, this reliability comes at a cost: it can be challenging to write new prototypes in (or migrate old code to) dependently-typed programming languages. Gradual typing makes…

编程语言 · 计算机科学 2019-08-23 Joseph Eremondi , Éric Tanter , Ronald Garcia

Class incremental learning (CIL) trains a network on sequential tasks with separated categories in each task but suffers from catastrophic forgetting, where models quickly lose previously learned knowledge when acquiring new tasks. The…

机器学习 · 计算机科学 2024-11-05 Huiping Zhuang , Yizhu Chen , Di Fang , Run He , Kai Tong , Hongxin Wei , Ziqian Zeng , Cen Chen

Distributed ledger technology offers several advantages for banking and finance industry, including efficient transaction processing and cross-party transaction reconciliation. The key challenges for adoption of this technology in financial…

密码学与安全 · 计算机科学 2025-01-08 Shaltiel Eloul , Yash Satsangi , Yeoh Wei Zhu , Omar Amer , Georgios Papadopoulos , Marco Pistoia