Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Report
2019
4 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
14 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
8 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
5 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
20 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
31 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

72 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
20 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
27 Downloads (Pure)
Open Access
File
Partially Observable Markov Decision Process
Breast Cancer
Optimal Value Function
Tumor
Mammography
2017
256 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
72 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
48 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
180 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
67 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
64 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
57 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
125 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
63 Downloads (Pure)

VerifyThis 2017: A Program Verification Competition

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

Research output: Book/ReportReportProfessional

Open Access
File
Sweden
event
software
56 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
44 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
43 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
17 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
74 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
441 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
64 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
59 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
61 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
83 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)
74 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
41 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
39 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
74 Downloads (Pure)
File
55 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
130 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
80 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
46 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
27 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
38 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
25 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
15 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

63 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