English
Related papers

Related papers: JISA: A Polymorphic Test-and-Measurement Automatio…

200 papers

As generative AI ('GenAI') continues to evolve, educators face the challenge of preparing students for a future where AI-assisted work is integral to professional success. This paper introduces ChatISA, an in-house, multi-model AI chatbot…

Computers and Society · Computer Science 2025-05-20 Fadel M. Megahed , Ying-Ju Chen , Joshua A. Ferris , Cameron Resatar , Kaitlyn Ross , Younghwa Lee , L. Allison Jones-Farmer

Modern malware poses a severe threat to cybersecurity, continually evolving in sophistication. To combat this threat, researchers and security professionals continuously explore advanced techniques for malware detection and analysis.…

Cryptography and Security · Computer Science 2024-04-26 Pasquale Caporaso , Giuseppe Bianchi , Francesco Quaglia

The Laser Interferometer Space Antenna (LISA), space-based gravitational wave observatory involves a complex multidimensional closed-loop dynamical system. Its instrument performance is expected to be less efficiently isolated from platform…

General Relativity and Quantum Cosmology · Physics 2023-09-05 Lavinia Heisenberg , Henri Inchauspé , Dam Quang Nam , Orion Sauter , Ricardo Waibel , Peter Wass

Unit testing is a vital part of the software development process and involves developers writing code to verify or assert production code. Furthermore, to help comprehend the test case and troubleshoot issues, developers have the option to…

Software Engineering · Computer Science 2023-03-02 Taryn Takebayashi , Anthony Peruma , Mohamed Wiem Mkaouer , Christian D. Newman

Due to the instrument's non-trivial resolution function, measurements on triple-axis spectrometers require extra care from the experimenter in order to obtain optimal results and to avoid unwanted spurious artefacts. We present a free and…

Instrumentation and Detectors · Physics 2021-02-17 T. Weber , R. Georgii , P. Böni

ISICS, originally a C language program for calculating K-, L- and M-shell ionization and X-ray production cross sections from ECPSSR and PWBA theory, has been reengineered into a C++ language class, named ISICSoo. The new software design…

Computational Physics · Physics 2015-05-30 Matej Batic , Maria Grazia Pia , Sam J. Cipolla

Modern intelligent systems researchers form hypotheses about system behavior and then run experiments using one or more independent variables to test their hypotheses. We present SIERRA, a novel framework structured around that idea for…

Artificial Intelligence · Computer Science 2022-08-17 John Harwell , Maria Gini

Using realistic laser profiles for simulations of laser-plasma interaction is critical to reproduce experimental measurements, but the interface between experiments and simulations can be challenging. Similarly, start-to-end simulations…

LISA (Laser Interferometer Space Antenna) is a joint mission of ESA and NASA which aims to be the first space-borne gravita- tional wave observatory. Due to the high complexity and technological challenges that LISA will face, ESA decided…

General Relativity and Quantum Cosmology · Physics 2012-02-14 Marc Diaz-Aguiló , Ignacio Mateos , Juan Ramos-Castro , Alberto Lobo , Enrique García-Berro

Many scientific-software projects test their codes inadequately, or not at all. Despite its well-known benefits, adopting routine testing is often not easy. Development teams may have doubts about establishing effective test procedures,…

Software Engineering · Computer Science 2014-11-11 Paul Madden , Eduardo G. Valente

PowerDynamics.jl is an Open-Source library for dynamic power grid modeling built in the latest scientific programming language, Julia. It provides all the tools necessary to analyze the dynamical stability of power grids with high share of…

Systems and Control · Electrical Eng. & Systems 2020-12-10 Tim Kittel , Sabine Auer , Christina Horn

The performance model of an application can pro- vide understanding about its runtime behavior on particular hardware. Such information can be analyzed by developers for performance tuning. However, model building and analyzing is…

Performance · Computer Science 2017-05-23 Kewen Meng , Boyana Norris

To ensure the quality of software systems, software engineers can make use of a variety of quality assurance approaches, such as software testing, modern code review, automated static analysis, and build automation. Each of these quality…

Software Engineering · Computer Science 2026-04-21 Ali Khatami , Andy Zaidman

Quality assurance (QA) tools are receiving more and more attention and are widely used by developers. Given the wide range of solutions for QA technology, it is still a question of evaluating QA tools. Most existing research is limited in…

Software Engineering · Computer Science 2023-06-08 Han Liu , Sen Chen , Ruitao Feng , Chengwei Liu , Kaixuan Li , Zhengzi Xu , Liming Nie , Yang Liu , Yixiang Chen

In the nonlinear timeseries analysis literature, countless quantities have been presented as new ``entropy'' or ``complexity'' measures, often with similar roles. The ever-increasing pool of such measures makes creating a sustainable and…

Software Engineering · Computer Science 2025-09-25 George Datseris , Kristian Agasøster Haaga

Generalized sampling is a numerically stable framework for obtaining reconstructions of signals in different bases and frames from their samples. In this paper, we will introduce a carefully documented toolbox for performing generalized…

Mathematical Software · Computer Science 2016-11-24 Robert Dahl Jacobsen , Morten Nielsen , Morten Grud Rasmussen

Software applications integrate more and more open-source software (OSS) to benefit from code reuse. As a drawback, each vulnerability discovered in bundled OSS potentially affects the application. Upon the disclosure of every new…

Cryptography and Security · Computer Science 2025-03-18 Henrik Plate , Serena Elisa Ponta , Antonino Sabetta

As the main theoretical support of quantum metrology, quantum parameter estimation must follow the steps of quantum metrology towards the applied science and industry. Hence, optimal scheme design will soon be a crucial and core task for…

Quantum Physics · Physics 2025-04-11 Huai-Ming Yu , Jing Liu

Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAchecker, a tool and framework that aims at easy integration of…

Programming Languages · Computer Science 2009-02-03 Dirk Beyer , M. Erkan Keremoglu

This article describes the motivation, design, and progress of the Journal of Open Source Software (JOSS). JOSS is a free and open-access journal that publishes articles describing research software. It has the dual goals of improving the…