Year of publication
Type of media
Source
Subject
- ‹ All subjects
- Mathematics (9,807)
- Computer Science (6,173)
- Educational Science (3,467)
- Life Sciences (517)
- Engineering (351)
- Physics (266)
- Electrical engineering (250)
- Economics (192)
- Medicine (124)
- Social Sciences (58)
- Chemistry (45)
- Chemical and environmental engineering (34)
- Other subjects (34)
- Architecture (31)
- Literature Studies (14)
- Material science (10)
- Mechanical engineering, energy technology (10)
- Medical technology (10)
- Earth Sciences (5)
- Civil engineering (3)
- Traffic engineering (3)
- Philosophy (2)
- Linguistics (1)
Type of material
1–20 of 9,807 hits
Sort by:
Sort by:
-
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Free accessSpringer Verlag | 2019| -
SimNIBS 2.1: A Comprehensive Pipeline for Individualized Electric Field Modelling for Transcranial Brain Stimulation
Free accessSpringer Verlag | 2019| -
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
Free accessSpringer Verlag | 2019| -
PRINCE – A Low-Latency Block Cipher for Pervasive Computing Applications
Free accessExtended AbstractSpringer Verlag | 2012| -
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
Free accessSpringer Verlag | 2019| -
Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives
Free accessSpringer Verlag | 2018| -
Invited Talk: U-Net Convolutional Networks for Biomedical Image Segmentation
Free accessSpringer Verlag | 2017| -
Are Software Startups Applying Agile Practices? The State of the Practice from a Large Survey
Free accessSpringer Verlag | 2017| -
Deep Learning with Dense Random Neural Networks for Detecting Attacks Against IoT-Connected Home Environments
Free accessSpringer Verlag | 2018| -
Blockchain-Based Logging for the Cross-Border Exchange of eHealth Data in Europe
Free accessSpringer Verlag | 2018|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.