7986 search results - page 180 / 1598 » Computational Science and its Applications |
218
click to vote
Lab
Neural Systems Engineering Lab (NSEL) at Michigan State University focuses on advancing neuroinformatics science by engineering new theoretical, computational and experimental tool...
162
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
168
click to vote
TOMS
2010
15 years 4 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
148
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Nicholas Carr’s question “Does IT Matter?”(to the maintenance of competitive advantage) has been applied to many industries but the one that depends on IT almost exclusively...
151
click to vote
DIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graph mining approaches are extremely popular and effective in molecular databases. The vast majority of these approaches first derive interesting, i.e. frequent, patte...