Search results for "infinities"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
45	Javier Esparza	An Automata-Theoretic Approach to Software Verification.	Developments in Language Theory	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.	IEEE Trans. Computers	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.	Rev. Symb. Log.	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.	Optim. Lett.	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.	Decision Making Under Uncertainty and Constraints	2023	DBLP DOI BibTeX RDF
31	Fabio Caldarola	The Sierpinski curve viewed by numerical computations with infinities and infinitesimals.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
31	Ben-yu Guo, Chao Zhang	Generalized Hermite Spectral Method Matching Different Algebraic Decay at infinities.	J. Sci. Comput.	2015	DBLP DOI BibTeX RDF
31	Yaroslav D. Sergeyev	Computations with Grossone-Based Infinities.	UCNC	2015	DBLP DOI BibTeX RDF
31	Yaroslav D. Sergeyev	Examples of the Usage of Infinities and Infinitesimals in Numerical Computations.	WIVACE	2014	DBLP DOI BibTeX RDF
31	Yaroslav D. Sergeyev	Methodology of Numerical Computations with Infinities and Infinitesimals	CoRR	2012	DBLP BibTeX RDF
31	Nikolay Dimitrov	Illumination problems on translation surfaces with planar infinities	CoRR	2011	DBLP BibTeX RDF
31	Nikolay Dimitrov	Illumination problems on translation surfaces with planar infinities.	CCCG	2011	DBLP BibTeX RDF
31	Yuri I. Manin	Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program.	CiE	2010	DBLP DOI BibTeX RDF
31	Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong	Mathematical system of potential infinities (I) - preparation.	Kybernetes	2008	DBLP DOI BibTeX RDF
31	Wujia Zhu, Yi Lin 0001, Ningsheng Gong, Guoping Du	Descriptive definitions of potential and actual infinities.	Kybernetes	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.	Kybernetes	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.	Kybernetes	2008	DBLP DOI BibTeX RDF
31	Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong	Mathematical system of potential infinities (IV) - set theoretic foundation.	Kybernetes	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.	Kybernetes	2008	DBLP DOI BibTeX RDF
31	Arsenia Chorti, Mike Brookes	Resolving Near-Carrier Spectral Infinities Due to 1/f Phase Noise in Oscillators.	ICASSP (3)	2007	DBLP DOI BibTeX RDF
31	Carlos Martín-Vide	Infinitely Many Infinities.	Finite Versus Infinite	2000	DBLP DOI BibTeX RDF
23	Thierry Coquand	Forcing and Type Theory.	CSL	2009	DBLP DOI BibTeX RDF
23	Peng Ren 0001, Richard C. Wilson 0001, Edwin R. Hancock	Pattern vectors from the Ihara zeta function.	ICPR	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.	ACM Trans. Math. Softw.	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.	Computing	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.	J. ACM	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".	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
23	Baining Guo	A Multiscale Model for Structure-Based Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	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.	IEEE Visualization	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.	APL	1987	DBLP DOI BibTeX RDF	APL