1050 search results - page 169 / 210 » Words, antibodies and their interactions |
ENTCS
2006
14 years 9 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
IJCAT
2008
14 years 9 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
CG
2007
Springer
14 years 9 months ago
2007
Springer
This paper presents a tool for the visual analysis of fitness performance data, such as running speed and heart rate. The tool, called MOPET Analyzer, provides a set of interacti...
IIE
2006
14 years 9 months ago
2006
Abstract. The use of Information and Communication Technology (ICT) in education is one important competence that student teacher should develop in their academic studies. To be ca...
IIE
2006
14 years 9 months ago
2006
Abstract. The ongoing, unprecedented growth of ICT, coupled with the globalisation of the economy, has created a huge challenge for education. This rapid growth of infusing ICT in ...