The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for polynomial with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1955-1960 (23) 1961-1963 (23) 1964-1966 (18) 1967 (18) 1968-1969 (28) 1970-1971 (22) 1972 (15) 1973 (20) 1974 (30) 1975 (25) 1976 (49) 1977 (26) 1978 (30) 1979 (34) 1980 (49) 1981 (56) 1982 (48) 1983 (49) 1984 (81) 1985 (101) 1986 (106) 1987 (116) 1988 (172) 1989 (207) 1990 (243) 1991 (222) 1992 (283) 1993 (294) 1994 (331) 1995 (335) 1996 (371) 1997 (399) 1998 (448) 1999 (541) 2000 (580) 2001 (732) 2002 (811) 2003 (913) 2004 (1247) 2005 (1374) 2006 (1552) 2007 (1616) 2008 (1717) 2009 (1410) 2010 (697) 2011 (630) 2012 (669) 2013 (705) 2014 (687) 2015 (733) 2016 (736) 2017 (747) 2018 (790) 2019 (880) 2020 (895) 2021 (881) 2022 (930) 2023 (975) 2024 (283)
Publication types (Num. hits)
article(14105) book(21) data(1) incollection(97) inproceedings(13633) phdthesis(146)
Venues (Conferences, Journals, ...)
CoRR(2309) FOCS(413) ISSAC(398) STOC(364) SODA(348) ICALP(275) IACR Cryptol. ePrint Arch.(273) J. ACM(253) MFCS(252) STACS(252) ISAAC(249) Appl. Math. Comput.(248) Theor. Comput. Sci.(223) J. Symb. Comput.(216) CDC(212) Algorithmica(209) More (+10 of total 2779)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12402 occurrences of 4451 keywords

Results
Found 28003 publication records. Showing 28003 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Jin-San Cheng, Xiao-Shan Gao, Jia Li 0023 Root isolation for bivariate polynomial systems with local generic position method. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bivariate polynomial system, generic position, root bound, root isolation
21Jean-Guillaume Dumas, Clément Pernet, B. David Saunders On finding multiplicities of characteristic polynomial factors of black-box matrices. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF finite field, characteristic polynomial, black-box matrix
21Zhonggang Zeng The approximate irreducible factorization of a univariate polynomial: revisited. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multiplicity, polynomial factoring, ill-posed problems
21Bennett Thompson, David J. Pearce 0001, Craig Anslow, Gary Haggard Visualizing the computation tree of the Tutte Polynomial. Search on Bibsonomy SOFTVIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software visualization, Tutte Polynomial
21Gang Xu 0001, Guozhao Wang Parametric Polynomial Minimal Surfaces of Degree Six with Isothermal Parameter. Search on Bibsonomy GMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF harmonic surfaces, isothermal parametric surface, parametric polynomial minimal surface of degree six, membrane structure, minimal surface
21Arash Reyhani-Masoleh A New Bit-Serial Architecture for Field Multiplication Using Polynomial Bases. Search on Bibsonomy CHES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Finite or Galois field, Mastrovito multiplier, polynomial basis, bit-serial multiplier
21Songxin Liang, David J. Jeffrey, Marc Moreno Maza The complete root classification of a parametric polynomial on an interval. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete root classification, parametric polynomial, real quantifier elimination, interval, real root
21Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF perspective-three-point problem, computer vision, complexity, real solutions, polynomial system solving
21Hiroshi Sekigawa The nearest polynomial with a zero in a given domain from a geometrical viewpoint. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF davenport-schinzel sequence, l?-norm, polynomial, perturbation, zero
21Sivaram Gopalakrishnan, Priyank Kalla Optimization of polynomial datapaths using finite ring algebra. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF arithmetic datapaths, finite ring algebra, modulo arithmetic, polynomial datapaths, High-level synthesis
21Juan Manuel Peña 0001, Tomas Sauer Efficient polynomial reduction. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF H-bases, polynomial reduction, numerical stability
21Cristina Tîrnauca, Timo Knuutila Polynomial Time Algorithms for Learning k -Reversible Languages and Pattern Languages with Correction Queries. Search on Bibsonomy ALT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF k-reversible languages, pattern languages, polynomial algorithms, Correction queries
21Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan Generating Polynomial Invariants with DISCOVERER and QEPCAD. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
21Nicolas Brisebarre, Sylvain Chevillard Efficient polynomial L-approximations. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Efficient polynomial approximation, absolute error, L norm, floating-point arithmetic, LLL algorithm, lattice basis reduction, closest vector problem
21Gui-Lin Zhang, Xiao-Shan Gao Properties of Ascending Chains for Partial Difference Polynomial Systems. Search on Bibsonomy ASCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ascending chain, coherent chain, regular chain, irreducible chain, partial difference polynomial, characteristic set
21Leslie Ann Goldberg, Mark Jerrum Inapproximability of the Tutte polynomial. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complexity, approximation, Tutte polynomial
21Hiroshi Sekigawa The nearest polynomial with a zero in a given domain. Search on Bibsonomy SNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polynomial, perturbation, zero
21Murray R. Bremner, Michael J. Hancock, Yunfeng Piao Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
21Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algebraic algorithm stabilization, polynomial greatest common divisor
21Arash Reyhani-Masoleh, M. Anwar Hasan Fault Detection Architectures for Field Multiplication Using Polynomial Bases. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polynomial basis multiplier, Finite fields, error detection
21Len Bos, Marco Caliari, Stefano De Marchi, Marco Vianello A Numerical Study of the Xu Polynomial Interpolation Formula in Two Variables. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bivariate polynomial interpolation, Xu points, Lagrange interpolation formula, Lebesgue constant
21Eugene L. Allgower, Derrick J. Bates, Andrew J. Sommese, Charles W. Wampler Solution of Polynomial Systems Derived from Differential Equations. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Differential equations, polynomial systems, boundary value problems, numerical algebraic geometry, homotopy continuation
21Vadim V. Lozin, Martin Milanic A polynomial algorithm to find an independent set of maximum weight in a fork-free graph. Search on Bibsonomy SODA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polynomial-time algorithm, independent set
21Shanshan Gao, Caiming Zhang 0001, Li Zhong Interpolation by Piecewise Quadric Polynomial to Scattered Data Points. Search on Bibsonomy ISVC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Scattered data points, Polynomial Surface, Interpolation, Energy, Triangle
21Michael V. Basin, Joel Perez 0001 Optimal Filtering for Linear System States over Polynomial Observations. Search on Bibsonomy ICICIC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF linear system state, nonlinear polynomial observations, stochastic system, Optimal filtering
21Yu Liang, Ramdev Kanapady, Kumar K. Tamma An Efficient Parallel Finite-Element-Based Domain Decomposition Iterative Technique With Polynomial Preconditioning. Search on Bibsonomy ICPP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF distributed format, polynomial preconditioner, finite element, domain decomposition, linear equations, GMRES
21Abir Jaafar Hussain, Adam Knowles, Paulo J. G. Lisboa, Wael El-Deredy, Dhiya Al-Jumeily Polynomial Pipelined Neural Network and Its Application to Financial Time Series Prediction. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Polynomial neural network, pipelined network, exchange rate time series and financial time series prediction
21Guillaume Moroz Complexity of the resolution of parametric systems of polynomial equations and inequations. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF discriminant variety, parametric polynomial system, complexity, elimination
21Henk Bekker, E. P. Braad, Boris Goldengorin Selecting the Roots of a Small System of Polynomial Equations by Tolerance Based Matching. Search on Bibsonomy WEA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tolerance based bipartite matching, solving polynomial equations, combinatorial optimization
21Henk Bekker, E. P. Braad, Boris Goldengorin Using Bipartite and Multidimensional Matching to Select the Roots of a System of Polynomial Equations. Search on Bibsonomy ICCSA (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF system of polynomial equations, combinatorial optimization, bipartite matching
21Barry H. Dayton, Zhonggang Zeng Computing the multiplicity structure in solving polynomial systems. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multiplicity, polynomial ideal, dual space
21Bernard Mourrain Generalized normal forms and polynomial system solving. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
21Thomas C. M. Lee, Hee-Seok Oh Automatic polynomial wavelet regression. Search on Bibsonomy Stat. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF boundary adjustment, polynomial wavelet regression, Stein's unbiased risk estimation, wavelet thresholding, Bayesian Information Criterion, empirical Bayes
21Kazushige Terui Light Affine Set Theory: A Naive Set Theory of Polynomial Time. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF naive set theory, light logic, linear logic, polynomial time, substructural logics
21Manuel Kauers Computer proofs for polynomial identities in arbitrary many variables. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF computer proofs, polynomial identities
21Alin Bostan, Bruno Salvy, Éric Schost Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Linear recurrent sequences, Duality, Polynomial system solving
21Claire Whelan, Adam Duffy, Andrew Burnett, Tom Dowling A Java API for polynomial arithmetic. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  BibTeX  RDF Java, Java, polynomial, API, arithmetic
21Arash Reyhani-Masoleh, M. Anwarul Hasan Error Detection in Polynomial Basis Multipliers over Binary Extension Fields. Search on Bibsonomy CHES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF polynomial basis multiplier, fault tolerant computing, Finite fields, error detection
21Daniel Kobler, Udi Rotics Polynomial algorithms for partitioning problems on graphs with fixed clique-width (extended abstract). Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF coloring, dominating set, polynomial algorithms, edge-coloring, clique-width, edge-dominating set
21Y. Liang, Jim Weston, Marek Szularz Polynomial Preconditioning for Specially Structured Linear Systems of Equations. Search on Bibsonomy Euro-Par The full citation details ... 2001 DBLP  DOI  BibTeX  RDF polynomial preconditioner, FGMRES, specially structured, solution of linear systems, generalised least-squares
21Volker Barthelmann, Erich Novak, Klaus Ritter 0001 High dimensional polynomial interpolation on sparse grids. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multivariate polynomial interpolation, least solution, 65D05, 41A63, tractability, 41A05, 41A25, sparse grids, universal method
21Klaus Aehlig, Helmut Schwichtenberg A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF affine linear typing, polynomial time computation, lambda-calculus
21Hartmut Prautzsch, Ulrich Reif Degree estimates for Ck-piecewise polynomial subdivision surfaces. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF piecewise polynomial surface, extraordinary point, subdivision, arbitrary topology
21Markus Bläser Bivariate Polynomial Multiplication. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF multiplicative complexity, polynomial multiplication, bilinear complexity
21Supratik Chakraborty, David L. Dill More Accurate Polynomial-Time Min-Max Timing Simulation. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Uncertain component delays, min-max timing simulation, thirteen-valued signal algebra, polynomial-time algorithm
21Edith Cohen Learning Noisy Perceptrons by a Perceptron in Polynomial Time. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF noisy perceptron learning, linear threshold functions, labeled examples, random classification noise, PAC learnable, linear thresholds, single threshold function, machine learning, polynomial time, learning by example, hypothesis
21Tadayoshi Horita, Itsuo Takanami A Polynomial Time Algorithm for Reconfiguring the 1 1/2 Track-Switch Model with PE and Bus faults. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mesh arrays, the 1frac{1}{2} track-switch model, fault-tolerance, polynomial time algorithm, wafer scale integration
21Zhuxing Zhao, Zhongcheng Li, Yinghua Min Waveform Polynomial Manipulation Using Bdds. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF waveform polynomial manipulation, design verification and test, middle size circuits, complexity, data structure, high level synthesis, timing, logic design, combinational circuit, logic synthesis, binary decision diagram, directed acyclic graph, digital circuit, Boolean process
21Zhibin Lei, David B. Cooper New, faster, more controlled fitting of implicit polynomial 2D curves and 3D surfaces to data . Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF implicit polynomial 2D curves fitting, 3D surfaces, global geometric constraints, object recognition, linear programming, linear programming, curve fitting, distance measures
21Merlin Hughes, Christopher DiMattia, Ming C. Lin, Dinesh Manocha Efficient And Accurate Interference Detection For Polynomial Deformation. Search on Bibsonomy CA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polynomial deformation, soft object animation, Bezier patches, axis aligned bounding boxes, surface intersection tests, loop intersection tests, animation, computational geometry, linear programming, linear programming, geometric models, computer animation, deformable models, solid modelling, solid models, B-splines, convex hulls, subdivision, parametric surfaces, dynamic simulation, splines (mathematics), polygonal meshes, variational models, interference detection, frame-to-frame coherence
21Maurice Mignotte On the distance between the roots of a polynomial. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Roots of a polynomial, Separating the roots, Complex polynomials, Integer polynomials
21John Case, Timo Kötzing Difficulties in Forcing Fairness of Polynomial Time Inductive Inference. Search on Bibsonomy ALT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Ilya Averbouch, Johann A. Makowsky, Peter Tittmann 0001 A Graph Polynomial Arising from Community Structure (Extended Abstract). Search on Bibsonomy WG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Stefan Kratsch, Magnus Wahlström Two Edge Modification Problems without Polynomial Kernels. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Ning Dong 0002, Jaijeet S. Roychowdhury General-Purpose Nonlinear Model-Order Reduction Using Piecewise-Polynomial Representations. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Artur Jutman, Anton Tsertov, Raimund Ubar Calculation of LFSR Seed and Polynomial Pair for BIST Applications. Search on Bibsonomy DDECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Eduardo Mojica-Nava, Nicanor Quijano, Alain Gauthier, Naly Rakoto-Ravalontsalama Stability analysis of switched polynomial systems using dissipation inequalities. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler Design Method for Numerical Function Generators Based on Polynomial Approximation for FPGA Implementation. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Zeev Dvir, Ariel Gabizon, Avi Wigderson Extractors and Rank Extractors for Polynomial Sources. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Harry Buhrman, Lance Fortnow, Michal Koucký 0001, John D. Rogers, Nikolai K. Vereshchagin Inverting Onto Functions and Polynomial Hierarchy. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Seok-Beom Roh, Tae-Chon Ahn Fuzzy Combined Polynomial Neural Networks. Search on Bibsonomy KES (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Takuya Kitamoto, Tetsu Yamaguchi On the Computation of the Defining Polynomial of the Algebraic Riccati Equation. Search on Bibsonomy CASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Tae-Chon Ahn, Kyung-Won Jang, Seok-Beom Roh Genetically Optimized Fuzzy Set-Based Polynomial Neural Networks Based on Information Granules with Aids of Symbolic Genetic Algorithms. Search on Bibsonomy KES (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Daniel Stronger, Peter Stone Polynomial Regression with Automated Degree: A Function Approximator for Autonomous Agents. Search on Bibsonomy ICTAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Bruno Codenotti, Sriram V. Pemmaraju, Kasturi R. Varadarajan On the polynomial time computation of equilibria for certain exchange economies. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF
21Martin Zinkevich, Avrim Blum, Tuomas Sandholm On polynomial-time preference elicitation with value queries. Search on Bibsonomy EC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF learning, combinatorial auctions, preference elicitation
21Thanh Minh Hoang, Thomas Thierauf On the Minimal Polynomial of a Matrix. Search on Bibsonomy COCOON The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Leslie G. Valiant Quantum computers that can be simulated classically in polynomial time. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Vadim Olshevsky, Victor Y. Pan Polynomial and Rational Evaluation and Interpolation (with Structured Matrices). Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Chua-Chin Wang, Cheng-Fa Tsai Theoretical expectation value of the capacity of fuzzy polynomial bidirectional hetero-correlator. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Miki Hermann, Phokion G. Kolaitis Unification Algorithms Cannot be Combined in Polynomial Time. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Nai-Wei Lin Approximating the Chromatic Polynomial of a Graph. Search on Bibsonomy WG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Jun Tarui Randomized Polynomials, Threshold Circuits, and the Polynomial Hierarchy. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
20Sameh M. Shohdy, Ashraf El-Sisi, Nabil A. Ismail FPGA Implementation of Elliptic Curve Point Multiplication over GF(2191). Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Karatsuba-Ofman multiplier, polynomial inversion, field programmable gate arrays, Elliptic curve cryptography, Galois field, polynomial multiplication
20Mei-E Fang, Guozhao Wang omegaB-splines. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?B-splines, trigonometric polynomial B-splines, hyperbolic polynomial B-splines, B-splines, frequencies
20Morteza Moniri Preservation theorems for bounded formulas. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model
20Steven B. Damelin Pointwise bounds of orthogonal expansions on the real line via weighted Hilbert transforms. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Freud weight, Hilbert transform, pointwise convergence, orthonormal expansions, weighted polynomial approximation, Fourier series, polynomial approximation
20Stef Graillat, Philippe Langlois Pseudozero set of interval polynomials. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interval polynomial, pseudozero set, uncertainty, interval arithmetic, perturbation, polynomial root
20Paul M. Terwilliger Two Linear Transformations each Tridiagonal with Respect to an Eigenbasis of the other; Comments on the Parameter Array. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Leonard pair, tridiagonal pair, Askey-Wilson polynomial, q-Racah polynomial
20Ilyas Eker The design of robust multi-loop-cascaded hydro governors. Search on Bibsonomy Eng. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nomenclature, Polynomial notation is employed and the polynomials are assumed to be functions of the complex s variable, X* denotes complex conjugate of the X., a. S: complex frequency and is the frequency., b. R+: Set of all positive real numbers, c. R: Set of all real numbers, d. R(.): Set of all real rational functions, e. R[.]: Set of finite polynomials with real coefficients, f. Rmxm(.): Set of all real (mxm) matrices, g. Rmxm[.]: Set of polynomial (mxm) matrices
20Luca Gemignani A generalized Graeffe's iteration for evaluating polynomials and rational functions. Search on Bibsonomy ISSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Graeffe's iteration, fast approximate polynomial evaluation, meromorphic functions, residue computation, polynomial zeros
20Bernd Sturmfels, Markus Wiegelmann Structural Gröbner Basis Detection. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Gröbner basis, Variation of term orders, System of polynomial equations, NP-completeness, Polynomial time algorithm
20Toshikazu Wada, Hiroyuki Ukida, Takashi Matsuyama Shape from Shading with Interreflections under Proximal Light Source: 3D Shape Reconstruction of Unfolded Book Surface from a Scanner Image. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF piecewise polynomial techniques, unfolded book surface, scanner image, proximal light source, real world environments, moving light source, nonuniform albedo distribution, iterative nonlinear optimization scheme, piecewise polynomial models, image restoration experiments, photometric distortions, optimisation, iterative methods, image restoration, shading, specular reflection, geometric distortions, light sources, light reflection, interreflections, albedo, 3D shape reconstruction
20Masashi Kiyomi, Toshiki Saitoh, Ryuhei Uehara Reconstruction of Interval Graphs. Search on Bibsonomy COCOON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF the graph reconstruction conjecture, polynomial time algorithm, interval graphs
20Mario Vélez, Juan Ospina, Doracelly Hincapié Tutte Polynomials and Topological Quantum Algorithms in Social Network Analysis for Epidemiology, Bio-surveillance and Bio-security. Search on Bibsonomy BioSecure The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Aharonov-Arab-E bal-Landau algorithm, Topological Quantum Computation, Basic Reproductive Number, Social Network Analysis, Borders, Tutte Polynomial
20Margreta Kuijper, Raquel Pinto Minimal Trellis Construction for Finite Support Convolutional Ring Codes. Search on Bibsonomy ICMCTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polynomial module, row reduced, p-generator sequence, minimal trellis, convolutional code, finite ring
20Xi-Shun Zhao, Yu-Ping Shen Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program
20Haiyan Cheng, Adrian Sandu Numerical study of uncertainty quantification techniques for implicit stiff systems. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF least-square collocation, uncertainty quantification, polynomial chaos
20Hiroshi Sekigawa On real factors of real interval polynomials. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interval polynomial, factor, divisibility, polytope
20Christopher W. Brown 0001, Scott McCallum On using bi-equational constraints in CAD construction. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CAD, polynomial systems
20Dorit S. Hochbaum An efficient algorithm for image segmentation, Markov random fields and related problems. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parametric minimum cut, Markov random fields, Convex optimization, strongly polynomial algorithms
20Rong Lin Trading Bitwidth For Array Size: A Unified Reconfigurable Arithmetic Processor Design. Search on Bibsonomy ISQED The full citation details ... 2001 DBLP  DOI  BibTeX  RDF IP design, inner product processor, matrix multiplier, run-time reconfigurable architecture, SOC, array multiplier, polynomial evaluation
20Dima Grigoriev, Yagati N. Lakshman Algorithms for Computing Sparse Shifts for Multivariate Polynomials. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Shifted sparse polynomial, Gröbner bases, Complexity. >
20Jay Belanger, Aduri Pavan, Jie Wang 0002 Reductions Do Not Preserve Fast Convergence Rates in Average Time. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Average polynomial time, Distributional problem, Reductions
20David A. McAllester, Robert Givan Taxonomic Syntax for First Order Inference. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine inference, theorem proving, polynomial time algorithms, automated reasoning, inference rules, proof theory, proof systems, mechanical verification
20Hans L. Bodlaender Dynamic Programming on Graphs with Bounded Treewidth. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF graph decision problems, restrictions of NP-complete problems, local condition compositions, dynamic programming, polynomial time algorithms, Treewidth, partial k-trees
20Zeev Dvir, Amir Shpilka, Amir Yehudayoff Hardness-randomness tradeoffs for bounded depth arithmetic circuits. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounded depth circuits, hardness-randomness tradeoffs, identity testing, lower bounds, arithmetic circuits
20Leonid Gurvits Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hyperbolic polynomials, graph, convex optimization, permanent
20Hassene Aissi, Cristina Bazgan, Daniel Vanderpooten Complexity of the Min-Max (Regret) Versions of Cut Problems. Search on Bibsonomy ISAAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF min-max regret, s–t min cut, complexity, min cut, min-max
20Lincong Wang, Ramgopal R. Mettu, Bruce Randall Donald An Algebraic Geometry Approach to Protein Structure Determination from NMR Data. Search on Bibsonomy CSB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #300 of 28003 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license