Computer Science LIACS Over het instituut

In this thesis, several aspects of software debugging from automated crash reproduction to bug report analysis and use of contracts have been studied.

Machine Learning is becoming a more and more substantial technology for industry.

Gebruikersvoorwaarden met betrekking tot het gebruik van LAK cursusruimtes in het Lipsius.

De Faculteit der Rechtsgeleerdheid verricht hoogwaardig onderzoek naar acht onderzoeksprogramma's.

Book talk

Leiden University’s Master of Laws in International Children’s Rights (LL.M.) looks at human rights laws for children from a comparative perspective.

Het Algorithms and Software Technology (AST) onderzoeksprogramma voert onderzoek uit op het gebied van algoritme-ontwerp en analyse.

Met Natural Computing worden natuurlijke algoritmes en verschijnselen onderzocht om bijvoorbeeld computersystemen te innoveren.

Quantum annealing belongs to a family of quantum optimization algorithms designed to solve combinatorial optimization problems using programmable quantum hardware. In this thesis, various methods are developed and tested to understand how to formulate combinatorial optimization problems for quantum…

In this course, we will focus on the fascinating history of the Arabic Medieval World. We will take you on a journey through the Middle Ages. All along, we will present you with historiographical debates and dilemmas and travel back and forth in time explaining to you how events of the past affected…

Promotor: Prof.dr. P. Stevenhagen, Co-promotor: B. de Smit

Hoogleraren Arnold Tukker en Peter van Bodegom roepen samen met collega's in een open brief in dagblad Trouw de Tweede Kamer op werk te maken van een groene economie.

Dit zijn de mensen die binnen de Universiteit Leiden actief zijn op het gebied van kunstmatige intelligentie.

Promotor: Bas Edixhoven, Promotor: Qing Liu

Uit onderzoek blijkt dat gezonde proefpersonen een maand na gebruik van psilocybine, de werkzame stof in paddo's, zich aantoonbaar beter voelden. Kunnen paddo's dan helpen tegen depressie? Michiel van Elk plaatst kanttekeningen: 'Er is nog een lange weg te gaan.'

The class-imbalance problem is a challenging classification task and is frequently encountered in real-world applications. Various techniques have been developed to improve the imbalanced classification performance theoretically and practically.

This thesis probes under what conditions quantum computing presents an advantage over classical computing.

Terugblik over de laatste 40 jaar op de belangrijkste veranderingen in de zorg en onderzoek, waar transparantie, verantwoording en richtlijn centraal zijn komen te staan. Aan de hand van de ziekte van Huntington en het cerebrovasculaire accident worden belangrijke veranderingen in de zorg en het onderzoek…

De moderne samenleving is verbonden via elektronische en mobiele apparaten, die we het Internet of Things (IoT) noemen.

Promotie

Human AI is waar kunstmatige intelligentie en machine learning samenkomen met filosofie, cognitieve wetenschap en de creatieve kunsten. Voorbeelden van onderzoeksvragen in dit domein zijn: ‘Kan een algoritme naar menselijke maatstaven creatief zijn?', 'Kunnen creatieve processen, zoals het componeren…

Elk onderdeel van de kringloop op een melkveebedrijf heeft een specifieke bacterie- en schimmelsamenstelling. Dat ontdekten de Leidse postdoc onderzoeker Sofia Gomes en haar begeleiders Nadia Soudzilovskaia en Peter van Bodegom in samenwerking met het Louis Bolk instituut en Naturalis Biodiversity Centre.…

Op 25 april verscheen in de Volkskrant een opniniebijdrage van de hand van Kees Groenendijk (Radboud UN) en Peter Rodrigues (UL) waarin zij het wetsvoorstel intrekking nationaliteit bij wijze van terrorismebestrijding tegen het licht houden.

Congres/symposium

“Temminck’s Order” is the scientific biography of Coenraad Jacob Temminck (1778–1850), a Dutch naturalist and the first director of ’s Rijks Museum van Natuurlijke Historie in Leiden.

Een neuraal netwerk imiteert de werking van onze hersenen. Evolutionaire algoritmes gebruiken het principe van natuurlijke selectie om een complex probleem op te lossen. Deze vormen van natural computing worden ingezet om de diagnose van de ziekte van Parkinson accurater te maken, maar ook om bijvoorbeeld…

In Moderne papoea’s: dilemma’s van een multiculturele samenleving (2002) gaat het om de problemen van een multiculturele samenleving.

Het LUGO-team maakt deel uit van het Bestuursbureau van de universiteit, waar het onder de directie Strategie en Academische Zaken valt. Binnen Strategie en Academische Zaken is LUGO onderdeel van team Duurzaamheid, dat, naast LUGO, ook twee full-time werknemers heeft. Het Bestuursbureau ondersteunt…

Neurodegenerative diseases, including Parkinson’s disease (PD), are increasing in prevalence due to the aging population. Despite extensive study, these diseases are still not fully understood and the lack of personalised treatment options that can target the cause of the diseases, rather than the symptoms,…

Al jaren onderzoeken biologen aan de hand van laboratoriumexperimenten, veldwerk en computersimulaties de geslachtsorganen van allerlei organismen: van muizen en mollen, slakken en slangen, watermijten en walvissen.

Uncertainty and noise are frequently-encountered obstacles in real-world applications of numerical optimization. The practice of optimization that deals with uncertainties and noise is commonly referred to as robust optimization.

Automated Machine Learning (AutoML) is widely used to automatically build a suitable practical Machine Learning (ML) model for an arbitrary real-world problem, reducing the effort of practitioners in the ML development cycle for real-world applications. Optimization is a key part of a typical AutoML…

CT scanning of skeletal remains can tell us about how strong or weak a persons bones were and we can relate that back to diet, activity, and reproductive factors.

This thesis concerns the relation bettween the good reduction of Shimura varieties and the associated loop groups.

De ontwikkeling en implementatie van een schaalbare, veilige en geïntegreerde infrastructuur van waterstof te bevorderen ter ondersteuning van de energietransitie.