Forschungspapier (1586)
112121.
Forschungspapier
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 S.
112122.
Forschungspapier
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 S.
112123.
Forschungspapier
Self-stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus. (2017), 58 S.
112124.
Forschungspapier
Acquiring Target Stacking Skills by Goal-Parameterized Deep Reinforcement Learning. (2017), 10 S.
112125.
Forschungspapier
NOx emission trends over Chinese cities estimated from OMI observations during 2005 to 2015. Atmospheric Chemistry and Physics Discussions 17 (2017)
112126.
Forschungspapier
An Approach for Weakly-Supervised Deep Information Retrieval. (2017), 5 S.
112127.
Forschungspapier
Quantifying 35 transcripts in a single tube: Model-based calibration of the GeXP RT-PCR assay. bioRxiv (2017)
112128.
Forschungspapier
Engineering DFS-Based Graph Algorithms. (2017), 10 S.
112129.
Forschungspapier
Single-Shot Multi-Person 3D Body Pose Estimation From Monocular RGB Input. (2017), 11 S.
112130.
Forschungspapier
VNect: Real-time 3D Human Pose Estimation with a Single RGB Camera. (2017), 13 S.
112131.
Forschungspapier
Cardinal Virtues: Extracting Relation Cardinalities from Text. (2017), 5 S.
112132.
Forschungspapier
GANerated Hands for Real-time 3D Hand Tracking from Monocular RGB. (2017), 13 S.
112133.
Forschungspapier
Real-time Hand Tracking under Occlusion from an Egocentric RGB-D Sensor. (2017), 10 S.
112134.
Forschungspapier
Personalized Item Recommendation with Continuous Experience Evolution of Users using Brownian Motion. (2017), 10 S.
112135.
Forschungspapier
Item Recommendation with Evolving User Preferences and Experience. (2017), 11 S.
112136.
Forschungspapier
People on Drugs: Credibility of User Statements in Health Communities. (2017), 10 S.
112137.
Forschungspapier
Synthesizing Optimally Resilient Controllers. (2017), 19 S.
112138.
Forschungspapier
Invariant Synthesis for Incomplete Verification Engines. (2017), 23 S.
112139.
Forschungspapier
Reductions for Frequency-Based Data Mining Problems. (2017), 23 S.
112140.
Forschungspapier
A voting-based system for ethical decision making. arXiv, 1709.06692 (2017)