Verifying learning-augmented systems

Proceedings of the 2021 ACM SIGCOMM 2021 Conference ◽

10.1145/3452296.3472936 ◽

2021 ◽

Author(s):

Tomer Eliyahu ◽

Yafim Kazak ◽

Guy Katz ◽

Michael Schapira

Keyword(s):

Augmented Systems

Download Full-text

Online Safety Assurance for Learning-Augmented Systems

Proceedings of the 19th ACM Workshop on Hot Topics in Networks ◽

10.1145/3422604.3425940 ◽

2020 ◽

Author(s):

Noga H. Rotman ◽

Michael Schapira ◽

Aviv Tamar

Keyword(s):

Safety Assurance ◽

Online Safety ◽

Augmented Systems

Download Full-text

Deterministic Local Sensitivity Analysis of Augmented Systems—II: Applications to the QUENCH-04 Experiment Using the RELAP5/MOD3.2 Code System

Nuclear Science and Engineering ◽

10.13182/nse151-67 ◽

2005 ◽

Vol 151 (1) ◽

pp. 67-81 ◽

Author(s):

Mihaela Ionescu-Bujor ◽

Xuezhou Jin ◽

Dan G. Cacuci

Keyword(s):

Sensitivity Analysis ◽

Code System ◽

Local Sensitivity ◽

Local Sensitivity Analysis ◽

Augmented Systems

Download Full-text

Forward and Adjoint Sensitivity Analysis Procedures For Augmented Systems

Sensitivity and Uncertainty Analysis, Volume II ◽

10.1201/9780203483572.ch3 ◽

2005 ◽

pp. 123-170

Keyword(s):

Sensitivity Analysis ◽

Adjoint Sensitivity Analysis ◽

Adjoint Sensitivity ◽

Augmented Systems

Download Full-text

An accelerated symmetric SOR-like method for augmented systems

Applied Mathematics and Computation ◽

10.1016/j.amc.2018.08.003 ◽

2019 ◽

Vol 341 ◽

pp. 408-417

Author(s):

Cheng-Liang Li ◽

Chang-Feng Ma

Keyword(s):

Augmented Systems

Download Full-text

A Tree-based analysis of a family of augmented systems for the computation of singular points

IMA Journal of Numerical Analysis ◽

10.1093/imanum/16.4.501 ◽

1996 ◽

Vol 16 (4) ◽

pp. 501-527 ◽

Author(s):

P. KUNKEL

Keyword(s):

Singular Points ◽

Augmented Systems

Download Full-text

Numerical stability of methods for solving augmented systems

Recent Developments in Optimization Theory and Nonlinear Analysis - Contemporary Mathematics ◽

10.1090/conm/204/02622 ◽

1997 ◽

pp. 51-60 ◽

Author(s):

Åke Björck

Keyword(s):

Numerical Stability ◽

Augmented Systems

Download Full-text

Data-Driven Tracking Controls of Multi-input Augmented Systems Based on ADP Algorithm

2019 IEEE 8th Data Driven Control and Learning Systems Conference (DDCLS) ◽

10.1109/ddcls.2019.8909070 ◽

2019 ◽

Author(s):

Yongfeng Lv ◽

Xuemei Ren ◽

Shuangyi Hu ◽

Linwei Li ◽

Jing Na

Keyword(s):

Data Driven ◽

Augmented Systems

Download Full-text

Analysis of heat pumped augmented systems for spacecraft thermal control

10.2514/6.1984-1757 ◽

1984 ◽

Author(s):

P. DEXTER ◽

W. HASKIN

Keyword(s):

Thermal Control ◽

Augmented Systems ◽

Spacecraft Thermal Control

Download Full-text

Intelligent soft contact surface technology with MEMS in robotic and human augmented systems

Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065) ◽

10.1109/robot.2000.844738 ◽

2002 ◽

Author(s):

G. Wang ◽

I. Kao

Keyword(s):

Contact Surface ◽

Soft Contact ◽

Augmented Systems

Download Full-text

On the modified symmetric successive over-relaxation method for augmented systems

Computational and Applied Mathematics ◽

10.1007/s40314-014-0127-x ◽

2014 ◽

Vol 34 (2) ◽

pp. 607-617 ◽

Author(s):

H. Saberi Najafi ◽

S. A. Edalatpanah

Keyword(s):

Relaxation Method ◽

Augmented Systems ◽

Successive Over Relaxation

Download Full-text