394 zoekresultaten voor “software debugging” in de Publieke website
-
Laboratoria Digital Archaeology
De onderzoeksgroep Digital Archaeology beheert twee computerlaboratoria voor verschillende doeleinden: een onderwijslab en een onderzoekslab.
-
Hardware-Software Co-Design towards Efficient Neuromorphic Computing
Lezing
-
Informatica (BSc)
Bij de bacheloropleiding Informatica aan de Universiteit Leiden behandel je zowel abstracte wiskundige vraagstukken als ook praktisch georiënteerde zaken zoals programmeren en het ontwerpen van computerprogramma’s. Hierbij leer je informatiestructuren analyseren en herkennen, en leer je ingewikkelde…
-
CO2-Calculator
Development of GHG calculator for bio-electricity and heat.
-
BioSustain
Examining the sustainability aspects of biotechnology, especially those related to the production of ethanol from biomass.
-
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…
-
The E-Primer
De tweede geheel vernieuwde editie van 'The E-Primer' bespreekt hoe een breed scala experimenten kan worden geprogrammeerd in E-Prime 3. E-Prime is een van de meest gebruikte softwarepakketten voor het ontwerpen van psychologische experimenten.
-
Onderzoek
Computers worden steeds krachtiger en krijgen steeds ingewikkelder taken. Het Leiden Institute of Advanced Computer Science (LIACS) doet baanbrekend wetenschappelijk onderzoek en past nieuwe vindingen toe in actuele maatschappelijke vraagstukken.
-
Cyber-Security-by-Integrated-Design (C-SIDe) project
Cyberaanvallen, privacygerelateerde problemen of storingen in het functioneren: veel technologieën die dagelijks worden gebruikt, kennen beveiligingsproblemen die worden opgelost als de software al in gebruik is. Een interdisciplinair project, waarin Olga Gadyatskaya, Harry Wijshoff, Alex Uta en Kristian…
-
Ariane Briegel: 'Met AI gaat letterlijk een wereld open voor de levenswetenschappen'
Bacteriën op heterdaad betrapt, diep bevroren terwijl ze op het punt stonden de ziekte van Lyme te veroorzaken. Razend enthousiast is Ariane Briegel over wat ze allemaal kan zien dankzij de drie-eenheid van een vriestechniek, een microscoop met camera en kunstmatige intelligentie. 'Het is fascinerend,…
- Applicatiebeheerder Hippo CMS
-
Science Coffee: Free as in Freedom: Contributing to Free/Open Source Software
Lezing
- Applicatiebeheerder Hippo CMS
-
Studies into Interactive Didactic Approaches for Learning Software Design Using UML
Promotie
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
Promotie
- Applicatiebeheerder Hippo CMS
-
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.
-
Criminaliteit voorspellen in forumnetwerken op het dark web
In dit project gebruiken we sociale netwerkanalyse om het gedrag van gebruikers op online fora en bijbehorende marktplaatsen in de tijd te analyseren.
-
Novel approaches for direct exoplanet imaging: theory, simulations and experiments
The next generation of high-contrast imaging instruments on space-based observatories requires sophisticated wavefront sensing and control in addition to a high-performance coronagraph.
-
RaMa-SCENE
A scenario building web-tool and knowledge package to enable multi-level decision making for the transition to the Circular Economy
-
Real-time tomographic reconstruction
With tomography it is possible to reconstruct the interior of an object without destroying.
-
Benchmarking Discrete Optimization Heuristics
This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.
-
Arbeidsmarkt
De kennis en vaardigheden die je tijdens de bachelor Informatica opdoet zijn zeer gewild. Je bent daarom gegarandeerd van een goede baan.
-
Het miljard deeltjes probleem
Promotor: Prof.dr. S. Portegies Zwart
-
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.
-
Orchestration of Distributed LOFAR Workflows
The LOFAR radio telescope produces petabytes of data every year. Radio Astronomers use complex multi-step pipelines to process this data and produce scientific images.
-
Hulp bij gebruik digitaal studiemateriaal
Tips om het digitale studiemateriaal te openen, lezen, bewaren of geschikt te maken voor bestudering.
-
LORRE: hulpmiddel ter verbetering van uitspraak van vreemde talen
Aan de Universiteit Leiden worden meer dan tachtig talen onderwezen. Lorre is een hulpmiddel voor mensen die een nieuwe taal willen leren waarmee zij met behulp van een computerprogramma hun uitspraak in vreemde talen kunnen verbeteren.
-
Algoritmen voor quantumsoftware
Topwetenschappers van drie Nederlandse universiteiten werken samen aan software en systemen voor quantumcomputers. Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) ontwikkelen nieuwe algoritmen om die supercomputers te laten werken. De komende jaren moet het eerste quantuminternet…
-
Joost Batenburg: bruggenbouwer en techniekverbeteraar
Joost Batenburg is een wiskundige en informaticus die bruggen wil bouwen met andere vakgebieden. Hij wil intelligente software brengen bij vakgebieden waar ze betekenisvol kan zijn. Ook andersom wil hij verbinding zoeken met velden die nodig zijn om AI tot een succes te maken.
-
Archaeological Sciences
Door de opkomst van nieuwe methodes en technologieën, zoals verbeterde DNA-analyse en big data, is het archeologisch onderzoek de afgelopen decennia ingrijpend veranderd. De onderzoekers van het departement Archaeological Sciences van de Faculteit Archeologie gebruiken de nieuwe wetenschappelijke kennis…
-
Cyberveiligheid door Security-by-Design
C-SIDe project betrekt een brede selectie van partners bij het oplossen van cybersecurityproblemen. Beveiliging van softwaresystemen is een kritieke behoefte in onze onderling verbonden samenleving. Bedrijven die softwareproducten ontwikkelen, zoeken naar Security-by-Design-benaderingen die beveiliging…
-
Over het portfolio
Deelnemers aan een Learning My Way programma kunnen via learningmyway.nl het portfolio bereiken via beveiligde single-sign on. Ook na het afronden van je studie blijft je portfolio toegankelijk.
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
The future of AI is human
Van zelfrijdende auto’s tot innovatieve medicijnontwikkeling, kunstmatige intelligentie (AI) gaat ons leven op uiteenlopende manieren fundamenteel veranderen. Onze computerwetenschappers bestuderen de technologie op een diep en fundamenteel niveau. Maar we zoeken ook naar medische toepassingen en antwoorden…
-
Exploring the magnetic, turbulent Milky Way through radio waves
Promotor: Prof.dr. H. J. A. Röttgering, Co-Promotor: M. Haverkorn
-
Population-Scale Network Analysis (POPNET)
Een infrastructuur voor onderzoeksdata in computationele sociale wetenschappen
-
Centrum voor Milieuwetenschappen (CML)
Het Centrum voor Milieuwetenschappen (CML) is een instituut van de faculteit Wiskunde en Natuurwetenschappen aan de Universiteit Leiden.
-
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.
-
Playing dice with the Universe
The ultimate goal of cosmologists is to find a cosmological model able to explain the current observational data.
-
The structure of a working catalyst: from flat surfaces to nanoparticles
Promotor: Prof.dr. J.W.M. Frenken
-
Painting with starlight : optical techniques for the high-contrast imaging of exoplanets
This thesis describes the development and validation of new high-contrast imaging techniques, with the ultimate goal of enabling the next generation of instruments for ELT-class telescopes to directly image Earth-like extra-solar planets orbiting around nearby stars.
-
Joost Visser geeft keynote op SEN symposium
Steeds meer software bevat componenten van Machine Learning. Joost Visser, hoogleraar aan het Leiden Institute of Advanced Computer Science (LIACS), is uitgenodigd als keynote speaker op het zevende Nederlandse nationale symposium over software engineering (SEN) om over dit onderwerp te spreken.
-
GLOBOX
GLOBOX is a spatially differentiated multimedia fate, exposure and effect model. It is used for the calculation of spatially differentiated LCA characterisation factors on a global scale.
-
De Quantumcomputer
De wereldwijde race naar de quantumcomputer is in volle gang. Deze computer kan rekenklussen aan waarvan we nu alleen maar dromen, zoals het razendsnel vinden van eiwitten die als medicijn kunnen dienen. Leidse natuurkundigen ontdekten hoe je het Majorana-deeltje als bouwsteen voor deze quantumcomputer…
-
Cum Laude voor nieuwe methode om softwarefouten te voorkomen
Promovendus Sung-Shik Jongmans van de Universiteit Leiden en het Centrum Wiskunde & Informatica onderzocht een nieuwe programmeermethode om softwarefouten te voorkomen. Op 3 maart 2016 promoveerde hij cum laude aan de Universiteit Leiden op zijn proefschrift 'Automata-Theoretic Protocol Programming'…
-
Universiteit Leiden en ICTU doen samen onderzoek naar softwareontwikkeling
Hoe kunnen we de ontwikkeling van softwareprojecten voor de overheid nog verder stroomlijnen? Daar gaan de Universiteit Leiden en ICTU samen onderzoek naar doen in een project dat op 6 juli 2016 van start ging.
-
eLaw onderzoekt cyber agent technology voor inlichtingendiensten
In opdracht van Tracks Inspector, een bedrijf dat innovatieve software ontwikkelt, doet eLaw onderzoek naar cyber agent technology voor inlichtingen- en veiligheidsdiensten.
-
Eerste workshop "Legal Tech" door het Centrum voor Ondernemerschap en Innovatie
In het kader van innovatie binnen ‘Legal Tech’ organiseerde het Center for Entrepreneurship and Innovation een workshop van HighQ.
-
IPA Proefschriftprijs 2016 voor Sung-Shik Jongmans
De Nederlandse onderzoeksschool IPA het voormalig promovendus Sung-Shik Jongmans de IPA Dissertation Award 2016 toegekend. In maart van dat jaar behaalde Jongmans de graad van doctor met de zeldzame vermelding ‘cum laude’. Hij beschreef een nieuwe methode voor parallel programmeren. ‘Ik probeer het…