A new year message from Chinese Science Bulletin

Submitted by 阎军 (yanj@red.semi.ac.cn) on 2010-04-13T14:02:33Z No. of bitstreams: 1 A new year message from Chinese Science Bulletin.pdf: 888462 bytes, checksum: 950ebfe3456fc0d42f8d058a5d2b3979 (MD5)

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

Use of library and information science journals by Master?s students in their dissertations: experiences at the University of Wales Aberystwyth

Tedd, L.A. (2006).Use of library and information science journals by Master?s students in their dissertations: experiences at the University of Wales Aberystwyth. Aslib Proceedings: New Information Perspectives, 58(6), 570-581.

The evaluation of evidence for exponentially distributed data

C.G.G. Aitken, Q. Shen, R. Jensen and B. Hayes. The evaluation of evidence for exponentially distributed data. Computational Statistics & Data Analysis, vol. 51, no. 12, pp. 5682-5693, 2007.