Sciweavers

1229 search results - page 37 / 246
» Associated type synonyms
Sort
View
ENTCS
2002
128views more  ENTCS 2002»
14 years 11 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
NAR
2011
158views Computer Vision» more  NAR 2011»
14 years 2 months ago
T1DBase: update 2011, organization and presentation of large-scale data sets for type 1 diabetes research
T1DBase (http://www.t1dbase.org) is web platform, which supports the type 1 diabetes (T1D) community. It integrates genetic, genomic and expression data relevant to T1D research a...
Oliver S. Burren, Ellen C. Adlem, Premanand Achuth...
107
Voted
BMCBI
2008
226views more  BMCBI 2008»
14 years 12 months ago
ProteoLens: a visual analytic tool for multi-scale database-driven biological network data mining
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
Tianxiao Huan, Andrey Y. Sivachenko, Scott H. Harr...
ICWE
2010
Springer
14 years 10 months ago
Models and Meta Models for Transactions in Web Applications
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
Mark Douglas Jacyntho, Daniel Schwabe
CACM
2008
101views more  CACM 2008»
14 years 12 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu