1,383 zoekresultaten voor “ssh liacs” in de Publieke website
-
AutoAI4EO
Bevorderen van AutoML-systemen gericht op machine learning-taken op basis van aardobservatie datasets.
-
System-level design for efficient execution of CNNs at the edge
A convolutional neural network (CNN) is a biologically inspired algorithm, highly capable at processing images and videos.
-
Automata learning: from probabilistic to quantum
This thesis advances automata learning, a key area in computer science, with applications in software verification, biological analysis, and autonomous technologies. It explores three main themes: first, it introduces a passive learning algorithm for generating compact probabilistic models from positive…
-
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.
-
Model-assisted robust optimization for continuous black-box problems
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.
-
Exploring Open-World Visual Understanding with Deep Learning
We are living in an information era where the amount of image and video data increases exponentially.
-
Efficient tuning of automated machine learning pipelines
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…
-
Externe onderzoekssamenwerking
Binnen het brede netwerk van de Universiteit Leiden neemt het instituut deel aan onderzoek binnen de volgende profileringsgebieden:
-
Integrating Analytics with Relational Databases
The database research community has made tremendous strides in developing powerful database engines that allow for efficient analytical query processing.
-
Collaborative Meaning-Making
Humans share meaning through language. Over time, repeated interactions have shaped languages into forms that match our cognitive preferences, making them structured, expressive, easy to learn, and ultimately, meaningful.
-
Enhancing Autonomy and Efficiency in Goal-Conditioned Reinforcement Learning
Reinforcement learning is a framework that enables agents to learn in a manner similar to humans, i.e. through trial and error. Ideally, we would like to train a generalist agent capable of performing multiple tasks and achieving various goals.
-
Network analysis methods for smart inspection in the transport domain
Transport inspectorates are looking for novel methods to identify dangerous behavior, ultimately to reduce risks associated to the movements of people and goods. We explore a data-driven approach to arrive at smart inspections of vehicles.
-
Exploring deep learning for multimodal understanding
This thesis mainly focuses on multimodal understanding and Visual Question Answering (VQA) via deep learning methods. For technical contributions, this thesis first focuses on improving multimodal fusion schemes via multi-stage vision-language interactions.
-
A versatile tuple-based optimization framework
Promotor: Prof.dr. H.A.G. Wijshoff
-
HyTROS
De ontwikkeling en implementatie van een schaalbare, veilige en geïntegreerde infrastructuur van waterstof te bevorderen ter ondersteuning van de energietransitie.
-
On the optimization of imaging pipelines
In this thesis, topics relating to the optimization of high-throughput pipelines used for imaging are discussed. In particular, different levels of implementation, i.e., conceptual, software, and hardware, are discussed and the thesis outlines how advances on each level need to be made to make gains…
-
Exploring Deep Learning for Intelligent Image Retrieval
This thesis mainly focuses on cross-modal retrieval and single-modal image retrieval via deep learning methods, i.e. by using deep convolutional neural networks.
-
Biological model representation and analysis
Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek
-
Grip on software: understanding development progress of SCRUM sprints and backlogs
Software development is a complex process. It is important that software products become stable and maintainable assets.
-
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.
-
SAILS Lunch Time Seminar: Tom Kouwenhoven
Lezing
-
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.
-
Design and development of a comprehensive data management platform for cytomics: cytomicsDB
Promotor: Prof.dr. J.N. Kok
-
Phaeton
Verbeteren van pandemische paraatheid via een gezamenlijk privacy-by-design datamodelleringsplatform.
-
Evaluation of Bias and Robustness in Search and Conversational Systems
Search and conversational systems have become central to how people access information and perform tasks.
-
The State of the Earth: Estimating Physical Parameters from Noisy and Incomplete Earth Observation Data
Promotie
-
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.
-
Technologie, recht en rechtvaardigheid
Technologie, recht en rechtvaardigheid is een van de vier facultaire profileringsthema's van de Faculteit der Rechtsgeleerdheid.
-
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”…