Sciweavers

3007 search results - page 130 / 602
» Linear Functional Fixed-points
Sort
View
COCO
2007
Springer
92views Algorithms» more  COCO 2007»
15 years 9 months ago
Halfspace Matrices
A halfspace matrix is a Boolean matrix A with rows indexed by linear threshold functions f, columns indexed by inputs x ∈ {−1,1}n, and the entries given by Af,x = f(x). We dem...
Alexander A. Sherstov
COLOGNETWENTE
2009
15 years 4 months ago
Integer Programming with 2-Variable Equations and 1-Variable Inequalities
We present an efficient algorithm to find an optimal integer solution of a given system of 2-variable equalities and 1-variable inequalities with respect to a given linear objectiv...
Manuel Bodirsky, Gustav Nordh, Timo von Oertzen
CORR
2004
Springer
97views Education» more  CORR 2004»
15 years 2 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
Benoît Valiron
SIAMCO
2011
14 years 10 months ago
Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
Falk M. Hante, Mario Sigalotti
ISBI
2006
IEEE
16 years 3 months ago
Linearly constrained MEG beamformers for MVAR modeling of cortical interactions
Among the many methods for modeling cortical interactions using EEG and MEG data, Multivariate Autoregressive(MVAR) functional connectivity measures have the advantage of providin...
Hua Brian Hui, Richard M. Leahy