Research Output

Filter
Article
1997

Geheugenmodel met bewustzijn : biologische basis van een associatief geheugen

Bruijn, de, N. G., 1997, In : Spiegeloog. 24, 234, p. 10-13

Research output: Contribution to journalArticlePopular

Open Access
File
54 Downloads (Pure)
1995

On optimally scaled systems for second-order scalar singularly perturbed problems

Kalachev, L. V. & Mattheij, R. M. M., 1995, In : Applied Mathematics and Computation. 68, 1, p. 71-93 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Van de redactie

Baeten, J. C. M., 1995, In : Informatie. 37, 6, p. 347

Research output: Contribution to journalArticlePopular

Open Access
File
28 Downloads (Pure)
1994

$H_\infty$ optimal control

Stoorvogel, A. A., 1994, In : International Journal of Robust and Nonlinear Control. 4, 4, p. 417-630

Research output: Contribution to journalArticlePopular

A characterization of some graphs which do not contain 3-claws

Brouwer, A. E. & Numata, M., 1994, In : Discrete Mathematics. 124, 1-3, p. 49-54 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
7 Citations (Scopus)

A comparative study in DSS development (Editorial)

Hee, van, K. M. & Lenstra, J. K., 1994, In : European Journal of Operational Research. 79, 2, p. 153-157

Research output: Contribution to journalArticleProfessional

2 Citations (Scopus)
1 Downloads (Pure)

A computational study of local search algorithms for job shop scheduling

Aarts, E. H. L., Laarhoven, van, P. J. M., Lenstra, J. K. & Ulder, N. L. J., 1994, In : ORSA Journal on Computing. 6, 2, p. 118-125

Research output: Contribution to journalArticleAcademicpeer-review

A grammar-based approach towards unifying hierarchical data models

Gyssens, M., Paredaens, J. & Van Gucht, D., 1994, In : SIAM Journal on Computing. 23, 6, p. 1093-1137

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
195 Downloads (Pure)

A graph-oriented object database model

Gyssens, M., Paredaens, J., Van den Bussche, J. & Van Gucht, D., 1994, In : IEEE Transactions on Knowledge and Data Engineering. 6, 4, p. 572-586

Research output: Contribution to journalArticleAcademicpeer-review

80 Citations (Scopus)

A model for information processing in human memory and consciousness

Bruijn, de, N. G., 1994, In : Nieuw Archief voor Wiskunde. 4/12, 4, p. 35-48

Research output: Contribution to journalArticleAcademicpeer-review

An algebraic semantics of basic message sequence charts

Mauw, S. & Reniers, M. A., 1994, In : The Computer Journal. 37, 4, p. 269-278 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

77 Citations (Scopus)

An exercise in the automatic verification of asynchronous designs

Bailey, A. M., McCaskill, G. A. & Milne, G. J., 1994, In : Formal Methods in System Design. 4, 3, p. 213-242

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)

An improvement of the Van Wee bound for binary linear covering codes

Struik, M., 1994, In : IEEE Transactions on Information Theory. 40, 4, p. 1280-1284

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

An optimal ternary [69, 5, 45] code and related codes

Eupen, van, M. J. M. & Hill, R., 1994, In : Designs, Codes and Cryptography. 4, 4, p. 271-282 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)

A note on Bayesian decision theory with imprecise prior probabilities

Coolen, F. P. A., 1994, In : Kwantitatieve Methoden. 47, p. 17-27

Research output: Contribution to journalArticleAcademicpeer-review

A reduced order observer based controller design for $H_\infty$ optimization

Stoorvogel, A. A., Saberi, A. & Chen, B. M., 1994, In : IEEE Transactions on Automatic Control. 39, 2, p. 355-359

Research output: Contribution to journalArticleAcademicpeer-review

35 Citations (Scopus)
1 Downloads (Pure)

A simple approximation to rigid body dynamics for computer animation

Overveld, van, C. W. A. M., 1994, In : Journal of Visualization and Computer Animation. 5, 1, p. 17-36

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

A simpler characterization of Sheffer polynomials

Di Bucchianico, A. & Loeb, D. E., 1994, In : Studies in Applied Mathematics. 92, 1, p. 1-15

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

A simplified grading method of transitional cell carcinoma of the urinary bladder : reproducibility, clinical significance, and prognostic comparison with other parameters

Schapers, R. F. M., Pauwels, R. P. E., Wijnen, J. T. M., Arends, J. W., Thunissen, F. B. J. M., Coebergh, J. W. W., Smeets, A. W. G. B. & Bosman, E. T., 1994, In : British Journal of Urology. 73, 6, p. 625-631

Research output: Contribution to journalArticleAcademicpeer-review

31 Citations (Scopus)

A trace-based compositional proof theory for fault tolerant distributed systems

Schepers, H. & Hooman, J. J. M., 1994, In : Theoretical Computer Science. 128, 1-2, p. 127-157 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
9 Citations (Scopus)

A unified approach to type theory through a refined $\lambda$-calculus

Kamareddine, F. & Nederpelt, R. P., 1994, In : Theoretical Computer Science. 136, 1, p. 183-216 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

Bayesian estimation of location parameters in life distribution

Coolen, F. P. A. & Newby, M. J., 1994, In : Reliability Engineering and System Safety. 45, 3, p. 293-298 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Bayesian reliability analysis with imprecise prior probabilities

Coolen, F. P. A. & Newby, M. J., 1994, In : Reliability Engineering and System Safety. 43, p. 75-85

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
50 Citations (Scopus)
105 Downloads (Pure)

Bottom-up abstract interpretation of logic programs

Codish, M., Dams, D. R. & Yardeni, E., 1994, In : Theoretical Computer Science. 124, 1, p. 93-125 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
40 Citations (Scopus)

Bounds for expected loss in Bayesian decision theory with imprecise prior probabilities

Coolen, F. P. A., 1994, In : Journal of the Royal Statistical Society. Series D: The Statistician. 43, 3, p. 371-379 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Calculating path algorithms

Backhouse, R. C., van den Eijnde, J. P. H. W. & Gasteren, van, A. J. M., 1994, In : Science of Computer Programming. 22, 1-2, p. 3-19

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
14 Citations (Scopus)

Casting shadows with approximated object space accuracy by means of a modified Z-buffer

van Ee, J. & Overveld, van, C. W. A. M., 1994, In : The Visual Computer. 10, 5, p. 243-254 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Compositional verification of a distributed real-time arbitration protocol

Hooman, J. J. M., 1994, In : Real-Time Systems. 6, 2, p. 173-205 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)

Construction of fixed-length insertion/deletion correcting runlength-limited codes

Bours, P. A. H., 1994, In : IEEE Transactions on Information Theory. 40, 6, p. 1841-1856

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)

DEDOS : a distributed real-time environment

Hammer, D. K., Luit, E. J., Roosmalen, van, O. S., Stok, van der, P. D. V. & Verhoosel, J. P. C., 1994, In : IEEE Parallel and Distributed Technology : Systems and Applications. 2, 4, p. 32-47

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)

Distance matrices and Lorentz space

Seidel, J. J., 1994, In : European Journal of Combinatorics. 15, 1, p. 45-46 2 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Distance-regular graphs whose distance matrix has only one prositive eigenvalue

Koolen, J. H. & Shpectorov, S. V., 1994, In : European Journal of Combinatorics. 15, 3, p. 269-275 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Editorial (Special issue on Process algebra)

Baeten, J. C. M., 1994, In : The Computer Journal. 37, 5, p. 474-475

Research output: Contribution to journalArticleProfessional

Open Access
File
35 Downloads (Pure)

Encryptie : justitiële en particuliere belangen

Wiemans, F. P. E., Smits, J. M. & Tilborg, van, H. C. A., 1994, In : Delikt en Delinkwent. p. 340-359

Research output: Contribution to journalArticleProfessional

Error-locating pairs for cyclic codes

Duursma, I. M. & Kötter, R., 1994, In : IEEE Transactions on Information Theory. 40, 4, p. 1108-1121

Research output: Contribution to journalArticleAcademicpeer-review

33 Citations (Scopus)
1 Downloads (Pure)

Extending Hoare logic to real-time

Hooman, J. J. M., 1994, In : Formal Aspects of Computing. 6, 6, p. 801-825

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)

Finite-difference methods for one-dimensional hyperbolic conservation laws

Berkenbosch, A. C., Kaasschieter, E. F. & Thije Boonkkamp, ten, J. H. M., 1994, In : Numerical Methods for Partial Differential Equations. 10, 2, p. 225-269 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

Five new optimal ternary linear codes

Eupen, van, M. J. M., 1994, In : IEEE Transactions on Information Theory. 40, 1, p. 193-193

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)

Fixed point iteration on pointsymmetric interference graphs

Veltkamp, J. P. & Damme, van, R., 1994, In : Performance Evaluation. 19, 4, p. 279-302 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Formele specificatie en simulatie : de RODOS-case

Aalst, van der, W. M. P., Houben, G. J. P. M., Toorn, van der, P. & Vlist, van der, P., 1994, In : Informatie. 36, 10, p. 609-615

Research output: Contribution to journalArticleProfessional

Fundamenteel onderzoek in Europa

Baeten, J. C. M., 1994, In : Informatie. 36, 6, p. 375-377

Research output: Contribution to journalArticleProfessional

Open Access
File
28 Downloads (Pure)

General equilibrium in an economy with exhaustible resources and an unbounded horizon

Geldrop, van, J. H. & Withagen, C. A. A. M., 1994, In : Journal of Economic Dynamics and Control. 18, 5, p. 1011-1035 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

Irregular weighting of 1-designs

Blokhuis, A. & Szönyi, T., 1994, In : Discrete Mathematics. 131, 1-3, p. 339-343 5 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Downloads (Pure)

Mixed $H_2/H_\infty$ control in a stochastic framework

Peters, M. A. & Stoorvogel, A. A., 1994, In : Linear Algebra and Its Applications. 205-206, p. 971-996

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
1 Downloads (Pure)

Modeling polymer melt-flow instabilities

Molenaar, J. & Koopmans, R. J., 1994, In : Journal of Rheology. 38, 1, p. 99-109

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
49 Citations (Scopus)
99 Downloads (Pure)

Molecular dynamics simulations of model oil/water/surfactant systems

Esselink, K., Hilbers, P. A. J., Os, van, N. M., Smit, B. & Karaborni, S., 1994, In : Colloids and Surfaces A: Physicochemical and Engineering Aspects. 91, p. 155-167 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

44 Citations (Scopus)
1 Downloads (Pure)

Near polygons and Fischer spaces

Brouwer, A. E., Cohen, A. M., Hall, J. I. & Wilbrink, H. A., 1994, In : Geometriae Dedicata. 49, 3, p. 349-368

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
70 Citations (Scopus)
83 Downloads (Pure)

New lower and upper bounds for scheduling around a small common due date

Hoogeveen, J. A., Oosterhout, H. & Velde, van de, S. L., 1994, In : Operations Research. 42, 1, p. 102-110 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)
2 Downloads (Pure)

Observability of linear systems with saturated outputs

Koplon, R., Sontag, E. D. & Hautus, M. L. J., 1994, In : Linear Algebra and Its Applications. 205-206, p. 909-936 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
36 Citations (Scopus)
1 Downloads (Pure)

On Bernoulli experiments with imprecise prior probabilities

Coolen, F. P. A., 1994, In : Journal of the Royal Statistical Society. Series D: The Statistician. 43, 1, p. 155-167 13 p.

Research output: Contribution to journalArticleAcademicpeer-review