Forschungspapier (1579)

113001.
Forschungspapier
D'Souza, D.; Ezudheen, P.; Garg, P.; Madhusudan, P.; Neider, D.: Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.
113002.
Forschungspapier
Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.
113003.
Forschungspapier
Duch-Brown, N.; Martens, B.; Mueller-Langer, F.: The Economics of Ownership, Access and Trade in Digital Data. JRC Digital Economy Working Paper 2017-01 (2017), 46 S.
113004.
Forschungspapier
Duraj, L.; Künnemann, M.; Polak, A.: Tight Conditional Lower Bounds for Longest Common Increasing Subsequence. (2017), 18 S.
113005.
Forschungspapier
England, M.; Errami, H.; Grigoriev, D.; Radulescu, O.; Sturm, T.; Weber, A.: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. (2017), 15 S.
113006.
Forschungspapier
Even, G.; Levi, R.; Medina, M.: Faster and Simpler Distributed Algorithms for Testing and Correcting Graph Properties in the CONGEST-Model. (2017), 14 S.
113007.
Forschungspapier
Felbo, B.; Mislove, A.; Søgaard, A.; Rahwan, I.; Lehmann, S.: Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm. arXiv, 1708.00524 (2017)
113008.
Forschungspapier
Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.
113009.
Forschungspapier
Fontaine, P.; Ogawa, M.; Sturm, T.; Vu, X. T.: Subtropical Satisfiability. (2017), 17 S.
113010.
Forschungspapier
Frank, B.; Poese, I.; Smaragdakis, G.; Uhlig, S.; Feldmann, A.: Content-aware Traffic Engineering. (2017), 14 S.
113011.
Forschungspapier
Garg, D.; Hritcu, C.; Patrignani, M.; Stronati, M.; Swasey, D.: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.
113012.
Forschungspapier
Garg, J.; Hoefer, M.; Mehlhorn, K.: Approximating the Nash Social Welfare with Budget-Additive Valuations. (2017), 22 S.
113013.
Forschungspapier
Georg, C.-P.; Rose, M.; Opolot, D.: Informal Intellectual Collaboration with Central Colleagues. Kiel Working Paper 2084 (2017), 67 S.
113014.
Forschungspapier
Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.
113015.
Forschungspapier
Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.
113016.
Forschungspapier
Hoefer, M.; Kodric, B.: Combinatorial Secretary Problems with Ordinal Information. (2017), 16 S.
113017.
Forschungspapier
Hübschle, A.: The Groenewald Criminal Network: Background, Legislative Loopholes and Recommendations. The Global Observatory of Transnational Criminal Networks - Research Paper 11 (2017), 21 S.
113018.
Forschungspapier
Hui, K.; Yates, A.; Berberich, K.; de Melo, G.: PACRR: A Position-Aware Neural IR Model for Relevance Matching. (2017), 10 S.
113019.
Forschungspapier
Hui, K.; Yates, A.; Berberich, K.; de Melo, G.: RE-PACRR: A Context and Density-Aware Neural Information Retrieval Model. (2017), 8 S.
113020.
Forschungspapier
Ikenmeyer, C.; Lysikov, V.: Strassen's 2x2 Matrix Multiplication Algorithm: A Conceptual Perspective. (2017), 5 pages S.
Zur Redakteursansicht