428 zoekresultaten voor “software” in de Publieke website
-
Software
Image-Pro Plus, ImageJ, Cell Profiler, R, Knime en NIS-elements
-
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.
-
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.
-
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 and AI in Business
Software and AI in Business (S&B) verbindt de domeinen wetenschap, bedrijfsleven en beleid. Wetenschappelijk onderzoek waar we ons in Leiden op richten, bijvoorbeeld op het gebied van kunstmatige intelligentie, belooft onze samenlevingen ten goede te komen. Het vertalen van wetenschap naar positieve…
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Shielding software systems: A comparison of security by design and privacy by design based on a systematic literature review
De auteurs zoeken en beoordelen systematisch relevante definities van Security by Design (SbD) in vergelijking met Privacy by Design (PbD).
-
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.
-
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)
-
Embedded System Software Engineer (Research and Education support) (0.8-1.0fte)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
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
-
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.
-
Studenten bouwen software voor echte klanten
Studenten doen praktijkervaring op en klanten krijgen een oplossing voor hun software-vraag: het studenten-softwarebedrijf LUDev slaat twee vliegen in één klap. ‘Via LUDev leren studenten wat er naast programmeren nog meer komt kijken bij de ontwikkeling van software.’ Interesse? Je kunt nu nieuwe projecten…
-
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
j.m.w.visser@liacs.leidenuniv.nl | +31 71 527 2727
-
‘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.
-
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…
-
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…
-
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.
-
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.
-
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.
-
An Online Corpus of UML design models: Construction and empirical studies
Promotores: J. Kok, M. Chaudron (Chalmers University)
-
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…
-
Software die de analyse van bacterie-genomen veel eenvoudiger maakt
Of een bacterie nuttig of schadelijk is voor een plant is nu eenvoudig en goed te voorspellen met de nieuwe software bacLIFE. Door de intuïtieve interface maakt het de geheimen van bacterie-genen veel toegankelijker. Een groep Leidse biologen presenteerde dit staaltje bioinformatica in Nature Commun…
-
Fund (D//F) voor John Boy voor onderzoek naar free en open source software
John Boy en zijn collega's van het d12n-onderzoekscluster krijgen een beurs van het Digital Infrastructure Insights Fund D//F.
-
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…
-
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.
-
Software and System Security Fest
Cursus
-
Scheduled protocol programming
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…
-
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.
-
Software and data for circular economy assessment
Promotie
-
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.
-
Distributions
Statistical distributions in LCA and converting between different representations of these distributions.
-
Leiden SPSS project
Data theory research on the analysis on the multidimensional data
-
Diego Barbosa Arize Santos
Faculteit der Sociale Wetenschappen
d.barbosa.arize.santos@fsw.leidenuniv.nl | +31 71 527 2727
-
Leonardo Lenoci
Wiskunde en Natuurwetenschappen
l.lenoci@science.leidenuniv.nl | +31 71 527 8484
-
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).
-
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…
-
OSCoffee: Research Software on the rise at Leiden University
Lezing
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
Hardware-Software Co-Design towards Efficient Neuromorphic Computing
Lezing