96 zoekresultaten voor “symbolic computation” in de Publieke website
-
Advances in computational methods for Quantum Field Theory calculations
In this work we describe three methods to improve the performance of Quantum Field Theory calculations.
-
Large Time Behaviour of Neutral Delay Systems
Promotor: S.M. Verduyn Lunel
-
Explicit computations with modular Galois representations
Promotor: S.J. Edixhoven
-
On the computation of norm residue symbols
An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.
-
Quantum computation with Majorana zero modes in superconducting circuits
Promotor: Prof.dr. C.W.J. Beenakker
-
ECOLE: Experience-based COmputation: Learning to optimisE
Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) gaan een opleidingsprogramma ontwikkelen voor de volgende generatie van beginnende onderzoekers (ESR's). Gedurende een vierjarig project zullen zij worden opgeleid om industriële uitdagingen op een holistische manier te benaderen…
-
Explicit Computation of the Height of a Gross-Schoen Cycle
Arithmetic geometry concerns the number-theoretic properties of geometric objects defined by polynomials. Mathematicians are interested in the rational solutions to these geometric objects.
-
The individual level effect of symbolic representation: An experimental study on teacher-student gender congruence and students’ perceived abilities
Onderzoek naar representatieve bureaucratie heeft vaak de positieve prestatie-effecten bevestigd van bureaucratieën die de demografische kenmerken van hun cliënten weerspiegelen. Er is echter weinig bekend over de onderliggende mechanismen op individueel niveau die tot deze resultaten leiden.
-
Algebraic techniques for low communication secure protocols
Promotor: R. Cramer
-
Principal algebraic actions of the discrete Heisenberg group
Promotor: Prof.dr. W.T.F. den Hollander
-
Strategies for Mechanical Metamaterial Design
On a structural level, the properties featured by a majority of mechanical metamaterials can be ascribed to the finite number of soft internal degrees-of freedom allowing for low-energy deformations.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Thomas Bäck
Wiskunde en Natuurwetenschappen
-
Computations in the Social Brain
Promotie
-
Torsion points on elliptic curves over number fields of small degree
Promotor: S.J. Edixhoven Co-promotor: L. van Geemen, P. Parent
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
On the computation of norm residue symbols
Promotie
-
Symbolic capital and scholarly communication in the Humanities: An analysis of sociotechnical transition
Promotie
-
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.
-
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.
-
Synthetic, Physical and Computational Chemistry of Propeller-shaped Polycyclic Aromatic Hydrocarbons
This thesis systematically studies the physicochemical properties of non-planar, propeller-shaped, polycyclic aromatic hydrocarbons. The synthesis of several so-called propellerenes is described on a gram scale, using optimized procedures aimed at using less hazardous reagents and reducing the amount…
-
A versatile tuple-based optimization framework
Promotor: Prof.dr. H.A.G. Wijshoff
-
Images of Galois representations
Promotores: S.J. Edixhoven, P.Parent
-
Explicit Computation of the Height of a Gross-Schoen Cycle
Promotie
-
Benchmarking Discrete Optimization Heuristics
This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.
-
Higgs dynamics in the early universe
In the early universe, the dynamics of the Higgs field can give rise to many interesting phenomena.
-
Algorithms for the description of molecular sequences
Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Filter-based reconstruction methods for tomography
Promotor: K.J. Batenburg
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: Prof.dr.ir. E. Deprettere
-
Unconditionally secure cryptographic protocols from coding-theoretic primitives
This dissertation presents new cryptographic protocols, which can be divided into two families.
-
Quantification in untargeted mass spectrometry-based metabolomics
Promotor: T. Hankemeier, Co-promotor: T.H. Reijmers
-
Arithmetic of affine del Pezzo surfaces
In this thesis integral points on affine del Pezzo surfaces are studied.
-
Enhanced coinduction
Promotores: Prof.dr. F.S. de Boer, Prof.dr. J.J.M.M. Rutten (Radboud Universiteit Nijmegen)
-
Algebraic filters for filtered backprojection
Promotor: K.J. Batenburg, Co-promotor: A.W. van der Vaart, B. de Smit
-
Fuzzy systems and unsupervised computing: exploration of applications in biology
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.
-
Structured Parallel Programming for Monte Carlo Tree Search
The thesis is part of a bigger project, the HEPGAME (High Energy Physics Game). The main objective for HEPGAME is the utilization of AI solutions, particularly by using MCTS for simplification of HEP calculations.
-
Computed fingertip touch for the instrumental control of musical sound with an excursion on the computed retinal afterimage
Promotor: Prof.dr. S. Haring
-
Thomas Bäck wint IEEE Award
Thomas Bäck heeft de Institute of Electrical and Electronics Engineers (IEEE) CIS Evolutionary Computation Pioneer Award gewonnen voor zijn bijdrage aan 'evolutionary computation'.
-
Publicatie Dr. Iris van Ooijen
Dr. Iris van Ooijen publiceert in februari een artikel in Appetite, getiteld “Signalling product healthiness through symbolic package cues: Effects of package shape and goal congruence on consumer behavior”, in samenwerking met collega’s van de Universiteit van Amsterdam en de Vrije Universiteit Ams…
-
Geometry and arithmetic of del Pezzo surfaces of degree 1
This thesis contains results on the arithmetic and geometry of del Pezzo surfaces of degree 1.In Chapter 1 we give the necessary background, assuming the reader is familiar with algebraic geometry.
-
Research Assistant
Sociale Wetenschappen, Psychologie
-
Pascal Professor 2015
In 2015 the Pascalchair of the Faculty of Science, Universiteit Leiden and in particular of Leiden Institute of Advanced Computer Science, is held by Prof. Dr. Natasa Jonoska, University of South Florida, Tampa, USA.
-
Jaap van den Herik wint Humies Award 2014
Het paper Genetic Algoriths for Evolving Computer Chess Programs van Omid E. David, Jaap van den Herik, Moshe Koppel, Nathan S. Netanyahu heeft de Humies Award 2014 (human-competitive results produced by genetic and evolutionary computation) gewonnen.
-
Cryptograaf Ronald Cramer ontvangt ERC Advanced Grant
Ronald Cramer ontvangt in maart 2017 een ERC Advanced Grant voor zijn project 'Algebraic Methods for Stronger Crypto'. Hij ontvangt 2,5 miljoen euro om de komende 5 jaar onderzoek te verrichten.
-
VICI-subsidie voor Ronald Cramer
Aan Ronald Cramer (CWI/Leiden) is door de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) een Vici-subsidie toegekend voor zijn onderzoek naar de wiskundige fundamenten van privacy beschermende berekeningen, oftewel 'secure computation'.
-
Ronald Cramer op Kennislink over cryptografie
Cryptograaf Ronald Cramer kreeg in maart 2017 een ERC-Advanced Grant om onder meer 'secure multi party computation' verder te ontwikkelen. Kennislink sprak hem over de techniek, die het mogelijk maakt informatie te delen en verwerken zonder privacy op te geven. 'Lang was dit heel theoretisch. Maar…
-
Derde jaarlijkse Natuurkunde Science Day
Op dinsdag 11 september organiseert het Leiden Institute of Physics (LION) de derde editie van haar jaarlijkse Science Day. Wetenschappers uit disciplines over het hele natuurkundespectrum vertellen over hun onderzoek tijdens zeventien interactieve praatjes. LION organiseert het evenement om de volle…
-
Thomas Bäck benoemd tot IEEE Fellow
Het Institute of Electrical and Electronics Engineers (IEEE) heeft professor Thomas Bäck benoemd tot IEEE Fellow in de lichting van 2022. Bäck wordt Fellow voor zijn bijdragen aan de synthese van evolutionaire computatie. Elk jaar wordt minder dan 0,1% van de stemgerechtigde leden geselecteerd voor…