Sciweavers

4397 search results - page 266 / 880
» Relational Algebra Operations
Sort
View
JC
2006
105views more  JC 2006»
15 years 4 months ago
On the complexity of the resolvent representation of some prime differential ideals
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...
NA
2010
235views more  NA 2010»
14 years 11 months ago
On new iterative method for solving systems of nonlinear equations
Solving systems of nonlinear equations is a relatively complicated problem for which a number of different approaches have been proposed. In this paper, we employ the Homotopy Anal...
Fadi Awawdeh
LFP
1990
73views more  LFP 1990»
15 years 5 months ago
Computing with Coercions
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple
Val Tannen, Carl A. Gunter, Andre Scedrov
COMPUTING
2004
87views more  COMPUTING 2004»
15 years 4 months ago
The Generalized Quantum Database Search Algorithm
In this paper we present a generalized description of the Grover operator, employed in a quantum database search algorithm. We will discuss the relation between the original and ge...
Sándor Imre, Ferenc Balázs
153
Voted
LOGCOM
2010
152views more  LOGCOM 2010»
14 years 11 months ago
Constructive Logic with Strong Negation as a Substructural Logic
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
Manuela Busaniche, Roberto Cignoli