Sciweavers

4116 search results - page 80 / 824
» Type Analysis for CHIP
Sort
View
ATAL
2006
Springer
14 years 16 days ago
Evolutionary Stability of Behavioural Types in the Continuous Double Auction
In this paper, we investigate the effectiveness of different types of bidding behaviour for trading agents in the Continuous Double Auction (CDA). Specifically, we consider behavi...
Perukrishnen Vytelingum, Dave Cliff, Nicholas R. J...
BMCBI
2007
144views more  BMCBI 2007»
13 years 9 months ago
Application of amino acid occurrence for discriminating different folding types of globular proteins
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
Y.-h. Taguchi, M. Michael Gromiha
BMCBI
2010
125views more  BMCBI 2010»
13 years 9 months ago
Asymmetric microarray data produces gene lists highly predictive of research literature on multiple cancer types
Background: Much of the public access cancer microarray data is asymmetric, belonging to datasets containing no samples from normal tissue. Asymmetric data cannot be used in stand...
Noor B. Dawany, Aydin Tozeren
TLCA
1999
Springer
14 years 1 months ago
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
Peter Harry Eidorff, Fritz Henglein, Christian Mos...
JACM
2000
119views more  JACM 2000»
13 years 8 months ago
A minimum spanning tree algorithm with Inverse-Ackermann type complexity
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...
Bernard Chazelle