English
Related papers

Related papers: Using Coloured Petri Nets for design of parallel r…

200 papers

This work describes extensions to existing level-set algorithms developed for application within the field of Atom Probe Tomography (APT). We present a new simulation tool for the simulation of 3D tomographic volumes, using advanced level…

Computational Physics · Physics 2018-02-28 Daniel Haley , Paul A. J. Bagot , Michael P. Moody

We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a…

Logic in Computer Science · Computer Science 2009-01-05 Rob van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke

Projection mapping (PM) is a technique that enhances the appearance of real-world surfaces using projected images, enabling multiple people to view augmentations simultaneously, thereby facilitating communication and collaboration. However,…

Graphics · Computer Science 2024-06-06 Masaki Takeuchi , Hiroki Kusuyama , Daisuke Iwai , Kosuke Sato

Metalenses are composed of nanostructures for focusing light and have been widely explored in many exciting applications. However, their expanding dimensions pose simulation challenges. We propose a method to simulate metalenses in a timely…

Prototypical part neural networks (ProtoPartNNs), namely PROTOPNET and its derivatives, are an intrinsically interpretable approach to machine learning. Their prototype learning scheme enables intuitive explanations of the form, this…

Computer Vision and Pattern Recognition · Computer Science 2023-09-27 Zachariah Carmichael , Suhas Lohit , Anoop Cherian , Michael Jones , Walter Scheirer

Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space and evolution over time can be represented either as a…

Formal Languages and Automata Theory · Computer Science 2020-10-22 Jannik Hüls , Carina Pilch , Patricia Schinke , Henner Niehaus , Joanna Delicaris , Anne Remke

This paper provided empirical knowledge of the user experience for using collaborative visualization in a distributed asymmetrical setting through controlled user studies. With the ability to access various computing devices, such as…

Human-Computer Interaction · Computer Science 2023-02-07 Wai Tong , Meng Xia , Kam Kwai Wong , Doug A. Bowman , Ting-Chuen Pong , Huamin Qu , Yalong Yang

Pore-network modeling is a widely used predictive tool for pore-scale studies in various applications that deal with multiphase flow in porous media. Despite recent improvements to enable pore-network modeling on simplified pore geometry…

Computational Physics · Physics 2020-04-06 Amir H. Kohanpur , Albert J. Valocchi

The field of parallel network simulation frameworks is evolving at a great pace. That is also because of the growth of Intelligent Transportation Systems (ITS) and the necessity for cost-effective large-scale trials. In this contribution,…

Networking and Internet Architecture · Computer Science 2022-09-05 Ioannis Mavromatis , Andrea Tassi , Robert J. Piechocki , Andrew Nix

We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we developed a verification tool for pntcc models. Using this tool we can prove properties such as the system will go to a successful state with…

Logic in Computer Science · Computer Science 2018-10-15 Mauricio Toro

Reinforcement learning (RL) is an agent-based approach for teaching robots to navigate within the physical world. Gathering data for RL is known to be a laborious task, and real-world experiments can be risky. Simulators facilitate the…

Robotics · Computer Science 2024-10-28 Jack Saunders , Sajad Saeedi , Wenbin Li

Combining image sensor simulation tools (e.g., ISETCam) with physically based ray tracing (e.g., PBRT) offers possibilities for designing and evaluating novel imaging systems as well as for synthesizing physically accurate, labeled images…

Image and Video Processing · Electrical Eng. & Systems 2022-06-29 Thomas Goossens , Zheng Lyu , Jamyuen Ko , Gordon Wan , Joyce Farrell , Brian Wandell

This paper provides an overview of the hardware and software components used in our test bed project the NET Playground. All source information is stored in the GitLab repository (https://gitlab.com/Paulteck/net-playground). In the Hardware…

Systems and Control · Electrical Eng. & Systems 2023-07-06 Paul Schwenteck , Sandra Zimmermann , Caspar von Lengerke , Giang T. Nguyen , Christian Scheunert , Frank H. P. Fitzek

As deep neural networks (DNNs) become deeper, the training time increases. In this perspective, multi-GPU parallel computing has become a key tool in accelerating the training of DNNs. In this paper, we introduce a novel methodology to…

Numerical Analysis · Mathematics 2024-07-08 Chang-Ock Lee , Youngkyu Lee , Jongho Park

Recent work has shown that convolutional neural networks (CNNs) can be used to estimate optical flow with high quality and fast runtime. This makes them preferable for real-world applications. However, such networks require very large…

Computer Vision and Pattern Recognition · Computer Science 2018-08-21 Osama Makansi , Eddy Ilg , Thomas Brox

We present an MPI-parallel algorithm for the in-situ visualization of computational data that is built around a distributed linear forest-of-octrees data structure. Such octrees are frequently used in element-based numerical simulations;…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-09-06 Carsten Burstedde

Semantic grids can be useful representations of the scene around an autonomous system. By having information about the layout of the space around itself, a robot can leverage this type of representation for crucial tasks such as navigation…

In this paper I describe some results on the use of virtual processors technology for parallelize some SPMD computational programs in a cluster environment. The tested technology is the INTEL Hyper Threading on real processors, and the…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Gianluca Argentini

With the growing complexity and capability of contemporary robotic systems, the necessity of sophisticated computing solutions to efficiently handle tasks such as real-time processing, sensor integration, decision-making, and control…

Robotics · Computer Science 2025-09-09 Md Rafid Islam

Photomultiplier tubes (PMTs) are widely employed in particle and nuclear physics experiments. The accuracy of PMT waveform reconstruction directly impacts the detector's spatial and energy resolution. A key challenge arises when multiple…

High Energy Physics - Experiment · Physics 2026-02-06 Kainan Liu , Jingyu Huang , Guihong Huang , Jianyi Luo