Sciweavers

4352 search results - page 261 / 871
» A Representation Theorem and Applications
Sort
View
COMBINATORICS
2006
221views more  COMBINATORICS 2006»
15 years 7 months ago
Kernels of Directed Graph Laplacians
Abstract. Let G denote a directed graph with adjacency matrix Q and indegree matrix D. We consider the Kirchhoff matrix L = D - Q, sometimes referred to as the directed Laplacian. ...
John S. Caughman IV, J. J. P. Veerman
JFP
2008
67views more  JFP 2008»
15 years 7 months ago
Efficient execution in an automated reasoning environment
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
David A. Greve, Matt Kaufmann, Panagiotis Manolios...
JGO
2008
85views more  JGO 2008»
15 years 7 months ago
On the solution existence of pseudomonotone variational inequalities
Abstract. As shown by Thanh-Hao [11], the solution existence results established by Facchinei and Pang [5, Vol. I, Prop. 2.2.3 and Theorem 2.3.4] for variational inequalities in ge...
B. T. Kien, J. C. Yao, N. D. Yen
NA
2008
99views more  NA 2008»
15 years 7 months ago
Nontensorial Clenshaw-Curtis cubature
We extend Clenshaw-Curtis quadrature to the square in a nontensorial way, by using Sloan's hyperinterpolation theory and two families of points recently studied in the framew...
Alvise Sommariva, Marco Vianello, Renato Zanovello
FAC
2000
124views more  FAC 2000»
15 years 7 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman