Eindhoven University of Technology

Research Output

Filter
Report
2020

5G veldsterktemetingen op High Tech Campus Eindhoven

Smulders, P. F. M., 31 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: Book/ReportReportAcademic

Design of practical IoT identification methods: deliverable 2.2, Month 34, Nov 2019

Razeghi, B., Voloshynovskiy, S., Gheisari, M., Furon, T., Amsaleg, L., Leermakers, D. & Škorić, B., Jan 2020, Eindhoven: Technische Universiteit Eindhoven. 90 p. (Computer Science Reports; vol. 20-01)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

The SCIP Optimization Suite 7.0

Gamrath, G., Anderson, D., Bestuzheva, K., Chen, W-K., Eifler, L., Gasse, M., Gemander, P., Gleixner, A., Gottwald, L., Halbig, K., Hendel, G., Hojny, C., Koch, T., Le Bodic, P., Maher, S. J., Matter, F., Miltenberger, M., Mühmer, E., Müller, B., Pfetsch, M. E. & 8 others, Schlösser, F., Serrano, F., Shinano, Y., Tawfik, C., Vigerske, S., Wegscheider, F., Weninger, D. & Witzig, J., 2020, Berlin: Zuse Institut Berlin. 46 p. (ZIB-Report; vol. 20-10)

Research output: Book/ReportReportAcademic

Open Access

Verbeteringen aan microgolftrilholteresonantiespectroscopie

Platier, B., 6 Apr 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 18 p.

Research output: Book/ReportReportAcademic

Open Access
File
1 Downloads (Pure)
2019

A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File
24 Downloads (Pure)

BTIC – programma: integrale energietransitie bestaande bouw: programma document BTIC – energie-transitie bestaande bouw

Visscher, H. J., Keizers, H. L. J., Arentze, T. A., Oostra, M. A. R. & Mulder, G. G. C., 2019

Research output: Book/ReportReportProfessional

Citizens and sensors: eight rules for using sensors to promote security and quality of life

Snijders, D., Biesiot, M., Munnichs, G., van Est, Q. C. R., van Ool, S. & Aksen, R., Sep 2019, Den Haag: Rathenau Instituut. 120 p.

Research output: Book/ReportReportAcademic

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)

Cultuurhistorische verkenning Studentensportcentrum TU Eindhoven

Colenbrander, B., Baeten, J-P. & van Kaathoven, B., 10 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 203 p.

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

Cyberspace zonder conflict: op zoek naar de-escalatie van het internationale informatieconflict

Hamer, J., van Est, Q. C. R., Royakkers, L. M. M. & Alberts, N., 2019, Den Haag: Rathenau Instituut. 121 p.

Research output: Book/ReportReportAcademic

D2.3 Guidelines for sustainable adaptive reuse for CH

Dane, G., Houpert, C. & Derakhshan, S., 2019, ROCK Regeneration and Optimization of Cultural heritage in creative and Knowledge cities . 36 p.

Research output: Book/ReportReportProfessional

Open Access
File
10 Downloads (Pure)

Data doorzien: ethiek van de digitale transitie in de Nederlandse provincies

Kool, L., de Jong, R. & van Est, Q. C. R., 2019, Den Haag: Rathenau Instituut. 69 p.

Research output: Book/ReportReportAcademic

Deliverable 1.3. survey on best practices of cultural heritage adaptive reuse

Gravagnuolo, A., Ikiz Kaya, D., Fusco Girard, L., Acri, M. & Pintossi, N., 2019, (Submitted) 171 p.

Research output: Book/ReportReportAcademic

Deliverable 1.4. Database on best case practices

Gravagnuolo, A., de Lucia, M., Ikiz Kaya, D., Pintossi, N. & Cambié, D., 2019, 56 p.

Research output: Book/ReportReportAcademic

Deliverable D1.1c: report of historic urban landscape workshop III Rijeka

Pintossi, N. & Ikiz Kaya, D., 2019, (Unpublished)

Research output: Book/ReportReportAcademic

Deliverable D1.1d: report of historic urban landscape workshop IV Vastra Gotaland

Pintossi, N. & Ikiz Kaya, D., 2019, (Unpublished)

Research output: Book/ReportReportAcademic

De Ring in beeld: de belangrijkste straat van de stad

van Kaathoven, B. A. H. L., Jenniskens, D. P. H., Diederen, P., Roorda, R., Aarts, R., van Hal, E., Kerkdijk, H., van der Meer, J. & Rijnen, R., 8 Apr 2019, Eindhoven: Technische Universiteit Eindhoven. 168 p.

Research output: Book/ReportReportAcademic

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

Research output: Book/ReportReportAcademic

Open Access
File
17 Downloads (Pure)

Equations of motion of a control moment gyroscope

Bloemers, T. & Toth, R., 3 May 2019, 3 p.

Research output: Book/ReportReportAcademic

File
70 Downloads (Pure)

Ethical issues for robotics and autonomous systems

McDermid, I. S., Müller, V. C., Pipe, T., Porter, Z. & Winfield, A., 2019, UK Robotics and Autonomous Systems Network. 18 p.

Research output: Book/ReportReportAcademic

Fair allocations for cooperation problems in vaccination

Westerink-Duijzer, L. E., Schlicher, L. P. J. & Musegaas, M., 8 Mar 2019, 6 ed. Rotterdam: Erarsmus Universiteit Rotterdam, Econometric Institute. 50 p.

Research output: Book/ReportReportAcademic

9 Downloads (Pure)

Homogenization of a pseudo-parabolic system via a spatial-temporal decoupling: upscaling and corrector estimates for perforated domains

Vromans, A., van de Ven, F. & Muntean, A., Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 35 p. (CASA-Report; vol. 19, no. 01)

Research output: Book/ReportReportAcademic

Open Access
File
6 Downloads (Pure)

Incremental gain of LTI systems

Koelewijn, P. & Toth, R., 27 Feb 2019, Eindhoven: Eindhoven University of Technology. 3 p. (Technical Report TUE CS)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Induced discharges in SF6 insulated 500 kV connector

Wouters, P., 28 May 2019, Eindhoven: Technische Universiteit Eindhoven. 6 p.

Research output: Book/ReportReportProfessional

Klimaatadaptatie in de stad: Casus 1: Eindhoven, brainport Industries campus

Musch, M., Postmes, L., Koch, R. & van Wesemael, P., 1 Jul 2019, 52 p.

Research output: Book/ReportReportProfessional

Maturity assessment and maturity models in healthcare: a multivocal literature review

Tarhan, A., Garousi, V., Türetken, O., Soylemez, M. & Garossi, S., 5 Oct 2019, arXiv.org. 17 p.

Research output: Book/ReportReportAcademic

Open Access
File
5 Downloads (Pure)

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer Science Reports; vol. 19-05)

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

Multibody dynamics notation (version 2)

Traversaro, S. & Saccon, A., 4 Nov 2019, Technische Universiteit Eindhoven. 22 p.

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Parkeerbezetting TU/e-terrein 2019

van der Waerden, P. J. H. J., 2019, Technische Universiteit Eindhoven/Unit USRE. 38 p.

Research output: Book/ReportReportProfessional

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

Research output: Book/ReportReportAcademic

Open Access
File
19 Downloads (Pure)

Physical parameter estimation of an unbalanced disc system

Koelewijn, P. & Toth, R., 15 Apr 2019, Eindhoven: Eindhoven University of Technology. 2 p. (Technical Report TUE CS)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Project progress report: Q4-2018

Lenaers, W. J. H. P., 3 Jan 2019, Eindhoven University of Technology. 15 p.

Research output: Book/ReportReportAcademic

Quantum indistinguishability of random sponges

Czajkowski, J., Hülsing, A. & Schaffner, C., 2019, IACR. 36 p. (Cryptology ePrint Archive; no. 2019/069)

Research output: Book/ReportReportAcademic

Open Access
File
13 Downloads (Pure)

Report on simulation models of solar envelope components: Deliverable DB.4

Taveres-Cachat, E., Loonen, R. C. G. M., Eisenlohr, J., Goia, F. & Maurer, C., 21 Dec 2019, International Energy Agency. 29 p.

Research output: Book/ReportReportAcademic

Open Access
File
5 Downloads (Pure)

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File
9 Downloads (Pure)

State-of-the-art and SWOT analysis of building integrated solar envelope systems: deliverables A.1 and A.2

Bonato, P. (ed.), Fedrizzi, R. (ed.), D'Antoni, M. (ed.), Meir, M. (ed.), Kostro, A., Hafner, A., Varela Souto, A., Arregi, B., Copertaro, B., Wilkinson, B., Hubschneider, C., Geisler-Moroder, D., Rounis, E., Rico, E., Gonzalez Perez, I., Walshe, J., Chen, J., Aschauer, J., Hollick, J., Astudillo, J. & 19 others, de Haas, M., Dietz, M., O'Neill, N., Denz, P-R., Elguezabal, P., Lemarchand, P., Hanbali, R., Pinotti, R., Weitlaner, R., Garay, R., Lollini, R., Loonen, R. C. G. M., Kin, S., de Vries, S. B., Avesani, S., del Cano, T., Aagesen, V., Zhang, X. & Ioannidis, Z., 17 Dec 2019, International Energy Agency. 99 p.

Research output: Book/ReportReportAcademic

Open Access
1 Downloads (Pure)
Open Access
File
64 Downloads (Pure)

Using graph data structures for event logs

Esser, S. & Fahland, D., 20 May 2019, 57 p.

Research output: Book/ReportReportAcademic

Open Access
File
199 Downloads (Pure)

Valuable digitalisation How local government can play the ‘technology game’ in the public’s interest

van Est, Q. C. R., de Bakker, E., van den Broek, J., Deuten, J., Diederen, P. J. R., van Keulen, I., Korthagen, I. & Voncken, H., 2019, Den Haag. 120 p.

Research output: Book/ReportReportAcademic

Verantwoord virtueel: Bescherm consumenten in virtual reality

Snijders, D., Horsman, S., Kool, L. & van Est, Q. C. R., 2019, Den Haag: Rathenau Instituut. 75 p.

Research output: Book/ReportReportAcademic