Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
2018
14 Downloads (Pure)

A pseudoparabolic reaction-diffusion-mechanics system: Modeling, analysis and simulation

Vromans, A. J., 6 May 2018, Karlstad: Karlstad University. 119 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
2013

Realistic analysis for algorithmic problems on geographical data

Driemel, A., 2013, Utrecht: Utrecht University. 217 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Computational geometry
Rain
Data structures
Water
2012

Attacks on hash functions and applications

Stevens, M. M. J., 2012, Leiden: Universiteit Leiden. 248 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Prefix
Attack
Certification
Authority
Names
2011

Space and time efficient structural improvement of dynamic programming algorithms

Nederlof, J., 2011, Bergen: Universitetet i Bergen. 205 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

2010

An M-estimator of multivariate tail dependence

Krajina, A., 2010, Tilburg: Universiteit van Tilburg. 99 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Tail Dependence
M-estimator
Dependence Function
Estimator
Dependence Structure
1 Downloads (Pure)

Gibbs and non-Gibbs aspects of continuous spin models

Ruszel, W. M., 2010, Groningen: Rijksuniversiteit Groningen.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Spin Models
Gibbs Measure
Rotor
Conditional probability
Phase Transition
32 Downloads (Pure)

Some convergence results on stable infinite moving average processes and stable self-similar processes

Can, S. U., 2010, Ithaca: Cornell university. 104 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Self-similar Processes
Moving Average Process
Stable Process
Convergence Results
Periodogram
2009
1 Downloads (Pure)

Bubbles in inkjet printheads : analytical and numerical models

Jeurissen, R. J. M., 2009, Enschede: Universiteit Twente. 155 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

bubbles
entrainment
nozzles
air
inks
3 Downloads (Pure)

Coalgebraic modelling: Applications in automata theory and modal logic

Hansen, H. H., 2009, Amsterdam: Vrije Universiteit Amsterdam. 194 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Automata Theory
Modal Logic
Specification
Transducer
Coalgebra
39 Downloads (Pure)

Obstacle-avoiding similarity metrics and shortest-path problems

Cook IV, A. F., 2009, San Antonio: University of Texas at San Antonio. 120 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Needles
Tissue
Biopsy
Medical imaging
Wavefronts

Tailoring of feedback in web-based learning systems : certitude-based assessment with online multiple choice questions

Vasilyeva, E., 2009, Jyväskylä: University of Jyväskylä. 460 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

learning
personalization
student
quantification
functionality
2008

Décomposition et visualisation de graphes : applications aux données biologiques

Bourqui, R. Y., 2008, Bourdeaux: Université Bourdeaux I. 151 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Visualization
Genes
Decomposition
Proteins
Metabolic Networks and Pathways

Maßwertige Lösungen für ein Gleichungssystem zur Beschreibung von Phasenübergängen in Kristallen

Arnrich, S., 2008, Leipzig: Universität Leipzig. 171 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

49 Downloads (Pure)

Measure-valued differentiation for finite products of measures : theory and applications

Leahu, H., 2008, Amsterdam: Vrije Universiteit Amsterdam.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Measure Theory
Probability Measure
Perturbation Analysis
Stochastic Systems
Derivative
56 Downloads (Pure)

Mechanisms for photonic switching in systems with strongly interacting dipoles

Klugkist, J. A., 2008, Groningen: Rijksuniversiteit Groningen. 214 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Gangs
Mate
Huns
Leiden
Water
4 Downloads (Pure)

Multirate numerical integration for ordinary differential equations

Savcenco, V., 2008, Amsterdam: Universiteit van Amsterdam. 152 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Numerical integration
Ordinary differential equation
Order Reduction
Refinement
Rosenbrock Methods

On the control of queueing networks and the asymptotic variance rate of outputs

Nazarathy, J., 2008, Haifa: University of Haifa. 132 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Queueing Networks
Asymptotic Variance
Queue
Output
Harris Recurrence
100 Downloads (Pure)

Sandpile models : the infinite volume model, Zhang's model and limiting shapes

Fey - den Boer, A. C., 2008, Amsterdam: Vrije Universiteit Amsterdam. 137 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Self-organized Criticality

Studies in frequent tree mining

Knijf, De, J., 2008, Utrecht: Utrecht University. 169 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Data mining
Set theory
Semantics

Sums of correlated exponentials: two types of Gaussian correlation structures

Klymovskiy, A., 2008, Berlin: TU Berlin. 169 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Correlation Structure
Energy Model
Free Energy
External Field
Thermodynamic Limit
2007

Active learning and adaptive sampling for non-parametric inference

Castro, R. M., 2007, Houston: Rice University. 202 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Sampling
Problem-Based Learning
Feedback
Wavelet analysis
Information use

Adaptive vector finite element methods for the Maxwell equations

Harutyunyan, D., 2007, Enschede: Twente University. 194 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Maxwell equation
finite element method
electromagnetic radiation
theses

An analytic approach to electromagnetic scattering problems

Brok, J. M., 2007, Delft: Technische Universiteit Delft. 119 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

A requirements engineering methodology for trust, security, and privacy

Zannone, N., 2007, Trento: University of Trento.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Requirements engineering
Software engineering
Modeling languages

Data-driven goodness-of-fit tests

Langovoy, M., 2007, Göttingen: Georg-August Universität zu Göttingen. 88 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Flexible heterogeneous software systems

Jong, de, H. A., 2007, Amsterdam: Universiteit van Amsterdam. 176 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Software
World Wide Web
Huns
77 Downloads (Pure)

Kundt spacetimes in general relativity and supergravity

Fuster, A., 2007, Amsterdam: Vrije Universiteit Amsterdam. 124 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
General Relativity
Albert Einstein
Space-time
Immanuel Kant
Huns
64 Downloads (Pure)

Looking good, behaving well : behavioural verification and visualisation of formal models of concurrent systems

Westergaard, M., 2007, Aarhus: University of Aarhus. 171 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Visualization
Specifications
Data storage equipment
Blueprints
Communication

On the data mapping problem

Fletcher, G. H. L., 2007, Bloomington: Indiana University Press. 144 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

artificial intelligence
data management
information system
world

Organizing point sets : space-filling curves, Delaunay tessellations of random point sets, and flow complexes

Buchin, K., 2007, Berlin: Freie Universität Berlin. 127 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Space-filling Curves
Tessellation
Delaunay
Random Sets
Point Sets

Patterns of safe collaboration

Spiessens, A. O. D., 2007, Louvain: Katholieke Universiteit Leuven. 301 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Logic programming
Reusability
Semantics
3 Downloads (Pure)

Primitives and applications for multi-party computation

Toft, T., 2007, Aarhus: Aarhus University. 142 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Service systems with balking based on queueing time

Liu, L. Q., 2007, Chapel Hill: University of North Carolina. 95 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Balking
Queueing
Queue
Fluid Model
Laplace-Stieltjes Transform
2006

A moving-boundary problem : modeling, analysis and simulation of concrete carbonation

Muntean, A., 2006, Göttingen: Cuvillier Verlag. 147 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Rare events and stability for random walks and stochastic communication systems

Shneer, V., 2006, Heriot-Watt University. 138 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

2005

Analysis and transformation of source code by parsing and rewriting

Vinju, J. J., 2005, Amsterdam: Universiteit van Amsterdam.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

31 Downloads (Pure)

Contributions to the theory of piecewise deterministic Markov processes and applications to generalized age processes and storage models

Lopker, A. H., 2005, Osnabrück: Universität Osnabrück. 114 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
1 Downloads (Pure)

Convergence of lattice trees to super-Brownian motion above the critical dimension

Holmes, M. P., 2005, University of British Columbia. 172 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

154 Downloads (Pure)

Feature extraction for supervised learning in knowledge discovery systems

Pechenizkiy, M., 2005, Jyväskylä: Jyväskylän Yliopisto. 86 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File

Kriging metamodeling for simulation

Beers, van, W. C. M., 2005, Tilburg: Universiteit vanTilburg. 105 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Interpolation
Management science
Operations research
Design of experiments
Experiments

Markov chains and decision processes for congestion avoidance and power control

Prabhu, B. J., 2005, Nice Sophia Antipolis: Université de Nice Sophia Antipolis.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Non-tidy spaces and graph colorings

Csorba, P., 2005, Zürich: ETH Zürich.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

2004

On distributed verification and verified distribution

Orzan, S. M., 2004, Amsterdam: Vrije Universiteit Amsterdam.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access

The power of knowledge : ethical, legal, and technological aspects of data mining and group profiling in epidemiology

Custers, B. H. M., 2004, Nijmegen: Wolf Legal Publishers. 295 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Data Mining
Epidemiology
Profiling
Huns
2003
36 Downloads (Pure)

Algorithms for flow time scheduling

Bansal, N., 2003, Pittsburgh: Carnegie Mellon University. 80 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
Servers
Scheduling
Scheduling algorithms
Computer systems
Computer operating systems
29 Downloads (Pure)

Axiomatization and deduction rules for the frequency of itemsets

Calders, T. G. K., 2003, Antwerpen: Universiteit van Antwerpen. 164 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File

Electronic payment systems and money laundering : Risks and countermeasures in the post-internet hype era

Schudelaro, A. A. P., 2003, Nijmegen: Wolf Legal Publishers. 411 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
2 Downloads (Pure)

Full scan testing of handshake circuits

Beest, te, F., 2003, Enschede: Twente University. 157 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

theses
2002

Automated support for framework-based software evolution

Tourwé, T., 2002, Brussel: Vrije Universiteit Brussel. 225 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Constructive and intuitionistic integration theory and functional analysis

Spitters, B. A. W., 2002, Nijmegen: Radboud Universiteit Nijmegen. 127 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Functional Analysis
Representation Theorem
Hilbert space
Constructive Mathematics
Spectral Theorem