2013 search results - page 253 / 403 » Happy New Year |
207
click to vote
ADBIS
2010
Springer
15 years 7 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
173
click to vote
AIEDU
2007
15 years 6 months ago
2007
In recent years, the learner models of some adaptive learning environments have been opened to the learners they represent. However, as yet there is no standard way of describing a...
139
click to vote
AR
2007
15 years 6 months ago
2007
Neurodevelopmental Engineering is a new interdisciplinary research area at the intersection of developmental neuroscience and bioengineering, mainly concerned with quantitative an...
178
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
183
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...