Sciweavers

2165 search results - page 103 / 433
» cases 2005
Sort
View
ICCS
2005
Springer
15 years 11 months ago
Bifurcation Analysis of Large Equilibrium Systems in Matlab
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...
David Bindel, James Demmel, Mark J. Friedman, Will...
ICCS
2005
Springer
15 years 11 months ago
Disjoint Segments with Maximum Density
Given a sequence A of numbers and two positive integers and k, we study the problem to find k disjoint segments of A, each has length at least , such that their sum of densities i...
Yen Hung Chen, Hsueh-I Lu, Chuan Yi Tang
ICTAC
2005
Springer
15 years 11 months ago
On Typing Information Flow
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
Gérard Boudol
ISSAC
2005
Springer
110views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Multivariate power series multiplication
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...
Éric Schost
IWANN
2005
Springer
15 years 11 months ago
Modeling Neural Processes in Lindenmayer Systems
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
Carlos Martín-Vide, Tseren-Onolt Ishdorj