402 zoekresultaten voor “software debugging” in de Publieke website
-
Exploring Means to Facilitate Software Debugging
In this thesis, several aspects of software debugging from automated crash reproduction to bug report analysis and use of contracts have been studied.
-
Exploring Means to Facilitate Software Debugging
Promotie
-
Software
Image-Pro Plus, ImageJ, Cell Profiler, R, Knime en NIS-elements
-
Software development by abstract behavioural specification
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.
-
Software en Data
Een uitgebreid overzicht van software en data beschikbaar gesteld door CML is beschikbaar op de Engelse versie van de CML-website
-
Software en Data
Een uitgebreid overzicht van software en data beschikbaar gesteld door de afdeling Industriële Ecologie is beschikbaar op de Engelse versie van de CML-website
-
Algoritmes en Software Technologie
Het Algorithms and Software Technology (AST) onderzoeksprogramma voert onderzoek uit op het gebied van algoritme-ontwerp en analyse.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
Including modelling as part of software development appears to have various benefits.
-
Software and data for circular economy assessment
Promotie
-
Quality-driven multi-objective optimization of software architecture design: method, tool, and application
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M.R.V. Chaudron, Co-Promotor: M.T.M. Emmerich
-
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)
-
Leidse sterrenkundigen schrijven IEEE Software Impact column
De eer was aan Professor Simon Portegies Zwart en doctor Jeroen Bédorf om voor het blad IEEE Software te schrijven.
-
Joost Visser
Wiskunde en Natuurwetenschappen
-
Minder fouten in software features door delta modelling
Bij het programmeren van nieuwe features in software worden makkelijk veel fouten gemaakt. Hierdoor ontstaan bugs, die ertoe leiden dat software later op de markt komt en duurder is. Michiel Helvensteijn, promovendus van CWI en het Leiden Institute of Advanced Computer Science, onderzocht manieren om…
-
Software, sterrenhopen en supercomputers
Simon Portegies Zwart, hoogleraar Computationele Sterrenkunde, gebruikt de rekenkracht van computers om de evolutie van sterren te simuleren. We praten met hem over zijn vakgebied en over de uitdagingen van het werken met enorme hoeveelheden complexe data.
-
Software developments in automated structure solution and crystallographic studies of the Sso10a2 and human C1 inhibitor protein
Promotor: Prof.dr. J.P. Abrahams, Co-Promotor: N.S. Pannu
-
Subsidie voor software voor medische beeldregistratie Elastix
LUMC-onderzoeker Marius Staring ontvangt een subsidie van 200.000 dollar van het Chan Zuckerberg Initiative om de toegankelijkheid, interoperabiliteit en efficiëntie van de imaging-software Elastix te verbeteren. Daarmee kan hij het populaire, uit 2003 stammende softwarepakket een hoognodige nieuwe…
-
‘Sterrenkunde draait op sterk verouderde software’
‘We moeten drastisch anders omgaan met softwareontwikkeling en code in de sterrenkunde. Anders worden nieuwe ontdekkingen opgehouden door de sterk verouderde code van nu.’ Dat stelt sterrenkundige Simon Portegies Zwart in een opinieartikel in Science.
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
An Online Corpus of UML design models: Construction and empirical studies
Promotores: J. Kok, M. Chaudron (Chalmers University)
-
Leefomgeving van dementerenden verbeteren met behulp van nieuwe software
Kunnen we de leefomgeving van mensen met dementie verbeteren met behulp van software en smartwatches? Daniela Gawehns deed onderzoek in een zorginstelling voor mensen met dementie in het kader van het project 'Dementie terug in het hart van de samenleving'. Hier keek ze of een open woonomgeving leidt…
-
Nieuwe software helpt bij het ontwerpen van duurzame steden
In 2050 zal meer dan 70 procent van de wereldbevolking in steden wonen. Daarom komt een groep internationale onderzoekers nu met speciale software voor stedenbouwkundigen, die hen laat zien waar ze in de natuur kunnen investeren om het leven van mensen te verbeteren en miljarden euro's te besparen.
-
Kwaliteit van oppervlaktewater onderzoeken met nieuwe software ‘PNEC-pro’
PNEC-pro is een tool waarmee onderzoekers de kwaliteit van het oppervlaktewater kunnen beoordelen. De tool berekent lokale, watertype specifieke concentraties zonder effect van koper, nikkel en zink. PNEC-pro is nu gratis online beschikbaar.
-
Half miljoen voor onderzoek ‘The Astrophysical Multipurpose Software Environment’
Professor Simon Portegies Zwart ontvangt van NWO een half miljoen euro vanuit de NWO-middelgroot ronde. Het geld is bestemd voor zijn onderzoek 'The Astrophysical Multipurpose Software Environment' (AMUSE).
-
Werken aan software die checkbare feiten uit tekst filtert
Samen met het Leiden Centre of Data Science ontwikkelen mediaonderzoekers Peter Burger en Alexander Pleijter een computerprogramma dat automatisch feitelijke beweringen uit teksten filtert.
-
Joost Visser benoemd tot hoogleraar Large Scale Software en Data Science
Op 15 November begon Joost Visser als hoogleraar Large Scale Software en Data Science bij het Leiden Institute of Advanced Computer Science (LIACS). Hij zal bij LIACS het software engineering onderzoek leiden en hoofd worden van het master programma ICT in Business and the Public Sector.
-
Programmerende socioloog John Boy ontwikkelt Textnets: software om grote hoeveelheden tekst visueel inzichtelijk te maken
Software programmeren is waarschijnlijk niet het eerste waar je aan denkt bij een socioloog. Drie jaar geleden begon John Boy aan de ontwikkeling van zijn software programma Textnets. Corona zorgde ervoor dat hij zich minder goed kon concentreren op het schrijven van wetenschappelijke onderzoek en ook…
-
Valerie Frissen bij NPO Radio 1 over nieuwe VALL-E software van Microsoft
De nieuwe software van Microsoft, VALL-E hoeft maar drie seconden van een stem te horen om hem bijna foutloos te kunnen imiteren. Je kunt zelf kiezen welke emotie de stem moet gebruiken en wat hij moet zeggen. Valerie Frissen, Hoogleraar Digitale Technologie en Sociale Verandering bij eLaw en directeur…
-
Olga Gadyatskaya
Wiskunde en Natuurwetenschappen
-
Kristian Rietveld
Wiskunde en Natuurwetenschappen
-
Lieuwe Vinkhuijzen wint derde prijs VERSEN Master Thesis Award
Promovendus Lieuwe Vinkhuijzen heeft de VERSEN Master Thesis derde prijs gewonnen voor zijn masterscriptie over quantumcomputers. ‘Een vooruitstrevende scriptie, die problemen in software engineering oplost; niet in het volgende decennium, maar nog verder in de toekomst’, aldus de jury.
-
Nieuw oefenpakket voor programmeren op quantumcomputer: OpenFermion
Over de hele wereld werken wetenschappers hard aan het ontwikkelen van een quantumcomputer. Ondertussen moeten onderzoekers leren om te programmeren op zulke machines, die fundamenteel anders zijn dan conventionele computers. Een groep wetenschappers onder leiding van Google, met onder meer natuurkundigen…
-
Software en Data
Een uitgebreid overzicht van software en data beschikbaar gesteld door de afdeling Environmental Biology is beschikbaar op de Engelse versie van de CML-website
-
Cyber agent technology en de WIV
Cyber agent technology en de WIV is een project dat in opdracht van Tracks Inspector, een bedrijf dat innovatieve software ontwikkelt, wordt uitgevoerd.
-
CMLCA
CMLCA is a software tool that supports the technical steps of the Life Cycle Assessment. The focus of the program is on advanced computational aspects of life cycle inventory calculations.
-
Software Development by Abstract Behavioural Specification
Promotie
-
Leiden SPSS project
Data theory research on the analysis on the multidimensional data
-
Distributions
Statistical distributions in LCA and converting between different representations of these distributions.
-
PNEC-pro
PNEC-pro is a user-friendly screening tool for professionals dealing with the assessment of surface water quality. The tool calculates local, watertype specific no-effect concentrations (PNEC) of copper, lead, nickel and zinc based on biotic ligand models (BLMs).
-
6th Quantum Software Consortium General Assembly
Congres/symposium
-
NeuroSoC
Meer informatie over dit onderzoeksproject vind je op de Engelstalige pagina.
-
Onderzoeksfaciliteiten
Wetenschappers van de vakgebieden binnen de sociale wetenschappen werken samen in laboratoria met de nieuwste van de nieuwste hard- en software en gerelateerde expertise.
-
Applications of paramagnetic NMR spectroscopy for protein research
The aim of the research presented in this thesis was to develop new methods forchallenging systems in liquid-state NMR using paramagnetic effects generated by thetwo-armed probe CLaNP-5.
-
Analysis of Energy Systems
The Institute of Environmental Sciences has carried out and participates in several projects that deal with the analysis of energy systems.
-
Quantumcomputers
Algoritmen ontwerpen is een van de onderzoeksonderwerpen waar Leiden sterk in is. Want supercomputers moeten niet alleen gebouwd worden, maar ook geprogrammeerd. Wetenschappers van internationale faam doen hier onderzoek naar.
-
Arbeidsmarkt
De beroepsperspectieven voor informatici op wetenschappelijk niveau zijn zeer gunstig.
-
Materials Innovative Technologies Assessment (MIN-TEA)
How can prospective LCA be streamlined in a way that its practical application in research and technology development increases?
-
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…
-
Onderzoek
Aan de Universiteit Leiden werken wetenschappers uit alle disciplines samen om antwoorden te vinden en om te innoveren op het gebied van kunstmatige intelligentie.