English
Related papers

Related papers: Runtime Failure Hunting for Physics Engine Based S…

200 papers

Secure software engineering is crucial but can be time-consuming; therefore, methods that could expedite the identification of software weaknesses without reducing the process efficacy would benefit the software engineering industry and…

Software Engineering · Computer Science 2023-08-11 Mounika Vanamala , Sean Loesch , Alexander Caravella

While procedures prevail on the European market for the greater good of its citizens, it might be daunting when trying to introduce a product, whether innovative or not. In the current world, Cyber-Physical Systems (CPSs) are ubiquitous in…

Software Engineering · Computer Science 2024-12-06 Guillaume Nguyen , Manon Knockaert , Michael Lognoul , Xavier Devroey

We discuss challenges to control systems engineering arising from the advent of cyber-physical systems (CPS). After discussing the terminology, general, IT-related issues are treated which need cooperation with computer science, in…

Software Engineering · Computer Science 2014-09-02 Stefan Kowalewski , Bernhard Rumpe , Andre Stollenwerk

Software testing is a critical activity to ensure that software complies with its specification. However, current software testing activities tend not to be completely effective when applied in specific software domains in Virtual Reality…

Software Engineering · Computer Science 2020-09-21 Stevao A. Andrade , Fatima L. S. Nunes , Marcio E. Delamaro

Debugging performance anomalies in real-world databases is challenging. Causal inference techniques enable qualitative and quantitative root cause analysis of performance downgrade. Nevertheless, causality analysis is practically…

Databases · Computer Science 2023-09-15 Zhenlan Ji , Pingchuan Ma , Shuai Wang

AI-based systems are software systems with functionalities enabled by at least one AI component (e.g., for image- and speech-recognition, and autonomous driving). AI-based systems are becoming pervasive in society due to advances in AI.…

Modeling complex spatiotemporal dynamics, particularly in far-from-equilibrium systems, remains a grand challenge in science. The governing partial differential equations (PDEs) for these systems are often intractable to derive from first…

Machine Learning · Computer Science 2026-01-26 Xizhe Wang , Xiaobin Song , Qingshan Jia , Hao Sun , Hongbo Zhao , Benben Jiang

Modeling complex spatiotemporal dynamical systems, such as the reaction-diffusion processes, have largely relied on partial differential equations (PDEs). However, due to insufficient prior knowledge on some under-explored dynamical…

Machine Learning · Computer Science 2023-05-23 Chengping Rao , Pu Ren , Qi Wang , Oral Buyukozturk , Hao Sun , Yang Liu

Significant progress has been made in scene understanding which seeks to build 3D, metric and object-oriented representations of the world. Concurrently, reinforcement learning has made impressive strides largely enabled by advances in…

Robotics · Computer Science 2020-11-23 Zachary Ravichandran , J. Daniel Griffith , Benjamin Smith , Costas Frost

A working group on detector simulation was formed as part of the high-energy physics (HEP) Software Foundation's initiative to prepare a Community White Paper that describes the main software challenges and opportunities to be faced in the…

Cyber-physical systems (CPS) such as autonomous cars, aircraft, and robots are often also safety-critical; thus it is imperative that they operate as intended with a high degree of certainty. Formal verification has been employed to verify…

Programming Languages · Computer Science 2026-05-07 Serra Z. Dane , Jiawei Chen , Marc Pouzet , Jean-Baptiste Jeannin

By treating data and models as the source code, Foundation Models (FMs) become a new type of software. Mirroring the concept of software crisis, the increasing complexity of FMs making FM crisis a tangible concern in the coming decade,…

Software Engineering · Computer Science 2024-07-12 Dezhi Ran , Mengzhou Wu , Wei Yang , Tao Xie

Several sources of uncertainty have to be taken into account in the analysis and design of CPS. The set of parameters used in the model of the physical plant of a CPS may be uncertain due, for example, to manufacturing processes that are…

Systems and Control · Electrical Eng. & Systems 2023-08-02 Alessandro Pinto

In this article we examine recent developments in the research area concerning the creation of end-to-end models for the complete optimization of measuring instruments. The models we consider rely on differentiable programming methods and…

Physics-informed neural network (PINN) has recently gained increasing interest in computational mechanics. In this work, we present a detailed introduction to programming PINN-based computational solid mechanics. Besides, two prevailingly…

Computational Engineering, Finance, and Science · Computer Science 2023-04-11 Jinshuai Bai , Hyogu Jeong , C. P. Batuwatta-Gamage , Shusheng Xiao , Qingxia Wang , C. M. Rathnayaka , Laith Alzubaidi , Gui-Rong Liu , Yuantong Gu

Physics-based models of dynamical systems are often used to study engineering and environmental systems. Despite their extensive use, these models have several well-known limitations due to simplified representations of the physical…

Machine Learning · Computer Science 2020-09-15 Xiaowei Jia , Jared Willard , Anuj Karpatne , Jordan S Read , Jacob A Zwart , Michael Steinbach , Vipin Kumar

Dyslexia is a common learning disorder that primarily impairs an individual's reading and writing abilities. In adults, dyslexia can affect both professional and personal lives, often leading to mental challenges and difficulties acquiring…

Software Engineering · Computer Science 2025-11-04 Marcos Vinicius Cruz , Pragya Verma , Grischa Liebel

Numerous challenges persist in High Energy Physics (HEP), the addressing of which requires advancements in detection technology, computational methods, data analysis frameworks, and phenomenological designs. We provide a concise yet…

High Energy Physics - Phenomenology · Physics 2025-03-11 Yaquan Fang , Christina Gao , Ying-Ying Li , Jing Shu , Yusheng Wu , Hongxi Xing , Bin Xu , Lailin Xu , Chen Zhou

Software engineering techniques are increasingly relying on deep learning approaches to support many software engineering tasks, from bug triaging to code generation. To assess the efficacy of such techniques researchers typically perform…

Software Engineering · Computer Science 2023-05-22 Sira Vegas , Sebastian Elbaum

Accurate dynamic modeling is critical for autonomous racing vehicles, especially during high-speed and agile maneuvers where precise motion prediction is essential for safety. Traditional parameter estimation methods face limitations such…

Robotics · Computer Science 2026-03-17 Shiming Fang , Kaiyan Yu
‹ Prev 1 8 9 10 Next ›