English
Related papers

Related papers: T-Wise Presence Condition Coverage and Sampling fo…

200 papers

Goal-conditioned planning benefits from learned low-dimensional representations of rich observations. While compact latent representations typically learned from variational autoencoders or inverse dynamics enable goal-conditioned decision…

The transition interface sampling (TIS) technique allows to overcome large free energy barriers within reasonable simulation time, which is impossible for straightforward molecular dynamics. Still, the method does not impose an artificial…

Statistical Mechanics · Physics 2017-09-13 Titus S. van Erp , Tom P. Caremans , Christine E. A. Kirschhock , Johan A. Martens

Iterative compilation is a widely adopted technique to optimize programs for different constraints such as performance, code size and power consumption in rapidly evolving hardware and software environments. However, in case of statically…

Programming Languages · Computer Science 2014-07-16 Lianjie Luo , Yang Chen , Chengyong Wu , Shun Long , Grigori Fursin

Sampling-based algorithms are widely used for motion planning in high-dimensional configuration spaces. However, due to low sampling efficiency, their performance often diminishes in complex configuration spaces with narrow corridors.…

Robotics · Computer Science 2025-07-22 Lu Huang , Lingxiao Meng , Jiankun Wang , Xingjian Jing

Microplastics (MPs) are ubiquitous in all ecosystems, affecting wildlife and, ultimately, human health. The complexity of natural samples plus the unspecificity of their treatments to isolate polymers renders the characterization of…

Instrumentation and Detectors · Physics 2025-04-01 Adrian Lopez-Rosales , Jose Andrade , Borja Ferreiro , Soledad Muniategui

This paper proposes a new approach to construct high quality space-filling sample designs. First, we propose a novel technique to quantify the space-filling property and optimally trade-off uniformity and randomness in sample designs in…

This work presents a model reduction approach for problems with coherent structures that propagate over time such as convection-dominated flows and wave-type phenomena. Traditional model reduction methods have difficulties with these…

Numerical Analysis · Mathematics 2020-06-16 Benjamin Peherstorfer

Vision-based tactile sensors, through high-resolution optical measurements, can effectively perceive the geometric shape of objects and the force information during the contact process, thus helping robots acquire higher-dimensional tactile…

Robotics · Computer Science 2026-03-06 Xi Lin , Weiliang Xu , Yixian Mao , Jing Wang , Meixuan Lv , Lu Liu , Xihui Luo , Xinming Li

We propose a conceptually new method for solving nonlinear inverse scattering problems (ISPs) such as are commonly encountered in tomographic ultrasound imaging, seismology and other applications. The method is inspired by the theory of…

Mathematical Physics · Physics 2016-11-02 Howard W. Levinson , Vadim A. Markel

We address the problem of tactile localization, where the goal is to identify image regions that share the same material properties as a tactile input. Existing visuo-tactile methods rely on global alignment and thus fail to capture the…

Computer Vision and Pattern Recognition · Computer Science 2026-04-14 Seongyu Kim , Seungwoo Lee , Hyeonggon Ryu , Joon Son Chung , Arda Senocak

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-08 Marius Bozga , Javier Esparza , Radu Iosif , Joseph Sifakis , Christoph Welzel

The computer simulation of many molecular processes is complicated by long time scales caused by rare transitions between long-lived states. Here, we propose a new approach to simulate such rare events, which combines transition path…

Computational Physics · Physics 2023-03-23 Sebastian Falkner , Alessandro Coretti , Christoph Dellago

Direct time-varying tip-sample force measurements by torsional harmonic cantilevers facilitate detailed investigations of the cantilever dynamics in tapping-mode atomic force microscopy. Here we report experimental evidence that the…

Instrumentation and Detectors · Physics 2008-11-26 Ozgur Sahin

Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification languages, such as Signal Temporal Logic (STL), are used to…

Software Engineering · Computer Science 2021-01-27 Ezio Bartocci , Roderick Bloem , Benedikt Maderbacher , Niveditha Manjunath , Dejan Ničković

Predictive process monitoring is a subfield of process mining that aims to estimate case or event features for running process instances. Such predictions are of significant interest to the process stakeholders. However, most of the…

A complete approach for the determination of the complex constitutive behaviour of textile composites through finite element simulation is presented in this paper. In this work, simulations of different loading cases are carried out on…

Soft Condensed Matter · Physics 2008-12-18 Damien Durville

We address the challenge of preserving the simultaneity and chronology of sensing events in multisensor systems with wireless links. The network uses temporal windows of integration (TWIs), borrowed from human multisensory perception, to…

Information Theory · Computer Science 2025-10-07 João Henrique Inacio de Souza , Fabio Saggese , Beatriz Soret , Petar Popovski

Iterative image reconstruction (IIR) with sparsity-exploiting methods, such as total variation (TV) minimization, investigated in compressive sensing (CS) claim potentially large reductions in sampling requirements. Quantifying this claim…

Medical Physics · Physics 2012-08-21 Jakob H. Jørgensen , Emil Y. Sidky , Xiaochuan Pan

Dynamic sampling mechanisms in deep learning architectures have demonstrated utility across many computer vision models, though the theoretical analysis of these structures has not yet been unified. In this paper we connect the various…

Computer Vision and Pattern Recognition · Computer Science 2025-11-27 Dario Morle , Reid Zaffino

Measurement-induced phases exhibit unconventional dynamics as emergent collective phenomena, yet their behavior in tailored interacting systems -- crucial for quantum technologies -- remains less understood. We develop a systematic toolbox…

Quantum Physics · Physics 2025-06-24 Zejian Li , Anna Delmonte , Xhek Turkeshi , Rosario Fazio
‹ Prev 1 3 4 5 6 7 10 Next ›