295 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.
-
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.
-
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…
-
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…
-
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).
-
An Online Corpus of UML design models: Construction and empirical studies
Promotores: J. Kok, M. Chaudron (Chalmers University)
-
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.
-
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
-
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
-
Diego Barbosa Arize Santos
Faculteit der Sociale Wetenschappen
-
Leonardo Lenoci
Wiskunde en Natuurwetenschappen
-
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?
-
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…
-
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.
-
Studieprogramma
Alle studenten volgen in de eerste twee jaar een basispakket aan informaticavakken waarin zowel de fundamentele theorie als praktische toepassingen aan bod komen.Onderwerpen die aan bod komen zijn theorie, wiskunde, onderzoeksvaardigheden, data, artificial intelligence, hardware, systemen, software,…
-
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…
-
Onderzoekssoftware
De term onderzoekssoftware omvat veel verschillende dingen: broncodebestanden, algoritmen, scripts, computationele workflows en programma's die zijn gemaakt tijdens het onderzoeksproces of voor een bepaald onderzoeksdoel.
-
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?
-
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.
-
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.
-
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.
-
Numerical exploration of statistical physics
In this thesis, we examine various systems through the lens of several numerical methods.
-
Laboratoria Digital Archaeology
De onderzoeksgroep Digital Archaeology beheert twee computerlaboratoria voor verschillende doeleinden: een onderwijslab en een onderzoekslab.