Forschungspapier (1307)

103201.
Forschungspapier
Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. (2017), 19 S.
103202.
Forschungspapier
Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. (2017), 23 S.
103203.
Forschungspapier
Neumann, S.; Miettinen, P.: Reductions for Frequency-Based Data Mining Problems. (2017), 23 S.
103204.
Forschungspapier
Noothigattu, R.; Gaikwad, S. '. S.; Awad, E.; Dsouza, S.; Rahwan, I.; Ravikumar, P.; Procaccia, A. D.: A voting-based system for ethical decision making. arXiv, 1709.06692 (2017)
103205.
Forschungspapier
Park, D. H.; Hendricks, L. A.; Akata, Z.; Rohrbach, A.; Schiele, B.; Darrell, T.; Rohrbach, M.: Attentive Explanations: Justifying Decisions and Pointing to the Evidence (Extended Abstract). (2017), 4 S.
103206.
Forschungspapier
Peterson, P. K.; Poehler, D.; Sihler, H.; Zielcke, J.; General, S.; Friess, U.; Platt, U.; Simpson, W. R.; Nghiem, S. V.; Shepson, P. B. et al.; Stirm, B. H.; Dhaniyala, S.; Wagner, T.; Caulton, D. R.; Fuentes, J. D.; Pratt, K. A.: Observations of bromine monoxide transport in the Arctic sustained on aerosol particles. Atmospheric Chemistry and Physics Discussions 17 (2017)
103207.
Forschungspapier
Pitoura, E.; Tsaparas, P.; Flouris, G.; Fundulaki, I.; Papadakos, P.; Abiteboul, S.; Weikum, G.: On Measuring Bias in Online Information. (2017), 6 S.
103208.
Forschungspapier
Priego, E.; McKiernan, E.; Posada, A.; Hartley, R.; Ortega, N. R. g.; Fiormonte, D.; Gil, A.; Logan, C. J.; Alperin, J. P.; Mounce, R. et al.; Eglen, S. J.; Trigueros, E. M.; Lawson, S.; Gatto, L.; Ramos, A.; Pérez, N.: Scholarly publishing, freedom of information and academic self-determination: The UNAM-Elsevier Case. Authorea (2017)
103209.
Forschungspapier
Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 S.
103210.
Forschungspapier
Radhakrishna, A.; Lewchenko, N.; Meier, S.; Mover, S.; Sripada, K. C.; Zufferey, D.; Chang, B.-Y. E.; Černý, P.: Learning Asynchronous Typestates for Android Classes. (2017), 26 S.
103211.
Forschungspapier
Schuck, N. W.; Wilson, R. C.; Niv, Y.: A state representation for reinforcement learning and decision-making in the orbitofrontal cortex. BioRxiv, 210591 (2017), . S.
103212.
Forschungspapier
Schulz, E.; Wu, C. M.; Huys, Q. J. M.; Krause, A.; Speekenbrink, M.: Generalization and search in risky environments. BioRxiv, 227322 (2017), . S.
103213.
Forschungspapier
Seyler, D.; Dembelova, T.; Del Corro, L.; Hoffart, J.; Weikum, G.: KnowNER: Incremental Multilingual Knowledge in Named Entity Recognition. (2017), 8 S.
103214.
Forschungspapier
Simpson, W. R.; Peterson, P. K.; Friess, U.; Sihler, H.; Lampel, J.; Platt, U.; Moore, C.; Pratt, K.; Shepson, P.; Halfacre, J. et al.; Nghiem, S. V.: Horizontal and vertical structure of reactive bromine events probed by bromine monoxide MAX-DOAS. Atmospheric Chemistry and Physics Discussions 17 (2017)
103215.
Forschungspapier
Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
103216.
Forschungspapier
Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Optimizing Human Learning. (2017), 20 S.
103217.
Forschungspapier
Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
103218.
Forschungspapier
Tewari, A.; Zollhöfer, M.; Kim, H.; Garrido, P.; Bernard, F.; Pérez, P.; Theobalt, C.: MoFA: Model-based Deep Convolutional Face Autoencoder for Unsupervised Monocular Reconstruction. (2017), 10 S.
103219.
Forschungspapier
Tewari, A.; Zollhöfer, M.; Garrido, P.; Bernard, F.; Kim, H.; Pérez, P.; Theobalt, C.: Self-supervised Multi-level Face Model Learning for Monocular Reconstruction at over 250 Hz. (2017), 16 S.
103220.
Forschungspapier
Tompkin, J.; Kim, K. I.; Pfister, H.; Theobalt, C.: Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking. (2017), 15 S.
Zur Redakteursansicht