974 zoekresultaten voor “deterministic polynomial time algorithm” in de Publieke website
-
Algorithms for finite rings
Promotores: H.W. Lenstra, K. Belabas (University of Bordeaux)
-
Isogeny graphs, modular polynomials, and applications
This thesis has three main parts. The first part gives an algorithm to compute Hilbert modular polynomials for ordinary abelian varieties with maximal real multiplication. Hilbert modular polynomials of a given level b give a way of finding all of the abelian varieties that are b-isogeneous to any given…
-
Deterministic equation solving over finite fields
Promotor: H.W. Lenstra
-
Stochastic and Deterministic Algorithms for Continuous Black-Box Optimization
Continuous optimization is never easy: the exact solution is always a luxury demand and the theory of it is not always analytical and elegant.
-
Piecewise deterministic Markov processes: an analytic approach
Promotor: S.M. Verduyn Lunel, Co-Promotores: S.C.Hille, O.W. van Gaans
-
On continued fraction algorithms
Promotor: Robert Tijdeman, Co-promotor: Cornelis Kraaikamp
-
Accountable Artificial Intelligence: Holding Algorithms to Account
Artificial intelligence algorithms govern in subtle, yet fundamental ways, the way we live and are transforming our societies. The promise of efficient, low‐cost or ‘neutral’ solutions harnessing the potential of big data has led public bodies to adopt algorithmic systems in the provision of public…
-
Algorithms for the description of molecular sequences
Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros
-
Algorithms and Software Technology
Het Algorithms and Software Technology (AST) onderzoeksprogramma voert onderzoek uit op het gebied van algoritme-ontwerp en analyse.
-
Network flow algorithms for discrete tomography
Promotor: R. Tijdeman, Co-promotor: H.J.J. te Riele
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
Novel detectors and algorithms for electron nano-crystallography
Promotor: Prof.dr. J.P. Abrahams, Prof.dr. M. van Heel
-
Real-time tomographic reconstruction
With tomography it is possible to reconstruct the interior of an object without destroying.
-
Latency, Energy, and Schedulability of Real-Time Embedded Systems
Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.
-
Multi-objective mixed-integer evolutionary algorithms for building spatial design
Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.
-
Complex multiplication of abelian surfaces
Promotor: Peter Stevenhagen
-
Algorithms help improve building design
Modern optimization algorithms offer solutions for architectural decisions like spatial, structural and energy efficiency. A young computer scientist from Leiden University co-authored a paper that won the Best Paper Award at a leading conference in Krakow during the summer.
-
Methods and Tools for Mining Multivariate Time Series
Mining time series is a machine learning subfield that focuses on a particular data structure, where variables are measured over (short or long) periods of time.
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
Regulating Working Conditions in Times of Globalization
Op 28 juni 2018 verdedigde Qiuyin Hu zijn proefschrift 'Regulating Working Conditions in Times of Globalization'. Het promotieonderzoek is begeleid door promotoren prof.dr. G.J.J. Heerma van Voss en prof. dr. B. Barentsen.
-
Real-time foresight: preparedness for dynamic innovation networks
Promotor: H.J. van den Herik, B.R. Katzy, Co-promotor: K. Sailer
-
Central banking in difficult times
Nout Wellink sprak over de rol van de centrale bank in het huidige roerige financiële klimaat. Daarbij gaat hij ook in op de gewijzigde kapitaaleisen die voor banken gelden.
-
Metabolomic characteristics of Catharanthus roseus plants in time and space
Promotor: R. Verpoorte, Co-promotores: Y.H.Choi, N.R. Mustafa
-
Modular curves, Arakelov theory, algorithmic applications
Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong
-
Large Time Behaviour of Neutral Delay Systems
Promotor: S.M. Verduyn Lunel
-
Expansions of quantum group invariants
In my research, we developed a method to distinguish knots. A knot is a mathematical depiction of the everyday knot that occurs in ropes and cords.
-
The holographic glass bead game: from superconductivity to time machines
Promotores: Prof.dr. J. Zaanen, Prof.dr. K.E. Schalm
-
Drug-target residence time: a case for the adenosine A1 and A2A receptors
Promotor: A.P.IJzerman, Co-Promotor: L.H. Heitman
-
Resolving the building blocks of galaxies in space and time
We investigate the buildup of galaxies from various vantage points. The first two chapters focus on the stellar content of galaxies, especially the distribution of stellar masses at birth and potential variations therein in various galactic environments.
-
Time Domain Imaging of Transient and Variable Radio Sources
This thesis focuses on the study of transient and variable radio sources in the universe.
-
Leidse studenten winnen Benelux Algorithm Programming Contest 2014
Team Syntax Error, met Bas Nieuwenhuizen, Mathijs van de Nes, Niels ten Dijke, alle drie masterstudenten Computer Science, heeft de Benelux Algorithm Programming Contest gewonnen en heeft zich daarmee geplaatst voor de Northwestern European Regional Contest in Zweden, op 29 en 30 november.
-
Securing the integrity of financial markets in times of crisis
Het Hazelhoff Centre for Financial Law onderzoeksprogramma voor 2020-20203 draait om de integriteit van financiële markten in tijden van crisis en de mogelijke manieren om deze integriteit te bewerkstelligen.
-
Improved hard real-time scheduling and transformations for embedded Streaming Applications
This thesis addresses the problem of designing performance and energy efficient embedded streaming systems, that is, systems which process a stream of input data coming from the environment and generate a stream of output data going into the environment.
-
Dynamic real-time substrate feed optimization of anaerobic co-digestion plants
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M. Bongards (Cologne University)
-
Benelux Algorithm Programming Contest 2010
De Benelux Algorithm Programming Contest 2010 (een van de voorronden van de ACM International Collegiate Programming Contest) vindt a.s. zaterdag 23 oktober plaats in studentencentrum Plexus te Leiden. Deze programmeerwedstrijd wordt georganiseerd door de Leidsche Flesch, de studievereniging van Informatica/Wiskunde/Natuurkunde/Sterrenkunde…
-
Leids team wint Benelux Algorithm Programming Contest 2013
Het Leidse team 'Geen Syntax', bestaande uit Bas Nieuwenhuizen, Mathijs van de Nes en Raymond van Bommel, heeft in Utrecht de Benelux Algorithm Programming Contest (BAPC) 2013 gewonnen.
-
Distance-based analysis of dynamical systems and time series by optimal transport
Promotor: S.M. Verduyn Lunel
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe
-
SAPPAO - Optimizing the flight times of airplanes using data science
Met het SAPPAO-project willen we de voorspelling van geplande vluchten nauwkeuriger en betrouwbaarder maken. De volledige naam van het project is ‘A Systems Approach towards Data Mining and Prediction in Airlines Operations’.
-
DNA expressions - A formal notation for DNA
Promotores: J.N. Kok, H.J. Hoogeboom
-
On the amount of sieving in factorization methods
Promotoren: R. Tijdeman, A.K. Lenstra, Co-promotor: H.J.J. te Riele
-
Links between cohomology and arithmetic
Promotor: S.J. Edixhoven
-
Stochastic and Deterministic Algorithms for Continuous Black-Box Optimization
Promotie
-
On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Promoter: Ed F. Deprettere, Co-promoter: Todor P. Stefanov
-
Counting problems for number rings
Promotor: H.W. Lenstra
-
Team ‘Geen Syntax’ van Universiteit Leiden wint Benelux Algorithm Programming Contest 2013
Het Leidse team 'Geen Syntax', bestaande uit Bas Nieuwenhuizen, Mathijs van de Nes en Raymond van Bommel, heeft in Utrecht de Benelux Algorithm Programming Contest (BAPC) 2013 gewonnen. Deze Leidse studenten wiskunde en informatica losten de 10 opgaven een uur sneller op dan alle andere teams.
-
The distribution of stellar mass in galaxy clusters over cosmic time
Promotor: Prof.dr. K.H. Kuijken, Co-Promotor: H.Hoekstra
-
Mechanistic modelling of drug target binding kinetics as determinant of the time course of drug action in vivo
Drug-target binding kinetics determine the time course of the central event in pharmacotherapy: Drug-target interaction.
- Travelling through time with words: A history of the English language
-
A time-space translation mechanism for patterning the vertebrate anteroposterior axis
My PhD project studies how the temporally sequential Hox gene expression is regulated during head-tail patterning of the frog embryo.