Forschungspapier (122)
7721.
Forschungspapier
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
7722.
Forschungspapier
Optimizing Human Learning. (2017), 20 S.
7723.
Forschungspapier
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
7724.
Forschungspapier
Self-supervised Multi-level Face Model Learning for Monocular Reconstruction at over 250 Hz. (2017), 16 S.
7725.
Forschungspapier
MoFA: Model-based Deep Convolutional Face Autoencoder for Unsupervised Monocular Reconstruction. (2017), 10 S.
7726.
Forschungspapier
Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking. (2017), 15 S.
7727.
Forschungspapier
Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 S.
7728.
Forschungspapier
Global-scale combustion sources of organic aerosols: sensitivity to formation and removal mechanisms. Atmospheric Chemistry and Physics Discussions 17 (2017)
7729.
Forschungspapier
Historic global biomass burning emissions for CMIP6 (BB4CMIP) based on merging satellite observations with proxies and fire models (1750-2015). Geoscientific Model Development Discussions 10 (9) (2017)
7730.
Forschungspapier
Depression and Self-Harm Risk Assessment in Online Forums. (2017), 14 S.
7731.
Forschungspapier
Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 S.
7732.
Forschungspapier
CTRL+Z: Recovering Anonymized Social Graphs. (2017), 18 S.
Bericht (6)
7733.
Bericht
854). Technische Universität Dortmund, Dortmund (2017), 67 S.
Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 7734.
Bericht
Live User-guided Intrinsic Video For Static Scenes. Max-Planck-Institut für Informatik, Saarbrücken (2017), 12 S.
7735.
Bericht
North Sea Biogeochemical Climatology. Universität Hamburg, Hamburg (2017)
7736.
Bericht
Interdiffusion and Phase Formation at Iron-Tungsten Interfaces. Max-Planck-Institut für Plasmaphysik, Garching (2017), 108 S.
7737.
Bericht
Reopened Bacho Kiro - new data on Middle/Upper Palaeolithic transition and Early-Middle stages of Upper Palaeolithic. (2017)
7738.
Bericht
WatchSense: On- and Above-Skin Input Sensing through a Wearable Depth Sensor. Max-Planck-Institut für Informatik, Saarbrücken (2017), 17 S.
Heft (5)
7739.
Heft
Microdevices and Microsystems for Cell Manipulation (Sonderheft). Micromachines (2017), VIII, 170 S.
7740.
Heft
59, (5) (2017)
Special issue on comparing gyrokinetic simulations to experiments (Sonderheft). Plasma Physics and Controlled Fusion