Forschungspapier (120)

1341.
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
1342.
Forschungspapier
Kusmierczyk, T.; Gomez Rodriguez, M.: Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 S.
MPG.PuRe
pre-print
1343.
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
1344.
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
1345.
Forschungspapier
Mallik, K.; Soudjani, S.; Schmuck, A.-K.; Majumdar, R.: Compositional Construction of Finite State Abstractions for Stochastic Control Systems. (2017), 8 S.
MPG.PuRe
pre-print
1346.
Forschungspapier
Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. (2017), 19 S.
MPG.PuRe
pre-print
1347.
Forschungspapier
Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. (2017), 23 S.
MPG.PuRe
pre-print
1348.
Forschungspapier
Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 S.
MPG.PuRe
pre-print
1349.
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.
MPG.PuRe
pre-print
1350.
Forschungspapier
Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
MPG.PuRe
pre-print
1351.
Forschungspapier
Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Optimizing Human Learning. (2017), 20 S.
MPG.PuRe
pre-print
1352.
Forschungspapier
Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
MPG.PuRe
pre-print
1353.
Forschungspapier
Tschiatschek, S.; Singla, A.; Gomez Rodriguez, M.; Merchant, A.; Krause, A.: Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 S.
MPG.PuRe
pre-print
1354.
Forschungspapier
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 S.
MPG.PuRe
pre-print
1355.
Forschungspapier
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 S.
MPG.PuRe
pre-print
1356.
Forschungspapier
Zarezade, A.; De, A.; Rabiee, H.; Gomez Rodriguez, M.: Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 S.
MPG.PuRe
pre-print
1357.
Forschungspapier
Babaei, M.; Grabowicz, P.; Valera, I.; Gummadi, K. P.; Gomez Rodriguez, M.: On the Efficiency of the Information Networks in Social Media. (2016), 10 S.
MPG.PuRe
DOI
pre-print
1358.
Forschungspapier
Chen, J.-J.; Brandenburg, B.: A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 S.
MPG.PuRe
pre-print
1359.
Forschungspapier
Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. (2016), 28 S.
MPG.PuRe
pre-print
1360.
Forschungspapier
Du, N.; Liang, Y.; Balcan, M.-F.; Gomez Rodriguez, M.; Zha, H.; Song, L.: Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. (2016), 45 S.
MPG.PuRe
pre-print
Web-Ansicht
Seite Drucken
Im neuen Fenster öffnen
Geschätzte DIN-A4 Seiten-Breite
Zur Redakteursansicht