Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

(A,B)-invariant and stabilizability subspaces : a frequency domain description with applications

Hautus, M. L. J., 1979, Eindhoven: Technische Hogeschool Eindhoven. 17 blz. (Memorandum COSOR; vol. 7915)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
60 Downloads (Pure)

(A,B)-invariant subspaces and stabilizability spaces : some properties and applications

Hautus, M. L. J., 1979, Eindhoven: Technische Hogeschool Eindhoven. 15 blz. (Memorandum COSOR; vol. 7917)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
68 Downloads (Pure)

(A look back at) go to statement considered harmful

Dijkstra, E. W., 2008, In : Communications of the ACM. 51, 1, blz. 7-9

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)

(In)consistency of extensions of higher order logic and type theory

Geuvers, J. H., 2007, Revised Selected Papers of the International Workshop on Types for Proofs and Programs (TYPES 2006) 18-21 April 2006, Nottingham, United Kingdom. Altenkirsch, T. & McBride, C. (redactie). Berlin: Springer, blz. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
77 Downloads (Pure)

(k-1)-mean significance levels of nonparametric multiple comparisons procedures

Oude Voshaar, J. H., 1978, Eindhoven: Technische Hogeschool Eindhoven. 18 blz. (Memorandum COSOR; vol. 7813)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 Downloads (Pure)
Open Access
Bestand
24 Downloads (Pure)

(P-: A pure type system for first order loginc with automated theorem proving

Franssen, M. G. J., 1997, onbekend: Capaciteitsgroep Wiskunde. 35 blz. (Memorandum COSOR; vol. 97/15)

Onderzoeksoutput: Boek/rapportRapportAcademic

(P-: A pure type system for first oreder loginc with automated theorem proving

Franssen, M. G. J., 1997, Eindhoven: Capaciteitsgroep Informatica. 35 blz. (Computing Science Report; vol. 97/15)

Onderzoeksoutput: Boek/rapportRapportAcademic

(Relational) programming laws in the boom hierarchy of types

Hoogendijk, P. F., 1993, Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992). Bird, R. S., Morgan, C. & Woodcock, J. (redactie). Berlin: Springer, blz. 163-190 (Lecture Notes in Computer Science; vol. 669).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

{0,1,*} distance problems in combinatorics

van Lint, J. H., 1985, Surveys in combinatorics 1985 : invited papers for the tenth British Combinatorial Conference, Glasgow, UK, July 22-26, 1985). Anderson, I. (redactie). Cambridge: Cambridge University Press, blz. 113-135 (London Mathematical Society Lecture Note Series; vol. 103).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
75 Downloads (Pure)

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computing science reports; vol. 9715)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
55 Downloads (Pure)

$\pi$-Variation with remainder

Omey, E. & Willekens, E. K. E., 1988, In : Journal of the London Mathematical Society. Second Series. 37, blz. 105-118

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)

$210=14\times 15=5\times 6\times 7={21 \choose 2}={10\choose 4}$

Pintér, A. & Weger, de, B. M. M., 1997, In : Publicationes Mathematicae. Institutum Mathematicum Universitatis Debreceniensis. 51, 1-2, blz. 175-189

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

5 Citaten (Scopus)

$H_\infty$ control with state feedback : the infinite dimensional case

Keulen, van, B. A. M., Peters, M. A. & Curtain, R. F., 1993, In : Journal of Mathematical Systems, Estimation, and Control. 3, 1, blz. 1-39

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

$H_\infty$ optimal control

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelPopulair

$H_2$ almost disturbance decoupling problem with internal stability

Saberi, A., Lin, Z. & Stoorvogel, A. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Memorandum COSOR; vol. 9423)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
61 Downloads (Pure)

$H_2$ and $H_\infty$ almost disturbance decoupling problem with internal stability

Saberi, A., Lin, Z. & Stoorvogel, A. A., 1996, In : International Journal of Robust and Nonlinear Control. 6, 8, blz. 789-803

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)

$H_2$ and $H_\infty$ performance with regulation constraints

Stoorvogel, A. A. & Saberi, A., 1997, Proceedings 13th IFAC World Congress (San Francisco, USA, June 30-July 5, 1996), CD-ROM. Gertler, J. J., Cruz, J. B. & Peshkin, M. (redactie). Pergamon, blz. 261-266

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

$H_2$ optimal controllers with measurement feedback for discrete-time systems : flexibility in closed-loop pole placement

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 34 blz. (Memorandum COSOR; vol. 9616)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
70 Downloads (Pure)

$H_2$ optimal controllers with measurement feedback for discrete-time systems - flexibility in closed-loop pole placement

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 2006). Institute of Electrical and Electronics Engineers, blz. 2330-2335 6 blz. 573127

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

$H_2$ optimal controllers with observer based architecture for continuous-time systems : separation principle

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Memorandum COSOR; vol. 9441)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

$l_1$ state estimation for linear systems using non-linear observers

Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 1996). Institute of Electrical and Electronics Engineers, blz. 2407-2411 5 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

$L^p$-inversion of the diffusion equation

Liu, G. Z., 1989, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (RANA : reports on applied and numerical analysis; vol. 8908)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

µCRL : a toolset for analysing algebraic specifications

Blom, S. C. C., Fokkink, W. J., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2001, Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001). Berry, G., Comon, H. & Finkel, A. (redactie). Berlin: Springer, blz. 250-254 (Lecture Notes in Computer Science; vol. 2102).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

88 Citaten (Scopus)

10 jaar! (Redactioneel)

Schilders, W. H. A., 2010, In : Nieuw Archief voor Wiskunde. 5/11, 1, blz. 3-3

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

194Pt(d,3He)193Ir reaction : spectroscopic factors and supersymmetry predictions

Iwasaki, Y., Aarts, E. H. L., Harakeh, M. N., Siemssen, R. H. & Werf, van der, S. Y., 1981, In : Physical Review C: Nuclear Physics. 23, 4, blz. 1477-1481 5 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

24 Citaten (Scopus)
1 Downloads (Pure)

1-D reflection at an impedance wall

Rienstra, S. W., 1988, In : Journal of Sound and Vibration. 125, 1, blz. 43-51 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

16 Citaten (Scopus)

1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands

Van Wyk, E. (redactie) & Zschaler, S. (redactie), 2010, Eindhoven: Technische Universiteit Eindhoven. 78 blz. (Computer science reports; vol. 1011)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
227 Downloads (Pure)

20Years of IOI competition tasks

Verhoeff, T., 2008, In : Olympiads in Informatics. 3, blz. 149-166

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
331 Downloads (Pure)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T., Willemsen, O. H., Hiddink, M. G. H. & IJzerman, W. L., 2006, Liquid Crystal Materials, Devices, and Applications XI. Chien, L-C. (redactie). Bellingham: SPIE, blz. 61350K- (Proceedings of SPIE; vol. 6135).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
3 Downloads (Pure)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T. & IJzerman, W. L., 2006, 5th International Meeting on Information Display (Seoul, South Korea, July 19-23, 2005). blz. 31-35

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

2D/3D switchable displays

Willemsen, O. H., Zwart, de, S. T., IJzerman, W. L., Hiddink, M. G. H. & Dekker, T., 2006, Photonics in multimedia, Strasbourg, France. Tervonen, A., Kujawinska, M., Ijzerman, W. & Smet, de, H. (redactie). SPIE, blz. 61960H- (Proceedings of SPIE; vol. 6196).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)

2D computational morphology

Veltkamp, R. C., 1993, In : CWI Quarterly. 6, 2, blz. 121-138

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

2-designs having an intersection number $k-n$

Beker, H. J. & Haemers, W. H., 1980, In : Journal of Combinatorial Theory, Series A. 28, 1, blz. 64-81 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

18 Citaten (Scopus)

2-D integration with moving boundaries

Spoelstra, J., 1992, Eindhoven: Technische Universiteit Eindhoven. (IWDE report; vol. 9213)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

2-piercings via graph theory

Pendavingh, R. A., Puite, Q. & Woeginger, G. J., 2008, In : Discrete Applied Mathematics. 156, 18, blz. 3510-3512

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access

30 Years after Sketchpad : relaxation of geometric constraints revisited (I)

Overveld, van, C. W. A. M., 1993, In : CWI Quarterly. 6, 4, blz. 363-384

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

30 Years after Sketchpad : relaxation of geometric constraints revisited (II)

Overveld, van, C. W. A. M., 1994, In : CWI Quarterly. 7, 1, blz. 73-98

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

33 jaar beoefening van de informatica

Kruseman Aretz, F. E. J., 1995, Eindhoven: Technische Universiteit Eindhoven. 32 blz.

Onderzoeksoutput: Boek/rapportInaugurale redeAcademic

Open Access
Bestand
52 Downloads (Pure)

3D computational morphology

Veltkamp, R. C., 1993, In : Computer Graphics Forum. 12, 3, blz. 115-127

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)

3D computational steering with parametrized geometric objects

Mulder, J. D. & Wijk, van, J. J., 1995, Proceedings IEEE Visualization '95 (Atlanta GA, USA, October 29-November 3, 1995). IEEE Computer Society, blz. 304-311

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)

3D flying pipe-laying turtle

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1997, Proceedings of the 28th Computational Fluid Dynamics; 3-7 March 1997, Von Karman Institute for Fluid Dynamics Rhode-Saint Genese. Deconinck, H. (redactie). Rhode-Saint-Genèse: Von Karman Institute for Fluid Dynamics, (VKI LS; vol. 1997-02).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1998, Multigrid Methods V (Proceedings of the Fifth European Multigrid Conference, Stuttgart, Germany, October 1-4, 1996). Hackbusch, W. & Wittum, G. (redactie). Berlin: Springer, blz. 107-124 (Lecture Notes in Computational Science and Engineering; vol. 3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3D turtle geometry: artwork, theory, program equivalence and symmetry

Verhoeff, T., 2010, In : International Journal of Arts and Technology. 3, 2-3, blz. 288-319

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
3 Downloads (Pure)

3-Transposition groups of orthogonal type

Cuypers, F. G. M. T. & Hall, J. I., 1992, In : Journal of Algebra. 152, 2, blz. 342-373 32 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)

48th European Study Group Mathematics with Industry : an encounter of the third kind

Prokert, G., 2004, In : ITW-Nieuws. 12, 3, blz. 13-15

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2 Downloads (Pure)

7 april 2000: Kloosterman Centennial Celebration

Sterk, H. J. M., 2000, In : Nieuw Archief voor Wiskunde. 5/1, 2, blz. 124-125 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

A (49,16,3,6) strongly regular graph does not exist

Bussemaker, F. C., Haemers, W. H., Mathon, R. A. & Wilbrink, H. A., 1988, Tilburg: Katholieke Universiteit Brabant. 9 blz. (Katholieke Universiteit Brabant. Fac. Economische Wetenschappen : research memorandum; vol. 355)

Onderzoeksoutput: Boek/rapportRapportAcademic

A (49,16,3,6) strongly regular graph does not exist

Bussemaker, F. C., Haemers, W. H., Mathon, R. A. & Wilbrink, H. A., 1989, In : European Journal of Combinatorics. 10, 5, blz. 413-418

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)