Department of Mathematics and Computer Science

Research Output

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

Advanced reduction techniques for model checking

Keiren, J. J. A., 2013, Eindhoven: Technische Universiteit Eindhoven. 195 p.

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

Open Access
File
211 Downloads (Pure)

Co-evolution of the Eclipse framework and its third-party plug-ins

Businge, J., 2013, Eindhoven: Technische Universiteit Eindhoven. 215 p.

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

Open Access
File
424 Downloads (Pure)

Composition and synchronization of real-time components upon one processor

Heuvel, van den, M. M. H. P., 2013, Eindhoven: Technische Universiteit Eindhoven. 297 p.

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

Open Access
File
208 Downloads (Pure)

Computational inference and control of quality in multimedia services

Menkovski, V., 2013, Eindhoven: Technische Universiteit Eindhoven. 160 p.

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

Open Access
File
474 Downloads (Pure)

Constitutive modeling of concentrated solutions of main-chain liquid crystalline polymers

Matveichuk, O., 2013, Eindhoven: Technische Universiteit Eindhoven. 142 p.

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

Open Access
File
205 Downloads (Pure)

Kinetic data structures in the black-box model

Roeloffzen, M. J. M., 2013, Eindhoven: Technische Universiteit Eindhoven. 107 p.

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

Open Access
File
56 Downloads (Pure)

Looking through the cutoff window

Lancia, C., 2013, Eindhoven: Technische Universiteit Eindhoven. 193 p.

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

Open Access
File
387 Downloads (Pure)

Microscopic interpretation of Wasserstein gradient flows

Renger, D. R. M., 2013, Eindhoven: Technische Universiteit Eindhoven. 163 p.

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

Open Access
File
246 Downloads (Pure)

Multiscale reaction-diffusion systems describing concrete corrosion : modeling and analysis

Fatima, T., 2013, Eindhoven: Technische Universiteit Eindhoven. 174 p.

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

Open Access
File
1156 Downloads (Pure)

Non-backtracking lace expansion : the NoBLE project

Fitzner, R. J., 2013, Eindhoven: Technische Universiteit Eindhoven. 304 p.

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

Open Access
File
84 Downloads (Pure)

Non-parametric inference and tracking for Poisson processes

Andrade Serra, De, P. J., 2013, Eindhoven: Technische Universiteit Eindhoven. 165 p.

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

Open Access
File
317 Downloads (Pure)

Pattern mining in data streams

Hoang, T. L., 2013, Eindhoven: Technische Universiteit Eindhoven. 194 p.

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

Open Access
File
508 Downloads (Pure)

Platonic maps of low genus

Hendriks, M., 2013, Eindhoven: Technische Universiteit Eindhoven. 251 p.

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

Open Access
File
475 Downloads (Pure)

Pushing and pulling : computing push plans for disk-shaped robots, and dynamic labelings for moving points

Gerrits, D. H. P., 2013, Eindhoven: Technische Universiteit Eindhoven. 123 p.

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

Open Access
File
258 Downloads (Pure)

Queue-based random access in wireless networks

Bouman, N., 2013, Eindhoven: Technische Universiteit Eindhoven. 166 p.

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

Open Access
File
1525 Downloads (Pure)

Refinement of communication and states in models of embedded systems

Beohar, H., 2013, Eindhoven: Technische Universiteit Eindhoven. 165 p.

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

Open Access
File
121 Downloads (Pure)

Resource-aware business process management : analysis and support

Nakatumba, J., 2013, Eindhoven: Technische Universiteit Eindhoven. 282 p.

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

Open Access
File
944 Downloads (Pure)

Spin models on random graphs

Dommers, S., 2013, Eindhoven: Technische Universiteit Eindhoven. 134 p.

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

Open Access
File
91 Downloads (Pure)

Studies in ambient intelligent lighting

Sekulovski, D., 2013, Eindhoven: Technische Universiteit Eindhoven. 148 p.

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

Open Access
File
1913 Downloads (Pure)

Studies on the discretization of plasma transport equations

Liu, L., 2013, Eindhoven: Technische Universiteit Eindhoven. 138 p.

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

Open Access
File
624 Downloads (Pure)

The high-dimensional incipient infinite cluster

Hulshof, W. J. T., 2013, Eindhoven: Technische Universiteit Eindhoven. 283 p.

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

Open Access
File
72 Downloads (Pure)

Tropical varieties, maps and gossip

Frenk, B. J., 2013, Eindhoven: Technische Universiteit Eindhoven. 155 p.

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

Open Access
File
219 Downloads (Pure)
2012

Acoustic liner - mean flow interaction

Darau, M., 2012, Eindhoven: Technische Universiteit Eindhoven. 144 p.

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

Open Access
File
342 Downloads (Pure)

Algorithms for cartographic visualization

Verbeek, K. A. B., 2012, Eindhoven: Technische Universiteit Eindhoven. 172 p.

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

Open Access
File
284 Downloads (Pure)

Assessing and improving the quality of model transformations

Amstel, van, M. F., 2012, Eindhoven: Technische Universiteit Eindhoven. 221 p.

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

Open Access
File
578 Downloads (Pure)

Brauer algebras of non-simply laced type

Liu, S., 2012, Eindhoven: Technische Universiteit Eindhoven. 119 p.

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

Open Access
File
78 Downloads (Pure)

Bridging formal models : an engineering perspective

Stappers, F. P. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 298 p.

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

Open Access
File
218 Downloads (Pure)

Buildings and Kneser graphs

Güven, Ç., 2012, Eindhoven: Technische Universiteit Eindhoven. 146 p.

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

Open Access
File
228 Downloads (Pure)

Codes, arrangements, matroids, and their polynomial links

Jurrius, R. P. M. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 148 p.

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

Open Access
File
118 Downloads (Pure)

Design of large scale applications of secure multiparty computation : secure linear programming

Hoogh, de, S. J. A., 2012, Eindhoven: Technische Universiteit Eindhoven. 219 p.

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

Open Access
File
955 Downloads (Pure)

Dynamic capillarity in porous media : mathematical analysis

Fan, Y., 2012, Eindhoven: Technische Universiteit Eindhoven. 142 p.

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

Open Access
File
85 Downloads (Pure)

Efficient simulation of flow and heat transfer in arbitrarily shaped pipes

Rosen Esquivel, P. I., 2012, Eindhoven: Technische Universiteit Eindhoven. 202 p.

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

Open Access
File
268 Downloads (Pure)

Formal development of control software in the medical systems domain

Osaiweran, A. A. H., 2012, Eindhoven: Technische Universiteit Eindhoven. 172 p.

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

Open Access
File
185 Downloads (Pure)

From napkin sketches to reliable software

Engelen, L. J. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 179 p.

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

Open Access
File
132 Downloads (Pure)

Generic adaptation framework for unifying adaptive web-based systems

Knutov, E., 2012, Eindhoven: Technische Universiteit Eindhoven. 191 p.

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

Open Access
File
418 Downloads (Pure)

Handling abrupt changes in evolving time-series data

Bakker, J., 2012, Eindhoven: Technische Universiteit Eindhoven. 134 p.

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

Open Access
File
200 Downloads (Pure)

Information flow and declassification analysis for legacy and untrusted programs

Pontes Soares Rocha, B., 2012, Eindhoven: Technische Universiteit Eindhoven. 155 p.

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

Open Access
File
423 Downloads (Pure)

Model driven design and data integration in semantic web information systems

Sluijs, van der, K. A. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 186 p.

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

Open Access
File
1036 Downloads (Pure)

Model order reduction for coupled systems using low-rank approximations

Lutowska, A., 2012, Eindhoven: Technische Universiteit Eindhoven. 166 p.

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

Open Access
File
123 Downloads (Pure)

Multi-resource management in embedded real-time systems

Holenderski, M. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 175 p.

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

Open Access
File
86 Downloads (Pure)

Optimal geometric data structures

Khosravi Dehkordi, A., 2012, Eindhoven: Technische Universiteit Eindhoven. 96 p.

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

Open Access
File
98 Downloads (Pure)

Parallel cryptanalysis

Niederhagen, R. F., 2012, Eindhoven: Technische Universiteit Eindhoven. 110 p.

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

Open Access
File
299 Downloads (Pure)

Pooling and polling : creation of pooling in inventory and queueing models

Wijk, van, A. C. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 256 p.

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

Open Access
File
108 Downloads (Pure)

Posterior contraction for conditionally Gaussian priors

Jonge, de, R., 2012, Eindhoven: Technische Universiteit Eindhoven. 109 p.

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

Open Access
File
180 Downloads (Pure)

Process mining in the large : preprocessing, discovery, and diagnostics

Jagadeesh Chandra Bose, R. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 372 p.

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

Open Access
File
4540 Downloads (Pure)

Propeller efficiency at full scale : measurement system and mathematical model design

Muntean, T. V., 2012, Eindhoven: Technische Universiteit Eindhoven. 207 p.

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

File
2908 Downloads (Pure)

Protecting information in systems of systems

Trivellato, D., 2012, Eindhoven: Technische Universiteit Eindhoven. 151 p.

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

Open Access
File
390 Downloads (Pure)

Reachability problems in scheduling and planning

Eggermont, C. E. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 136 p.

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

Open Access
File
84 Downloads (Pure)

Simulating unsteady conduit flows with smoothed particle hydrodynamics

Hou, Q., 2012, Eindhoven: Technische Universiteit Eindhoven. 206 p.

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

Open Access
File
851 Downloads (Pure)

Towards a generic distributed adaptive hypermedia environment

Smits, D., 2012, Eindhoven: Technische Universiteit Eindhoven.

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

Open Access
File
316 Downloads (Pure)