Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2020

Filter
Paper
Paper
2 Citations (Scopus)
7 Downloads (Pure)

$H^\infty$ control of systems with multiple I/O delays. Part II: simplifications

Meinsma, G. & Mirkin, L., Dec 2005, p. 5054-5059. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
15 Downloads (Pure)

µTransparent Insulating Channels as Components for Miniaturized Chemical Separation Devices

Schasfoort, R. B. M., Hendrikse, J. & van den Berg, A., 2000, p. 20-24.

Research output: Contribution to conferencePaperAcademic

File
Fabrication
Silicon
Lab-on-a-chip
Fluidics
Electric potential

3D Neglect Test: Functional Assessment of Exploration and Orientation Skills in Left Visuo-Spatial Neglect Patients within the Framework of Virtual Reality

Aznar, M. A., Pontenagel, W. M. G. F. (ed.), Zijp, M., Feijen, J. (ed.), Veltink, P. H. & van der Kooij, H., 4 Oct 2004, p. 94-95. 2 p.

Research output: Contribution to conferencePaperAcademic

6th Workshop on Virtual Machines and Intermediate Languages (VMIL’12)

Rajan, H., Hauptmann, M., Bockisch, C. & Blackburn, S., 2012.

Research output: Contribution to conferencePaperAcademic

A (Sub)optimal Combination of Identification and Control

Franke, B., Lohnberg, P. & van Amerongen, J., 20 Mar 1991, p. -.

Research output: Contribution to conferencePaperAcademic

3 Citations (Scopus)

A*-Based Task Assignment Algorithm for Context-Aware Mobile Patient Monitoring Systems

Mei, H., van Beijnum, B. J. F., Pawar, P., Widya, I. A. & Hermens, H. J., 24 Aug 2009, p. 245-254. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

59 Downloads (Pure)

A 110MHZ CMOS Transconductance-C Low-Pass Filter

Nauta, B. & Seevinck, E., 1989, p. 141-144.

Research output: Contribution to conferencePaperAcademic

File
13 Citations (Scopus)
38 Downloads (Pure)

A 70 MSample/s 110 mW 8 b CMOS folding interpolating A/D Converter

Nauta, B. & Venes, A. G. W., 1995, p. 276-277.

Research output: Contribution to conferencePaperAcademic

File
31 Downloads (Pure)

A behavioral approach to H2 optimal control

Weiland, S. & Stoorvogel, A. A., 2001, p. 854-859. 6 p.

Research output: Contribution to conferencePaperAcademic

File
6 Downloads (Pure)

A case study of a microsystems MSc curriculum

Mouthaan, A. J., 2004, p. 146-148.

Research output: Contribution to conferencePaperAcademic

File
18 Citations (Scopus)

Acceptance of voting technology: between confidence and trust

Pieters, W., 2006, p. 283-297. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Accessing on-chip temperature health monitors using the IEEE 1687 standard

Ali, G., Badawy, A. & Kerkhoff, H. G., Dec 2016, p. 776-779. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

23 Downloads (Pure)

A closer look at children's information retrieval usage: Towards child-centered relevance

van der Sluis, F. & van Dijk, E. M. A. G., 23 Jul 2010, p. 3-10. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Information retrieval systems
Information retrieval
Information systems
12 Downloads (Pure)

A CMOS analog continuous-time delay-line

Bult, K. & Wallinga, H., 1987, p. 35-38.

Research output: Contribution to conferencePaperAcademic

File
12 Citations (Scopus)
76 Downloads (Pure)

A code optimization package for REDUCE

van Hulzen, J. A., Hulshof, B. J., Gates, B. L. & van Heerwaarden, M. C., 1989, p. 163-170.

Research output: Contribution to conferencePaperAcademic

File
2 Citations (Scopus)

A Comparative Study of Low-Temperature III-V Nitrides ALD in Thermal and Radical-Enhanced Modes

Banerjee, S. & Kovalgin, A. Y., 30 Sep 2018, p. 21-29.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
atomic layer epitaxy
adducts
nitrides
surface reactions
versatility
12 Downloads (Pure)

A compositional reliability and availability evaluation tool

Boudali, H., Crouzen, P. & Stoelinga, M., Jul 2007. 2 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
3 Citations (Scopus)
404 Downloads (Pure)

A comprehensive model for battery State of Charge prediction

Homan, B., Smit, G. J. M., van Leeuwen, R. P. & Ten Kortenaar, M., 20 Jul 2017, p. 1-6. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Lead acid batteries
Energy conservation
Recovery
Acids
Ions
55 Downloads (Pure)

A conceptual model for the development of CSCW systems

Guareis de farias, C., Dieng-Kuntz, R. (ed.), Giboin, A. (ed.), Ferreira Pires, L., van Sinderen, M. J., Karsenty, L. (ed.) & De Michelis, G. (ed.), 2000, p. 189-204. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
17 Citations (Scopus)
42 Downloads (Pure)

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

Berardi, S. (ed.), Cederquist, J. G., Coppo, M. (ed.) & Negri, S., Jun 1995, p. 62-75. 14 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
12 Downloads (Pure)

Action Contraction

Palamidessi, C. (ed.) & Rensink, A., 2000, p. 290-304. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Action currents of fast and slow muscle fibres

Wolters, H., Wallinga, W., Ypey, D. L. & Boom, H. B. K., 18 May 1994, p. 135-137.

Research output: Contribution to conferencePaperAcademic

13 Citations (Scopus)
38 Downloads (Pure)

Action Refinement as an Implementation Relation

Bidoit, M. (ed.), Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, p. 772-786. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
225 Downloads (Pure)

Active vibration control applied to a vacuum pump for high precision equipment

Berkhoff, A. P., Wesselink, J. M. & Basten, T. G. H., 26 Oct 2008, p. 1-8. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1 Citation (Scopus)
14 Downloads (Pure)

Actor-Oriented System Specification with Dynamic Logic

Abramsky, S. (ed.), Meyer, J-JC., Maibaum, T. S. E. (ed.) & Wieringa, R. J., Apr 1991, p. 337-357. 21 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
3 Citations (Scopus)

Adapting Virtual Machine Techniques for Seamless Aspect Support

Bockisch, C., Arnold, M., Dinkelaker, T. & Mezini, M., Oct 2006, p. 109-124. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

5 Citations (Scopus)
32 Downloads (Pure)

Adaptive end-to-end optimization of mobile video streaming using QoS negotiation

Taal, J. R., Langendoen, K., van der Schaaf, A., van Dijk, H. W. & Lagendijk, R. I. L., May 2002, p. 53-56. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A Development Model for Distributed Information Systems

de Weger, M. K., Vissers, C. A. & Franken, H. M., 16 Nov 1995. 11 p.

Research output: Contribution to conferencePaperAcademicpeer-review

6 Citations (Scopus)
34 Downloads (Pure)

Ad-Hoc Business Processes in Web Services

Wombacher, A. & Mahleko, B., Jan 2003, p. 101-105. 5 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
8 Citations (Scopus)
41 Downloads (Pure)

A dialogue agent for navigation support in virtual reality

Jacko, J. (ed.), van Luin, J., op den Akker, H. J. A., Sears, A. (ed.) & Nijholt, A., Mar 2001, p. 117-118. 2 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
25 Citations (Scopus)
127 Downloads (Pure)

A distributed file service based on optimistic concurrency control

Mullender, S. J. & Tanenbaum, A. S., 1985, p. 51-62. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
11 Downloads (Pure)

Advanced Architectures for Transactional Workflows or Advanced Transactions in Workflow Architectures

Grefen, P. W. P. J., Sep 1999, p. -.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Electronic commerce
Information systems
1 Citation (Scopus)

Advanced IP-MCMC-PF design ingredients

Iglesias Garcia, F., Bocquel, M. & Driessen, H., 7 Jul 2014. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

45 Downloads (Pure)

Advanced SPIN Tutorial

Ruys, T. C., Graf, S. (ed.), Holzmann, G. J. & Mounier, L. (ed.), 2004, p. 304-305. 2 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
11 Downloads (Pure)

Advances in architectural concepts to support distributed systems design

Ferreira Pires, L., Vissers, C. A. & van Sinderen, M. J., 1993. 26 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
24 Downloads (Pure)

Advances in emergency networking

de Graaf, M., van den Berg, H. L., Boucherie, R. J., Elfrink, H., Heemstra de Groot, S. M., de Haan, R., te Marvelde, A., van Ommeren, J. C. W., Roijers, F., Stemerdink, J. & Tromp, E., 2007, p. 1-6. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
13 Downloads (Pure)

A dynamic logic for reasoning about sub-ideal states

Dignum, F., Meyer, J-JC. & Wieringa, R. J., Aug 1994, p. 79-92. 14 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Affective feedback in a tutoring system for procedural tasks

Heylen, D. K. J., André, E. (ed.), Vissers, M., Dybkjaer, L. (ed.), Minker, W. (ed.), op den Akker, H. J. A., Heisterkamp, P. (ed.) & Nijholt, A., 14 Jun 2004, p. 244-253. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

3 Citations (Scopus)
7 Downloads (Pure)

A Flexible Architecture For Pointcut-Advice Language Implementations

Bockisch, C. & Mezini, M., Mar 2007, p. 1. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
121 Citations (Scopus)
16 Downloads (Pure)

A four-quadrant CMOS analog multiplier

Bult, K. & Wallinga, H., 1985, p. 296-301.

Research output: Contribution to conferencePaperAcademic

File
7 Downloads (Pure)

A Framework for Information Systems Design based on Object-Oriented Concepts and PetriNets

Verkoulen, P. A. C., 6 Jun 1994.

Research output: Contribution to conferencePaperAcademic

Open Access
File
2 Citations (Scopus)
27 Downloads (Pure)

A Framework for Joint Estimation and Guided Annotation of Facial Action Unit Intensity

Walecki, R., Rudovic, O., Pantic, M., Pavlovic, V. & Cohn, J. F., 26 Jun 2016, p. 1460-1468. 9 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
5 Downloads (Pure)

A framework for parsing algorithm specification and analysis

Sikkel, N. & Trost, H. (ed.), 1994, p. 300-309. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
56 Downloads (Pure)

A Framework for the Automation of Air Defence Systems

Choenni, R. S. & Leijnse, C., Apr 1999. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A Framework for Video Modeling

Petkovic, M. & Jonker, W., May 2000. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Semantics
Content based retrieval
Data structures
9 Downloads (Pure)

A Fuzzy Approach to Erroneous Inputs in Context-Free Language Recognition

Asveld, P. R. J., 1995, p. 14-25. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
28 Downloads (Pure)

A general scheme for some deterministically parsable grammars and their strong equivalents

Cremers, A. B. (ed.), Nijholt, A., Kriegel, H. P. (ed.) & Pittl, J., Dec 1982, p. 243-255. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Grammar
Parsing
Context-free Grammar
Class
8 Downloads (Pure)

Agent Assistance: From Problem Solving to Music Teaching

Nijholt, A., Beer, M. (ed.) & Whatley, J. (ed.), 28 May 2001, p. 11-13. 3 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
333 Downloads (Pure)

A Gentle Introduction to Category Theory - the calculational approach

Fokkinga, M. M. (ed.), Sep 1992, p. 1-72. 72 p.

Research output: Contribution to conferencePaperAcademic

File
45 Downloads (Pure)

Agent-oriented knowledge management in learning environments: a peer-to-peer helpdesk case study

Guizzardi-Silva Souza, R., van Elst, L. (ed.), Dignum, V. (ed.), Aroyo, L. M., Abecker, A. (ed.) & Wagner, G., 2003, p. 15-22. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File