Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Working paper
2019
6 Downloads (Pure)

Localized model reduction for parameterized problems

Buhr, A., Iapichino, L., Ohlberger, M., Rave, S., Schindler, F. & Smetana, K., Jan 2019, (Submitted).

Research output: Working paperProfessional

File
Model Reduction
Model Order Reduction
Reduction Method
Optimal Approximation
Approximation Space

Long term observation of Magnetospirillum gryphiswaldense in a microfluidic channel

Hageman, T. A. G., Pichel, M. P., Löthman, P. A., Cho, J., Choi, M., Korkmaz, N., Manz, A. & Abelmann, L., 21 Feb 2019, 1902.08033v1 ed., 7 p. (Arxiv.org).

Research output: Working paperProfessional

bacterium
magnetic field
parameter
3 Downloads (Pure)

Parametric analyses of attack-fault trees

André, É., Lime, D., Ramparison, M. & Stoelinga, M., 12 Feb 2019.

Research output: Working paperProfessional

File
2018
1 Downloads (Pure)

A Distributed Routing Algorithm for Internet-wide Geocast

Meijerink, B., Baratchi, M. & Heijenk, G., 4 May 2018.

Research output: Working paperProfessional

Open Access
File
Routing algorithms
Parallel algorithms
Internet
Routers
photonics
cavities
propagation
bandwidth
optical resonators
32 Downloads (Pure)

Emergency supply contracts for a service provider with limited local resources

Rahimi Ghahroodi, S., Al Hanbali, A., Zijm, W. H. M. & Timmer, J., 24 Jan 2018, (Submitted).

Research output: Working paperProfessional

File
Engineers
Repair
Costs
Uncertainty
8 Downloads (Pure)

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms

Stanley-Marbell, P., Alaghi, A., Carbin, M., Darulova, E., Dolecek, L., Gerstlauer, A., Gillani, S. G. A., Jevdjic, D., Moreau, T., Cacciotti, M., Daglis, A., Jerger, N. E., Falsafi, B., Misailovic, S., Sampson, A. & Zufferey, D., 2018, (Submitted) ArXiv, 35 p.

Research output: Working paperProfessional

File
Terminology
Computer programming languages
Networks (circuits)
Computer architecture
Computer operating systems
2 Downloads (Pure)

SciSports: Learning football kinematics through two-dimensional tracking data

Babic, A., Bansal, H., Finocchio, G., Golak, J., Peletier, M., Portegies, J., Stegehuis, C., Tyagi, A., Vincze, R. & Yoo, W. W., 14 Aug 2018.

Research output: Working paperProfessional

Open Access
File
Kinematics
Trajectories
Discriminators
Kalman filters
Industry
Health Monitoring
Error Estimation
Condensation
Exponential Convergence
Approximation Error

Uniform line fillings

Marakis, E., Velsink, M. C., Corbijn van Willenswaard, L. J., Uppu, R. & Pinkse, P. W. H., 5 Dec 2018.

Research output: Working paperProfessional

Open Access
fabrication
rectangles
paradoxes
balls
profiles
2017
35 Downloads (Pure)
File
Unmanned aerial vehicles (UAV)
Antennas
Propellers
Hand tools
Controllers
31 Downloads (Pure)

Greed Works - Online Algorithms For Unrelated Machine Stochastic Scheduling

Gupta, V., Moseley, B., Uetz, M. & Xie, Q., 29 Nov 2017, arXiv.org, 27 p.

Research output: Working paperOther research output

Open Access
File
Scheduling
Processing
Convex optimization
Linear programming
7 Downloads (Pure)

Kinetics of 2D constrained orbitally-shaken particles

Ipparthi, D., Hageman, T. A. G., Cambier, N., Sitti, M., Dorigo, M., Abelmann, L. & Mastrangeli, M., 28 Sep 2017.

Research output: Working paperProfessional

File
kinetics
actuation
random walk
diffusivity
self assembly
38 Downloads (Pure)

Risk Estimators for Choosing Regularization Parameters in Ill-Posed Problems - Properties and Limitations

Lucka, F., Proksch, K., Brune, C., Bissantz, N., Burger, M., Dette, H. & Wübbeling, F., 18 Jan 2017, (Submitted) arXiv.org, p. 1-38.

Research output: Working paperProfessional

File
Estimator
Regularization
Image processing
Robustness
Discrepancy
33 Downloads (Pure)

Spaceprint: a Mobility-based Fingerprinting Scheme for Public Spaces

Baratchi, M., Heijenk, G. & van Steen, M., 29 Mar 2017, arXiv.org, 9 p.

Research output: Working paperProfessional

Open Access
File
Semantics
Uncertainty
8 Downloads (Pure)

The Quality of Equilibria for Set Packing Games

Jong, J. D. & Uetz, M., 29 Sep 2017, arXiv.org.

Research output: Working paperOther research output

Open Access
File
Nash equilibrium
Equilibrium solution
Price of anarchy
Collusion
Total quality
2016
2 Citations (Scopus)
9 Downloads (Pure)

Menthor Editor

Moreira, J. L., Sales, T. P., Guerson, J., Braga, B. F. B., Brasileiro, F. & Sobral, V., 1 Sep 2016, 5 p.

Research output: Working paperProfessional

Open Access
File
Ontology
Demonstrations
2015
4 Downloads (Pure)
Open Access
File
Model checking
Wavefronts
Bandwidth
Petri nets
Data storage equipment
28 Downloads (Pure)

Interactive Illustrative Line Styles and Line Style Transfer Functions for Flow Visualization

Everts, M. H., Bekker, H., Roerdink, J. B. T. M. & Isenberg, T., 19 Mar 2015.

Research output: Working paperProfessional

Open Access
File
Flow visualization
Transfer functions
Visualization
Strip telecommunication lines
Flow fields
2010
10 Downloads (Pure)

Confluence Reduction for Probabilistic Systems (extended version)

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File
2008
4 Downloads (Pure)

Math Fights Flooding

Besseling, N., Bokhove, O., Kolechkina, A., Molenaar, J., van Nooyen, R., Rottschäfer, V., Stein, A. & Stoorvogel, A., 2008, Enschede: University of Twente, 15 p.

Research output: Working paperProfessional

Open Access
File
flooding
rainfall
agriculture
climate change
effect
2006
1 Downloads (Pure)

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

Research output: Working paperOther research output

File
Syntactics
Semantics
Specifications
Testing
Costs
2004
8 Downloads (Pure)

Contactloos overzetten van microcomponenten

Meijer, J., Aug 2004, Den Haag: SenterNovem, 4 p.

Research output: Working paperProfessional

Open Access
File

Reversed Phase LC Separations of a 4 Coumarin Dyes Mixture in Under 50 Milliseconds in a d=200 Nanometre Thin Channel

Clicq, D., Gardeniers, H., van den Berg, A., Baron, G. & Desmet, G., 8 Feb 2004, Salzburg, Austria.

Research output: Working paperOther research output

2003
27 Downloads (Pure)
File
5 Downloads (Pure)

Modeling of geometric compliant contacts for grasping applications

Stramigioli, S., Duindam, V. & Visser, M., 2003, 26 p.

Research output: Working paperProfessional

File
2002
9 Downloads (Pure)

Computer Animation for Articulated 3D Characters

Kiss, S., Oct 2002, p. -, 23 p.

Research output: Working paperProfessional

Open Access
File
27 Downloads (Pure)

On the minimal travel time needed to collect n items on a circle

Litvak, N. & van Zwet, W. R., 1 Nov 2002, Eindhoven: EURANDOM, 20 p. (EURANDUM; no. 037).

Research output: Working paperProfessional

Open Access
File
2001

Chipdesign is fun!

Nauta, B., 13 Mar 2001, p. -.

Research output: Working paperProfessional

2000
4 Downloads (Pure)

A compositional Translation of Stochastic Automata into Timed Automata

d' Argenio, P. R., May 2000, p. -, 32 p.

Research output: Working paperProfessional

File
16 Downloads (Pure)

Process- and agent-based modelling techniques for dialogue systems and virtual environments

van Schooten, B. W., Mar 2000, p. -, 59 p.

Research output: Working paperProfessional

File
2 Downloads (Pure)

Randomised Mutual Search

Hoepman, J. H., 10 Aug 2000, Enschede: University of Twente, 14 p.

Research output: Working paperProfessional

Open Access
File
1999
14 Downloads (Pure)

Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems

van Schooten, B. W., Feb 1999, 61 p.

Research output: Working paperProfessional

File
Semiotics
Human computer interaction
Virtual reality
Redundancy
Communication
7 Downloads (Pure)

Dialogues with a Talking face for Web-based Services and Transactions

Hulstijn, J., Nijholt, A., Hondorp, H., van den Berk, M. & van Hessen, A., Mar 1999, 10 p.

Research output: Working paperProfessional

File
Theaters
Navigation
Speech synthesis
Virtual reality
Websites
4 Downloads (Pure)

Long-lives Test-And-Set Using

Hoepman, J., 10 Sep 1999, Enschede: University of Twente, 19 p.

Research output: Working paperProfessional

Open Access
File
Data storage equipment
6 Downloads (Pure)

MESH Release 2 implementation at CTIT

Diakov, N. K., van Sinderen, M. J. & Koprinkov, G. T., Apr 1999, p. -, 15 p.

Research output: Working paperProfessional

Open Access
File
33 Downloads (Pure)

Mobile IP: Security & application

Tuquerres, G., Salvador, M. R. & Sprenkels, R., 1999, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT).

Research output: Working paperProfessional

File

Ontwerpen op de vierkante millimeter

Nauta, B., 30 Mar 1999, p. -.

Research output: Working paperProfessional

6 Downloads (Pure)

TINA Components used for Service Subscription and Deployment

Diakov, N. K., Bakker, J-L., van Sinderen, M. J. & Batteram, H. J., Dec 1999, p. -, 12 p.

Research output: Working paperProfessional

Open Access
File
16 Downloads (Pure)

Weak Bisimulation for Fully Probabilistic Processes

Baier, C. & Hermanns, H., Jun 1999, p. -, 61 p.

Research output: Working paperProfessional

File
1998
5 Downloads (Pure)
File
Semantics
Concurrency control
Computer programming languages
Data storage equipment
14 Downloads (Pure)

Management of networks that provide QoS guarantees

Sprenkels, R., van der Waaij, B., van Beijnum, B-J. & Pras, A., 1998, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT).

Research output: Working paperProfessional

Open Access
File
Asynchronous transfer mode
Automatic teller machines
Quality of service

Microfabricated sensor-arrays for use in medical microTAS (micro Total Analysis System)

Kruijver, J. M., Bohm, S., Olthuis, W. & Bergveld, P., 23 Jun 1998, Enschede.

Research output: Working paperOther research output

1997
4 Downloads (Pure)

Multimedia databases in education

Hiddink, G. W., 26 May 1997, Enschede: University of Twente.

Research output: Working paperProfessional

File
5 Downloads (Pure)

Transformational Design of Digital Systems based on Graph Rewriting

Huijs, C., 1997, University of Twente, 7 p.

Research output: Working paperProfessional

Open Access
File
1990

A versatile CMOS linear voltage to current convertor

Kruiskamp, W., 14 Aug 1990, Enschede: Universiteit Twente.

Research output: Working paperOther research output