Eindhoven University of Technology

Research Output 1937 2020

Filter
Report
2019
15 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
57 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

8 Downloads (Pure)
Open Access
File
5 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: 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

9 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
42 Downloads (Pure)

Equations of motion of a control moment gyroscope

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

Research output: Book/ReportReportAcademic

File
4 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
3 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
25 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

13 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

8 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
25 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
3 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
50 Downloads (Pure)
Open Access
File
Data integration
Supply chain
Economists
Business organization
Finance
32 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
38 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
34 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
155 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
28 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
51 Downloads (Pure)
Open Access
File
32 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
49 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

42 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
17 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

Deliverable D1.1a: report of historic urban landscape workshop I Amsterdam

Dane, G. Z., Roders, A. R. & Pintossi, N., 2018, (Unpublished)

Research output: Book/ReportReportAcademic

3 Downloads (Pure)

Determining the essentially different partitions of all Japanese convex tangrams

Beelen, T. G. J. & Verhoeff, T., Nov 2018, 07 ed. Eindhoven: Technische Universiteit Eindhoven. 83 p. (CASA report)

Research output: Book/ReportReportAcademic

Open Access
File
Tangram
Partition
Number of Solutions
Diagram
4 Downloads (Pure)

DIY homes for new Dutchies

Hendriks, E., Hermans, K. & Mohammadi, M., 11 Jan 2018

Research output: Book/ReportReportAcademic

Office buildings
Students
92 Downloads (Pure)

Doelgericht digitalisering: hoe Nederland werkt aan een digitale transitie waarin mensen en waarden centraal staan

Kool, L., Dujso, E. & van Est, Q. C., 2018, Den Haag: Rathenau Instituut. 166 p.

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

First-order moment closure approximations for middle-sized systems with non-linear rates

Talebi, M., 9 Jul 2018, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer Science Reports; vol. 18/02)

Research output: Book/ReportReportProfessional

Open Access
File
Closure
Approximation
Empirical distribution
105 Downloads (Pure)

Freeform lens design: a Monge-Ampère problem with non-quadratic cost function

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 27 p. (CASA Report; no. 1801)

Research output: Book/ReportReportAcademic

Open Access
File