Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
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)

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)

Open Access
2001

Aspetti statici e dinamici delle transizione di fase : alcuni modelli e metodologie

Nardi, F. R., 2001, Roma: Università di Tor Vergata.

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

56 Downloads (Pure)

Random and deterministic spin models with glassy behavior

Giardinà, C., 2001, Bologna: Università de Bologna. 142 p.

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

Open Access
File

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)

Contraction
Graph
Linear Logic
Calculi
Structural Rules
138 Downloads (Pure)

Towards flexible and scalable distributed monitoring with mobile agents

Liotta, A., 2001, London: University College London. 260 p.

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

Open Access
File
Mobile agents
Managers
Monitoring
Cloning
Scalability

Wavelet-based X-ray volume rendering

Westenberg, M. A., 2001, Groningen: Rijksuniversiteit Groningen. 114 p.

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

Pulse generation in semiconductor lasers

Dubbeldam, J. L. A., 2000, Amsterdam: Vrije Universiteit Amsterdam. 114 p.

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

Qualitative properties of numerical solutions of the heat conduction equation

Horváth, R., 2000, Eötvös Loránd University.

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

1999

Short term analysis of economic growth models with environmental issues

Vellinga, N., 1999, Tilburg: Tilburg University Press. 296 p.

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

1997
35 Downloads (Pure)

Eine Invarianzeigenschaft Brownscher Bewegung und Transformationen der Feynman-Kac Formel

Wittich, O., 1997, Göttingen: Universität Göttingen. 36 p.

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

Open Access
File

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)

1996

Bounds for statistical estimation in semiparametric models

Heuvel, van den, E. R., 1996, Amsterdam: Universiteit van Amsterdam. 127 p.

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

1995

Transformation and analysis of (constraint) logic programs

Etalle, S., 1995, Amsterdam: Universiteit van Amsterdam. 199 p.

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

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)

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)

1992

Macroscopische eigenschappen van stochastische wandelingen in stochastische omgeving

Redig, F. H. J., 1992, Antwerpen: UIA Antwerpen. 120 p.

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

1991

Adjustment processes for exchange economies and noncooperative games

Elzen, van den, A. H., 1991, Tilburg: Katholieke Universiteit Brabant. 152 p.

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

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)

PSF : a process specification formalism

Mauw, S., 1991, Amsterdam: Universiteit van Amsterdam. 198 p.

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

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)

The 2-primary component of the tame kernel of quadratic number fields

Boldy, M. C., 1991, Nijmegen: Radboud Universiteit Nijmegen. 133 p.

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

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)

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)

Syntax and semantics of VVSL : a language for structured VDM specifications

Middelburg, C. A., 1990, Amsterdam: Universiteit van Amsterdam. 395 p.

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

1989

A language for modelling knowledge bases : based on linguistics, founded in logic

Dignum, F. P. M., 1989, Amsterdam: Vrije Universiteit Amsterdam. 283 p.

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

linguistics
language

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)

superconducting magnets
systems engineering
coils
vacuum
theses
1988

Computer aided routing

Savelsbergh, M. W. P., 1988, Amsterdam: Centrum voor Wiskunde en Informatica. 125 p.

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

Convergence analysis of nonlinear multigrid methods

Reusken, A. A., 1988, Utrecht: Utrecht University. 119 p.

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

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)

42 Downloads (Pure)

Bias in international index numbers : a mathematical elucidation

IJzeren, van, J., 1987, S.l.: s.n.. 93 p.

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

Open Access
File

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)

excitation
crystals

Surjective pairing and strong normalization : two themes in lambda calculus

Vrijer, de, R. C., 1987, Delft: Eburon. 129 p.

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

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)

muons
photons
1985

Almost invariant subspaces and high gain feedback

Trentelman, H. L., 1985, Groningen: Rijksuniversiteit Groningen. 239 p.

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

Meromorphic linear difference equations

Praagman, C., 1985, Groningen: Rijksuniversiteit Groningen. 176 p.

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

Linear Difference Equation
Meromorphic

Random walks on random lattices

Hollander, den, W. T. F., 1985, Leiden: Rijksuniversiteit Leiden. 139 p.

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

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)

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)

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)

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)

1983

Bloch electron scattering in dilute K and Cu alloys

Molenaar, J., 1983, Amsterdam: Vrije Universiteit Amsterdam. 154 p.

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

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)

Nonlinear multivariable control : a differential geometric approach

Nijmeijer, H., 1983, Groningen: Rijksuniversiteit Groningen. 130 p.

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

On renewal theory, Banach algebras and functions of bounded increase

Frenk, J. B. G., 1983, Amsterdam: Stichting Mathematisch Centrum. 187 p.

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

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)

molecular rotation
trucks
bosons
vibration

Impulse approximation versus elementary particle method : radiative muon capture in 3He and pion-3He-3H coupling

Klieb, L., 1982, Groningen: Rijksuniversiteit Groningen. 139 p.

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

1981

Lambda-conversion and logic

Rezus, A., 1981, Utrecht: Utrecht University. 197 p.

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