中文
相关论文

相关论文: An Introduction to Using Software Tools for Automa…

200 篇论文

AI and machine learning based approaches are becoming ubiquitous in almost all engineering fields. Control engineering cannot escape this trend. In this paper, we explore how AI tools can be useful in control applications. The core tool we…

最优化与控制 · 数学 2023-06-12 Ion Matei , Raj Minhas , Johan de Kleer , Alexander Felman

Diff is a software program that detects differences between two data sets and is useful in natural language processing. This paper shows several examples of the application of diff. They include the detection of differences between two…

计算与语言 · 计算机科学 2007-05-23 Masaki Murata , Hitoshi Isahara

Various software efforts embrace the idea that object oriented programming enables a convenient implementation of the chain rule, facilitating so-called automatic differentiation via backpropagation. Such frameworks have no mechanism for…

机器学习 · 计算机科学 2023-05-09 Daniel Johnson , Trevor Maxfield , Yongxu Jin , Ronald Fedkiw

We investigate the automatic differentiation of hybrid models, viz. models that may contain delays, logical tests and discontinuities or loops. We consider differentiation with respect to parameters, initial conditions or the time. We…

系统与控制 · 计算机科学 2017-06-13 John Masse , Clara Masse , François Ollivier

This paper offers a tutorial on current middlewares in automated vehicles. Our aim is to provide the reader with an overview of current middlewares and to identify open challenges in this field. We start by explaining the fundamentals of…

软件工程 · 计算机科学 2026-01-13 David Philipp Klüner , Marius Molz , Alexandru Kampmann , Stefan Kowalewski , Bassam Alrifaee

Automatic differentiation (AD) has been a topic of interest for researchers in many disciplines, with increased popularity since its application to machine learning and neural networks. Although many researchers appreciate and know how to…

编程语言 · 计算机科学 2023-08-10 Birthe van den Berg , Tom Schrijvers , James McKinna , Alexander Vandenbroucke

This document investigates the integration of adaptive distinguishing sequences into the process of active automata learning (AAL). A novel AAL algorithm "ADT" (adaptive discrimination tree) is developed and presented. Since the submission…

机器学习 · 计算机科学 2019-02-05 Markus Theo Frohme

Checking software application suitability using automated software tools has become a vital element for most organisations irrespective of whether they produce in-house software or simply customise off-the-shelf software applications for…

软件工程 · 计算机科学 2015-08-05 Rajesh Mathur , Scott Miles , Miao Du

In today's world, we need to ensure that AI systems are fair and unbiased. Our study looked at tools designed to test the fairness of software to see if they are practical and easy for software developers to use. We found that while some…

软件工程 · 计算机科学 2024-09-05 Thanh Nguyen , Luiz Fernando de Lima , Maria Teresa Badassarre , Ronnie de Souza Santos

Differentiable programming, enabled by automatic differentiation (AD), provides a robust framework for gradient-based optimization in computational plasma physics. While optimization is often only used towards design, we demonstrate that it…

等离子体物理 · 物理学 2026-03-13 A. S. Joglekar , A. G. R. Thomas , A. L. Milder , K. G. Miller , J. P. Palastro , D. H. Froula

Software documentation is an essential but labor intensive task that often requires a dedicated team of developers to ensure coverage and accuracy. Good documentation will help shorten the development cycle and improve the overall team…

软件工程 · 计算机科学 2017-01-31 Thomas Zheng , Jeff Shaw , Sergey Kozlov

This document presents a new C++ Automatic Differentiation (AD) tool, AD-HOC (Automatic Differentiation for High-Order Calculations). This tool aims to have the following features: -Calculation of user specified derivatives of arbitrary…

数学软件 · 计算机科学 2024-12-13 Juan Lucas Rey

For a real function, automatic differentiation is such a standard algorithm used to efficiently compute its gradient, that it is integrated in various neural network frameworks. However, despite the recent advances in using complex…

机器学习 · 计算机科学 2021-01-19 Chu Guo , Dario Poletti

Planning is an essential topic in the realm of automated driving. Besides planning algorithms that are widely covered in the literature, planning requires different software tools for its development, validation, and execution. This paper…

机器人学 · 计算机科学 2021-11-25 Kailin Tong , Zlatan Ajanovic , Georg Stettinger

Derivative-based algorithms are ubiquitous in statistics, machine learning, and applied mathematics. Automatic differentiation offers an algorithmic way to efficiently evaluate these derivatives from computer programs that execute relevant…

统计计算 · 统计学 2022-03-01 Charles C. Margossian , Michael Betancourt

Background/Aims: The increasing expense of the drug development process has seen interest in the use of adaptive designs (ADs) grow substantially in recent years. Accordingly, much research has been conducted to identify potential barriers…

统计计算 · 统计学 2019-06-14 Michael J Grayling , Graham M Wheeler

Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to…

软件工程 · 计算机科学 2014-09-09 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

Automatic differentiation is a tool for numerically calculating derivatives of a given function up to machine precision. This tool is useful for quantum chemistry methods, which require the calculation of gradients either for the…

化学物理 · 物理学 2020-11-25 Fabijan Pavošević , Sharon Hammes-Schiffer

Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce…

软件工程 · 计算机科学 2014-01-07 Manuel Giménez , Mariano M. Moscato , Carlos G. Lopez Pombo , Marcelo F. Frias

Probabilistic modeling is iterative. A scientist posits a simple model, fits it to her data, refines it according to her analysis, and repeats. However, fitting complex models to large data is a bottleneck in this process. Deriving…

机器学习 · 统计学 2016-03-03 Alp Kucukelbir , Dustin Tran , Rajesh Ranganath , Andrew Gelman , David M. Blei