English
Related papers

Related papers: YASPS: A Symbolic Framework for Extensible, High-P…

200 papers

Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and system verification. As CPS grow in complexity and scale,…

Software Engineering · Computer Science 2025-06-13 Quinn Thibeault , Giulia Pedrielli

Triply periodic minimal surfaces (TPMS) are a class of metamaterials with a variety of applications and well-known primitive morphologies. We present a new method for discovering novel microscale TPMS structures with exceptional…

Probabilistic integral circuits (PICs) have been recently introduced as probabilistic models enjoying the key ingredient behind expressive generative models: continuous latent variables (LVs). PICs are symbolic computational graphs defining…

Machine Learning · Computer Science 2025-02-06 Gennaro Gala , Cassio de Campos , Antonio Vergari , Erik Quaeghebeur

The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some application areas of such kind of simulator like musical synthesis,…

Graphics · Computer Science 2010-05-20 Jean-Loup Florens , Alina Voda , Daniela Urma

We present JAX-PF, an open-source, GPU-accelerated, and differentiable Phase Field (PF) software package, supporting both explicit and implicit time stepping schemes. Leveraging the modern computing architecture JAX, JAX-PF achieves high…

Computational Physics · Physics 2026-01-13 Fanglei Hu , Jiachen Guo , Stephen Niezgoda , Wing Kam Liu , Jian Cao

We propose a novel architecture for integrating large language models (LLMs) with a persistent, interactive Lisp environment. This setup enables LLMs to define, invoke, and evolve their own tools through programmatic interaction with a live…

Programming Languages · Computer Science 2025-06-13 Jordi de la Torre

Machine-learning-based interatomic potential energy surface (PES) models are revolutionizing the field of molecular modeling. However, although much faster than electronic structure schemes, these models suffer from costly computations via…

Computational Physics · Physics 2022-08-08 Denghui Lu , Wanrun Jiang , Yixiao Chen , Linfeng Zhang , Weile Jia , Han Wang , Mohan Chen

With the increased attention to memristive-based in-memory analog computing (IMAC) architectures as an alternative for energy-hungry computer systems for data-intensive applications, a tool that enables exploring their device- and…

Hardware Architecture · Computer Science 2022-11-01 Md Hasibul Amin , Mohammed Elbtity , Ramtin Zand

Physical Reservoir Computing (PRC) leverages the intrinsic nonlinear dynamics of physical substrates, mechanical, optical, spintronic, and beyond, as fixed computational reservoirs, offering a compelling paradigm for energy-efficient and…

Robotics · Computer Science 2026-04-10 Yogesh Phalak , Wen Sin Lor , Apoorva Khairnar , Benjamin Jantzen , Noel Naughton , Suyi Li

We propose an anisotropic interfacial continuum solvation (AICS) model to simulate the distinct in-plane and out-of-plane dielectric constants of liquids near solid-liquid interfaces and their spatial variations along the surface normal…

Chemical Physics · Physics 2025-08-08 Ziwei Chai , Sandra Luber

We introduce a compact yet highly expressive design space for shellular metamaterials. By employing only a few dozen degrees of freedom, this design space represents geometries ranging from simple planar configurations to complex triply…

Graphics · Computer Science 2025-11-07 Chang Liu , Bohan Wang

Recent advancements in quantization and mixed-precision approaches offers substantial opportunities to improve the speed and energy efficiency of Neural Networks (NN). Research has shown that individual parameters with varying low…

Hardware Architecture · Computer Science 2024-08-14 Giorgos Armeniakos , Alexis Maras , Sotirios Xydis , Dimitrios Soudris

Background and Purpose: Architectural deficiencies in EPICS lead to inefficiency in the development and application of EPICS IOCs. An unintrusive solution is replacing EPICS IOCs with more maintainable and flexible Python IOCs, only reusing…

Instrumentation and Detectors · Physics 2026-03-17 Peng-Cheng Li , Xiao-Xue Bi , Ying-Ke Huang , Dian-Shuai Zhang , Xiao-Bao Deng , Qun Zhang , Ge Lei , Gang Li , Yu Liu

We developed a portable code for dissipative particle dynamics (DPD) simulations. This Fortran program named CAMUS has a couple of notable features. One is the omission of constructing the so-called neighboring particles list, providing a…

Chemical Physics · Physics 2018-07-03 Hideo Doi , Koji Okuwaki , Takamitsu Naito , Sona Saitou , Yuji Mochizuki

Barrier potentials gained popularity as a means for robust contact handling in physical modeling and for modeling self-avoiding shapes. The key to the success of these approaches is adherence to geometric constraints, i.e., avoiding…

Graphics · Computer Science 2025-05-29 Zizhou Huang , Max Paik , Zachary Ferguson , Daniele Panozzo , Denis Zorin

Infrared-visible image fusion aims to create an information-rich fused image by integrating the complementary thermal saliency from infrared sensing and fine textures from visible imaging. Such accurate fusion is essential for real-world…

Computer Vision and Pattern Recognition · Computer Science 2026-05-05 Zhenyu Sun , Luobin Zhang , Axi Niu , Haishen Wang , Qingsen Yan

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Software Engineering · Computer Science 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Systems and Control · Electrical Eng. & Systems 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Chemical potential of species in solution is essential for understanding various chemical processes at interfaces. Molecular dynamics (MD) simulations, constrained by fixed compositions, cannot satisfy a constant chemical potential…

Chemical Physics · Physics 2025-06-03 Ademola Soyemi , Khagendra Baral , Tibor Szilvasi

Implicit time integration is key to robustly simulating stiff materials and large deformations, but its performance is often dominated by repeatedly solving large linear systems. Adaptive coarsening can reduce this cost by concentrating…

Graphics · Computer Science 2026-05-07 Xuan Wang , Zhaofeng Luo , Minchen Li , Taku Komura , Kemeng Huang