Sciweavers

2165 search results - page 103 / 433
» cases 2005
Sort
View
127
Voted
ICCS
2005
Springer
15 years 9 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...
124
Voted
ICCS
2005
Springer
15 years 9 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
109
Voted
ICTAC
2005
Springer
15 years 9 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
120
Voted
ISSAC
2005
Springer
110views Mathematics» more  ISSAC 2005»
15 years 9 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
132
Voted
IWANN
2005
Springer
15 years 9 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