English
Related papers

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

200 papers

Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to…

Programming Languages · Computer Science 2017-01-04 Baltasar Trancón y Widemann , Markus Lepper

Stochastic Programming is a framework for modelling and solving problems of decision making under uncertainty. Stochastic Dynamic Programming is a branch of Stochastic Programming that takes a "functional equation" approach to the discovery…

Artificial Intelligence · Computer Science 2023-09-12 Roberto Rossi

A control system with the capabilities to combine heteregeneous control systems or processes into a uniform homogeneous environment is discussed. This dynamically extensible system is an example of the software system at the agent level of…

High Energy Physics - Experiment · Physics 2014-11-17 V. Gyurjyan , D. Abbott , G. Heyes , E. Jastrzembski , C. Timmer , E. Wolin

Most particle induced X-ray emission (PIXE) data analysis codes are not focused on handling multilayered samples. We have developed an open-source library called "LibCPIXE", for PIXE data analysis. It is written in standard C and implements…

Materials Science · Physics 2007-07-18 C. Pascual-Izarra , N. P. Barradas , M. A. Reis

This paper highlights the diverse possibilities in the rich community of educators from the Conceptual Learning of Science (CoLoS) and Open Source Physics (OSP) movement to engage, enable and empower educators and students, to create…

Physics Education · Physics 2012-07-03 Loo Kang Wee , Wai Keong Mak

Every Constraint Programming (CP) solver exposes a library of constraints for solving combinatorial problems. In order to be useful, CP solvers need to be bug-free. Therefore the testing of the solver is crucial to make developers and users…

Artificial Intelligence · Computer Science 2018-07-12 Aurélie Massart , Valentin Rombouts , Pierre Schaus

Many researchers have criticized the field of Software Complexity metrics for the lack of testing, verification, and reproducibility of many metrics and case studies that utilized those metrics. This document describes SMF, a tool that can…

Software Engineering · Computer Science 2017-11-20 Charles Hathaway

A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak and it is structurally simpler than its predecessors with the…

Robotics · Computer Science 2016-11-11 Paolo Izzo , Hongyang Qu , Sandor M. Veres

BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented…

Programming Languages · Computer Science 2020-07-16 Chukri Soueidi , Ali Kassem , Yliès Falcone

Security is a critical issue of the modern file and storage systems, it is imperative to protect the stored data from unauthorized access. We have developed a file security system named as Java File Security System (JFSS) [1] that guarantee…

Operating Systems · Computer Science 2014-03-25 Brijender Kahanwal , Dr. Tejinder Pal Singh , Dr. R. K. Tuteja

Since decade understanding of programs has become a compulsory task for the students as well as for others who are involved in the process of developing software and providing solutions to open problems. In that aspect showing the problem…

Software Engineering · Computer Science 2017-08-25 Safeeullah Soomro , Zainab Alansari , Mohammad Riyaz Belgaum

The development of new electronic structure methods is a very time consuming and error prone process when done by hand. SpinAdaptedSecondQuantization is an open-source Julia package we have developed for working with automated electronic…

Chemical Physics · Physics 2025-08-26 Marcus T. Lexander , Tor S. Haugland , Federico Rossi , Henrik Koch

LISA is a planned space-based gravitational-wave (GW) detector that would be sensitive to waves from low-frequency sources, in the band of roughly $(0.03 - 0.1) {\rm mHz} \lesssim f \lesssim 0.1 {\rm Hz}$. This is expected to be an…

General Relativity and Quantum Cosmology · Physics 2009-11-11 Scott A. Hughes

Studying physics of very large scale like the solar system is difficult in real life, using telescope on clear skies over years. We are probably a world first to create four well designed gravity computer models to serve as powerful…

Physics Education · Physics 2013-03-04 Loo Kang Wee , Giam Hwee Goh , Charles Chew

This paper introduces the Java Software Evolution Tracker, a visualization and analysis tool that provides practitioners the means to examine the evolution of a software system from a top to bottom perspective, starting with changes in the…

Software Engineering · Computer Science 2017-02-24 Arthur-Jozsef Molnar

We introduce $\texttt{RandomMeas$.$jl}$, a modular and high-performance open-source software package written in Julia for implementing and analyzing randomized measurement protocols in quantum computing. Randomized measurements provide a…

Quantum Physics · Physics 2026-04-29 Andreas Elben , Benoît Vermersch

The recent development on large language models makes automatically constructing small programs possible. It thus has the potential to free software engineers from low-level coding and allow us to focus on the perhaps more interesting parts…

Software Engineering · Computer Science 2024-01-03 Simiao Zhang , Jiaping Wang , Guoliang Dong , Jun Sun , Yueling Zhang , Geguang Pu

Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmers. Numerous synthesizers have been developed for program…

The integration of converter-interfaced generation (CIG) from renewable energy sources poses challenges to the stability and transient behavior of electric power systems. Understanding the dynamic behavior of low-inertia power systems is…

Systems and Control · Electrical Eng. & Systems 2020-03-09 Rodrigo Henriquez-Auba , Jose D. Lara , Ciaran Roberts , Nathan Pallo , Duncan S. Callaway