Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Report
2019
7 Downloads (Pure)

Non-cooperative queueing games on a Jackson network

Laan, C. M., Timmer, J. & Boucherie, R. J., Jan 2019, Enschede: University of Twente. 16 p. (Memorandum of the Department of Applied Mathematics)

Research output: Book/ReportReportOther research output

File
Jackson Networks
Queueing
Game
Nash Equilibrium
Customers
131 Downloads (Pure)

Online discoverability and vulnerabilities of ICS/SCADA devices in the Netherlands

Ceron, J. M., Chromik, J. J., Cardoso de Santanna, J. J. & Pras, A., 21 Jun 2019, Enschede: University of Twente. 76 p.

Research output: Book/ReportReportProfessional

Open Access
File
Data acquisition
Control systems
Critical infrastructures
Network protocols
Power plants
12 Downloads (Pure)

Roots, symmetry and contour integrals in queueing systems

Oblakova, A., Al Hanbali, A., Boucherie, R., van Ommeren, J. C. W. & Zijm, W. H. M., May 2019, University of Twente, Department of Applied Mathematics. 23 p. (TW-memoranda; no. 2067)

Research output: Book/ReportReportOther research output

File
Contour integral
Queueing System
Probability generating function
Roots
Symmetry
8 Downloads (Pure)

VerifyThis2018: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

Research output: Book/ReportReportAcademic

Open Access
File
Greece
event
software
2018
22 Downloads (Pure)

Children and Search / Recdommendations algorithms: What Adults Need to Know

Kucirkova, N., Fails, J., Pera, S. & Huibers, T. W. C., 2018, DigilitEY. 5 p.

Research output: Book/ReportReportAcademic

Open Access
File
right to information
UN Convention
adopted child
fundamental right
website
34 Downloads (Pure)

Endogenous formation of cooperation structure in TU games with major player

Khmelnitskaya, A. B., Parilina, E. & Sedakov, A., Feb 2018, University of Twente, Department of Applied Mathematics. 19 p. (TW-Memoranda; no. 2063)

Research output: Book/ReportReportOther research output

File
Myerson value
TU game
Evaluation
Centrality
Graph

Head and Neck: Morphology, Models and Function

Heida, T. & Marani, E., 20 Dec 2018, Cham: Springer. 534 p.

Research output: Book/ReportReportProfessional

73 Downloads (Pure)

Protecting shared information in networks: a network security game with strategic attacks

de Witte, B., Frasca, P., Overvest, B. & Timmer, J., 2018, Enschede: University of Twente, Department of Applied Mathematics. 23 p. (Memorandum of the Department of Applied Mathematics)

Research output: Book/ReportReportOther research output

File
Network Security
Attack
Game
Externalities
Agent Systems
23 Downloads (Pure)

Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA

Habraken, M. M. P., Ahsmann, B., van den Akker, E., van Baars, G., Baartmans, R., Blankendaal, J., Bossert, R., Burghardt, P., Duisterwinkel, A., van Eijk, D., van den Eijnde, W., Endhoven, W., Gijsbers, G., Ten Have, K., Haverkort, B. R. H. M., van der Horst, T., Jayawardhana, B., Jansson, M., Karelse, F., van Keulen, F. & 10 othersvan Kranenburg, H., van Lente, H., van Lier, B., Meinders, T., Post, J., Puik, E., Renders, W., Snijder, P. L., Sol, E-J. & Thuis, B., 5 Feb 2018, Smart Industry.

Research output: Book/ReportReportOther research output

Open Access
File
35 Downloads (Pure)
Open Access
File
Partially Observable Markov Decision Process
Breast Cancer
Optimal Value Function
Tumor
Mammography
2017
265 Downloads (Pure)

Accident Analysis Methods and Models — a Systematic Literature Review

Wienen, H. C. A., Bukhsh, F. A., Vriezekolk, E. & Wieringa, R. J., 4 Jun 2017, Centre for Telematics and Information Technology (CTIT). 57 p. (CTIT Technical Report; no. TR-CTIT-17-04)

Research output: Book/ReportReportAcademic

Open Access
File
Accidents
Telecommunication
Telecommunication networks
Wheels
Costs
50 Downloads (Pure)

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version)

Kurtin, P. S. & Bekooij, M. J. G., 24 Oct 2017, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 43 p. (CTIT Technical Report Series; no. TR-CTIT-17-06)

Research output: Book/ReportReportAcademic

Open Access
File
Real time systems
Jitter
Specifications
8 Downloads (Pure)

Analysis and Verification of Pointer Programs

Huisman, M., Noll, T. & Tatsuta, M., 2017, Tokyo, Japan: National Institute of Informatics. (NII Shonan Meeting Reports; no. 2017-14)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Asymptotic period of an aperiodic Markov chain and the strong ratio limit property

van Doorn, E. A., Mar 2017, Enschede: University of Twente, Department of Applied Mathematics. 25 p. (Memorandum / Department of Applied Mathematics; no. 2059)

Research output: Book/ReportReportOther research output

File
73 Downloads (Pure)

A Verification Technique for Deterministic Parallel Programs (extended version)

Darabi, S., Blom, S. & Huisman, M., 25 Feb 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT technical report; no. TR-CTIT-17-01)

Research output: Book/ReportReportOther research output

File
54 Downloads (Pure)

Comparing semi-actuated and fixed control for a tandem of intersections

Oblakova, A., Al Hanbali, A., Boucherie, R. J., van Ommeren, J-K. C. W. & Zijm, W. H. M., 28 Jul 2017, University of Twente, Department of Applied Mathematics. 23 p. (TW-Memoranda; no. 2061)

Research output: Book/ReportReportOther research output

File
Intersection
Traffic
Evaluate
199 Downloads (Pure)

Computer Literacy Systematic Literature Review Method

Kegel, R. HP., Barth, S., Klaassen, R. & Wieringa, R. J., 19 Jun 2017, Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-17-05)

Research output: Book/ReportReportAcademic

Open Access
File
literacy
literature
73 Downloads (Pure)

Customer and cost sharing in a Jackson network

Timmer, J. B. & Scheinhardt, W. R. W., 30 Mar 2017, Enschede: University of Twente, Department of Applied Mathematics. 10 p. (Memorandum / Department of Applied Mathematics; no. 2060)

Research output: Book/ReportReportOther research output

File
73 Downloads (Pure)

Green Wave Analysis in a Tandem of Traffic-Light Intersections

Oblakova, A., Al Hanbali, A., Boucherie, R. J. & van Ommeren, J. C. W., 1 Aug 2017, University of Twente, Department of Applied Mathematics. 11 p. (TW-Memoranda; no. 2062)

Research output: Book/ReportReportOther research output

Open Access
File
Intersection
Traffic
Network Optimization
Pollution
Driver
58 Downloads (Pure)

Numerical Bifurcation Analysis of Double +1 Multiplier in Z3-Symmetric Maps

Mazrooei-Sebdani, R., Eskandari, Z. & Meijer, H. G. E., Feb 2017, Enschede: University of Twente, Department of Applied Mathematics. 14 p. (Memorandum / Department of Applied Mathematics; no. 2058)

Research output: Book/ReportReportOther research output

File
3 Citations (Scopus)
40 Downloads (Pure)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 10 Mar 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-17-02)

Research output: Book/ReportReportOther research output

File
150 Downloads (Pure)

Telepresence Robots in Daily Life - Technical Report

van Delden, R. W. & Bruijnes, M., Mar 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT technical report series; no. 17-03)

Research output: Book/ReportReportOther research output

Open Access
File
66 Downloads (Pure)

VerifyThis 2017: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Mostowski, W. & Ulbrich, M., 2017, Karlsruhe: Karlsruhe Institute of Technology. (Karlsruhe Reports in Informatics; no. 2017-10)

Research output: Book/ReportReportProfessional

Open Access
File
Sweden
event
software
60 Downloads (Pure)

Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R. & Torenvlied, R., 2017, University of Twente. 96 p.

Research output: Book/ReportReportProfessional

Open Access
File
2016
45 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
46 Downloads (Pure)

Anycast Latency: How Many Sites Are Enough?

de Oliveira Schmidt, R., Heidemann, J. & Kuipers, J. H., May 2016, Los Angeles, CA, USA: University of Southern California. 13 p. (Information Sciences Institute technical report; no. ISI-TR-2016-708)

Research output: Book/ReportReportOther research output

File
19 Citations (Scopus)
24 Downloads (Pure)

Anycast vs. DDoS: Evaluating the November 2015 Root DNS Event

Moreira Moura, G., de Oliveira Schmidt, R., Heidemann, J., de Vries, W. B., Müller, M., Wei, L. & Hesselman, C. E. W., May 2016, Los Angeles-CA, USA: University of Southern California. 15 p. (Information Sciences Institute technical report; no. ISI-TR-2016-709b)

Research output: Book/ReportReportOther research output

File
11 Downloads (Pure)

Appendix to Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models

Kurtin, P. S. & Bekooij, M. J. G., 2 Sep 2016, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-16-10)

Research output: Book/ReportReportProfessional

Open Access
File
81 Downloads (Pure)

A two-echelon spare parts network with lateral and emergency shipments: A product-form approximation

Boucherie, R. J., van Houtum, G-J., Timmer, J. B. & van Ommeren, J. C. W., 26 Jan 2016, Enschede: University of Twente, Department of Applied Mathematics. 26 p. (Memorandum; no. 2053)

Research output: Book/ReportReportOther research output

File
478 Downloads (Pure)

Battery Aging and the Kinetic Battery Model

Jongerden, M. R. & Haverkort, B. R. H. M., Nov 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT technical report; no. TR-CTIT-2016-11)

Research output: Book/ReportReportOther research output

File
65 Downloads (Pure)

Beyond Movie Recommendations: Solving the Continuous Cold Start Problem in E-commerce Recommendations

Kiseleva, J., Tuzhilin, A., Kamps, J., Bernardi, L., Davis, C., Kovacek, I., Einarsen, M. S. & Hiemstra, D., Jul 2016, Ithaca, NY, USA: Cornell University. 11 p.

Research output: Book/ReportReportAcademic

File
29 Downloads (Pure)

Big Data Masterclass and DataCamp 2015

Daas, P., Braaksma, B., Aly, R., Engelhardt, Y., Hiemstra, D. & Zurita-Milla, R., 2016, Den Haag: Centraal Bureau voor de Statistiek. 36 p.

Research output: Book/ReportReportOther research output

Open Access
66 Downloads (Pure)

Centrality rewarding Shapley and Myerson values for undirected graph games

Khmelnitskaya, A. B., van der Laan, G. & Talman, D., Sep 2016, Enschede: University of Twente, Department of Applied Mathematics. 27 p. (Memorandum / Department of Applied Mathematics; no. 2057)

Research output: Book/ReportReportOther research output

File
63 Downloads (Pure)

Conditions for rank reversal in supplier selection

Telgen, J. & Timmer, J. B., Aug 2016, Enschede: University of Twente, Department of Applied Mathematics. 18 p. (Memoranda; no. 2055)

Research output: Book/ReportReportOther research output

File
94 Downloads (Pure)

Dynamic Resource Allocation

ter Braak, T. D., Smit, G. J. M. & Holzenspies, P. K. F., 29 Feb 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 45 p.

Research output: Book/ReportReportProfessional

File
6 Citations (Scopus)
81 Downloads (Pure)

Efficiency of equilibria in uniform matroid congestion games

de Jong, J., Klimm, M. & Uetz, M. J., 22 Feb 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. TR-CTIT-16-04)

Research output: Book/ReportReportOther research output

File
44 Downloads (Pure)

Efficient Web Harvesting Strategies for Monitoring Deep Web Content

Khelghati, M., Hiemstra, D. & van Keulen, M., 15 May 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 9 p. (CTIT Technical Report Series; no. TR-CTIT-16-05)

Research output: Book/ReportReportAcademic

File
40 Downloads (Pure)

Evidence combination for incremental decision-making processes

Berrada, G., van Keulen, M. & de Keijzer, A., Jan 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 43 p. (CTIT technical report; no. CTIT-TR-16-01)

Research output: Book/ReportReportProfessional

File
79 Downloads (Pure)

Exact expected delay and distribution for the fixed-cycle traffic-light model and similar systems in explicit form

Oblakova, A., Al Hanbali, A., Boucherie, R. J., van Ommeren, J. C. W. & Zijm, W. H. M., Sep 2016, Enschede: University of Twente, Department of Applied Mathematics. 34 p. (Memorandum; no. 2056)

Research output: Book/ReportReportOther research output

File
59 Downloads (Pure)

Generalization of binomial coefficients to numbers on the nodes of graphs

Khmelnitskaya, A. B., van der Laan, G. & Talman, D., Feb 2016, Enschede: University of Twente, Department of Applied Mathematics. 25 p. (Memorandum; no. 2054)

Research output: Book/ReportReportOther research output

File
138 Downloads (Pure)

Ghost in the PLC: stealth on-the-fly manipulation of programmable logic controllers’ I/O

Abbasi, A., 8 Feb 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 13 p. (CTIT Technical Report Series; no. TR-CTIT-16-02)

Research output: Book/ReportReportProfessional

File
82 Downloads (Pure)

Integrated resource planning in maintenance logistics with spare parts emergency shipment and service engineers backlogging

Rahimi-Ghahroodi, S., Al Hanbali, A., Zijm, W. H. M., van Ommeren, J. C. W. & Sleptchenko, A., Jul 2016, BETA. 45 p. (BETA working paper series; vol. 511)

Research output: Book/ReportReportOther research output

Open Access
File
47 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 15 Apr 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReportProfessional

File
29 Downloads (Pure)

Near Vertical Incidence Skywave propagation measurements duplicated in Spain and The Netherlands

Witvliet, B. A., 10 Mar 2016, Enschede, The Netherlands: University of Twente. 11 p.

Research output: Book/ReportReportAcademic

File
Netherlands
Spain
circular polarization
incidence
propagation
16 Downloads (Pure)

Resource Selection for Federated Search on the Web

Nguyen, D-P., Demeester, T., Trieschnigg, R. B. & Hiemstra, D., Sep 2016, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. TR-CTIT-16-12)

Research output: Book/ReportReportProfessional

File
46 Downloads (Pure)

Stochastic Online Scheduling on Unrelated Machines

Gupta, V., Moseley, B., Uetz, M. J. & Xie, Q., Nov 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT technical report; no. TR-CTIT-16-13)

Research output: Book/ReportReportOther research output

File
26 Downloads (Pure)

Technical Report on Raster field test at a Water Board

Vriezekolk, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-16-06)

Research output: Book/ReportReportProfessional

File
41 Downloads (Pure)

VerifyThis 2016: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P. & Poll, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-16-07)

Research output: Book/ReportReportProfessional

File
2015
19 Downloads (Pure)

A comparison of random walks in dependent random environments

Scheinhardt, W. R. W. & Kroese, D., 16 Jan 2015, Enschede: University of Twente, Department of Applied Mathematics. 20 p. (Memorandum of the Department of Applied Mathematics; no. 2041)

Research output: Book/ReportReportOther research output

65 Downloads (Pure)

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., 30 Dec 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: Book/ReportReportProfessional

File