Department of Mathematics and Computer Science

Research Output

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

Mixed finite element for swelling of cartilaginous tissues

Malakpoor, K., 2007, Eindhoven: Technische Universiteit Eindhoven. 133 p.

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

Open Access
File
206 Downloads (Pure)

Multifunctional geometric data structures

Streppel, M. W. A., 2007, Eindhoven: Technische Universiteit Eindhoven. 132 p.

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

Open Access
File
56 Downloads (Pure)

New data structures and algorithms for mobile data

Abam, M. A., 2007, Eindhoven: Technische Universiteit Eindhoven. 116 p.

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

Open Access
File
165 Downloads (Pure)

Performance analysis of manufacturing systems : queueing approximations and algorithms

Vuuren, van, M., 2007, Eindhoven: Technische Universiteit Eindhoven. 144 p.

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

Open Access
File
1813 Downloads (Pure)

Polling, production & priorities

Winands, E. M. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 132 p.

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

Open Access
File
147 Downloads (Pure)

Process mining and verification

Dongen, van, B. F., 2007, Eindhoven: Technische Universiteit Eindhoven. 268 p.

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

Open Access
File
661 Downloads (Pure)

QoS framework for video streaming in home networks

Jarnikov, D., 2007, Eindhoven: Technische Universiteit Eindhoven. 176 p.

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

Open Access
File
322 Downloads (Pure)

Sensitivity analysis for grating reconstruction

Aa, van der, N. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 138 p.

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

Open Access
File
388 Downloads (Pure)

Silent steps in transition systems and Markov chains

Trcka, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 271 p.

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

Open Access
File
94 Downloads (Pure)

Software evolution visualization

Voinea, S. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 173 p.

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

Open Access
File
734 Downloads (Pure)

Specification of application logic in web information systems

Barna, P., 2007, Eindhoven: Technische Universiteit Eindhoven. 187 p.

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

Open Access
File
174 Downloads (Pure)

Verification of soundness and other properties of business processes

Oanea, O. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 160 p.

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

Open Access
File
60 Downloads (Pure)
2006

Constructive formal methods and protocol standardization

Mooij, A. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 133 p.

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

Open Access
File
53 Downloads (Pure)

Formalising interface specifications

Gool, van, L. C. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 309 p.

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

Open Access
File
98 Downloads (Pure)

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 p.

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

Open Access
File
93 Downloads (Pure)

Local defect correction for time-dependent problems

Minero, R., 2006, Eindhoven: Technische Universiteit Eindhoven. 128 p.

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

Open Access
File
51 Downloads (Pure)

Scyther : semantics and verification of security protocols

Cremers, C. J. F., 2006, Eindhoven: Technische Universiteit Eindhoven. 121 p.

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

Open Access
File
2089 Downloads (Pure)

Separation and adaptation of concerns in a shared data space

Russello, G., 2006, Eindhoven: Technische Universiteit Eindhoven. 157 p.

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

Open Access
File
91 Downloads (Pure)

Towards hybrid molecular simulations

Markvoort, A. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 168 p.

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

Open Access
File
138 Downloads (Pure)
2005

Acoustic techniques for temperature and flow velocity measurements

Mao, X., 2005, Eindhoven: Technische Universiteit Eindhoven. 163 p.

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

Open Access
File
679 Downloads (Pure)

A model-driven approach for building distributed ontology-based web applications

Vdovják, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 170 p.

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

Open Access
File
122 Downloads (Pure)

Analysis of eddy currents in a gradient coil

Kroot, J. M. B., 2005, Eindhoven: Technische Universiteit Eindhoven. 166 p.

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

Open Access
File
274 Downloads (Pure)

BMW algebras of simply laced type

Gijsbers, D. A. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 155 p.

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

Open Access
File
37 Downloads (Pure)

Can plantar pressure predict foot motion?

Hagman, F., 2005, Eindhoven: Technische Universiteit Eindhoven. 270 p.

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

Open Access
File
1006 Downloads (Pure)

Coalgebraic analysis of probabilistic systems

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 201 p.

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

Open Access
File
142 Downloads (Pure)

Computer-algebraic methods for the construction of designs of experiments

Nguyen Van Minh, M., 2005, Eindhoven: Technische Universiteit Eindhoven. 147 p.

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

Open Access
File
85 Downloads (Pure)

Decision procedures for equality logic with uninterpreted functions

Tveretina, O., 2005, Eindhoven: Technische Universiteit Eindhoven. 157 p.

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

Open Access
File
205 Downloads (Pure)

Evolution of finite populations in dynamic environments

Liekens, A. M. L., 2005, Eindhoven: Technische Universiteit Eindhoven. 176 p.

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

Open Access
File
151 Downloads (Pure)

Flow front instabilities in an injection moulding process

Gramberg, H. J. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 117 p.

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

Open Access
File
457 Downloads (Pure)

Hypermedia presentation generation for semantic web information systems

Frasincar, F., 2005, Eindhoven: Technische Universiteit Eindhoven. 167 p.

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

Open Access
File
98 Downloads (Pure)

Interactive visualization of large graphs

Ham, van, F. J. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 189 p.

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

Open Access
File
463 Downloads (Pure)

Mathematical modelling of wet paper pressing

Bežanovic, D., 2005, Eindhoven: Technische Universiteit Eindhoven. 148 p.

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

Open Access
File
102 Downloads (Pure)

Numerical simulation of pulse-tube refrigerators

Lyulina, I. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 126 p.

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

Open Access
File
294 Downloads (Pure)

Perceptual organization in image analysis : a mathematical approach based on scale, orientation and curvature

Duits, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 243 p.

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

Open Access
File
342 Downloads (Pure)

Queues with state-dependent rates

Bekker, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 190 p.

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

Open Access
File
2099 Downloads (Pure)

Resource management in in-home digital networks using Dantzig-Wolfe decomposition

Boef, den, E., 2005, Eindhoven: Technische Universiteit Eindhoven. 141 p.

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

Open Access
File
39 Downloads (Pure)

Robust and efficient Krylov subspace methods for Model Order Reduction

Heres, P. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 172 p.

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

Open Access
File
225 Downloads (Pure)

Scenario-based system architecting : a systematic approach to developing future-proof system architectures

Ionita, M. T., 2005, Eindhoven: Technische Universiteit Eindhoven. 225 p.

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

Open Access
File
724 Downloads (Pure)

Specification and analysis of Internet applications

Beek, van, H. M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 264 p.

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

Open Access
File
109 Downloads (Pure)

Structuring structural operational semantics

Mousavi, M. R., 2005, Eindhoven: Technische Universiteit Eindhoven. 218 p.

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

Open Access
File
272 Downloads (Pure)

The grazing bifurcation and chaos control

Weger, de, J. G., 2005, Eindhoven: Technische Universiteit Eindhoven. 163 p.

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

Open Access
File
747 Downloads (Pure)

Verifiable secret sharing and applications

Nikov, V. S., 2005, Eindhoven: Technische Universiteit Eindhoven. 197 p.

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

Open Access
File
73 Downloads (Pure)
2004

Complexity and approximation in routing and scheduling

Sitters, R. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 87 p.

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

Open Access
File
152 Downloads (Pure)

Component-based software design with Petri nets : an approach based on inheritance of behavior

Toorn, van der, R. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 313 p.

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

Open Access
File
173 Downloads (Pure)

Control and selection techniques for the automated testing of reactive systems

Goga, N., 2004, Eindhoven: Technische Universiteit Eindhoven. 173 p.

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

Open Access
File
109 Downloads (Pure)

Data synchronization and browsing for home environments

Qian, Y., 2004, Eindhoven: Technische Universiteit Eindhoven. 208 p.

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

Open Access
File
429 Downloads (Pure)

Design of a scalable parametric audio coder

Myburg, F. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 178 p.

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

Open Access
File
116 Downloads (Pure)

Finite antenna arrays : an eigencurrent approach

Bekers, D. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 268 p.

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

Open Access
File
479 Downloads (Pure)

Hybrid process algebra

Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 276 p.

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

Open Access
File
187 Downloads (Pure)

Incomplete proofs and terms and their use in interactive theorem proving

Jojgov, G. I., 2004, Eindhoven: Technische Universiteit Eindhoven. 167 p.

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

Open Access
File
72 Downloads (Pure)