615 search results for “software” in the Public website
-
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…
-
Systems Modelling Lab (SML)
Mathematical models of software systems enable characterizations, abstractions, simulations, and analysis of complex software during its development.
-
Software and data for circular economy assessment
PhD defence
-
Cyber agent technology and intelligence agencies
Cyber agent technology and intelligence agencies is a project that is commissioned by Tracks Inspector, a Dutch company that develops innovative software.
-
Systems and security
Researchers at LIACS are working to devise the computers of tomorrow that will be the backbone of the Cloud and Edge computing paradigms as well as the Internet of Things. In this respect, we are involved in research and development of high performance computing systems, embedded & real-time computing…
-
Using AI to improve the Design-Make-Test cycle with Galapagos
Researchers at LED3 are working together with biopharmaceutical company Galapagos to develop software for use in early drug discovery (funded by NWO). This software is able to design molecules with several simultaneously optimized characteristics and will also take prediction reliability into consideration…
-
Leiden Embedded & Real-time Computing (LERC)
Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…
-
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.
-
Cyber-Security-by-Integrated-Design (C-SIDe) project
Cyber-attacks, privacy-related problems or failures in functioning: many technologies that are used every day have security issues that are solved when the software is already in use. An interdisciplinary project, in which Olga Gadyatskaya, Harry Wijshoff, Alex Uta and Kristian Rietveld from the Leiden…
-
OSCoffee: Research Software on the rise at Leiden University
Lecture
- Scholarly Event: Conference and Event Management Software lunch talk
- OSCoffee: Research Software on the rise at Leiden University
-
Cyber Security by Integrated Design (C-SIDe)
C-SIDe project involves a broad selection of associates in solving cybersecurity problems. Security of software systems has emerged as a critical need in our interconnected society. Companies developing software products look for Security-by-Design approaches accommodating security into their software…
-
Distributions
Statistical distributions in LCA and converting between different representations of these distributions.
-
FAIRDOM – FAIR Sharing for Systems and Synthetic Biology
FAIRDOM consortium is an open initiative of various partners including funding programmes, large-consortia, institutes, small groups as well as individuals.
-
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).
-
Tools and Data
Software and Data of the department Industrial Ecology
-
Multiway Analysis
-
-
Cyber Security
Cyber security is one of the critical challenges in our inter-connected world. Organizations are being constantly targeted by adversaries. Various critical systems become exposed on the Internet. Users can find that their data has been stolen from a company that they were not even aware of.
-
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…
-
Computational facilities
Beowulf clusters looking for new frontiers.
-
Hardware-Software Co-Design towards Efficient Neuromorphic Computing
Lecture
- Science (Wis- en Natuurwetenschappen)
-
New practice tool for quantum computer coding: OpenFermion
In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,…
-
Electronics Department
What is the Electronics Department?
-
LOFAR e-Infrastructure Group
The LOFAR e-infrastructure group is responsible for deploying and maintaining LOFAR processing on distributed e-infrastructure. A co-operation between SURFsara, Leiden University and ASTRON, the group develops software to integrate the LOFAR stack with processing pipelines. Our software can schedule…
-
Pycirk
A python3 package to create and analyze Circular Economy scenarios.
-
Leiden SPSS project
Data theory research on the analysis on the multidimensional data
-
Education
CWTS is proud to introduce its newly developed course program. The course program consists of three courses targeted at professional users of scientometrics, including librarians, policy officers, and research managers at universities, funding agencies, and other research organizations. For PhD students…
-
Tools and data
Overview of CML software and data
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
Qinyu Chen
Science
q.chen@liacs.leidenuniv.nl | +31 71 527 2727
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
Mapping pre-industrial sanitation infrastructure in the town of Haarlem
The central research question focuses on identifying shifts in the urban social network in terms of private, semi-public and public space by means of mapping the spatial distributions of wells and cesspits in the town of Haarlem in the course of the pre-industrial period (1200-1800). Shifts may be indicative…
-
Research
At Leiden University, researchers from all disciplines work together to find answers and design innovations in the field of artificial intelligence.
-
Systems and Security
Researchers at LIACS are working to devise the computers of tomorrow that will be the backbone of the Cloud and Edge computing paradigms as well as the Internet of Things. In this respect, we are involved in research and development of high performance computing systems, embedded & real-time computing…
-
Laboratories for Digital Archaeology
The Digital Archaeology research group manages two computer laboratories with different purposes: the teaching lab (F1.01) and the research lab (A1.13a).
-
Career prospects
A master's degree in Psychology at Leiden University combines theoretical knowledge with academic and professional skills, making you an attractive candidate for many employers.
-
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.
-
The E-Primer
The updated E-Primer expands its proven combination of simple explanations, interesting tutorials and fun exercises, and makes even the novice student quickly confident to create their dream experiment in E-Prime 3. E-Prime is the leading software suite by Psychology Software Tools for designing…
-
Career prospects
With your Physics degree you are well prepared for a career in research. The programme specifically serves as a stepping stone for graduates with ambition and aspiration to pursue a PhD degree.
-
Career prospects
The Theoretical Physics specialisation prepares you for a career in industrial research and performing problem solving tasks. The master degree is an excellent stepping stone for pursuing a PhD degree.
-
FitDis!
This 1.0 version of FitDis! is an archive containing the tool, a quick manual and a test dataset. The FitDis_M.zip package contains the sourcecode Matlab M-files.
-
Technology and Operation Management (TOM)
The Technology and Operation Management (TOM) group focuses on the operational challenges of adopting new cutting-edge technologies in areas such as artificial intelligence, precision medicine, and high-tech instrumentation.
-
Research Facilities
Teams of scientists from different Social and Behavioural Sciences disciplines work together in the labs with state-of-the-art hard- and software and related expertise.
-
Education highlights 2023
From educational adventures in the tropics, students building software for real customers, to bacteria that degrade plastics. Scroll through our highlights on educational innovation and the achievements of our students.
-
Detecting cross-linguistic syntactic differences automatically
So far it has been impossible to compare large sets of syntactic constructions in large sets of languages systematically and automatically. The online availability of parallel text corpora and software tools to align, enrich, search and analyse them has the potential to make automatic massive systematic…
-
Gitlab
GitLab is a single application for the entire software development lifecycle. We use the Leiden University gitlab services