Eindhoven University of Technology

Research Output 1950 2020

Filter
Report
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., 24 Sep 2019, s.n.27 p. (arXiv.org; vol. 1909.10824 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
Data storage equipment

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

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

Open Access
File

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

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

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

Equations of motion of a control moment gyroscope

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

Research output: Book/ReportReportAcademic

File

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
Vaccine
Resources
Market price

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

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

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
Model checking
Explosions
Repair

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

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
Open Access
File
Data integration
Supply chain
Economists
Strategic goals
Business activity

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

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

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

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

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

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
Open Access
File

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

D1 Data for Compliance in E-commerce: problem definition

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

Research output: Book/ReportReportAcademic

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

Defining community-based Virtual Power Plant

van Summeren, L. F. M. & Wieczorek, A. J., 20 Dec 2018, (In preparation) 6 p.

Research output: Book/ReportReportAcademic

power plant
literature review
energy
project

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

DIY homes for new Dutchies

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

Research output: Book/ReportReportAcademic

Office buildings
Students

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

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

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

Ghost industries: industrial water landscapes on the Willamette River in Oregon

Curulli, G. I., Jul 2018, Florence, Italy: Altralinea Edizioni. 125 p. (City, Design & Sustainability.The New Series; no. 4)

Research output: Book/ReportReportAcademic

Ghost
Water
Oregon
Industry
Landscape Architecture
Open Access
File

Hilbert modular polynomials

Martindale, C. R., 2018

Research output: Book/ReportReportAcademic

Open Access
File

Inverse reflector design for a point source and far-field target

Romijn, L. B., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 20 p. (CASA Report; no. 18-08)

Research output: Book/ReportReportAcademic

Open Access
File
Open Access
File
Miners