Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
2018

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)Academic

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)Academic

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)Academic

Prefix
Attack
Certification
Authority
Software
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)Academic

Tail Dependence
M-estimator
Dependence Function
Estimator
Dependence Structure

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)Academic

Open Access
File
Self-similar Processes
Moving Average Process
Stable Process
Convergence Results
Periodogram
2009

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)Academic

Automata Theory
Modal Logic
Specification
Transducer
Coalgebra

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)Academic

learning
personalization
student
quantification
functionality
2008

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)Academic

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)Academic

Open Access
File
Measure Theory
Probability Measure
Perturbation Analysis
Stochastic Systems
Derivative

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)Academic

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)Academic

Data mining
Set theory
Semantics
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)Academic

Sampling
Problem-Based Learning
Feedback
Wavelet analysis
Information use

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)Academic

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)Academic

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)Academic

Open Access
File
Albert Einstein
General Relativity
Space-time
Immanuel Kant
Huns

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)Academic

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)Academic

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)Academic

Space-filling Curves
Tessellation
Delaunay
Random Sets
Point Sets

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)Academic

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)Academic

2005

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)Academic

Open Access
File

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)Academic

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)Academic

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)Academic

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)Academic

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)Academic

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)Academic

Data Mining
Epidemiology
Profiling
Huns
2003

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)Academic

Open Access
File
Servers
Scheduling
Scheduling algorithms
Computer systems
Computer operating systems

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)Academic

Open Access
2002

On the number field sieve integer factorisation algorithm

Cavallar, S., 2002, Leiden: Universiteit Leiden. 106 p.

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

Probabilistic extensions of semantical models

Hartog, den, J. I., 2002, Amsterdam: Vrije Universiteit Amsterdam. 304 p.

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

Open Access
2001

Sequents and link graphs : contraction criteria for refinements of multiplicative linear logic

Puite, G. W. Q., 2001, Utrecht: Utrecht University. 248 p.

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

Contraction
Graph
Linear Logic
Calculi
Structural Rules
1997

Golden-Ten and related trajectory games

Vos, de, J. C., 1997, Tilburg: Katholieke Universiteit Brabant. 164 p.

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

1994

Modelling, design and analysis of digital circuits using CIRCAL

Bailey, A. M., 1994, Strathclyde: University of Strathclyde. 195 p.

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

1993

Logics and type systems

Geuvers, J. H., 1993, Nijmegen: Radboud Universiteit Nijmegen. 209 p.

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

1991

Dynamic feedback in nonlinear synthesis problems

Huijberts, H. J. C., 1991, Enschede: Universiteit Twente. 187 p.

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

Reasoning about dynamically evolving process structures : a proof theory for the parallel object-oriented language POOL

Boer, de, F. S., 1991, Amsterdam: Vrije Universiteit Amsterdam. 270 p.

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

1990

Case studies in process specification and verification

Mulder, J. C., 1990, Amsterdam: Universiteit van Amsterdam. 194 p.

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

Preconditioned conjugate gradients and mixed-hybrid finite elements for the solution of potential flow problems

Kaasschieter, E. F., 1990, Delft: Technische Universiteit Delft. 151 p.

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

Singular perturbations in (dynamic) free boundary problems and hyperbolic problems

Hassel, van, R. R., 1990, Utrecht: Utrecht University. 108 p.

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

1989

Surface cooled, vacuum impregnated superconducting magnet systems : design, construction, applications

Dam, J. A. M. & Pieterman, K., 1989, Delft: Technische Universiteit Delft. 272 p.

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

superconducting magnets
systems engineering
coils
vacuum
theses
1987

Asymptotic analysis of a class of perturbed Korteweg-de Vries initial value problems

Kerf, de, F., 1987, Utrecht: Utrecht University. 180 p.

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

Non-linear excitations in modulated crystals

Slot, J. J. M., 1987, Nijmegen: Radboud Universiteit Nijmegen. 137 p.

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

excitation
crystals

Two-photon and radiative production of muon pairs

Luit, E. J., 1987, Amsterdam: Universiteit van Amsterdam. 145 p.

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

muons
photons
1985

Studies in soliton behaviour

Schuur, P. C., 1985, Utrecht: Utrecht University. 209 p.

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

1984

Contributions to the theory of the Ising model

Rijpkema, J. J. M., 1984, Nijmegen: Radboud Universiteit Nijmegen. 111 p.

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

Left-right symmetry in nuclear beta decay

Venema, W. Z., 1984, Groningen: Rijksuniversiteit Groningen. 92 p.

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

Stability analysis of finite difference methods for fourth order parabolic partial differential equations

Maten, ter, E. J. W., 1984, Utrecht: Utrecht University. 248 p.

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

1983

Integer valued polynomials in algebraic number theory

Zantema, H., 1983, Amsterdam: Universiteit van Amsterdam. 119 p.

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

1982

Algebraic descriptions of nuclear and molecular rotation-vibration spectra : mean field techniques and interacting boson models

Roosmalen, van, O. S., 1982, Groningen: Rijksuniversiteit Groningen. 133 p.

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

molecular rotation
trucks
bosons
vibration