Erscheinungsjahr
Medientyp
Format
Lizenz
-
Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation
Freier ZugriffSpringer Verlag | 2011| -
Augment to prevent: short-text data augmentation in deep learning for hate-speech classification
Freier ZugriffBASE | 2019| -
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
Freier ZugriffSpringer Verlag | 2019| -
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
Freier ZugriffSpringer Verlag | 2019| -
Leafsnap: A Computer Vision System for Automatic Plant Species Identification
Freier ZugriffSpringer Verlag | 2012| -
The Opportunities and Challenges of SME Manufacturing Automation: Safety and Ergonomics in Human–Robot Collaboration
Freier ZugriffSpringer Verlag | 2020| -
The Opportunities and Challenges of SME Manufacturing Automation: Safety and Ergonomics in Human–Robot Collaboration
Freier ZugriffBASE | 2020| -
From hard to soft: towards more human-like emotion recognition by modelling the perception uncertainty
Freier ZugriffBASE | 2017| -
The Open-Source LearnLib
Freier ZugriffA Framework for Active Automata LearningSpringer Verlag | 2015| -
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Freier ZugriffSpringer Verlag | 2013| -
PeSCo: Predicting Sequential Combinations of Verifiers
Freier Zugriff(Competition Contribution)Springer Verlag | 2019| -
LTSmin: High-Performance Language-Independent Model Checking
Freier ZugriffSpringer Verlag | 2015| -
Multiparty Key Exchange, Efficient Traitor Tracing, and More from Indistinguishability Obfuscation
Freier ZugriffSpringer Verlag | 2014| -
Sparse autoencoder-based feature transfer learning for speech emotion recognition
Freier ZugriffBASE | 2013| -
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Freier ZugriffSpringer Verlag | 2020| -
Spectral and cepstral audio noise reduction techniques in speech emotion recognition
Freier ZugriffBASE | 2020| -
Convolutional RNN: an enhanced model for extracting features from sequential data
Freier ZugriffBASE | 2016| -
Zeroizing Without Low-Level Zeroes: New MMAP Attacks and their Limitations
Freier ZugriffSpringer Verlag | 2015| -
Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives
Freier ZugriffSpringer Verlag | 2018| -
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages
Freier ZugriffSpringer Verlag | 2019| -
Latent-Class Hough Forests for 3D Object Detection and Pose Estimation
Freier ZugriffSpringer Verlag | 2014| -
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
Freier ZugriffSpringer Verlag | 2018| -
The Effect of Biofuel Production on Greenhouse Gas Emission Reductions
Freier ZugriffSpringer Verlag | 2018| -
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
Freier ZugriffBASE | 2020| -
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
Freier ZugriffSpringer Verlag | 2020| -
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
Freier ZugriffSpringer Verlag | 2020| -
Application of Blockchain Technology in Healthcare: A Comprehensive Study
Freier ZugriffSpringer Verlag | 2020| -
Robust Authenticated-Encryption AEZ and the Problem That It Solves
Freier ZugriffSpringer Verlag | 2015| -
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Freier ZugriffSpringer Verlag | 2015| -
Person Re-identification by Descriptive and Discriminative Classification
Freier ZugriffSpringer Verlag | 2011| -
Fully Homomorphic Encryption from Ring-LWE and Security for Key Dependent Messages
Freier ZugriffSpringer Verlag | 2011|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.