Mathematics and Computer Science

Chapters in this book

1. Frontmatter I
2. Preface 1
3. Table of Contents 6
4. INVITED LECTURES
5. Mathematics and Computer Science 9
6. Heterogeneous networks 18
7. Solving selected R & D problems by learning from examples 31
8. A knowledge based program understanding for an intelligent programming environment for novice programmers 42
9. Evolution of Brussels Free Universities Computer Centre (BFUCO during the period 1984 - 1989: from computers to services 56
10. COMMUNICATIONS
11. Information dissemination to users with heterogeneous interests. Model of split profiles 62
12. The Text Database Management System SIGMA: An Improvement of the Main Engine 72
13. MARS - Multimedia Archiving and Retrieval System: An Algebraic Specification of the Document Model 82
14. Automated protocol validation 94
15. Data modelling aspects for distributed office applications 104
16. Knowledge based program generation using attributed grammars 114
17. Decision support system for mechanical ventilation control at ICU 124
18. Burmese Computer-Fonts for a German-Burmese Dictionary 135
19. Towards second-generation logic programming languages for high-level, knowledge-oriented programming 141
20. ELLA, an electronic mail system in Hungary 152
21. Knowledge based program construction using domain hierarchies 161
22. A General Purpose Computer Teaching Room System 172
23. Expert system based tools for scientific research in medicine 180
24. An object-oriented language with parallel message passing 190
25. Education in CIM master class 200
26. Software environment for research in discrete mathematics 210
27. Computer support of enterprise analysis on PC 218
28. A tutoring system which explains in natural language 229
29. An EDP-System Reference Model and its Application to Solve Compatibility Problems 238
30. Distributed object-oriented knowledge processing environment Diprotalk 248
31. Module concepts and object-oriented features for PROLOG for the interface-specification in modular architectures of advanced knowledge based systems 258
32. NEWTON: an intelligent tutoring system for differential calculus 268
33. Knowledge based user guidance in a statistical package for testing bivariate dependence 275
34. Distributed transaction management: analysis through distributed simulation 281
35. INRA-I: an information system for tutoring user interface design 291
36. LATE PAPERS
37. New Developments in Computer Aided Mathematics 296
38. Human-Computer Interaction - its Role in Dutch University Level Education 305
39. Library information systems 314
40. Backmatter 323