Forschungspapier (120)

1321.
Forschungspapier
Zhu, X.; Singla, A.; Zilles, S.; Rafferty, A. N.: An Overview of Machine Teaching. (2018), 18 S.
MPG.PuRe
pre-print
1322.
Forschungspapier
Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Strub, P.-Y.: A Relational Logic for Higher-Order Programs. (2017), 57 S.
MPG.PuRe
pre-print
1323.
Forschungspapier
Bichhawat, A.; Rajani, V.; Jain, J.; Garg, D.; Hammer, C.: WebPol: Fine-grained Information Flow Policies for Web Browsers. (2017), 21 S.
MPG.PuRe
pre-print
1324.
Forschungspapier
Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Bhatu, P.; Garg, D.; Lal, A.; Rastogi, A.: An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. (2017), 14 S.
MPG.PuRe
pre-print
1325.
Forschungspapier
Chakraborty, A.; Messias, J.; Benevenuto, F.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. (2017), 10 S.
MPG.PuRe
pre-print
1326.
Forschungspapier
Chakraborty, A.; Ali, M.; Ghosh, S.; Ganguly, N.; Gummadi, K.: On Quantifying Knowledge Segregation in Society. (2017), 5 S.
MPG.PuRe
pre-print
1327.
Forschungspapier
D'Souza, D.; Ezudheen, P.; Garg, P.; Madhusudan, P.; Neider, D.: Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.
MPG.PuRe
pre-print
1328.
Forschungspapier
Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.
MPG.PuRe
pre-print
1329.
Forschungspapier
Dimitrova, R.; Gavran, I.; Majumdar, R.; Prabhu, V.; Soudjani, S.: The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. (2017), 20 S.
MPG.PuRe
pre-print
1330.
Forschungspapier
Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjani, S.: Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. (2017), 11 S.
MPG.PuRe
pre-print
1331.
Forschungspapier
Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.
MPG.PuRe
pre-print
1332.
Forschungspapier
Garg, D.; Hritcu, C.; Patrignani, M.; Stronati, M.; Swasey, D.: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.
MPG.PuRe
pre-print
1333.
Forschungspapier
Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.
MPG.PuRe
pre-print
1334.
Forschungspapier
Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.
MPG.PuRe
pre-print
1335.
Forschungspapier
Jankowiak, M.; Gomez Rodriguez, M.: Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 S.
MPG.PuRe
pre-print
1336.
Forschungspapier
Kim, J.; Tabibian, B.; Oh, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. (2017), 15 S.
MPG.PuRe
pre-print
1337.
Forschungspapier
Kulshrestha, J.; Zafar, M. B.; Espin Noboa, L.; Gummadi, K.; Ghosh, S.: Characterizing Information Diets of Social Media Users. (2017), 11 S.
MPG.PuRe
pre-print
1338.
Forschungspapier
Kusmierczyk, T.; Gomez Rodriguez, M.: Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 S.
MPG.PuRe
pre-print
1339.
Forschungspapier
Lavaei, A.; Soudjani, S.; Majumdar, R.; Zamani, M.: Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 S.
MPG.PuRe
pre-print
1340.
Forschungspapier
Lengál, O.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 S.
MPG.PuRe
pre-print
Web-Ansicht
Seite Drucken
Im neuen Fenster öffnen
Geschätzte DIN-A4 Seiten-Breite
Zur Redakteursansicht