|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 78(3), pp. 251-276, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 48(1), pp. 1-12, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ulrich W. Kulisch |
Complete Interval Arithmetic and Its Implementation on the Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 7-26, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(2), pp. 7, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022, pp. 221-230, 2022, IEEE, 978-1-6654-7704-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 5th International Conference on Systems and Informatics, ICSAI 2018, Nanjing, China, November 10-12, 2018, pp. 126-133, 2018, IEEE, 978-1-7281-0120-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017, pp. 72-77, 2017, IEEE, 978-1-5386-1107-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017, pp. 3075-3080, 2017, IEEE, 978-1-5386-1127-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (3) ![In: Neural Information Processing - 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III, pp. 745-750, 2017, Springer, 978-3-319-70089-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Emil Jerábek |
Division by zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.07309, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Emil Jerábek |
Division by zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 55(7-8), pp. 997-1013, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.03997, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Jan A. Bergstra, Cornelis A. Middelburg |
Division by zero in non-involutive meadows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 13(1), pp. 1-12, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Alban Ponse |
Division by Zero in Common Meadows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software, Services, and Systems ![In: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pp. 46-61, 2015, Springer, 978-3-319-15544-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Cornelis A. Middelburg |
Division by zero in non-involutive meadows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.2092, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: 10th International Conference on Natural Computation, ICNC 2014, Xiamen, China, August 19-21, 2014, pp. 1082-1087, 2014, IEEE, 978-1-4799-5150-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2013, Shenzhen, China, December 12-14, 2013, pp. 1845-1850, 2013, IEEE, 978-1-4799-2744-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jesper Carlström |
Wheels - on division by zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 14(1), pp. 143-184, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mayer |
An Approach to Overcome Division by Zero in the Interval Gauss Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 8(3), pp. 229-237, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(2), pp. 236-247, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alan M. Frisch, Peter J. Stuckey |
The Proper Treatment of Undefinedness in Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 367-382, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Branimir Lambov |
Interval Arithmetic Using SSE-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 102-113, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Steven M. German |
Automating Proofs of the Absence of Common Runtime Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 105-118, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|