Sciweavers

3206 search results - page 419 / 642
» How minds can be computational systems
Sort
View
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
15 years 6 months ago
Krylov projection framework for Fourier model reduction
This paper analyzes the Fourier model reduction (FMR) method from a rational Krylov projection framework and shows how the FMR reduced model, which has guaranteed stability and a ...
Serkan Gugercin, Karen Willcox
COMPSEC
2008
113views more  COMPSEC 2008»
15 years 6 months ago
Automated containment of rootkits attacks
Abstract-- Rootkit attacks are a serious threat to computer systems. Packaged with other malware such as worms, viruses and spyware, rootkits pose a more potent threat than ever be...
Arati Baliga, Liviu Iftode, Xiaoxin Chen
JAR
2008
81views more  JAR 2008»
15 years 6 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
ENGL
2007
109views more  ENGL 2007»
15 years 6 months ago
Using Neural Network for DJIA Stock Selection
—This paper presents methodologies to select equities based on soft-computing models which focus on applying fundamental analysis for equities screening. This paper compares the ...
Tong-Seng Quah
BMCBI
2005
88views more  BMCBI 2005»
15 years 6 months ago
Using large-scale perturbations in gene network reconstruction
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
Thomas MacCarthy, Andrew Pomiankowski, Robert Seym...