19985 search results - page 485 / 3997 » Modelling Ecological Data |
210
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
159
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
The advent of DNA microarray technologies has revolutionized the experimental study of gene expression. Clustering is the most popular approach of analyzing gene expression data a...
196
click to vote
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this study we used a new agent-based approach, an artificial market approach, to analyze the ways that dealers process the information in financial news. We compared b...
170
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...
172
click to vote
FUIN
2008
15 years 7 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...