English
Related papers

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

200 papers

Automated assessment has been shown to greatly simplify the process of assessing students' programs. However, manual assessment still offers benefits to both students and tutors. We introduce Gradeer, a hybrid assessment tool, which allows…

Computers and Society · Computer Science 2021-02-19 Benjamin Clegg , Maria-Cruz Villa-Uriol , Phil McMinn , Gordon Fraser

MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages…

Mathematical Software · Computer Science 2025-11-18 Dmitry I. Kabanov , Stephan Rave , Mario Ohlberger

There are numerous e-assessment systems devoted to specific domains under diverse license models. Cost, extensibility, and maintainability are relevant issues for an institution. Ease of use and inclusion into courses are educator's main…

Computers and Society · Computer Science 2021-05-17 Fin Hendrik Bahnsen , Goerschwin Fey

A software library for constructing and learning probabilistic models is presented. The library offers a set of building blocks from which a large variety of static and dynamic models can be built. These include hierarchical models for…

Mathematical Software · Computer Science 2012-07-09 Markus Harva , Tapani Raiko , Antti Honkela , Harri Valpola , Juha Karhunen

We present the labscript suite, an open-source experiment control system for automating shot-based experiments and their analysis. Experiments are composed as Python code, which is used to produce low-level hardware instructions. They are…

Electronic Design Automation (EDA) tools are software applications used by engineers in the design, development, simulation, and verification of electronic systems and integrated circuits. These tools typically process specifications…

Hardware Architecture · Computer Science 2024-06-12 Rafael Sumitani , João Victor Amorim , Augusto Mafra , Mirlaine Crepalde , Fernando Magno Quintão Pereira

This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Java which allows one to write invariants for classes, and…

Programming Languages · Computer Science 2007-05-23 Catherine Oriat

In context of highly complex energy system experiments, sensitivity analysis is gaining more and more importance to investigate the effects changing parameterization has on the outcome. Thus, it is crucial how to design an experiment to…

Computational Engineering, Finance, and Science · Computer Science 2024-10-23 Jan Sören Schwarz , Leonard Enrique Ramos Perez , Minh Cong Pham , Kai Heussen , Quoc Tuan Tran

Simulation has the potential to transform the development of robust algorithms for mobile agents deployed in safety-critical scenarios. However, the poor photorealism and lack of diverse sensor modalities of existing simulation engines…

NOMAD CAMELS (short: CAMELS) is a configurable, open-source measurement software that records fully self-describing experimental data. It has its origins in the field of experimental physics where a wide variety of measurement instruments…

Instrumentation and Detectors · Physics 2024-03-13 Alexander D. Fuchs , Johannes A. F. Lehmeyer , Heinz Junkes , Heiko B. Weber , Michael Krieger

The principal goal of the \emph{LISA Science Analysis Workshop} is to encourage the development and maturation of science analysis technology in preparation for LISA science operations. Exactly because LISA is a pathfinder for a new…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Matthew J. Benacquista , Lee Samuel Finn , Shane L. Larson , Louis J. Rubbo

Nowadays, AI-based systems have achieved outstanding results and have outperformed humans in different domains. However, the processes of training AI models and inferring from them require high computational resources, which pose a…

Software Engineering · Computer Science 2023-07-20 Silverio Martínez-Fernández , Xavier Franch , Francisco Durán

Lab::Measurement is a framework for test and measurement automatization using Perl 5. While primarily developed with applications in mesoscopic physics in mind, it is widely adaptable. Internally, a layer model is implemented. Communication…

Instrumentation and Detectors · Physics 2018-10-18 S. Reinhardt , C. Butschkow , S. Geissler , A. Dirnaichner , F. Olbrich , C. E. Lane , D. Schröer , A. K. Hüttel

The table analysis application TOPCAT uses a custom Java plotting library for highly configurable high-performance interactive or exported visualisations in two and three dimensions. We present here a variety of ways for end users or…

Instrumentation and Methods for Astrophysics · Physics 2014-10-31 M. B. Taylor

The Laser Interferometer Space Antenna (LISA) is the first scientific endeavour to detect and study gravitational waves from space. LISA will survey the sky for Gravitational Waves in the 0.1 mHz to 1 Hz frequency band which will enable the…

Cosmology and Nongalactic Astrophysics · Physics 2024-02-13 Monica Colpi , Karsten Danzmann , Martin Hewitson , Kelly Holley-Bockelmann , Philippe Jetzer , Gijs Nelemans , Antoine Petiteau , David Shoemaker , Carlos Sopuerta , Robin Stebbins , Nial Tanvir , Henry Ward , William Joseph Weber , Ira Thorpe , Anna Daurskikh , Atul Deep , Ignacio Fernández Núñez , César García Marirrodriga , Martin Gehler , Jean-Philippe Halain , Oliver Jennrich , Uwe Lammers , Jonan Larrañaga , Maike Lieser , Nora Lützgendorf , Waldemar Martens , Linda Mondin , Ana Piris Niño , Pau Amaro-Seoane , Manuel Arca Sedda , Pierre Auclair , Stanislav Babak , Quentin Baghi , Vishal Baibhav , Tessa Baker , Jean-Baptiste Bayle , Christopher Berry , Emanuele Berti , Guillaume Boileau , Matteo Bonetti , Richard Brito , Riccardo Buscicchio , Gianluca Calcagni , Pedro R. Capelo , Chiara Caprini , Andrea Caputo , Eleonora Castelli , Hsin-Yu Chen , Xian Chen , Alvin Chua , Gareth Davies , Andrea Derdzinski , Valerie Fiona Domcke , Daniela Doneva , Irna Dvorkin , Jose María Ezquiaga , Jonathan Gair , Zoltan Haiman , Ian Harry , Olaf Hartwig , Aurelien Hees , Anna Heffernan , Sascha Husa , David Izquierdo , Nikolaos Karnesis , Antoine Klein , Valeriya Korol , Natalia Korsakova , Thomas Kupfer , Danny Laghi , Astrid Lamberts , Shane Larson , Maude Le Jeune , Marek Lewicki , Tyson Littenberg , Eric Madge , Alberto Mangiagli , Sylvain Marsat , Ivan Martin Vilchez , Andrea Maselli , Josh Mathews , Maarten van de Meent , Martina Muratore , Germano Nardini , Paolo Pani , Marco Peloso , Mauro Pieroni , Adam Pound , Hippolyte Quelquejay-Leclere , Angelo Ricciardone , Elena Maria Rossi , Andrea Sartirana , Etienne Savalle , Laura Sberna , Alberto Sesana , Deirdre Shoemaker , Jacob Slutsky , Thomas Sotiriou , Lorenzo Speri , Martin Staab , Danièle Steer , Nicola Tamanini , Gianmassimo Tasinato , Jesus Torrado , Alejandro Torres-Orjuela , Alexandre Toubiana , Michele Vallisneri , Alberto Vecchio , Marta Volonteri , Kent Yagi , Lorenz Zwick

Static program analysis development is a non-trivial and time-consuming task. We present a framework through which developers can define static program analyses in natural language. We show the application of this framework to identify…

Programming Languages · Computer Science 2023-01-13 Mohammad Mehdi Pourhashem Kallehbasti , Mohammad Ghafari

PowerDynamics.jl is a Julia package for time-domain modeling of power grids that is specifically designed for the stability analysis of systems with high shares of renewable energies. It makes use of Julia's state-of-the-art differential…

Systems and Control · Electrical Eng. & Systems 2021-12-15 Anton Plietzsch , Raphael Kogler , Sabine Auer , Julia Merino , Asier Gil-de-Muro , Jan Liße , Christina Vogel , Frank Hellmann

Scientific applications produce a huge amount of data, which imposes serious management and analysis challenges. In particular, limitations in current database management systems prevent their adoption in simulation applications, in which…

Databases · Computer Science 2019-03-18 Hermano Lustosa , Fabio Porto

The Statistical Toolkit is an open source system specialized in the statistical comparison of distributions. It addresses requirements common to different experimental domains, such as simulation validation (e.g. comparison of experimental…

Computational Physics · Physics 2015-06-11 M Batic , A. M. Paganoni , A. Pfeiffer , M. G. Pia , A. Ribon

Automated debugging, long pursued in a variety of fields from software engineering to cybersecurity, requires a framework that offers the building blocks for a programmable debugging workflow. However, existing debuggers are primarily…

Software Engineering · Computer Science 2025-06-06 Gabriele Digregorio , Roberto Alessandro Bertolini , Francesco Panebianco , Mario Polino
‹ Prev 1 8 9 10 Next ›