|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 19 keywords
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
45 | Javier Esparza |
An Automata-Theoretic Approach to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 21, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel |
Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(8), pp. 1040-1050, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
sign/logarithm arithmetic, standard floating point arithmetic, multilayer sign/logarithm format, denormalized values, NaNs, logarithmic denormalized arithmetic algorithms, standards, digital arithmetic, number theory, zeros, 32 bit, infinities, IEEE 754 |
31 | Mikhail G. Katz, Karl Kuhlemann, David Sherry, Monica Ugaglia |
Leibniz on Bodies and infinities: RERUM Natura and Mathematical Fictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 17(1), pp. 36-66, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
31 | Jonathan Gillard 0002 |
Review on the book Yaroslav D. Sergeyev, Renato De Leone (Eds.) Numerical infinities and infinitesimals in optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 17(2), pp. 511-513, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Julio C. Urenda, Sean R. Aguilar, Olga Kosheleva, Vladik Kreinovich |
Fuzzy Techniques, Laplace Indeterminacy Principle, and Maximum Entropy Approach Explain Lindy Effect and Help Avoid Meaningless Infinities in Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decision Making Under Uncertainty and Constraints ![In: Decision Making Under Uncertainty and Constraints - A Why-Book, pp. 141-152, 2023, Springer, 978-3-031-16414-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Caldarola |
The Sierpinski curve viewed by numerical computations with infinities and infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 318, pp. 321-328, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Ben-yu Guo, Chao Zhang |
Generalized Hermite Spectral Method Matching Different Algebraic Decay at infinities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 65(2), pp. 648-671, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Yaroslav D. Sergeyev |
Computations with Grossone-Based Infinities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings, pp. 89-106, 2015, Springer, 978-3-319-21818-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Yaroslav D. Sergeyev |
Examples of the Usage of Infinities and Infinitesimals in Numerical Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIVACE ![In: Advances in Artificial Life and Evolutionary Computation - 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers, pp. 190-200, 2014, Springer, 978-3-319-12744-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Yaroslav D. Sergeyev |
Methodology of Numerical Computations with Infinities and Infinitesimals ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.3165, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
31 | Nikolay Dimitrov |
Illumination problems on translation surfaces with planar infinities ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.2972, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
31 | Nikolay Dimitrov |
Illumination problems on translation surfaces with planar infinities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 23rd Annual Canadian Conference on Computational Geometry, Toronto, Ontario, Canada, August 10-12, 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
31 | Yuri I. Manin |
Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings, pp. 307-316, 2010, Springer, 978-3-642-13961-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong |
Mathematical system of potential infinities (I) - preparation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 489-493, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Ningsheng Gong, Guoping Du |
Descriptive definitions of potential and actual infinities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 424-432, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Ningsheng Gong, Guoping Du |
Wide-range co-existence of potential and actual infinities in modern mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 433-437, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong |
Mathematical system of potential infinities (II) - formal systems of logical basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 494-504, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong |
Mathematical system of potential infinities (IV) - set theoretic foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 516-525, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong |
Mathematical system of potential infinities (III) - meta theory of logical basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 505-515, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Arsenia Chorti, Mike Brookes |
Resolving Near-Carrier Spectral Infinities Due to 1/f Phase Noise in Oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (3) ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2007, Honolulu, Hawaii, USA, April 15-20, 2007, pp. 1005-1008, 2007, IEEE, 1-4244-0727-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Martín-Vide |
Infinitely Many Infinities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Versus Infinite ![In: Finite Versus Infinite, pp. 217-230, 2000, Springer, 978-1-85233-251-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Thierry Coquand |
Forcing and Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 2, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Peng Ren 0001, Richard C. Wilson 0001, Edwin R. Hancock |
Pattern vectors from the Ihara zeta function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer |
FILIB++, a fast interval library supporting containment computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 32(2), pp. 299-324, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C++ class library, containment computations, containment sets, exception free computations, filib++, guaranteed numerical results, traits class, validated numerics, validation, templates, interval arithmetic, interval computations |
23 | 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 |
23 | Timothy J. Hickey, Qun Ju, Maarten H. van Emden |
Interval arithmetic: From principles to implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(5), pp. 1038-1068, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Guang-Bin Huang, Haroon A. Babri |
Comments on "Approximation capability in C(Rn) by multilayer feedforward networks and related problems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 9(4), pp. 714-715, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Baining Guo |
A Multiscale Model for Structure-Based Volume Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 1(4), pp. 291-301, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Scalar volume rendering, wavelet transforms, data compression, interactive techniques, multiresolution representation, ?-shapes, visibility sorting |
23 | Baining Guo |
Interval Set: A Volume Rendering Technique Generalizing Isosurface Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 3-10, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Scalar volume rendering, interactive techniques, visibility sorting, alpha shapes |
23 | Terence J. Reed |
Functional programming, the IEEE floating point standard and APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL: APL in transition, APL 1987, Dallas, TX, USA, May 10-14, 1987., pp. 341-347, 1987, ACM, 0-89791-226-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
APL |
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|