• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 11 - 20 of 2,239
Next 10 →

Solving Large Quadratic Assignment Problems on Computational Grids

by Kurt Anstreicher, Nathan Brixius, Jean-Pierre Goux, Jeff Linderoth , 2000
"... The quadratic assignment problem (QAP) is among the hardest combinatorial optimization problems. Some instances of size n = 30 have remained unsolved for decades. The solution of these problems requires both improvements in mathematical programming algorithms and the utilization of powerful computat ..."
Abstract - Cited by 82 (7 self) - Add to MetaCart
The quadratic assignment problem (QAP) is among the hardest combinatorial optimization problems. Some instances of size n = 30 have remained unsolved for decades. The solution of these problems requires both improvements in mathematical programming algorithms and the utilization of powerful

Quadratic Span Programs and Succinct NIZKs without PCPs

by Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
"... We introduce a new characterization of the NP complexity class, called Quadratic Span Programs (QSPs), which is a natural extension of span programs defined by Karchmer and Wigderson. Our main motivation is the construction of succinct arguments of NP-statements that are quick to construct and verif ..."
Abstract - Cited by 72 (8 self) - Add to MetaCart
not (explicitly) use PCPs. But his scheme has some disadvantages – namely, the CRS size and prover computation are both quadratic in the circuit size. In 2011, Lipmaa reduced the CRS size to quasi-linear, but with prover computation still quadratic. Using QSPs we construct a NIZK argument in the CRS model

Upper bound for the size of quadratic Siegel disks

by Xavier Buff, Arnaud Chéritat - Inventiones Mathematicae
"... Abstract. If α is an irrational number, we let {pn/qn}n≥0, be the approx-imants given by its continued fraction expansion. The Bruno series B(α) is defined as B(α) = n≥0 log qn+1 qn The quadratic polynomial Pα: z 7 → e2ipiαz + z2 has an indifferent fixed point at the origin. If Pα is linearizable, w ..."
Abstract - Cited by 10 (1 self) - Add to MetaCart
Abstract. If α is an irrational number, we let {pn/qn}n≥0, be the approx-imants given by its continued fraction expansion. The Bruno series B(α) is defined as B(α) = n≥0 log qn+1 qn The quadratic polynomial Pα: z 7 → e2ipiαz + z2 has an indifferent fixed point at the origin. If Pα is linearizable

A sequential quadratic programming approach to concurrent gate and wire sizing

by Noel Menezes, Ross Baldick, Lawrence T. Pileggi - IEEE International Conference on Computer-Aided Design , 1995
"... With an ever-increasing portion of the delay in high-speed CMOS chips attributable to the interconnect, inter-connect-circuit design automation continues to grow in importance. By transforming the gate and multilayer wire sizing problem into a convex programming problem for the Elmore delay approxim ..."
Abstract - Cited by 36 (1 self) - Add to MetaCart
approximation, we demonstrate the effi-cacy of a sequential quadratic programming (SQP) solu-tion method. For cases where accuracy greater than that provided by the Elmore delay approximation is required, we apply SQP to the gate and wire sizing problem with more accurate delay models. Since efficient

Quadratic exact-size and linear approximate-size random sampling of planar graphs

by Éric Fusy - In Proc. Analysis of Algorithms , 2005
"... This extended abstract introduces a new algorithm for the random generation of labelled planar graphs. Its principles rely on Boltzmann samplers as recently developed by Duchon, Flajolet, Louchard, and Schaeffer. It combines the Boltzmann framework, a judicious use of rejection, a new combinatorial ..."
Abstract - Cited by 13 (1 self) - Add to MetaCart
preprocessing step of some fixed small cost. Then, for each generation, the time complexity is quadratic for exact-size uniform sampling and linear for approximate-size sampling. This greatly improves on the best previously known time complexity for exact-size uniform sampling of planar graphs with n vertices

A quadratic programming approach to simultaneous buffer insertion/sizing and wire sizing

by Chris C. N. Chu, D. F. Wong - IEEE Trans. Computer-Aided Design , 1999
"... Abstract—In this paper, we present a completely new approach to the problem of delay minimization by simultaneous buffer insertion and wire sizing for a wire. We show that the problem can be formulated as a convex quadratic program, which is known to be solvable in polynomial time. Nevertheless, we ..."
Abstract - Cited by 12 (2 self) - Add to MetaCart
Abstract—In this paper, we present a completely new approach to the problem of delay minimization by simultaneous buffer insertion and wire sizing for a wire. We show that the problem can be formulated as a convex quadratic program, which is known to be solvable in polynomial time. Nevertheless, we

Multiparty Computation from Threshold Homomorphic Encryption

by Ronald Cramer, Jesper B. Nielsen , 2001
"... Abstract. We introduce a new approach to multiparty computation (MPC) basing it on homomorphic threshold crypto-systems. We show that given keys for any sufficiently efficient system of this type, general MPC protocols for n parties can be devised which are secure against an active adversary that co ..."
Abstract - Cited by 166 (14 self) - Add to MetaCart
that corrupts any minority of the parties. The total number of bits broadcast is O(nk|C|), where k is the security parameter and |C | is the size of a (Boolean) circuit computing the function to be securely evaluated. An earlier proposal by Franklin and Haber with the same complexity was only secure for passive

Integer-Valued Quadratic Forms and Quadratic Diophantine Equations

by Goro Shimura - DOCUMENTA MATH. , 2006
"... We investigate several topics on a quadratic form Φ over an algebraic number field including the following three: (A) an equation ξΦ · t ξ = Ψ for another form Ψ of a smaller size; (B) classification of Φ over the ring of algebraic integers; (C) ternary forms. In (A) we show that the “class ” of s ..."
Abstract - Cited by 8 (2 self) - Add to MetaCart
We investigate several topics on a quadratic form Φ over an algebraic number field including the following three: (A) an equation ξΦ · t ξ = Ψ for another form Ψ of a smaller size; (B) classification of Φ over the ring of algebraic integers; (C) ternary forms. In (A) we show that the “class

Survey: Interpolation Methods in Medical Image Processing

by Thomas M. Lehmann, Claudia Gönner, Klaus Spitzer - IEEE Transactions on Medical Imaging , 1999
"... Abstract — Image interpolation techniques often are required in medical imaging for image generation (e.g., discrete back projection for inverse Radon transform) and processing such as compression or resampling. Since the ideal interpolation function spatially is unlimited, several interpolation ker ..."
Abstract - Cited by 161 (2 self) - Add to MetaCart
kernels of finite size have been introduced. This paper compares 1) truncated and windowed sinc; 2) nearest neighbor; 3) linear; 4) quadratic; 5) cubic B-spline; 6) cubic; g) Lagrange; and 7) Gaussian interpolation and approximation techniques with kernel sizes from 1 2 1upto 8 2 8. The comparison is done

On the Size of Quadratic Siegel Disks: Part I.

by Xavier Buff, Arnaud Chéritat , 2003
"... If α is an irrational number, we let {pn/qn}n≥0, be the approximants given by its continued fraction expansion. The Bruno series B(α) is defined as ∑ log qn+1 B(α) =. n≥0 The quadratic polynomial Pα: z ↦ → e 2iπα z+z 2 has an indifferent fixed point at the origin. If Pα is linearizable, we let r(α) ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
If α is an irrational number, we let {pn/qn}n≥0, be the approximants given by its continued fraction expansion. The Bruno series B(α) is defined as ∑ log qn+1 B(α) =. n≥0 The quadratic polynomial Pα: z ↦ → e 2iπα z+z 2 has an indifferent fixed point at the origin. If Pα is linearizable, we let r
Next 10 →
Results 11 - 20 of 2,239
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University