Find Research Activities

Search in all content

Filters for Activities

Search concepts
Selected filters

Samenwerking in het IOP opto-elektronica

A. Driessen (Keynote speaker)
16 Jun 2000

Activity: Talk or presentationInvited talk

On the sound of snapping shrimp

Detlef Lohse (Invited speaker)
23 Aug 2000

Activity: Talk or presentationOral presentation

Micromechanics of flowing granular materials

N.P. Kruyt (Invited speaker)
18 Oct 2000

Activity: Talk or presentationOral presentation

Measurement : journal of the International Measurement Confederation (Ned.) (Journal)

Paulus P.L. Regtien (Editor)
20002017

Activity: Publication peer-review and editorial workEditorial work

Mathematics of control, signals and systems (Journal)

Antonie Arij Stoorvogel (Associate Editor)
20002016

Activity: Publication peer-review and editorial workEditorial work

5.5V Tolerant I/O in a 2.5V 0.25um CMOS Technology

Anne J. Annema (Invited speaker)
9 Oct 2000

Activity: Talk or presentationInvited talk

Experimental Study of LPCVD W-Si-N for Copper metallization

Svetlana Nikolajevna van Nieuwkasteele-Bystrova (Keynote speaker)
13 Oct 2000

Activity: Talk or presentationInvited talk

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System (Seven Myths of Formal Methods Revisited)

G.J. Tretmans (Invited speaker)
22 Feb 2000

Activity: Talk or presentationOral presentation

Analog circuit performance and process scaling

Anne J. Annema (Invited speaker)
29 Jun 2000

Activity: Talk or presentationInvited talk

Discontinuous Galerkin finite element methods for the Euler equations of gas Dynamics

J.J.W. van der Vegt (Invited speaker)
1 Mar 2000

Activity: Talk or presentationOral presentation

Feedback Fluid Queues

Willem R.W. Scheinhardt (Keynote speaker)
25 Sep 2000

Activity: Talk or presentationInvited talk

Analysing continuous-time probabilistic systems by model checking

Joost P. Katoen (Invited speaker)
23 Nov 2000

Activity: Talk or presentationOral presentation

What-if synthesis support tools as a new paradigm in CAD

O.W. Salomons (Keynote speaker)
21 Apr 2000

Activity: Talk or presentationOral presentation

Materials Science Issues in the fabrication of room temperature operating spin-valve transistor

P.S.A. Kumar (Keynote speaker)
23 May 2000

Activity: Talk or presentationOral presentation

Testing for hydrogen embrittlement

V.J. Gadgil (Keynote speaker)
2 Oct 2000

Activity: Talk or presentationOral presentation

Novel self-organizing routes for nanoscale patterning

Bene Poelsema (Invited speaker)
19 Jun 2000

Activity: Talk or presentationOral presentation

Influence of the resonant radiation transfer on the characteristics of the RF and DC discharges in Ar-He-Xe gas mixtures

S.A. Starostin (Keynote speaker), P.J.M. Peters (Keynote speaker), G. van der Poel (Keynote speaker), Yu.B. Udalov (Keynote speaker), W.J. Witteman (Keynote speaker)
26 Jun 2000

Activity: Talk or presentationOral presentation

The Matrix Model

R.J.J. Jongschaap (Keynote speaker)
14 Aug 2000

Activity: Talk or presentationOral presentation

WinSPA 32 - paving the way for modern SPA-LEED measurements

M Esser (Invited speaker)
28 Jan 2000

Activity: Talk or presentationOral presentation

High Power Laser Research

Jeroen W.J. Verschuur (Keynote speaker)
27 Mar 2000

Activity: Talk or presentationOral presentation

Model Checking: Verification or Debugging?

T.C. Ruys (Keynote speaker), Hendrik Brinksma (Keynote speaker)
27 Jun 2000

Activity: Talk or presentationOral presentation

Integrated optics at MESA+ institute

Paul Lambeck (Keynote speaker)
12 Jan 2000

Activity: Talk or presentationOral presentation

The hydroflown

H.E. de Bree (Keynote speaker)
16 Feb 2000

Activity: Talk or presentationOral presentation

Magnetic recording: a never ending storage...?

J.C. Lodder (Invited speaker)
17 Nov 2000

Activity: Talk or presentationOral presentation

Performance and reliability model checking and model construction

H. Hermanns (Invited speaker)
4 Apr 2000

Activity: Talk or presentationOral presentation

Web Support for Activating Use of Theory in Group Based Learning

Johan (CTIT) van der Veen (Keynote speaker), Maarten van Riemsdijk (Keynote speaker), E.F. Laagland (Keynote speaker), Lisa Gommer (Keynote speaker), Valerie M. Jones (Keynote speaker)
4 Nov 2000

Activity: Talk or presentationOral presentation

Quasi-hydrostatic models on the sphere & dimensional and PV splitting of a shallow-entropy system

Onno Bokhove (Keynote speaker)
1 Nov 2000

Activity: Talk or presentationOral presentation

Cross Modal Retrieval

T.H.W. Westerveld (Keynote speaker)
3 Nov 2000

Activity: Talk or presentationOral presentation

The use of RT transactions for RT database

P.G. Jansen (Invited speaker)
30 Aug 2000

Activity: Talk or presentationOral presentation

Postponing Polymer Processing Instabilities

J. Molenaar (Invited speaker)
25 Sep 2000

Activity: Talk or presentationOral presentation

Symmetries and Conservation Laws for Implicit Port-Controlled Hamiltonian Systems

G. Blankenstein (Keynote speaker)
17 Mar 2000

Activity: Talk or presentationOral presentation

The future of electro-optical polymers

A. Driessen (Invited speaker)
14 Mar 2000

Activity: Talk or presentationOral presentation

Galerkin least squares finite element method for the Navier-Stokes equations

M.A. Polner (Invited speaker)
8 Dec 2000

Activity: Talk or presentationOral presentation

Towards model checking OCL

D.S. Distefano (Keynote speaker)
12 Jun 2000

Activity: Talk or presentationOral presentation

Design and Implementation of a Framework for Monitoring Distributed Component Interactions

N.K. Diakov (Keynote speaker)
17 Oct 2000

Activity: Talk or presentationOral presentation

Dynamical evolution of dual-frequency-pumped waves in third order nonlinear media

A. Suryanto (Keynote speaker)
26 Oct 2000

Activity: Talk or presentationOral presentation

The proper Shapley value: a proportional rule

Theo Driessen (Keynote speaker)
22 May 2000

Activity: Talk or presentationOral presentation

Which structure do students use in Reasoning?

Henk Vos (Speaker)
30 Nov 2000

Activity: Talk or presentationOral presentation

Integrated optical sensors

Paul Lambeck (Keynote speaker)
14 Jan 2000

Activity: Talk or presentationOral presentation

Complete integrability of a coupled KdV-mKdV equation: Computational Aspects

P.H.M. Kersten (Invited speaker)
18 Oct 2000

Activity: Talk or presentationOral presentation

Test limits in semiconductor industry

Willem/Wim Albers (Keynote speaker)
14 Jun 2000

Activity: Talk or presentationOral presentation

Composing Software from Multiple Concerns: A Model and Composition Anomalies

Lodewijk Bergmans (Keynote speaker)
24 Feb 2000

Activity: Talk or presentationOral presentation

On the Logical Characterisation of Performability Properties

Holger Hermanns (Keynote speaker)
13 Jul 2000

Activity: Talk or presentationOral presentation

A bilateral probabilistic approach to the Shapley value and related solution concepts

Theo Driessen (Keynote speaker)
29 May 2000

Activity: Talk or presentationOral presentation

Neural networks in control

W.J.R. Velthuis (Keynote speaker)
21 Sep 2000

Activity: Talk or presentationOral presentation

Project-oriented distance learning

Hermannus Koppelman (Keynote speaker), Elisabeth M.A.G. van Dijk (Keynote speaker)
28 Jan 2000

Activity: Talk or presentationInvited talk

Implementation of measuring material properties of sheet metal on a press brake

R.J. Mentink (Keynote speaker)
19 Apr 2000

Activity: Talk or presentationOral presentation

The journey of atom pairs: diffusion, rotation and diffusion driven concerted motion

Henricus J.W. Zandvliet (Invited speaker)
6 May 2000

Activity: Talk or presentationOral presentation

Aanbesteden tussen beleid en praktijk

Andries G. Doree (Keynote speaker)
28 Mar 2000

Activity: Talk or presentationInvited talk