Technische Universiteit Eindhoven

Onderzoeksoutput 1950 2020

Filter
Rapport
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 blz. (arXiv.org; vol. 1909.10824 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (Computer Science Reports; vol. 19-03)

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand

Correct and efficient antichain algorithms for refinement checking

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Specifications
Data storage equipment
Experiments

Cultuurhistorische verkenning Studentensportcentrum TU Eindhoven

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Cyberspace without conflict: The search for de-escalation of the international information conflict

Hamer, J., van Est, R. & Royakkers, L., 2019, Den Haag: Rathenau Instituut. 120 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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 blz.

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand
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, (Ingediend) 171 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Deliverable 1.4. Database on best case practices

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 mei 2019, arXiv.org. 14 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Decomposition
Distributed computer systems
Large scale systems
Communication

Equations of motion of a control moment gyroscope

Bloemers, T. & Toth, R., 3 mei 2019, 3 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Bestand

Fair allocations for cooperation problems in vaccination

Westerink-Duijzer, L. E., Schlicher, L. P. J. & Musegaas, M., 8 mrt 2019, 6 redactie Rotterdam: Erarsmus Universiteit Rotterdam, Econometric Institute. 50 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (CASA-Report; vol. 19, nr. 01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Technical Report TUE CS)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Induced discharges in SF6 insulated 500 kV connector

Wouters, P., 28 mei 2019, Eindhoven: Technische Universiteit Eindhoven. 6 blz.

Onderzoeksoutput: Boek/rapportRapportProfessioneel

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

Musch, M., Postmes, L., Koch, R. & van Wesemael, P., 1 jul 2019, 52 blz.

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Parkeerbezetting TU/e-terrein 2019

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

Onderzoeksoutput: Boek/rapportRapportProfessioneel

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 blz. (Computer science reports; vol. 19/02)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Technical Report TUE CS)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
pendulums
controllers
direct current
electronics

Quantum indistinguishability of random sponges

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Open Access
Bestand
Data integration
Supply chain
Economists
Strategic goals
Business activity

Using graph data structures for event logs

Esser, S. & Fahland, D., 20 mei 2019, 57 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (CASA Report; nr. 18-05)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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 blz. (ES reports; vol. 2018, nr. 2)

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand
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 mei 2018, 1805.12485 redactie Ithaca, NY, USA: Cornell University Library. 22 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Computation of double freeform optical surfaces using a Monge-Ampère solver: application to beam shaping

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (CASA Report; nr. 18-03)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

CSIDH: an efficient Post-Quantum Commutative Group Action

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Open Access
Bestand

D1 Data for Compliance in E-commerce: problem definition

Veenstra, A. W. & Verduijn, T., dec 2018, 25 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

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 redactie Utrecht: Ministerie van Economische Zaken. 54 blz.

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand

Defining community-based Virtual Power Plant

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 redactie Eindhoven: Technische Universiteit Eindhoven. 83 blz. (CASA report)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Tangram
Partition
Number of Solutions
Diagram

DIY homes for new Dutchies

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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

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

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand
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 blz. (CASA Report; nr. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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

Curulli, G. I., jul 2018, Florence, Italy: Altralinea Edizioni. 125 blz. (City, Design & Sustainability.The New Series; nr. 4)

Onderzoeksoutput: Boek/rapportRapportAcademic

Ghost
Water
Oregon
Industry
Landscape Architecture

Het belang van secundaire objectkenmerken woningen bij de bepaling van de WOZ-waarde: vooronderzoek WOZ Woningen REN

Arentze, T. A. & Stevens, R. P. M., 28 mrt 2018, Eindhoven: Technische Universiteit Eindhoven. 64 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Hilbert modular polynomials

Martindale, C. R., 2018

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

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 blz. (CASA Report; nr. 18-08)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Log skeletons: a classification approach to process discovery

Verbeek, H. M. W. & Medeiros de Carvalho, R., 2018, arXiv.org. 30 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Miners