Search Results - "Lipton, Richard J."
-
1
DNA Solution of Hard Computational Problems
Published in Science (American Association for the Advancement of Science) (28-04-1995)“…DNA experiments are proposed to solve the famous "SAT" problem of computer science. This is a special case of a more general method that can solve NP-complete…”
Get full text
Journal Article -
2
On the importance of eliminating errors in cryptographic computations
Published in Journal of cryptology (01-03-2001)“…We present a model for attacking various cryptographic schemes by taking advantage of random hardware faults. The model consists of a black-box containing some…”
Get full text
Journal Article -
3
Molecular Computation: RNA Solutions to Chess Problems
Published in Proceedings of the National Academy of Sciences - PNAS (15-02-2000)“…We have expanded the field of "DNA computers" to RNA and present a general approach for the solution of satisfiability problems. As an example, we consider a…”
Get full text
Journal Article -
4
-
5
Might Turing Have Won a Turing Award?
Published in Computer (Long Beach, Calif.) (01-06-2012)“…A provocative tale highlights Alan Turing's special ability to provide clarity to complex computing issues…”
Get full text
Journal Article -
6
Parathyroid surgery can be safely performed in a community hospital by experienced parathyroid surgeons: A retrospective cohort study
Published in International journal of surgery (London, England) (01-03-2016)“…Abstract Background There is ongoing debate about the effectiveness and safety of performing parathyroid surgery in low-volume community hospitals. Study…”
Get full text
Journal Article -
7
Inapproximability Results for Combinatorial Auctions with Submodular Utility Functions
Published in Algorithmica (01-09-2008)“…We consider the following allocation problem arising in the setting of combinatorial auctions: a set of goods is to be allocated to a set of players so as to…”
Get full text
Journal Article Conference Proceeding -
8
Best-order streaming model
Published in Theoretical computer science (20-05-2011)“…We study a new model of computation, called best-order stream, for graph problems. Roughly, it is a proof system where a space-limited verifier has to verify a…”
Get full text
Journal Article -
9
Deterministically testing sparse polynomial identities of unbounded degree
Published in Information processing letters (16-01-2009)“…We present two deterministic algorithms for the arithmetic circuit identity testing problem. The running time of our algorithms is polynomially bounded in s…”
Get full text
Journal Article -
10
Algorithms for Modular Counting of Roots of Multivariate Polynomials
Published in Algorithmica (01-04-2008)“…Given a multivariate polynomial P ( X 1 ,…, X n ) over a finite field , let N ( P ) denote the number of roots over . The modular root counting problem is…”
Get full text
Journal Article Conference Proceeding -
11
On fundamental tradeoffs between delay bounds and computational complexity in packet scheduling algorithms
Published in IEEE/ACM transactions on networking (01-02-2005)“…We clarify, extend, and solve a long-standing open problem concerning the computational complexity for packet scheduling algorithms to achieve tight end-to-end…”
Get full text
Journal Article -
12
On the complexity of intersecting finite state automata and NL versus NP
Published in Theoretical computer science (13-06-2003)Get full text
Journal Article -
13
Amplifying circuit lower bounds against polynomial time, with applications
Published in Computational complexity (01-06-2013)“…We give a self-reduction for the Circuit Evaluation problem ( CircEval ) and prove the following consequences. Amplifying size–depth lower bounds . If CircEval…”
Get full text
Journal Article -
14
Network and service security
Published in IEEE network (01-11-2002)“…Security is a critical technology in conventional and emerging networks and their applications and services today. Lipton et al discuss current technologies in…”
Get full text
Journal Article -
15
Estimating the maximum
Published in Journal of algorithms (2005)“…Estimating the maximum of a sampled dataset is an important and daunting task. We give a sampling algorithm for general datasets which gives estimates strictly…”
Get full text
Journal Article -
16
A Separator Theorem for Planar Graphs
Published in SIAM journal on applied mathematics (01-04-1979)“…Let G be any n-vertex planar graph. We prove that the vertices of G can be partitioned into three sets A, B, C such that no edge joins a vertex in A with a…”
Get full text
Journal Article -
17
On the complexity of intersecting finite state automata
Published in Proceedings / IEEE Conference on Computational Complexity (2000)“…We consider the problem of testing whether the intersection of a collection of k automata is empty. The straightforward algorithm for solving this problem runs…”
Get full text
Conference Proceeding Journal Article -
18
Thyroid carcinoma invading the upper aerodigestive system
Published in The Laryngoscope (01-08-1990)“…Well-differentiated thyroid carcinoma infrequently invades the upper aerodigestive tract. However, when invasion occurs it is the source of significant…”
Get more information
Journal Article -
19
Counting DNA: estimating the complexity of a test tube of DNA
Published in BioSystems (01-10-1999)“…We consider the problem of estimation of the ‘complexity’ of a test tube of DNA. The complexity of a test tube is the number of different kinds of strands of…”
Get full text
Journal Article -
20
Polynomials that sign represent parity and Descartes rule of signs
Published in Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004 (2004)“…We study the sparsity of real polynomials that sign represent parity on n variables, each of which takes values from some finite subset A of integers. While…”
Get full text
Conference Proceeding