Sciweavers

7121 search results - page 237 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
CAV
2006
Springer
146views Hardware» more  CAV 2006»
15 years 6 months ago
Termination Analysis with Calling Context Graphs
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
Panagiotis Manolios, Daron Vroon
115
Voted
BMCBI
2006
126views more  BMCBI 2006»
15 years 2 months ago
JUICE: a data management system that facilitates the analysis of large volumes of information in an EST project workflow
Background: Expressed sequence tag (EST) analyses provide a rapid and economical means to identify candidate genes that may be involved in a particular biological process. These E...
Mariano Latorre, Herman Silva, Juan Saba, Carito G...
ANOR
2010
139views more  ANOR 2010»
15 years 15 days ago
Some operations research methods for analyzing protein sequences and structures
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
Piotr Lukasiak, Jacek Blazewicz, Maciej Milostan
CMSB
2009
Springer
15 years 5 months ago
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
Lucia Napione, Daniele Manini, Francesca Cordero, ...
128
Voted
ICCV
2009
IEEE
16 years 7 months ago
Time Series Prediction by Chaotic Modeling of Nonlinear Dynamical Systems
We use concepts from chaos theory in order to model nonlinear dynamical systems that exhibit deterministic behavior. Observed time series from such a system can be embedded into...
Arslan Basharat, Mubarak Shah