English
Related papers

Related papers: Setting Out a Software Stack Capable of Hosting a …

200 papers

Scientific open-source software (OSS) has greatly benefited research communities through its transparent and collaborative nature. Given its critical role in scientific research, ensuring the sustainability of such software has become…

Software Engineering · Computer Science 2024-02-26 Jiayi Sun , Aarya Patil , Youhai Li , Jin L. C. Guo , Shurui Zhou

Background: Research software plays an important role in solving real-life problems, empowering scientific innovations, and handling emergency situations. Therefore, the correctness and trustworthiness of research software are of absolute…

Software Engineering · Computer Science 2022-07-27 Nasir U. Eisty , Jeffrey C. Carver

Research software -- specialist software used to support or undertake research -- is of huge importance to researchers. It contributes to significant advances in the wider world and requires collaboration between people with diverse skills…

Software Engineering · Computer Science 2021-06-22 Neil P. Chue Hong , Jeremy Cohen , Caroline Jay

As part of Mathematical Research Data Initiative (MaRDI), we have developed a way to preserve a software package into an easy to deploy and use sandbox environment we call a "runtime", via a program we developed called MaPS : MaRDI…

Mathematical Software · Computer Science 2025-07-04 Aaruni Kaushik

This article introduces a software framework for benchmarking robot task scheduling algorithms in dynamic and uncertain service environments. The system provides standardized interfaces, configurable scenarios with movable objects, human…

Robotics · Computer Science 2026-01-06 Wojciech Dudek , Daniel Giełdowski , Dominik Belter , Kamil Młodzikowski , Tomasz Winiarski

Simulating physical systems is a core component of scientific computing, encompassing a wide range of physical domains and applications. Recently, there has been a surge in data-driven methods to complement traditional numerical simulations…

Machine Learning · Computer Science 2021-08-19 Karl Otness , Arvi Gjoka , Joan Bruna , Daniele Panozzo , Benjamin Peherstorfer , Teseo Schneider , Denis Zorin

This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

Logic in Computer Science · Computer Science 2022-03-18 Clemens Dubslaff , Bas Luttik

We describe a software framework and a hardware platform used in tandem for the design and analysis of robot autonomy algorithms in simulation and reality. The software, which is open source, containerized, and operating system (OS)…

Much of the complexity of Recommender Systems (RSs) comes from the fact that they are used as part of more complex applications and affect user experience through a varied range of user interfaces. However, research focused almost…

Many science advances have been possible thanks to the use of research software, which has become essential to advancing virtually every Science, Technology, Engineering and Mathematics (STEM) discipline and many non-STEM disciplines…

Software Engineering · Computer Science 2019-02-26 Daniel S. Katz , Patrick Aerts , Neil P. Chue Hong , Anshu Dubey , Sandra Gesing , Henry J. Neeman , David E. Pearah

There is no existence of dedicated simulators on the Internet that studies the impact of load balancing principles of the cloud architectures. Request Assignment Simulator (RAS) is a customizable, visual tool that helps to understand the…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-12-11 R. Arokia Paul Rajan , F. Sagayaraj Francis

In the last years, robots are moving out of research laboratories to enter everyday life. Competitions aiming at benchmarking the capabilities of a robot in everyday scenarios are useful to make a step forward in this path. In fact, they…

Robotics · Computer Science 2023-03-23 Vincenzo Suriani , Daniele Nardi

Research software is essential to modern research, but it requires ongoing human effort to sustain: to continually adapt to changes in dependencies, to fix bugs, and to add new features. Software sustainability institutes, amongst others,…

Software Engineering · Computer Science 2021-05-21 Daniel S. Katz , Jeffrey C. Carver , Neil P. Chue Hong , Sandra Gesing , Simon Hettrick , Tom Honeyman , Karthik Ram , Nicholas Weber

In this paper, we discuss the need for an integrated software stack that unites artificial intelligence (AI) and modeling and simulation (ModSim) tools to advance scientific discovery. The authors advocate for a unified AI/ModSim software…

Software Engineering · Computer Science 2024-11-15 Michael A. Heroux , Sameer Shende , Lois Curfman McInnes , Todd Gamblin , James M. Willenbring

Scientific competitions are crucial in the field of service robotics. They foster knowledge exchange and benchmarking, allowing teams to test their research in unstandardized scenarios. In this paper, we summarize the trending solutions and…

Robotics · Computer Science 2019-03-27 Mauricio Matamoros , Viktor Seib , Dietrich Paulus

Astronomical software is now a fact of daily life for all hands-on members of our community. Purpose-built software for data reduction and modeling tasks becomes ever more critical as we handle larger amounts of data and simulations.…

Build-time configuration and environment assumptions are hampering progress and usability in scientific software. That which would be utterly unacceptable in non-scientific software somehow passes for the norm in scientific packages. The…

Software Engineering · Computer Science 2014-07-11 Jed Brown , Matthew G. Knepley , Barry F. Smith

This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

Logic in Computer Science · Computer Science 2024-03-27 Frédéric Lang , Matthias Volk

Modern research in the sciences, engineering, humanities, and other fields depends on software, and specifically, research software. Much of this research software is developed in universities, by faculty, postdocs, students, and staff. In…

Software Engineering · Computer Science 2019-06-04 Daniel S. Katz , Kenton McHenry , Caleb Reinking , Robert Haines