Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Conference article
2018

Component-wise Supervisory Controller Synthesis in a Client/Server Architecture

Loose, R., Sanden, B. V. D., Reniers, M. & Schiffelers, R., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 7, p. 381-387 7 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Servers
Controllers
Flexible manufacturing systems
Lithography
Scalability

Dealing with artifact-centric systems: a process mining approach

Li, G. & de Carvalho, R. M., 1 Jan 2018, In : CEUR Workshop Proceedings. 2097, p. 80-84 5 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Industry
Enterprise resource planning
Modeling languages
1 Citations

Evidence extraction from parameterised Boolean equation systems

Wesselink, W. & Willemse, T. A. C., 1 Jan 2018, In : CEUR Workshop Proceedings. 2095, p. 86-100 15 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Model checking
Feedback
Hardware

Mean-field limits for multi-hop random-access networks

Cecchi, F., van de Ven, P. M. & Shneer, S., 20 Mar 2018, In : ACM SIGMETRICS Performance Evaluation Review. 45, 3, p. 109-122 14 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Linear networks
Initial value problems
Parallel algorithms
Wireless networks
Throughput

Model order reduction for managed pressure drilling systems based on a model with local nonlinearities

Naderilordejani, S., Besselink, B., Abbasi, M. H., Kaasa, G. O., Schilders, W. H. A. & van de Wouw, N., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 8, p. 50-55 6 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Drilling
Hydraulic models
Control systems
Pressure control
Feedback

Multi-perspective process mining

Mannhardt, F., 1 Jan 2018, In : CEUR Workshop Proceedings. 2196, p. 41-45 5 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Flow control

Reduced-order greedy controllability of finite dimensional linear systems

Fabrini, G., Iapichino, L. & Volkwein, S., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 2, p. 296-301 6 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Controllability
Linear systems
Partial differential equations
Dynamical systems
Costs

Spatial mean-field limits for ultra-dense random-access networks

Cecchi, F., Borst, S. C., van Leeuwaarden, J. S. H. & Whiting, P. A., 20 Mar 2018, In : ACM SIGMETRICS Performance Evaluation Review. 45, 3, p. 123-136 14 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Wireless networks
Carrier sense multiple access
Medium access control
Chemical activation
Throughput

The performance spectrum miner: visual analytics for fine-grained performance analysis of processes

Denisov, V., Belkina, E., Fahland, D. & van der Aalst, W. M. P., 1 Jan 2018, In : CEUR Workshop Proceedings. 2196, p. 96-100 5 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Miners

Towards D-optimal input design for finite-sample system identification

Kolumbán, S. & Csáji, B. C., 8 Oct 2018, In : IFAC-PapersOnLine. 51, 15, p. 215-220 6 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Linear regression
Statistical methods
Identification (control systems)
Experiments

Understanding IoT systems: a life cycle approach

Rahman, L. F., Ozcelebi, T. & Lukkien, J., 1 Jan 2018, In : Procedia Computer Science. 130, p. 1057-1062 6 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Life cycle
Internet of things
Network architecture
2017
1 Citations

Analysing the performance of GPU hash tables for state space exploration

Cassee, N. & Wijs, A., 22 Dec 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 263, p. 1-15 15 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Model checking
Directed graphs
Graphics processing unit
Experiments

Tell the student: evidence-based advantages of prerequisites (discussion paper)

Cameranesi, M., Diamantini, C., Genga, L. & Potena, D., 1 Jan 2017, In : CEUR Workshop Proceedings. 2037, 8 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Students
Automation
2016

Intra-component resource sharing on a virtual multiprocessor platform

Afshar, S., Khalilzad, N., Behnam, M., Bril, R. J. & Nolte, T., Jun 2016, In : ACM SIGBED Review. 13, 3, p. 31-32 2 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Software engineering
Electric power utilization
Scheduling
Hardware
Network protocols
16 Citations

Universality of power-of-d load balancing schemes

Mukherjee, D., Borst, S., Van Leeuwaarden, J. & Whiting, P., Sep 2016, In : ACM SIGMETRICS Performance Evaluation Review. 44, 2, p. 36-38 3 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Resource allocation
Fluids
Servers
2011

A numerical shape optimisation method for blowing glass bottles

Groot, J. A. W. M., Giannopapa, C. G. & Mattheij, R. M. M., 1 Dec 2011, In : American Society of Mechanical Engineers, Pressure Vessels and Piping Division (Publication) PVP. 4, p. 497-506 10 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Glass bottles
Shape optimization
Blow molding
Glass
Containers
3 Citations

Bridging recommendation and adaptation: generic adaptation framework - Twittomender compliance case-study

Hannon, J., Knutov, E., de Bra, P., Pechenizkiy, M., McCarthy, K. & Smyth, B., 1 Dec 2011, In : CEUR Workshop Proceedings. 823, p. 1-9 9 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Recommender systems
Hypermedia systems
Information fusion
Compliance
Chemical analysis
2009
10 Citations

20 years of IOI competition tasks

Verhoeff, T., 1 Jan 2009, In : Olympiads in Informatics. 3, p. 149-166 18 p.

Research output: Contribution to journalConference articleAcademicpeer-review

History
2006

Modeling an impact control strategy using HyPA

Cuijpers, P. J. L. & Reniers, M. A., 1 Dec 2006, In : IFAC Proceedings Volumes. 39, 5, p. 56-63 8 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Algebra
System theory
Mountings

Supporting the BPM life-cycle with FileNet

Netjes, M., Reijers, H. A. & van der Aalst, W. M. P., 1 Dec 2006, In : CEUR Workshop Proceedings. 364, p. 135-146 12 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Life cycle
Industry
Interoperability
Phase control