|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | John D. Pryce, George F. Corliss |
Interval Arithmetic with Containment Sets. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
validated computation, division by zero, containment set, cset, Interval arithmetic, infinity |
32 | Yunong Zhang, Yinyan Zhang, Dechao Chen, Zhengli Xiao, Xiaogang Yan |
Division by zero, pseudo-division by zero, Zhang dynamics method and Zhang-gradient method about control singularity conquering. |
Int. J. Syst. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ulrich W. Kulisch |
Complete Interval Arithmetic and Its Implementation on the Computer. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic |
22 | Jan A. Bergstra, John V. Tucker |
The rational numbers as an abstract data type. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra |
16 | Dániel Vince, Attila Szatmári, Ákos Kiss 0001, Árpád Beszédes |
Division by Zero: Threats and Effects in Spectrum-Based Fault Localization Formulas. |
QRS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Yunong Zhang, Yihong Ling, Min Yang 0010, Jian Li 0018, Mingzhi Mao |
Exemplar Different-Level Quadratic Minimization, Division-by-Zero Issue, and Comparative Solutions. |
ICSAI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yunong Zhang, Jinjin Guo, Binbin Qiu, Jian Li 0018, Zhi Yang 0004 |
Stabilization of three time-varying linear systems using ZG method with pseudo division-by-zero phenomena displayed. |
ICSAI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yunong Zhang, Jinjin Guo, Deyang Zhang, Binbin Qiu, Zhi Yang 0004 |
Output tracking of time-varying linear system using ZD controller with pseudo division-by-zero phenomenon illustrated. |
IECON |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yunong Zhang, Huihui Gong, Jian Li 0018, Huanchang Huang, Ziyu Yin |
Symbolic Solutions to Division by Zero Problem via Gradient Neurodynamics. |
ICONIP (3) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Emil Jerábek |
Division by zero. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Emil Jerábek |
Division by zero. |
Arch. Math. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein |
Short Note on Costs of Floating Point Operations on current x86-64 Architectures: Denormals, Overflow, Underflow, and Division by Zero. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
16 | Jan A. Bergstra, Cornelis A. Middelburg |
Division by zero in non-involutive meadows. |
J. Appl. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Alban Ponse |
Division by Zero in Common Meadows. |
Software, Services, and Systems |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Cornelis A. Middelburg |
Division by zero in non-involutive meadows. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Chaowei Hu, Ying Wang 0031, Xiangui Kang, Dongsheng Guo, Yunong Zhang |
ZG trajectory generation of Van der Pol oscillator in affine-control form with division-by-zero problem handled. |
ICNC |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yunong Zhang, Ying Wang 0031, Yonghua Yin, Long Jin 0001, Dechao Chen |
ZG controllers for output tracking of nonlinear mass-spring-damper mechanical system with division-by-zero problem solved. |
ROBIO |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jesper Carlström |
Wheels - on division by zero. |
Math. Struct. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mayer |
An Approach to Overcome Division by Zero in the Interval Gauss Algorithm. |
Reliab. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Artemis K. Kostarigka, George A. Rovithakis |
Adaptive Neural Network Tracking Control With Disturbance Attenuation for Multiple-Input Nonlinear Systems. |
IEEE Trans. Neural Networks |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alan M. Frisch, Peter J. Stuckey |
The Proper Treatment of Undefinedness in Constraint Languages. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Branimir Lambov |
Interval Arithmetic Using SSE-2. |
Reliable Implementation of Real Number Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Steven M. German |
Automating Proofs of the Absence of Common Runtime Errors. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|