English
Related papers

Related papers: A real-time software simulator for scanning force …

200 papers

We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and components. Its Python front-end allows photonic circuits to be…

Micro-scanners have been widely used in many optical applications. The micro-scanner presented in this paper uses multimorph-type bending actuators to tilt a square plate mirror. This paper presents a complete analytical model of the…

Other Computer Science · Computer Science 2008-02-22 A. Chaehoi , M. Begbie , D. Cornez , K. Kirk

The new generation of strained silicon nitride resonators harbors great promise for scanning force microscopy, especially when combined with the extensive toolbox of cavity optomechanics. However, accessing a mechanical resonator inside an…

Robotic cutting of soft materials is critical for applications such as food processing, household automation, and surgical manipulation. As in other areas of robotics, simulators can facilitate controller verification, policy learning, and…

Robotics · Computer Science 2021-05-27 Eric Heiden , Miles Macklin , Yashraj Narang , Dieter Fox , Animesh Garg , Fabio Ramos

This paper presents the development of a real-time simulator for the validation of controlling a large vehicle manipulator. The need for this development can be justified by the lack of such a simulator: There are neither open source…

Robotics · Computer Science 2022-11-28 Balint Varga , Selina Meier , Soeren Hohmann

We demonstrate a scanning force microscope, based upon a quartz tuning fork, that operates below 100 mK and in magnetic fields up to 6 T. The microscope has a conducting tip for electrical probing of nanostructures of interest, and it…

Mesoscale and Nanoscale Physics · Physics 2007-05-23 K. R. Brown , L. Sun , B. E. Kane

Within process mining, a relevant activity is conformance checking. Such activity consists of establishing the extent to which actual executions of a process conform the expected behavior of a reference model. Current techniques focus on…

Artificial Intelligence · Computer Science 2022-01-25 Andrea Burattin

The LHCb experiment at the Large Hadron Collider (LHC) at CERN has successfully performed a large number of physics measurements during Runs 1 and 2 of the LHC. Monte Carlo simulation is key to the interpretation of these and future…

Instrumentation and Detectors · Physics 2025-11-05 Michal Mazurek , Gloria Corti , Dominik Muller

We investigate nano scanning in tapping mode atomic force microscopy (AFM) under quality (Q) control via numerical simulations performed in SIMULINK. We focus on the simulation of whole scan process rather than the simulation of cantilever…

Atomic Physics · Physics 2015-06-04 Aydin Varol , Ihsan Gunev , Bilal Orun , Cagatay Basdogan

After many years of development of the basic tools, quantum simulation with ultracold atoms has now reached the level of maturity where it can be used to investigate complex quantum processes. Planning of new experiments and upgrading…

Quantum Gases · Physics 2020-07-13 Florian Schäfer , Takeshi Fukuhara , Seiji Sugawa , Yosuke Takasu , Yoshiro Takahashi

Like hardware, evolution of software has had a major impact on the field of particle simulations. This paper illustrates how simulation software has evolved, and where it can go. In addition, with the various ongoing Virtual Observatory…

Astrophysics · Physics 2007-05-23 Peter Teuben

The unprecedented growth in data demand from emerging applications has turned virtual memory (VM) into a major performance bottleneck. Researchers explore new hardware/OS co-designs to optimize VM across diverse applications and systems. To…

This paper describes the architecture and demonstrates the capabilities of a newly developed, physically-based imaging simulator environment called SISPO, developed for small solar system body fly-by and terrestrial planet surface mission…

We present a software tool-set which combines the theoretical, optimal control view of quantum devices with the practical operation and characterization tasks required for quantum computing. In the same framework, we perform model-based…

Quantum Physics · Physics 2025-03-11 Anurag Saha Roy , Kevin Pack , Nicolas Wittler , Shai Machnes

In Minimally Invasive Surgery (MIS), tissue scanning with imaging probes is required for subsurface visualisation to characterise the state of the tissue. However, scanning of large tissue surfaces in the presence of deformation is a…

Robotics · Computer Science 2021-01-12 Jian Zhan , Joao Cartucho , Stamatia Giannarou

The scanning electron microscopy (SEM) is probably one the most fascinating examination approach that has been used since more than two decades to detailed inspection of micro scale objects. Most of the scanning electron microscopes could…

Computer Vision and Pattern Recognition · Computer Science 2016-02-18 Wichai Shanklin

Since the dawn of scanning probe microscopy (SPM), tapping or intermittent contact mode has been one of the most widely used imaging modes. Manual optimization of tapping mode not only takes a lot of instrument and operator time, but also…

As deep neural networks require tremendous amount of computation and memory, analog computing with emerging memory devices is a promising alternative to digital computing for edge devices. However, because of the increasing simulation time…

Machine Learning · Computer Science 2021-01-21 Chaeun Lee , Seyoung Kim

Volumetric rendering of Computed Tomography (CT) scans is crucial for visualizing complex 3D anatomical structures in medical imaging. Current high-fidelity approaches, especially neural rendering techniques, require time-consuming…

Computer Vision and Pattern Recognition · Computer Science 2025-05-26 Zhongpai Gao , Meng Zheng , Benjamin Planche , Anwesa Choudhuri , Terrence Chen , Ziyan Wu

Software testing uses wide range of different tools to enhance the complicated process of defining quality of the system under test. Formal Concept Analysis (FCA) provides us with algorithms of deriving formal ontology from a set of objects…

Software Engineering · Computer Science 2015-05-07 Fedor Strok