Department of Mathematics and Computer Science

Research Output

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2009

Extremal combinatorics in generalized Kneser graphs

Mussche, T. J. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 163 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
348 Downloads (Pure)

Hele-Shaw and Stokes flow with a source or sink : stability of spherical solutions

Vondenhoff, E., 2009, Eindhoven: Technische Universiteit Eindhoven. 194 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
174 Downloads (Pure)

Improved verification methods for concurrent systems

Ploeger, S. C. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 158 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
95 Downloads (Pure)

Lie algebras, extremal elements, and geometries

Panhuis, in 't, J. C. H. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 160 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
85 Downloads (Pure)

Mathematical aspects of thermoacoustics

Panhuis, in 't, P. H. M. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 190 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
949 Downloads (Pure)

MIP-based approaches for complex planning problems

Broek, van den, J. J. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 116 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
227 Downloads (Pure)

Operating guidelines for services

Massuthe, P., 2009, Eindhoven: Technische Universiteit Eindhoven. 266 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
570 Downloads (Pure)

Partial fields in matroid theory

Zwam, van, S. H. M., 2009, Eindhoven: Technische Universiteit Eindhoven. 195 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
220 Downloads (Pure)

Security matters : privacy in voting and fairness in digital exchange

Jonker, H. L., 2009, Eindhoven: Technische Universiteit Eindhoven. 175 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
89 Downloads (Pure)

Service substitution : a behavioral approach based on Petri Nets

Stahl, C., 2009, Eindhoven: Technische Universiteit Eindhoven. 289 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
165 Downloads (Pure)

Skeletonization and segmentation of binary voxel shapes

Reniers, D., 2009, Eindhoven: Technische Universiteit Eindhoven. 153 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
268 Downloads (Pure)

Sojourn time tails in processor-sharing systems

Egorova, R. R., 2009, Eindhoven: Technische Universiteit Eindhoven. 173 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
86 Downloads (Pure)

Statistical procedures for certification of software systems

Corro Ramos, I., 2009, Eindhoven: Technische Universiteit Eindhoven. 195 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
86 Downloads (Pure)

Visualization of graphs and trees for software analysis

Holten, D. H. R., 2009, Eindhoven: Technische Universiteit Eindhoven. 155 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
424 Downloads (Pure)

What you see is what you feel : on the simulation of touch in graphical user interfaces

Mensvoort, van, K. M., 2009, Eindhoven: Technische Universiteit Eindhoven. 149 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
524 Downloads (Pure)
2008

3D interaction with scientific data : an experimental and perceptual approach

Qi, W., 2008, Eindhoven: Technische Universiteit Eindhoven. 206 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
450 Downloads (Pure)

A lace-expansion analysis of random spatial models

Heydenreich, M. O., 2008, Eindhoven: Technische Universiteit Eindhoven. 123 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
51 Downloads (Pure)

Algorithms for fat objects : decompositions and applications

Gray, C. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 111 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
56 Downloads (Pure)

A theoretical and experimental study of geometric networks

Farshi, M., 2008, Eindhoven: Technische Universiteit Eindhoven. 158 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
57 Downloads (Pure)

Condition numbers in the boundary element method : shape and solvability

Dijkstra, W., 2008, Eindhoven: Technische Universiteit Eindhoven. 173 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
70 Downloads (Pure)

Crack propagation on highly heterogeneous composite materials

Patrício Dias, M. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 136 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
87 Downloads (Pure)

Curves and Jacobians : number extractors and efficient arithmetic

Rezaeian Farashahi, R., 2008, Eindhoven: Technische Universiteit Eindhoven. 140 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
121 Downloads (Pure)

Design and performance analysis of data-independent stream processing systems

Mak, R. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 269 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
90 Downloads (Pure)

Drawing graphs for cartographic applications

Mumford, E., 2008, Eindhoven: Technische Universiteit Eindhoven. 128 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
65 Downloads (Pure)

Effective process times for aggregate modeling of manufacturing systems

Kock, A. A. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 111 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1332 Downloads (Pure)

False discovery rate procedures for high-dimensional data

Kim, K. I., 2008, Eindhoven: Technische Universiteit Eindhoven. 97 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
376 Downloads (Pure)

Formal methods in support of SMC design

Bortnik, E., 2008, Eindhoven: Technische Universiteit Eindhoven. 183 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
129 Downloads (Pure)

Model-based integration and testing of high-tech multi-disciplinary systems

Braspenning, N. C. W. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 136 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
265 Downloads (Pure)

Online gathering algorithms for wireless networks

Korteweg, P., 2008, Eindhoven: Technische Universiteit Eindhoven. 111 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
46 Downloads (Pure)

Partial localisation in a variational model for diblock copolymer-homopolymer blends

Gennip, van, Y., 2008, Eindhoven: Technische Universiteit Eindhoven. 198 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
61 Downloads (Pure)

Process algebras for hybrid systems : comparison and development

Khadim, U., 2008, Eindhoven: Technische Universiteit Eindhoven. 369 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
115 Downloads (Pure)

Randomized approximation algorithms : facility location, phylogenetic networks, Nash equilibria

Byrka, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 126 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
114 Downloads (Pure)

Real and stochastic time in process algebras for performance evaluation

Markovski, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 203 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
94 Downloads (Pure)

Redundancy reduction of IC models : by multirate time-integration and model order reduction

Verhoeven, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 152 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
294 Downloads (Pure)

Scalable block processing algorithms

Horst, van der, M. G., 2008, Eindhoven: Technische Universiteit Eindhoven. 274 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
138 Downloads (Pure)

Secure and fair two-party computation

Kiraz, M. S., 2008, Eindhoven: Technische Universiteit Eindhoven. 117 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
203 Downloads (Pure)

Termination of rewriting and its certification

Koprowski, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 186 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
145 Downloads (Pure)

Tree algorithms : two taxonomies and a toolkit

Cleophas, L. G. W. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 294 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
570 Downloads (Pure)

Visualization of state transition graphs

Pretorius, A. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 155 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
331 Downloads (Pure)
2007

Acoustically perturbed Bunsen flames : modelling, analytical investigations and numerical simulations

Bondar, M. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 135 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
62 Downloads (Pure)

Airfilm cooling through laser drilled holes

Sizov, M. A., 2007, Eindhoven: Technische Universiteit Eindhoven. 122 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
344 Downloads (Pure)

Application of local defect correction to a passive tracer in a turbulent channel flow

Hoogh, de, J., 2007, Eindhoven: Technische Universiteit Eindhoven. 106 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
79 Downloads (Pure)

Assessing and improving the quality of modeling : a series of empirical studies about the UML

Lange, C. F. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 181 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
724 Downloads (Pure)

Cryptanalysis of RSA variants using small roots of polynomials

Jochemsz, E., 2007, Eindhoven: Technische Universiteit Eindhoven. 131 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
596 Downloads (Pure)

Design and analysis of provably secure pseudorandom generators

Sidorenko, A., 2007, Eindhoven: Technische Universiteit Eindhoven. 108 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
163 Downloads (Pure)

From Lie algebras to geometry and back

Postma, E. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 167 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
255 Downloads (Pure)

High-power cryocooling

Willems, D. W. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 177 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1177 Downloads (Pure)

Incorporating cognitive/learning styles in a general-purpose adaptive hypermedia system

Stash, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 207 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
304 Downloads (Pure)

Laminar burning velocities of methane-hydrogen-air mixtures

Hermanns, R. T. E., 2007, Eindhoven: Technische Universiteit Eindhoven. 144 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
2303 Downloads (Pure)

Logical calculi for reasoning with binding

Mathijssen, A. H. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 140 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
94 Downloads (Pure)