中文
相关论文

相关论文: Setting Out a Software Stack Capable of Hosting a …

200 篇论文

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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

数学软件 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

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…

分布式、并行与集群计算 · 计算机科学 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…

机器人学 · 计算机科学 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,…

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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 2019-06-04 Daniel S. Katz , Kenton McHenry , Caleb Reinking , Robert Haines