368 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.
-
Research Software Engineer
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Research Software Engineer
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
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 developer / Scientist, Industrial Ecology (1 fte)
Wiskunde en Natuurwetenschappen, Centrum voor Milieuwetenschappen Leiden (CML)
-
PhD candidate in Secure Software Development
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
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.
-
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)
-
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.
-
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…
-
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.
-
Cat Soomlek
Wiskunde en Natuurwetenschappen
-
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.
-
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)
-
Kristian Rietveld
Wiskunde en Natuurwetenschappen
-
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
-
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…
-
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.
-
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.
-
Medewerker Open Science (0,8/1,0 fte)
Universitaire Bibliotheken Leiden
-
Actualiteiten Software en Data-analyse overeenkomsten
Cursus
-
Software Development by Abstract Behavioural Specification
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.
-
Exploring Means to Facilitate Software Debugging
Promotie
-
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
-
6th Quantum Software Consortium General Assembly
Congres/symposium
-
Arbeidsmarkt
De beroepsperspectieven voor informatici op wetenschappelijk niveau zijn zeer gunstig.
-
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).
-
Informatica (specialisatie)
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…
-
Actualiteiten Software en Data-analyse overeenkomsten 2017
Cursus
-
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.
-
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?
-
Arbeidsmarkt
De beroepsperspectieven voor informatici op wetenschappelijk niveau zijn zeer gunstig.
-
Langlopende problemen
Bekende technische problemen waarvoor nog een structurele oplossing moet worden gevonden.
-
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.
-
Market Power and Competition Law In the Software Industry
Promotie