Eindhoven University of Technology

Research Output 1937 2020

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

21 Downloads (Pure)

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
2019
19 Downloads (Pure)

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

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

cultural heritage
stakeholder
economics
decision making
policy
61 Downloads (Pure)

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
Specifications
Data storage equipment
Experiments

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

13 Downloads (Pure)
Open Access
File
7 Downloads (Pure)

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
cultural heritage
sustainability
social inclusion
urban system
pillar

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

11 Downloads (Pure)

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
Decomposition
Distributed computer systems
Large scale systems
Communication
52 Downloads (Pure)

Equations of motion of a control moment gyroscope

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

Research output: Book/ReportReportAcademic

File
5 Downloads (Pure)

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

Open Access
File
Fair allocation
Vaccination
Resources
Vaccine
Market price
4 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
Perforated Domains
Upscaling
Corrector
Parabolic Systems
Decoupling
26 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

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

2 Downloads (Pure)

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
Delivery of Health Care
Literature
Hospital Administration
Telemedicine
Quality of Health Care
8 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
Model checking
Software design
19 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
Multibody Dynamics
Notation
Robotics
Rigid Body
Face

Parkeerbezetting TU/e-terrein 2019

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

Research output: Book/ReportReportProfessional

11 Downloads (Pure)

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
Model checking
Explosions
Repair
27 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
pendulums
controllers
direct current
electronics
8 Downloads (Pure)

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
4 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
57 Downloads (Pure)
Open Access
File
Data integration
Supply chain
Economists
Business organization
Finance
60 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
Data structures
Data mining
Life cycle
Information systems
Industry
2018
28 Downloads (Pure)

Active flux schemes on moving meshes with applications to geometric optics

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 30 p. (CASA Report; no. 18-05)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

A heuristic for variable re-entrant scheduling problems

van der Tempel, R., van Pinxten, J. H. H., Geilen, M. & Waqas, U., Jun 2018, Eindhoven: Technische Universiteit Eindhoven. 8 p. (ES reports; vol. 2018, no. 2)

Research output: Book/ReportReportProfessional

Open Access
File
Heuristics
Flexible manufacturing systems
Schedule
Due dates
Flow shop
35 Downloads (Pure)

An integrated view on the future of logistics and information technology

Grefen, P. W. P. J., Hofman, W., Dijkman, R. M., Veenstra, A. & Peters, S. P. F., 31 May 2018, 1805.12485 ed. Ithaca, NY, USA: Cornell University Library. 22 p.

Research output: Book/ReportReportAcademic

Open Access
File
Information technology
Logistics
Industry
160 Downloads (Pure)

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1801)

Research output: Book/ReportReportAcademic

Open Access
File

Beyond public acceptance: design of a societal incubator for promising (nano) technologies

Rerimassie, V. G., Stemerding, D., de Bakker, E. & van Est, Q. C., 2018, Den Haag: Rathenau Instituut. 60 p.

Research output: Book/ReportReportAcademic

Open Access
31 Downloads (Pure)

BPIC’2018: Mining Concept Drift in Performance Spectra of Processes

Denisov, V. V., Belkina, E. & Fahland, D., 2018, 30 p. (BPI Challenge 2018)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)
Open Access
File
34 Downloads (Pure)

CSIDH: an efficient Post-Quantum Commutative Group Action

Castryck, W., Lange, T., Martindale, C., Panny, L. & Renes, J., 2018, IACR. 33 p. (Cryptology ePrint Archive; vol. 2018/383)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)
Open Access
File

D1 Data for Compliance in E-commerce: problem definition

Veenstra, A. W. & Verduijn, T., Dec 2018, 25 p.

Research output: Book/ReportReportAcademic

49 Downloads (Pure)

De behoefte aan spectrum voor specifieke, professionele breedbandige toepassingen

van der Vorst, T., Lelie, T., Veldman, J., Brennenraedts, R. & Smulders, P., 30 Jan 2018, Project 2017.105 ed. Utrecht: Ministerie van Economische Zaken. 54 p.

Research output: Book/ReportReportProfessional

Open Access
File
20 Downloads (Pure)

Defining community-based Virtual Power Plant

van Summeren, L. F. M. & Wieczorek, A. J., 20 Dec 2018, 6 p. (cVPP project; vol. 588)

Research output: Book/ReportReportAcademic

Open Access
File
power plant
literature review
energy
project