References in raw/Page_29.html

-
Spelunking the deep: guaranteed queries on general neural implicit surfaces via range analysis
N Sharp, A Jacobson - ACM Transactions on Graphics (TOG), 2022 - dl.acm.org
... Appendix A gives formulae for 𝛼,𝛽,𝛾 for common activation functions, and furthermore
explicitly defines all affine arithmetic rules used in this work. Here, we consider only MLP-like ...
A robust game optimization for electromagnetic buffer under parameters uncertainty
F Xu, G Yang, L Wang, Z Li, X Wang - Engineering with Computers, 2022 - Springer
... Using the affine arithmetic, the uncertainty quantity is re-... However, affine arithmetic can only
deal with functions with explicit ... the affine arithmetic to eliminate the inner-loop optimization. ...
Uncertain Static Problems
S Chakraverty, S Rout - Affine Arithmetic Based Solution of Uncertain ..., 2020 - Springer
... For simplicity, let us first consider a 2 2 ISLE, and using the proposed method described
below, the system can be solved by using affine arithmetic computations. The resulting solution ...
Interval Raus criterion for stability analysis of linear systems with dependent coefficients in the characteristic polynomial
L Kolev, S Petrakieva - 27th International Spring Seminar on ..., 2004 - ieeexplore.ieee.org
... The interval extensions are also determined by using modified affine arithmetic. Two ...
Then we apply the necessary simple mathematical operations 9f modified affine arithmetic (...
A hybrid arithmetic transform for precision analysis of floating-point polynomial specifications
O Sarbishei, K Radecka, Z Zilic - 2014 IEEE 12th International ..., 2014 - ieeexplore.ieee.org
... We compare our solution with Affine Arithmetic (AA), the Gappa tool, which uses IA, as well
as simulation-based methods, on a set of polynomial benchmarks. Experiments show that ...
Tracing harmonic contributions of multiple distributed generations in distribution systems with uncertainty
S Wang, X Liu, K Wang, L Wu, Y Zhang - International Journal of Electrical ..., 2018 - Elsevier
... In this paper, a Complex Affine arithmetic based Three-phase Harmonic Power Flow method
(CATHPF) is proposed to trace the harmonic contributions of individual DGs to distribution ...
Solving fully fuzzy nonlinear eigenvalue problems of damped spring-mass structural systems using novel fuzzy-affine approach
S Chakraverty - Computer Modeling in Engineering & Sciences, 2019 - ingentaconnect.com
... Further due to the presence of interval overestimation problem in standard interval arithmetic,

Computer-aided verification of matrix Riccati algorithms^*
VA Tsachouridis, G Giantamidis - 2019 IEEE 58th Conference ..., 2019 - ieeexplore.ieee.org
... Combining existing theoretical results with an affine arithmetic computational framework, it
is illustrated ... via numerical examples using a custom made affine arithmetic reachability tool. ...
An Affine-Interval Arithmetic-Based Feasible Region Evaluation Method
XIE Yong-qiang, C Jian-jun... - Journal of Beijing ..., 2015 - journal.bupt.edu.cn
... Finite鄄precision error modeling using affine arithmetic[C]椅Acoustics, Speech and Signal
... by a modified affine arithmetic [ J]. Computers and Chemical Engineering, 2013(48): 48鄄57. ...
A Comparison of Range Arithmetic Methods in Symbolic-Numeric Circuit Analysis Applications
B Thanigaivelan, TJ Hamilton, A Postula - academia.edu
... The range arithmetic methods considered in this paper are affine arithmetic (AA), Extensions
to AA (EAA) suggested by Messine, and generalized interval arithmetic (GIA) suggested by ...