Exact Computation of the Number of Accepting Paths of an NTM

Algorithms and Discrete Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74180-2_9 ◽

2018 ◽

pp. 105-117

Author(s):

Subrahmanyam Kalyanasundaram ◽

Kenneth W. Regan

Keyword(s):

Exact Computation

A Computational Library Using P-adic Arithmetic for Exact Computation With Rational Numbers in Quantum Computing

10.21236/ada456488 ◽

2005 ◽

Author(s):

Chao Lu

Keyword(s):

Quantum Computing ◽

Rational Numbers ◽

Exact Computation

A Note on Exact Computation of Max Weighted Score Estimators by Mixed Integer Programming

SSRN Electronic Journal ◽

10.2139/ssrn.1007441 ◽

2007 ◽

Cited By ~ 1

Author(s):

Kostas Florios ◽

Spyros Skouras

Keyword(s):

Integer Programming ◽

Mixed Integer Programming ◽

Mixed Integer ◽

Exact Computation ◽

Weighted Score

Exact computation of maximal allowable delay for general second‐order multi‐agents consensus

International Journal of Robust and Nonlinear Control ◽

10.1002/rnc.5488 ◽

2021 ◽

Author(s):

Dan Ma ◽

Jie Chen ◽

Tianyou Chai

Keyword(s):

Second Order ◽

Exact Computation ◽

Multi Agents

Distant Decimals of $$\pi $$ π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation

Journal of Automated Reasoning ◽

10.1007/s10817-017-9444-2 ◽

2017 ◽

Vol 61 (1-4) ◽

pp. 33-71

Author(s):

Yves Bertot ◽

Laurence Rideau ◽

Laurent Théry

Keyword(s):

Formal Proofs ◽

Exact Computation

Exact computation of the expectation curves of the bit-flip mutation using landscapes theory

Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11 ◽

10.1145/2001576.2001849 ◽

2011 ◽

Cited By ~ 5

Author(s):

Francisco Chicano ◽

Enrique Alba

Keyword(s):

Exact Computation ◽

Bit Flip

Isotropic Remeshing with Fast and Exact Computation of Restricted Voronoi Diagram

Computer Graphics Forum ◽

10.1111/j.1467-8659.2009.01521.x ◽

2009 ◽

Vol 28 (5) ◽

pp. 1445-1454 ◽

Cited By ~ 97

Author(s):

Dong-Ming Yan ◽

Bruno Lévy ◽

Yang Liu ◽

Feng Sun ◽

Wenping Wang

Keyword(s):

Voronoi Diagram ◽

Exact Computation

New algorithms for the exact computation of the sign of algebraic expressions

Proceedings of 1996 Canadian Conference on Electrical and Computer Engineering ◽

10.1109/ccece.1996.548100 ◽

2002 ◽

Author(s):

M. Gavrilova ◽

D. Gavrilov ◽

J. Rokne

Keyword(s):

Exact Computation ◽

Algebraic Expressions ◽

New Algorithms

Advanced iterative methods for exact computation of the differential phase shift in the circular waveguide completely filled with azimuthally magnetized ferrite: Review of recent results

2013 International Conference on Electromagnetics in Advanced Applications (ICEAA) ◽

10.1109/iceaa.2013.6632457 ◽

2013 ◽

Cited By ~ 1

Author(s):

Mariana Nikolova Georgieva-Grosse ◽

Georgi Nikolov Georgiev

Keyword(s):

Phase Shift ◽

Iterative Methods ◽

Circular Waveguide ◽

Exact Computation ◽

Differential Phase Shift ◽

Differential Phase

Exact Computation of Joint Spectral Characteristics of Linear Operators

Foundations of Computational Mathematics ◽

10.1007/s10208-012-9121-0 ◽

2012 ◽

Vol 13 (1) ◽

pp. 37-97 ◽

Cited By ~ 62

Author(s):

Nicola Guglielmi ◽

Vladimir Protasov

Keyword(s):

Spectral Characteristics ◽

Linear Operators ◽

Exact Computation

Exact computation of the expectation curves for uniform crossover

Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference - GECCO '12 ◽

10.1145/2330163.2330344 ◽

2012 ◽

Cited By ~ 1

Author(s):

Francisco Chicano ◽

Darrell Whitley ◽

Enrique Alba

Keyword(s):

Exact Computation ◽

Uniform Crossover