English
Related papers

Related papers: PARSIFAL: a toolkit for triple-GEM parametrized si…

200 papers

We present a massively parallel, 3D phase-field simulation framework for modeling ferro-electric materials based scalable logic devices. We self-consistently solve the time-dependent Ginzburg Landau (TDGL) equation for ferroelectric…

Computational Engineering, Finance, and Science · Computer Science 2023-06-14 Prabhat Kumar , Andrew Nonaka , Revathi Jambunathan , Girish Pahwa , Sayeef Salahuddin , Zhi Yao

Quantization is the process of mapping an input signal from an infinite continuous set to a countable set with a finite number of elements. It is a non-linear irreversible process, which makes the traditional methods of system…

Systems and Control · Electrical Eng. & Systems 2023-01-31 Omar M. Sleem , Constantino M. Lagoa

Particle-based variational inference methods (ParVIs) use nonparametric variational families represented by particles to approximate the target distribution according to the kernelized Wasserstein gradient flow for the Kullback-Leibler (KL)…

Machine Learning · Statistics 2025-03-24 Shiyue Zhang , Ziheng Cheng , Cheng Zhang

Partial evaluation has recently been used for processing SPARQL queries over a large resource description framework (RDF) graph in a distributed environment. However, the previous approach is inefficient when dealing with complex queries.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-18 Peng Peng , Lei Zou , Runyu Guan

The spherical proportional counter is a novel gaseous detector with numerous applications, including direct dark matter searches and neutron spectroscopy. The strengths of the Geant4 and Garfield++ toolkits are combined to create a…

Instrumentation and Detectors · Physics 2020-06-11 I. Katsioulas , P. Knights , J. Matthews , T. Neep , K. Nikolopoulos , R. Owen , R. Ward

Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in this way are extremely complex and contain a great deal of…

Formal Languages and Automata Theory · Computer Science 2020-01-07 Rajdeep Mukherjee , Saurabh Joshi , John O'Leary , Daniel Kroening , Tom Melham

The Fast Multipole Method (FMM) offers an acceleration for pairwise interaction calculation, known as $N$-body problems, from $\mathcal{O}(N^2)$ to $\mathcal{O}(N)$ with $N$ particles. This has brought dramatic increase in the capability of…

Data Structures and Algorithms · Computer Science 2011-09-21 Felipe A. Cruz , L. A. Barba

Monte-Carlo simulation of physical processes is an important tool for detector development as it allows to predict signal pulse amplitude and timing, time resolution, efficiency ... Yet despite the fact they are very common, full…

Instrumentation and Detectors · Physics 2016-07-27 Vincent Français

The state of the art in electromagnetic Finite Element Particle-in-Cell (EM-FEMPIC) has advanced significantly in the last few years. These have included understanding function spaces that must be used to represent sources and fields…

Computational Physics · Physics 2022-08-29 Omkar H. Ramachandran , Zane D. Crawford , Scott O'Connor , John Luginsland , B. Shanker

A sampling calorimeter equipped with gaseous sensor layers with digital readout is near perfect for "Particle Flow Algorithm" approach, since it is homogeneous over large surfaces, robust, cost efficient, easily segmentable to any readout…

Instrumentation and Detectors · Physics 2015-06-19 Y. Haddad , M. Ruan , V. Boudry

The analysis of ultrafast electron diffraction (UED) data from low-symmetry single crystals of small molecules is often challenged by the difficulty of assigning unique Laue indices to the observed Bragg reflections. For a variety of…

Materials Science · Physics 2025-06-30 Alexander Marx , Sascha W. Epp

Atomistic molecular simulations are a powerful way to make quantitative predictions, but the accuracy of these predictions depends entirely on the quality of the forcefield employed. While experimental measurements of fundamental physical…

Ultrafast and accurate physical layer models are essential for designing, optimizing and managing ultra-wideband optical transmission systems. We present a closed-form GN/EGN model, named Polynomial Closed-Form Model (PCFM), improving…

Signal Processing · Electrical Eng. & Systems 2025-09-01 Pierluigi Poggiolini , Yanchao Jiang , Yifeng Gao , Fabrizio Forghieri

Parameter-efficient fine-tuning (PEFT) has become a popular way to adapt large pre-trained models to new tasks. Most PEFT methods update only a small subset of parameters while freezing the rest, avoiding redundant computation. As they…

Machine Learning · Computer Science 2025-08-25 Sungmin Kang , Jisoo Kim , Salman Avestimehr , Sunwoo Lee

The phase-field method has become a useful tool for the simulation of classical metallurgical phase transformations as well as other phenomena related to materials science. The thermodynamic consistency that forms the basis of these…

We compare different Poisson solvers within the context of an electrostatic Vlasov-Poisson system. These schemes are implemented as part of the IPPL (Independent Parallel Particle Layer) library (Frey et al., 2024), which provides…

Computational Engineering, Finance, and Science · Computer Science 2026-05-08 Sonali Mayani , Paul Fischill , Sriramkrishnan Muralikrishnan , Andreas Adelmann

We present GridFF, an efficient method for simulating molecules on rigid substrates, derived from techniques used in protein-ligand docking in biochemistry. By projecting molecule-substrate interactions onto precomputed spatial grids with…

Chemical Physics · Physics 2025-08-22 Indranil Mal , Milan Kočí , Paolo Nicolini , Prokop Hapala

Accurate graph similarity is critical for knowledge transfer in VLSI design, enabling the reuse of prior solutions to reduce engineering effort and turnaround time. We propose Pieceformer, a scalable, self-supervised similarity assessment…

Machine Learning · Computer Science 2025-06-23 Hang Yang , Yusheng Hu , Yong Liu , Cong , Hao

In this paper we introduce paraglide, a visualization system designed for interactive exploration of parameter spaces of multi-variate simulation models. To get the right parameter configuration, model developers frequently have to go back…

Systems and Control · Computer Science 2011-10-25 Steven Bergner , Michael Sedlmair , Sareh Nabi , Ahmed Saad , Torsten Möller

Molecular dynamics simulations of biomolecules have been widely adopted in biomedical studies. As classical point-charge models continue to be used in routine biomolecular applications, there have been growing demands on developing…

Computational Physics · Physics 2020-10-28 Haixin Wei , Ruxi Qi , Junmei Wang , Piotr Cieplak , Yong Duan , Ray Luo