Inhoudsopgave 1 Algemeen/missie 1



Download 1.99 Mb.
Page13/19
Date18.10.2016
Size1.99 Mb.
1   ...   9   10   11   12   13   14   15   16   ...   19

5

VAKGROEP INFORMATICA
Dissertaties
Wetenschappelijke publicaties (niet gerefereerd)
Wetenschappelijke publicaties (niet gerefereerd)
Vakpublicaties
Populariserende publicaties
Bijlsma, A.:

Een bewijs van het ongerijmde.

GEWIS Jaarboek 1992/1993, Studievereniging GEWIS, Eindhoven, 1994, pp. 134-135.
Ouwerkerk - Dijkers, M.P. van:

Vakgroep Informatica, een wegwijzer door het onderzoek.

A guide to research in Computing Science at the faculty of Mathematics and Computing Science.

Brochure voor het bedrijfsleven, 1994.


Ouwerkerk - Dijkers, M.P. van:

VWO-brochure Technische Informatica , 1994.



Overige producten van wetenschappelijke activiteit
Ahn, R.; Beun, R.J.; Borghuis, T.; Bunt, H.; Overveld, C.W.A.M.:

The DenK architecture: a pragmatic approach to user interfaces.

Manuscript 1009, IPO, Eindhoven, 1994.

Submitted and accepted by Artificial Intelligence Review, 1994, pp. 20.


Backhouse, R.C.; Bijsterveld, M.L.L.;Geldrop, H.P.J. van; Woude, J.C.S.P.:

Categorial Fixed Point Rules.

Submitted to Category Theory and Computing Science, 1994, pp. 20.
Bijlsma, A.:

Punctual substitutions are trivial, with or without states.

AB49, EUT, Eindhoven, 1994, pp. 2.

No Knsater-Tarski in set theory.

AB50, EUT, Eindhoven, 1994, pp. 3.

Derivation of a unification algorithm.

AB51a, EUT, Eindhoven, 1994, pp. 15.

A mixed-style proof.

AB52, EUT, Eindhoven, 1994, pp. 3.

Calculating with sequential composition.

AB53, EUT, Eindhoven, 1994, pp. 6.

Fibonacci meets Pascal.

AB54, EUT, Eindhoven, 1994, pp. 3.

Pointwise order is confined to functions.

KB1, EUT, Eindhoven, 1994, pp. 2.
Bijlsma, A.; Gasteren, A.J.M. van:

Dummy tranformation rules.

KB50, EUT, Eindhoven, 1994, pp. 3.
Bijlsma, A.; Bulterman, R.W.; Feijen, W.H.J.; Gasteren, A.J.M. van; Scholten, C.S.; Som­men, F.W. van der; Wijnands, A.I.J.:

Constructing the Galois Adjoint.

WF183, EUT, Eindhoven, 1994, pp. 4.

Accepted by Information Processing Letters.


Eijnde, J.P.H.W. van den:

Calculating with induction using sets.

Intern rapport EUT, Eindhoven, 1994, pp. 24.
Eikelder, H.M.M.:

On Dependencies of Neighbouring Tours in a TSP Problem.

Memorandum, 1994, pp. 6.
Gasteren, A.J.M. van:

Pointfree graph theory.

AvG106, EUT, Eindhoven, 1994, pp. 8.

Exercises transformational programming.

AvG109, EUT, Eindhoven, 1994, pp. 7.

µ-fusion prevents ping-pong.

AvG 110 en 110a, EUT, Eindhoven, 1994, pp. 4.

f.x.y versus xy?

AvG111, EUT, Eindhoven, 1994, pp. 3.

(a*.b x ) * = (a+b)*, for the record.

AvG112, EUT, Eindhoven, 1994, pp. 2.

Applying the UEP of Regular Algebra.

AvG114, EUT, Eindhoven, 1994, pp.4.

Δ, for the Feijen Boys (Including myself).

AvG115, EUT, Eindhoven, 1994, pp. 2.

The dangers of dualization?

AvG116, EUT, Eindhoven, 1994, pp. 3.

µ(fog) = µ(foh)  ?, another fixed-point theorem.

AvG117 en 117a, EUT, Eindhoven, 1994, pp. 6.

Two "equivalent" characterizations of suprema.

AvG118/WF191, EUT, Eindhoven, 1994, pp. 5.

Domains, a pointfree definition for my own record.

AvG119, EUT, Eindhoven, 1994, pp. 2.
Gasteren, A.J.M. van; Geldrop H.P.J. van:

Examples of Relational Programs.

Intern rapport, EUT, Eindhoven, 1994, pp. 33.
Geldrop, H.P.J. van:

Deriving the Aho-Corasick Algorithms; A case study into the Synergy of pogramming

methods.

To appear in Science of Computer Programming, 1994, pp. 28.


Geldrop, H.P.J. van:

The (F,G)-arrow functor.

Memorandum, EUT, Eindhoven, 1994, pp. 8.
Hasman, A.; Arts, M.G.J.; Hoeks, A.P.G.; Duif, A.M.: Oomens C.W.J.; Kopinga, K.;

Overveld, C.W.A.M. van:

Inventarisatie beeldverwerking TUE-RL.

Intern rapport uitgegeven door het BMGT-secretariaat Wet. cie. RL-TUE, Eindhoven, 1994, pp. 38.


Hoogerwoord, R.R.:

Why √p is irrational, for every prime p.

RH205, EUT, Eindhoven, 1994, pp.2

Dummy transformations and the like.

RH206, EUT, Eindhoven, 1994, pp. 4.

Four sorting algorithms for the price of one.

RH207, EUT, Eindhoven, 1994, pp. 12.

Folding a binary operator: a neglected technique.

RH208, EUT, Eindhoven, 1994, pp. 7.

How to evaluate integer expressions (part i).

RH209, EUT, Eindhoven, 1994, pp. 8.

The Von Neumann machine as a functional program.

RH210, EUT, Eindhoven, 1994, pp. 7.

How to evaluate integer expressions (part ii).

RH212, EUT, Eindhoven, 1994, pp. 7

From pointers to objects: how to avoid confusion.

RH213, EUT, Eindhoven, 1994, pp. 8.

Eventvariables: an implementation with semaphores.

RH214, EUT, Eindhoven, 1994, pp. 4.
Hooman, J.J.M.:

Specification and Verification of a Distributed Real-Time Arbitration Protocol.

Preprint. In: Zalewski, J. (ed.), Advanced Multiprocessor Bus Architectures, IEEE Computer Society Press, Los Alamitos, California, 1994, pp. 301-310.
Lakhneche, Y.; Hooman, J.J.M.:

Metric Temporal Logic with Durations.

Accepted for Theoretical Computer Science, special issue on Hybrid Systems, 1994, pp. 35.
Rem, M.:

Energy/area trade-offs in systolic computing.

Internal report, 1994, pp. 14.
Reniers, M.A.:

A Normalization Algorithm for Interworkings.

Intern rapport Philips Research Laboratories, Eindhoven, 1994, pp. 38.
Reniers, M.A.:

Draft annex B to recommendation Z.120: An Algebraic Semantics of Message Sequence Charts.

Accepted, 1994, pp. 50.
Roosmalen, O.S. van:

DEAL: An Object-Oriented Language for Distributed Real-Time Systems.

To appear, 1994.
Verhoeff, T.:

The sixth international Olympiad in Informatics: A trip Report.

Intern rapport EUT, Eindhoven, 1994, pp. 16.
Verhoeff, T.:

Rekenen aan Hypotheken.

Intern rapport EUT, Eindhoven, 1994, pp. 5.
Verhoeff, T.:

Extending the Scope of the International Olympiad in Informatics.

Intern rapport EUT, Eindhoven, 1994, pp. 7.
Verhoeff, T.:

Suggestions for Improving the IOI Regulations.

Intern Rapport EUT, Eindhoven, 1994, pp. 3.
Woude, J. van der:

Induction calculus made mathematical.

Intern rapport, EUT, Eindhoven, 1994, pp. 7.
Woude, J. van der:

New ? man.

Intern rapport EUT, Eindhoven, pp. 2.
Woude, J. van der:

Complex to simplex.

Intern rapport EUT, Eindhoven, 1994, pp. 9.
Zhou, P.; Hooman, J.J.M.; Kuiper, R.:

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.

Acceptd for Formal Aspects of Computing, preprint, 1994, pp. 32.
Voordrachten
Backhouse, R.C.:

- Galois Connections Spawn Galois Connections. MoP meeting, januari 1994.

- Relational Methods in Computer Science. Dagstuhl seminar, Duitsland, 17-21 januari 1994.

- Logical Theory of Program Construction. Dagstuhl seminar, Duitsland, 7-11 maart 1994.

- MathSpad: A system for on-line preparation of mathematical documents, software demon­stratie, Universiteit van Pisa, Italië, juni 1994.

- Fixed Point Calculus, The Schroeder Bernstein Theorem, IPA, Ameland, september 1994.


Backhouse, R.C.; Bijsterveld M.L.L.:

- The "Beautiful Theorem". IFIP Working Group 2.3, 1994.


Backhouse, R.C.; Verhoeven, R.; Weber, O.:

- MathSpad: A system for on-line preparation of mathematical documents. Tevens software demonstratie: MathSpad, HISC, Amsterdam, maart 1994.


Baeten, J.C.M.:

- Process algebra and time. Colloquium Universiteit Oldenburg, Denemarken, 07 februari 1994.

- Process algebra with partial choice. CONCUR2 Workshop, Brighton, Engeland, 28-29 maart 1994.

- Graph isomorphism models for non interleaving process algebra. ACP94, Utrecht, 16-17 mei 1994.

- Process algebra with partial choice. Conference CONCUR'94, Uppsala, Zweden, 22-25 augustus 1994.

- Formal methods: part I term rewriting systems, part II type theory, part III proces algebra. IPA Workshop, Ameland, 21-23 september 1994.

- Overview of CONCUR2. CONCUR2 Workshop and Review, Stockholm, Zweden, 26-28 september 1994.
Bol, R.:

- The Underlying Search for Magic Templates and Tabulation, CWI, Amsterdam, januari 1994.

- Real Time Ready Trace Logic. First International Conference on Temporal Logic, Bonn, Duitsland, juli 1994.

- Logic Programming and Negation. LPAR'94, Kiev, Ukraine, juli 1994.


Bra, P. de:

- Inleiding tot het Internet en het World-Wide Web. Informatica Olympiade, EUT, Eindho­ven, 12 maart 1994.

- Hypertext en Hypermedia. Aio-workshop Informatiesystemen van nde SIOn werkgemeen­schap Informatiesystemen, Arnhem, 24 maart 1994.

- The Internet as an Information System. Belnet User Forum, VUB, Brussel, 30 maart 1994.

- Het World-Wide Web. RC-colloquium over het World-Wide Web, EUT, Eindhoven, 27 oktober 1994.

- Inleiding tot het Internet en het World-Wide Web. EUT, Eindhoven, 18 november 1994.

- Het Internet als Wereldwijde Informatiebron. Nederlandse Mediaraad, 18 november 1994.

- Inleiding tot het Internet en het World-Wide Web. Terugkomdag van VIE, EUT, Eindho­ven, 25 november 1994.

- Het Internet als Wereldwijde Informatiebron. Symposium Eindhoven aan de Digitale Snelweg, EUT, Eindhoven, 08 december 1994.
Dams, D.R.:

- Model Checking Using Adaptive State and Data Abstraction, REACT meeting, Oxford,

Engeland, 17 februari 1994.

- Abstract Interpretation of Reactive Systems. Universiteit van Kiel, Duitsland, 22 juni 1994.

- Abstract Interpretation of Reactive Systems. Technical University of Denmark, Lyngby, Denemarken, 17 augustus 1994.
Dignum, F.:

- Kennis en Expertsystemen. Stafcolloquium, Agrarische Hogeschool Den Bosch, 06 okto­ber 1994.

- Communicatie en Deontische Logica. Workshop dialoge pragmatics, KUB, Tilburg, 27 oktober 1994.

- Communicatie en Deontische Logica. FANS colloquium, ERASMUS Rotterdam, 03 november 1994.

- Communicatie en Deontische Logica. LICS colloquium, VU Amsterdam, 16 november 1994.
Freyd, P.; Hoogendijk, P.; Moor, O. de:

- Relational Methods in Computer Science. Schloss Dagstuhl, Wadern, Duitsland, 17-21 januari 1994.


Gageldonk, H. van:

- The Asynchronous Move Machine: Verification using CCS. Amulet 1 Modelling Work­shop, Windermere, Cumbria, Engeland, 18 juli 1994.

- The Asynchronous Move Machine: Verification using CCS. Second EUROFORM Work­shop, Ile des Embiez, Frankrijk, 16 september 1994.

- The Asynchronous Move Machine in Tangram. University of Manchester, Engeland, 12 december 1994.


Gerth, R.:

- Model Checking Using Adaptive State and Data Abstraction. Conference on Computer Aided Verification (CAV), Stanford, USA, 20-24 juni 1994.

- Model Checking Using Adaptive State and Data Abstraction. AT&T Bell Labs, 29 juni 1994.

- A Partial Order Approach to Branching Time Model Checking. REACT workshop, Luik, België, 06 juli 1994.

- Model Checking Using Adaptive State and Data Abstraction. REACT review, Luik, België, 08 juli 1994.

- Simple Means for Simple Minds. Dagstuhl workshop on Specification and Refinement of Reactive Systems, Saarbrücken, Duitsland, 28 september 1994.


Geuvers, J.H.:

- Why typed lambda calculus is a natural system for natural deduction. Zuidelijk Intercity Colloquium, Eindhoven, maart 1994.

- A short and flexible proof of Strong Normalization for the Calculus of Constructions. Lambda Intercity seminar, Utrecht, april 1994.

- A short and flexible proof of Strong Normalization for the Calculus of Constructions. ESPRIT-BRA workshop Types for proof and programs, Bastad, Zweden, juni 1994.


Hammer, D.K.:

- EDI Task Force, Object-oriented Requirements Engineering. Faculteit Bdk, EUT, eindho­ven, 04 februari 1994.

- Wetenschappelijke inleiding in fault tolerancy door parallel processing. VIE, Eindhoven, 11 februari 1994.

- Effective Technology in Reengineered Business. Philips Automation Symposium, Eindho­ven, 05 mei 1994.

- Effective Information in Reengineered Business. International Philips Lectures on Auto­mation Subjects (ILAS), Mierlo/Eindhoven, 18 november 1994.
Hee, K.M. van:

- Modelleren en analyseren van systemen. Rijksuniversiteit Limburg, 24 januari 1994.

- ExSpect, een specificatie formalisme. KUB, Werkgroewp Informatie Systemen en Logica, Tilburg, 02 februari 1994.

- Ontwerpen van informatiesystemen met ExSpect. Open Universiteit Heerlen, 14 maart 1994.

- Business process re-engineering. Comge, Diemen, 18 maarty 1994.

- Software testen. Nivi-seminar, Amsterdam, 31 maart 1994.

- Revival of the process-oriented design method. 100e Interuniversitair colloquium, Eindho­ven, 19 april 1994.

- Process-orieted design. Caise-conferentie, Utrecht, 09 juni 1994.

- Scheduling in workflow management systems. Euro XIII conferentie, Glasgow, 21 juli 1994.

- Specificatie van workflow management systemen. Landelijke Specificatiedag, Eindhoven, 19 oktober 1994.

- Toekomst van de informatietechnologie. Unisource, Amsterdam, 17 november 1994.
Hilbers, P.A.J.:

- Promoveren op een proefontwerp. IVO symposium, EUT, Eindhoven, 18 maart 1994.

- Parallelle Moleculaire Dynamica. 30ste Nederlands Mathematisch Congres, Leiden, 07 april 1994.

- Parallelle Moleculaire Dynamica. Philips Natuurkundig Laboratorium, Informatica collo­quium, Eindhoven, 25 mei 1994.

- Parallelle programmeertalen en programmeertechnieken. Colloquium in het kader van het seminarium parallel rekenen, EUT, Eindhoven, 05 oktober 1994.

- Parallelle moleculaire dynamica. Colloquium in het kader van het seminarium parallel rekenen, EUT, Eindhoven, 14 december 1994.


Hoogendijk, P.:

- Membership of datatypes. Mathematics of Programming (MoP) Meeting, Eindhoven, 26 januari 1994.

- Generic Programming. Sectie WP onderzoekdag, Eindhoven, 24 februari 1994.
Hooman, J.J.M.:

- An attempt to use PVS for (real-time) program verification. PVS meeting, Technical University of Denmark, Lyngby, 21 januari 1994.

- On the use of PVS for (real-time) program design. Bijeenkomst Esprit-BRA project REACT, Oxford, 16 februari 1994.

- Specification and Verification of Distributed Real-Time Systems. 2nd Baltic Summer School on Information Technology and Systems Engineering, Estland, 25-28 juli 1994.

- Using PVS for (real-time) Program Verification. 2nd Baltic Summer School on Informati­on Technology and Systems Engineering, Estland, 25-28 juli 1994.

- Specification and Verification of a Distributed Real-Time Arbitration Protocol. 2nd Baltic Summer School on Information Technology and Systems Engineering, Estland, 25-28 juli 1994.

- Correctness of real time systems by construction. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, 21 september 1994.

- Assertional specification using PVS. Dagstuhl-Seminar on Specification and Refinement of Reactive Systems, Wadern, 26 september 1994.

- An Assertional Method for Real-Time Hybrid Systems. Symposium ADPM '94 Automati­on of Mixed Processes: Dynamical Hybrid Systems, Brussel, 23 november 1994.
Huizing, C.:

- An Intermediate Model for Reactive Languages. Dagstuhl Seminar Synchronous Langus­ges, Dagstuhl, Duitsland, 27 november - 02 december.

Kaldewaij, A.:

- Design of data structures. Philips Research Laboratories, Eindhoven, 27 april 1994.

- Decomposable functions and leaftrees. PROCOMET'94, San Miniato, Italië, 06 juni 1994.
Luit, E.J.:

- The DEDOS on-line scheduler. Hauptseminar Scheduling, Lessach, Oostenrijk, 24-28 januari 1994.

- Scheduling in DEDOS. TUE Scheduling dag, EUT, Eindhoven, 30 maart 1994.

- A Convergence Function for Clock Synchronization Protocols. 2nd Workshop on Parallel and Distributed Real-Time Systems, Cancun, Mexico, 28-29 april 1994.

- Simulation of Distributed Real-Time Transactions. 2nd Workshop on Parallel and Distri­buted Real-Time Systems, Cancun, Mexico, 28-29 april 1994.
Lukkien, J.:

- Architectures of parallel computers. Seminarium numerieke wiskunde, Eindhoven, 14 september 1994.

- Programming languages and techniques for parallel computing. Seminarium numerieke wiskunde, Eindhoven, 05 oktober 1994.
Mauw, S.:

- Interworking and Message Sequence Charts. Philips Informatics Colloquium, Eindhoven, maart 1994.

- Formalization of static requirements for Message Sequence Charts. Joint rapporteurs meeting ITU SG10, Turijn, april 1994.

- Algebraic specification of dynamic leader election protocols in broadcast networks. ACP94, Utrecht, mei 1994.

- Regularity of BPA-system is decidable. CONCUR94, Uppsala, augustus 1994.

- Delayed choice: an operator for joining Message Sequence Charts. FORTE94, Bern, oktober 1994.

- Generating tools for Message Sequence Charts, ITU study group 10 meeting, Geneve, oktober 1994.
Nuijten, W.P.M.:

- Constraint Satisfaction voor Scheduling. TU-scheduling symposium, Eindhoven, 30 maart 1994.

- A Computational Study of Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling. Fourth International Workshop on Project Management and Scheduling, 15 juli 1994.

- Examination Time Tabling: A Case Study for Constraint Satisfaction, ECAI '94 Workshop on Constraint Satisfaction Issues Raised by Practical Applications, 09 augustus 1994.

- Constraint satisfaction for Multiple Capacitated Job Shop Scheduling. ECAI '94 hoofdcon­ferentie, 12 augustus 1994.

- Time and Resource Constrained Scheduling: A Constraint Satisfaction Approach. RIKS/TUE dag, 06 december 1994.


Overveld, C.W.A.M.:

- Constraint based motion specification. Informatica colloquium, Delft, 17 januari 1994.

- De representatie van gekromde oppervlakken voor modellering en visualisatie. AIO's

Werktuigbouwkunde, eindhoven, 2 februari 1994.

- Inleiding Digitale Techniek. Professional Imaging Tour; Seminar nr.1 Digitale Techniek, Nijkerk, 17 februari 1994.

- 2-D computer graphics. Professional Imaging Tour; Seminar nr. 4 Retouche en beeldmani­pulatie. 10 en 11 maart 1994.

- Master degree programs in computer science in Eindhoven. Erasmus uitwisselingspro­gramma, Magdenburg, Duitsland, 27 april 1994.

- De trends in digitale fotografie. Professional Imaging Tour; Seminar nr. 13 De toekomst van de digitale fotografie, 10 en 11 mei 1994.

- Terugblik. Vakbeurs Digitale fotografie Utrecht, 'Imagina 1994', 19 mei 1994.

- Painting gradients: an intuitive free from surface modelling technique. Computer Science Seminar, Calgary, Canada, 15 december 1994.


Paredaens, J.:

- Spatial databases. Technische Universiteit Eindhoven, 26 april 1994.

- Databases: Relationeel versus Object Georienteerd. BIRA-studiedag, CAE Systemen in de Instrumentatiewereld, 17 mei 1994.

- Any Algorithm in Complex Object Algebra with Powerset Needs Exponantial Space to Compute Transitive Closure. Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databeses (PODS), Minneapolis, Minnesota, USA, 24-28 mei 1994.

- Toward a theory of Spatial Database Queries. Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databeses (PODS), Minneapolis, Minnesota, USA, 24-28 mei 1994.

- Clarifying the Structure of Complex Venn Diagrams. Advanced Visual Interfaces, AVI94, International Workshop, Bari, Italië, 01-04 juni 1994.

- On the Foundations of Spatial Databases. The Dixiemes Journees des Bases de Donnees Avancees, Clermont Ferrand, Frankrijk, 30 augustus - 2 september 1994.
Reniers, M.A.:

- Syntax Requirements of Message Sequence Charts. Interims Meeting of SG10 of ITU-T, Geneve, 19-23 oktober 1994.


Roosmalen, O.S. van:

- DEAL: An Object-Oriented Language for Distributed Real-Time Systems. International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'94), Dana Point, California, USA, 25 oktober 1994.

- DEDOS: A Distributed Environment for Object-Oriented Real-Time Systems. Workshop on Concurrent Object-Based Systems (COBS'94), Dallas, Texas, USA, 27 oktober 1994.
Somers, L.J.:

- System design using high level Petri-nets. IVO-colloquium, EUT, Eindhoven, 26 januari 1994.

- Demo 'An ExSpect Model of an Automated Mail Sorting Center', Philips Nat-Lab, Eindho­ven, 23 augustus 1994.
Stok, P.D.V. van der:

- Real-Time databases. Aladdin workshop on distributed algorithms, RUU, Utrecht, januari 1994.

- Numerical communications within IMA concept. Brite-Euram, Images 2000 project, Toulouse, juli 1994.

- Real-time Algorithms. IPA school, Ameland, september 1994.

- A hierarchical membership protocol for synchronous distributed Systems. 1st European Dependable Computing Conference, Berlijn, Duitsland, 04-06 oktober 1994.

- The workshop: a teaching tool for software development. 2nd International Symposium in Engineering Education, Limerick, Ierland, 28-31 oktober 1994.


Thijssen, P.T.A.:

- Health Monitoring in an IMA Context. IMAGES 2000 meeting, Amsterdam, 12-13 januari 1994.


Veltkamp, R.C.:

- Interactive Variational Curve Design. Universiteit van Erlangen, Duitsland, 01 juli 1994.


Verhoeff, T.:

- Nondeterminisism in Delay-Insensitive Systems. Informatica colloquium, EUT, Eindho­ven, 29 april 1994.

- Nondeterminisism in Delay-Insensitive Systems. Informatica colloquium, RUG, Groning­en, 09 mei 1994.
Verhoeven, M.G.A.:

- Parallel local search for the traveling salesman. International Workshop (IFIP 10.3) on Parallel algorithms for irregularly structured problems, Geneve, 30 augustus 1994.


Voorhoeve, M.:

- Dienstregeling Ontwikkeling t.b.v. NS. Congres on Operations Research and Artifical Intelligence, Utrecht, 10 januari 1994.


Wetering, H.M.M.:

- Chain coding and their application in curve design. CSN'94, Utrecht, 21-22 november 1994.


Woude, J. van der:

- Predicate Transformer Semantics. Relational methods seminar, Schloss Dagstuhl, Wadern, Duitsland, 20 januari 1994.

- Let's Fix. MoP, Utrecht, 21 december 1994.

BIJLAGE C

OVERIGE ONDERWIJS- EN

ONDERZOEKACTIVITEITEN

1. Symposia, cursussen, gastdocentschappen, advisering
Vakgroep Analyse
Ir. J.J.A.M. Brands:

- Verzorgde PAO-cursus Asymptotische methoden en industriële toepassingen, 10-11 en 17-18 februari 1994.


Dr. R.R. van Hassel:

- Nam deel aan de cursus Asymptotiek, gegeven door het IWDE, 10-11 en 17-18 maart 1994.

- Advisering fac. Werktuigbouwkunde, 1994.
Dr. H.G. ter Morsche:

- Organiseerde congres 'De toekomst van de visie', ITW-symposium, Universiteit Twente, 11 november 1994.


Dr. A.A. Reusken:

- Organiseerde werkseminarium Numerieke Wiskunde, EUT, Eindhoven, 1994.


Dr.ir. J.H.M. ten Thije Boonkkamp:

- Betrokken bij aan de cursus Inleiding Numerieke Stromingsleer ten behoeve van de ontwerpers-opleiding Proces- en produktontwerp, 1994.

- Samenwerking met fac. W.:'Modelling and laser studies of laminar flames'.
Dr.ir. G.A.L. van de Vorst:

- Was mede-organisator van het symposium Mathematical Problems in Glass Processing, Eindhoven, 22 april 1994.


Vakgroep Besliskunde en Stochastiek
Dr. A. Di Bucchianico:

- Organiseerde symposium Statistiek in de industrie, Eindhoven, 3 juni 1994.

- Organiseerde Stochastiekcolloquium, Eindhoven, vanaf 1 september 1994.
Prof.dr. R. Doornbos:

- Verzorgde via het Rekencentrum de PATO-cursus Proefopzetten, Eindhoven, 18 en 25 maart, 8 en 15 april 1994.


Dr. J.H.J. Einmahl:

- Verzorgde de cursus Empirical and related processes with applications voor Landelijk Aio-netwerk Stochastiek, 1994.

- Organiseerde de AIO-workshop Stochastiek, Lunteren, 16-18 november 1994.

- Coördinator Landelijk AIO-netwerk.


Prof.dr.ir. M.L.J. Hautus:

- Nam deel aan het IEEE Mediterranean Symposium, Maleme, Griekenland, 19-23 juni 1994.

Dr. J.A. Hoogeveen:

- Verzorgde gastcollege Het schedulen van n taken op 1 machine in geval van twee beslis­singscriteria, Universiteit van Amsterdam, 11 maart 1994.


Dr.ir. C.A.J. Hurkens:

- Organiseerde het congres Combinatorial Optimization 94, Amsterdam, 5-8 april 1994.


Dr.ir. J.L. de Jong:

- Advisering Shell Nederland Chemie, Moerdijk, 1994.


Prof.dr. P. van der Laan:

- Nam deel aan de ROSEP III conferentie van CvB en Dekanen van de TUE, Eindhoven, 21-22 februari 1994.

- Deelnemer aan 'The Human Capital and Mobility network Nonparametric and Semipara­metric Statistical methods', Université de Bruxelles, 1994.
Dr. J.J.M. Rijpkema:

- Mede-organisator ICOTS-4, International Conference on Teaching Statistics, Marrakech, 25-30 juli 1994.


Dr. A.A. Stoorvogel:

- Verzorgde samen met H. Trentelman de cursus Control Theory for Linear Systems, in het kader van de tweede fase opleiding van het Netwerk Systeem en Regeltheorie, 1994.


Dr. W.Z. Venema:

- Advisering bij de afdeling systems integration van Encompass NV, Rotterdam, 1994.

- Nam deel, samen met J. van der Wal en L. Clijsen, in het project voor personeelsplanning voor buitenlandse zaken.

- Organiseerde 'gebruikersdag' van de landelijke SURFnet gebruikersgroep voor computer en netwerk beveiliging, Utrecht, 25 maart 1994.


Dr.ir. J. van der Wal:

- Advisering Buitenlandse Zaken.

- Advisering CQM.

- Advisering BSO.


Prof.dr. J. Wessels:

- Advisering faculteit Technische Bedrijfskunde.

- Programmaleiding en organisatie van de Workshop Advances in Methodology and Softwa­re for Decision Support Systems, Laxenburg, Oostenrijk, 22-24 augustus 1994.

- Verzorgde gastcolleges over wachtrijtheorie voor AIO's, Landelijk Netwerk Mathemati­sche Besliskunde, Utrecht, 1994.

- Nam deel aan JISR-Conference on New Development of neuro-fuzzy and genetic algo­rithms and their applications, Tokyo, Japan, januari 1994.

- Nam deel aan NIES-workshop on Environmental Problems, Tsukuba, Japan, januari 1994.

- Nam deel aan IFIP-Conference Optimalization-based Computer-aided Modelling and Design, Praag, Tsjechië, 24-26 mei 1994.

- Nam deel aan Symposium on New Developments in Neural Nets and their Applications,

Tokyo, Japan, december 1994.

- Nam deel aan Symposium van de Japan O.R.-Society (Chugoku and Shikoku Branch), Hiroshima, Japan, december 1994.


J.Th.M. Wijnen:

- Advisering aan: IWDE; TNO; de faculteiten B, T, W, W&MW.

- Verzorgde cursus Statistiek voor de Ontwerpersopleiding 'Proces- en productontwerp', 1994.

- Verzorgde PATO-cursus 'Proefopzetten, Klassiek en Taguchi', Eindhoven, 15 april 1994.

- Organiseerde symposium 'Statistiek in de Industrie', Eindhoven, 3 juni 1994.

- Nam deel aan de ECMI-Modelling week, Lyngby, 14-21 augustus 1994.

- Dagvoorzitter symposium 'Taguchimethoden in de praktijk', Eindhoven, 9 november 1994.
Dr. R.G.J. Wilms:

- Organiseerde colloquia Kansrekening en Statistiek, eerste helft 1994.


Download 1.99 Mb.

Share with your friends:
1   ...   9   10   11   12   13   14   15   16   ...   19




The database is protected by copyright ©ininet.org 2020
send message

    Main page