English
Related papers

Related papers: A PRISMA-driven systematic mapping study on system…

200 papers

Governments, industry, and academia have undertaken efforts to identify and mitigate harms in ML-driven systems, with a particular focus on social and ethical risks of ML components in complex sociotechnical systems. However, existing…

Machine Learning · Computer Science 2022-11-10 Edgar W. Jatho , Logan O. Mailloux , Shalaleh Rismani , Eugene D. Williams , Joshua A. Kroll

Despite the remarkable proficiency of \textit{Large Reasoning Models} (LRMs) in handling complex reasoning tasks, their reliability in safety-critical scenarios remains uncertain. Existing evaluations primarily assess response-level safety,…

Artificial Intelligence · Computer Science 2025-05-27 Baihui Zheng , Boren Zheng , Kerui Cao , Yingshui Tan , Zhendong Liu , Weixun Wang , Jiaheng Liu , Jian Yang , Wenbo Su , Xiaoyong Zhu , Bo Zheng , Kaifu Zhang

Although Simultaneous Localization and Mapping (SLAM) has been an active research topic for decades, current state-of-the-art methods still suffer from instability or inaccuracy due to feature insufficiency or its inherent estimation drift,…

Robotics · Computer Science 2022-07-28 Yang Lyu , Thien-Minh Nguyen , Liu Liu , Muqing Cao , Shenghai Yuan , Thien Hoang Nguyen , Lihua Xie

The rise of foundation models has shifted focus from resource-intensive fine-tuning to prompt engineering, a paradigm that steers model behavior through input design rather than weight updates. While manual prompt engineering faces…

Artificial Intelligence · Computer Science 2025-02-18 Wenwu Li , Xiangfeng Wang , Wenhao Li , Bo Jin

Post-hoc saliency methods are widely used to interpret deep neural networks, but their faithfulness is difficult to evaluate reliably. Existing evaluations mask features according to saliency-induced feature ordering and measure performance…

Machine Learning · Computer Science 2026-05-19 Chia-Ying Hsieh , Hsin-Yuan Fang , Chun-Shu Wei

Continuum Approximation (CA) is an efficient and parsimonious technique for modeling complex logistics problems. In this paper,we review recent studies that develop CA models for transportation, distribution and logistics problems with the…

Optimization and Control · Mathematics 2017-06-20 Sina Ansari , Mehmet Basdere , Xiaopeng Li , Yanfeng Ouyang , Karen Smilowitz

Current approaches to AI safety define red lines at the case level: specific prompts, specific outputs, specific harms. This paper argues that red lines can be set more fundamentally -- at the level of value, evidence, and source…

Artificial Intelligence · Computer Science 2026-04-14 Seulki Lee

Assurance for artificial intelligence (AI) systems remains fragmented across software supply-chain security, adversarial machine learning, and governance documentation. Existing transparency mechanisms - including Model Cards, Datasheets,…

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

Robotics · Computer Science 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. While system safety has been a vital area of applied research…

Software Engineering · Computer Science 2018-12-21 Mario Gleirscher , Anne Nyokabi

Today, Cloud Computing is rising strongly, presenting itself to the market by its main service models, known as IaaS, PaaS and SaaS, that offer advantages in operational investments by means of on-demand costs, where consumers pay by…

The System Usability Scale (SUS) is a short, survey-based approach used to determine the usability of a system from an end user perspective once a prototype is available for assessment. Individual scores are gathered using a 10-question…

Methodology · Statistics 2021-01-26 Nicholas Clark , Matthew Dabkowski , Patrick Driscoll , Dereck Kennedy , Ian Kloo , Heidy Shi

Image degradations can occur during acquisition, processing, and transmission, altering visual appearance and affecting downstream vision tasks. They are studied in several communities, including synthetic corruption benchmarks for…

Computer Vision and Pattern Recognition · Computer Science 2026-05-18 Stefan Becker , Simon Weiss , Wolfgang Hübner , Michael Arens

[Background] The rapidly changing business environments in which many companies operate is challenging traditional Requirements Engineering (RE) approaches. This gave rise to agile approaches for RE. Security, at the same time, is an…

Software Engineering · Computer Science 2018-06-06 H. Villamizar , M. Kalinowski , M. Viana , D. Méndez Fernández

Learning enabled autonomous systems provide increased capabilities compared to traditional systems. However, the complexity of and probabilistic nature in the underlying methods enabling such capabilities present challenges for current…

Software Engineering · Computer Science 2023-01-03 Christian Ellis , Maggie Wigness , Lance Fiondella

Abstract Meaning Representation (AMR) is a recently designed semantic representation language intended to capture the meaning of a sentence, which may be represented as a single-rooted directed acyclic graph with labeled nodes and edges.…

Computation and Language · Computer Science 2019-05-30 Rafael T. Anchieta , Marco A. S. Cabezudo , Thiago A. S. Pardo

The organizations and researchers producing research software face a common problem of making their software sustainable beyond funding provided by a single research project. This is addressed by research software engineers through building…

Software Engineering · Computer Science 2024-06-05 Deekshitha , Rena Bakhshi , Jason Maassen , Carlos Martinez Ortiz , Rob van Nieuwpoort , Slinger Jansen

Measuring the contribution of a bank or an insurance company to overall systemic risk is a key concern, particularly in the aftermath of the 2007--2009 financial crisis and the 2020 downturn. In this paper, we derive worst-case and…

Risk Management · Quantitative Finance 2025-11-18 Jinghui Chen , Edward Furman , X. Sheldon Lin

The fundamental step in measuring the robustness of a system is the synthesis of the so called Process Map.This is generally based on the user raw data material.Process Maps are of fundamental importance towards the understanding of the…

Artificial Intelligence · Computer Science 2014-03-31 Arti Gupta , Prof. N. T Deotale

Objective: To identify and classify the positive and negative impacts of using Use Cases in real-world settings. Method: We conducted a systematic mapping study. The search strategies retrieved a set of 4,431 papers out of which 47 were…

Software Engineering · Computer Science 2019-06-18 José L. Barros-Justo , Fabiane B. V. Benitti , Saurabh Tiwari