965 zoekresultaten voor “ssh liacs” in de Publieke website
-
Computational modeling of mycobacterium infection and innate immune reponse in zebrafish
Promotor: Prof.dr. J.N. Kok
-
VAN IQ NAAR AI - Hoe AI echt werkt en wat dat zegt over onszelf
Intelligentie was lange tijd hét kenmerk van de mensheid. Maar inmiddels beginnen computers ons naar de kroon te steken. Kunstmatige intelligentie komt in hoog tempo onze samenleving binnen, en blijkt dingen te kunnen die tot voor kort uniek menselijk leken. Maar hoe is een computer slim? En wat zegt…
-
PA-AutoML
Creëren van een framework voor de schatting van milieuparameters.
-
Aspects of the analysis of cell imagery: from shape to understanding
In this thesis, we have studied cell images from two types of cells, including pollen grains and the immune cells, neutrophils. These images are captured using a bright field microscope and a confocal microscope.
-
Resource allocation in networks via coalitional games
Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone
-
Een nieuw tijdperk voor natuurbehoud met behulp van hyperspectrale en lidargegevens; de Oostvaardersplassen als casestudie
Dit project beoogt de ontwikkeling van geavanceerde data-analysemethoden voor monitoring en het vergroten van ons inzicht in de dynamiek van de biodiversiteit in natuurgebieden zoals de Oostvaardersplassen.
-
Exploring graph-based clustering and outlier detection algorithms
In the era of big data, extracting insights from complex datasets is a key challenge. This thesis demonstrates the superiority of graph-based methods over traditional clustering (e.g., k-means, DBSCAN) and outlier detection for analyzing high-dimensional and noisy data.
-
Reliable and Fair Machine Learning for Risk Assessment
The focus of this thesis is on the technical methods which help promote the movement towards Trustworthy AI, specifically within the Inspectorate of the Netherlands.
-
Knowledge discovery from patient forums: gaining novel medical insights from patient experiences
Patients share valuable advice and experiences with their peers in online patient discussion groups.
-
Data structures for quantum circuit verification and how to compare them
Quantum computers are a proposed fundamentally new type of computer. They aim to perform some computations much faster than previously possible by exploiting phenomena at the quantum scale, called superposition and entanglement.
-
LABDA (Learning Network for Advanced Behavioural Data Analysis)
Onderzoeken hoe gegevens afkomstig van draagbare technologieën kunnen worden gebruikt om effectieve gedragsveranderingen te identificeren die hopelijk zullen leiden tot gezondheidsverbeteringen.
-
OpenML Next: Bouwen aan de toekomst van AI-gedreven open wetenschap
OpenML stelt wetenschappers in staat om transparant en samenwerkend, reproduceerbaar AI-gedreven onderzoek te doen.
-
SAILS Lunch Time Seminar: Tom Kouwenhoven
Lezing
-
Design and development of a comprehensive data management platform for cytomics: cytomicsDB
Promotor: Prof.dr. J.N. Kok
-
Technologie, recht en rechtvaardigheid
Technologie, recht en rechtvaardigheid is een van de vier facultaire profileringsthema's van de Faculteit der Rechtsgeleerdheid.
-
Over onze faculteit
De Faculteit der Sociale Wetenschappen wil bijdragen aan de versterking en ontwikkeling van wereldwijde sociale wetenschap, geïnspireerd door uitdagingen en ideeën uit alle delen van de wereld.
-
Onderzoek
Het wetenschappelijk van de onderzoek van de Faculteit Governance and Global Affairs is georganiseerd binnen verschillende instituten en centres in Den Haag, stad van vrede, veiligheid en recht.
-
Over de faculteit
De faculteit biedt een internationale academische omgeving met 36% van de studenten, promovendi en onderzoekers uit het buitenland.
-
Systemen en beveiliging
Onderzoekers van LIACS werken aan het bedenken van de computers van morgen die de ruggengraat zullen vormen van de Cloud en Edge computing paradigma’s en ‘the Internet of Things’. In dit verband zijn we betrokken bij onderzoek en ontwikkeling van high performance computing systemen, embedded & real-time…
-
Computed fingertip touch for the instrumental control of musical sound with an excursion on the computed retinal afterimage
Promotor: Prof.dr. S. Haring
-
Exploring Images With Deep Learning for Classification, Retrieval and Synthesis
In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.
-
Algorithm selection and configuration for Noisy Intermediate Scale Quantum methods for industrial applications
Quantum hardware comes with a different computing paradigm and new ways to tackle applications. Much effort has to be put into understanding how to leverage this technology to give real-world advantages in areas of interest for industries such as combinatorial optimization or machine learning.
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe
-
Deep learning for visual understanding
With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.
-
From Benchmarking Optimization Heuristics to Dynamic Algorithm Configuration
For optimization problems, it is often unclear how to choose the most appropriate optimization algorithm. As such, rigorous benchmarking practices are critical to ensure we can gain as much insight into the strengths and weaknesses of these types of algorithms.
-
Robust rules for prediction and description.
In this work, we attempt to answer the question:
-
Enhanced coinduction
Promotores: Prof.dr. F.S. de Boer, Prof.dr. J.J.M.M. Rutten (Radboud Universiteit Nijmegen)
-
Who gets what, when, and how? An analysis of stakeholder interests and conflicts in and around Big Science
Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…
-
Interactive scalable condensation of reverse engineered UML class diagrams for software comprehension
Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron (Chalmers Univ., Sweden)
-
Calculated Moves: Generating Air Combat Behaviour
By training with virtual opponents known as computer generated forces (CGFs), trainee fighter pilots can build the experience necessary for air combat operations, at a fraction of the cost of training with real aircraft.
-
Business incubators: the impact of their support
A New Technology-Based Firm (NTBF) is a significant enabler of job creation and a driver of the economy through stimulating innovation.
-
Opinion Diversity through Hybrid Intelligence
This dissertation explores how Large Language Models (LLMs) can effectively and responsibly contribute to complex decision-making processes. By combining AI and human intelligence, Hybrid Intelligence (HI) emerges, allowing the strengths of both humans and machines to be utilized.
-
Deep Learning Solutions for Domain-Specific Image Segmentation
Image segmentation is a fundamental task in computer vision, with applications ranging from medical diagnostics to archaeological research.
-
Image analysis for gene expression based phenotype characterization in yeast cells
Promotores: T.H.W. Bäck, A. Plaat, Co-promotor: F.J. Verbeek
-
Arguably augmented reality : relationships between the virtual and the real
This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.
-
Fostering Curiosity Through Video Games
This thesis manuscript explores the use of video games as tools for conceptual exploration and academic research.
-
Knowledge Extraction from Archives of Natural History Collections
Natural history collections provide invaluable sources for researchers with different disciplinary backgrounds, aspiring to study the geographical distribution of flora and fauna across the globe as well as other evolutionary processes.
-
Tailoring x-ray tomography techniques for cultural heritage research
Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…
-
Large scale visual search
Promotor: J.N. Kok, Co-promotor: M.S. Lew
-
DnQ - Divide and Quantum
Divide & Quantum (D&Q) biedt verschillende oplossingen om de kracht van quantumcomputers op korte termijn te benutten, en stelt volledige pipelines voor, van theoretisch onderzoek, via implementatie tot real-world case studies in verschillende disciplines, tot wetenschapscommunicatie naar een bredere…
-
AI Labs
AI Labs zijn samenwerkingen van de Universiteit Leiden met externe partner zoals bedrijven, overheidsinstellingen en andere universiteit op het gebied van kunstmatige intelligentie. De Faculteit voor Wis-en Natuurkunde is uniek gesitueerd op het grootste Bioscience Park van Nederlands, en ligt direct…
-
DSE 2.0
DSE 2.0: Naar een optimaal ontwerp van complexe, gedistribueerde cyber-fysieke systemen
-
Designing Ships using Constrained Multi-Objective Efficient Global Optimization
A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.
-
Reasoning about object-oriented programs: from classes to interfaces
Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…
-
Optimally weighted ensembles of surrogate models for sequential parameter optimization
It is a common technique in global optimization with expensive black-box functions to learn a surrogate-model of the response function from past evaluations and use it to decide on the location of future evaluations.
-
Imperfect information variants of combinatorial games
Combinatorial games are games for two competing players, moving in a turn-by-turn fashion, in which there is no chance nor hidden information. Chess, checkers and the simpler tic tac toe are well-known examples of this class of games, as well as game of go.
-
Semi-partitioned Scheduling and Task Migration in Dataflow Networks
Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov
-
Cleared for take-off, Game-based learning to prepare airline pilots for critical situations
Over the last decades, aviation safety has improved strongly. As a downside, airline pilots do not have as many opportunities to develop through experience the competencies that they need in critical situations.
-
Sociaal ingebedde AI-systemen
Dit interdisciplinair onderzoeksproject verkent verschillende adaptieve machine-learning methoden die inzicht kunnen geven in de interactie tussen mens en machine. Het uiteindelijke doel is een open en natuurlijke communicatie tussen mens en AI die moet resulteren in wederzijds vertrouwen, samenwerking…
-
Exploratieve datamining in multimodale gegevens
De verandering van een gesloten instelling naar een open leefomgeving voor patiënten met een laat stadium van dementie zal de patiënten meer vrijheid geven in hun dagelijks leven. Het effect van deze verandering op de mobiliteit van de patiënten, hun activiteiten en hun interactie met anderen zal worden…