Forschungspapier (118)

1281.
Forschungspapier
Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S.; Vafeiadis, V.: The Decidability of Verification under Promising 2.0. (2020), 63 S.
MPG.PuRe
pre-print
1282.
Forschungspapier
Barthe, G.; De Viti, R.; Druschel, P.; Garg, D.; Gomez Rodriguez, M.; Ingo, P.; Lentz, M.; Mehta, A.; Schölkopf, B.: PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. (2020), 21 S.
MPG.PuRe
pre-print
1283.
Forschungspapier
Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 S.
MPG.PuRe
pre-print
1284.
Forschungspapier
Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 S.
MPG.PuRe
DOI
pre-print
1285.
Forschungspapier
Nanda, V.; Xu, P.; Sankararaman, K. A.; Dickerson, J. P.; Srinivasan, A.: Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 S.
MPG.PuRe
pre-print
1286.
Forschungspapier
Samanta, A.; Shrinivasan, S.; Kaufmann, A.; Mace, J.: No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 S.
MPG.PuRe
DOI
pre-print
1287.
Forschungspapier
Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. (2018), 10 S.
MPG.PuRe
1288.
Forschungspapier
Chen, Y.; Singla, A.; Mac Aodha, O.; Perona, P.; Yue, Y.: Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. (2018), 25 S.
MPG.PuRe
pre-print
1289.
Forschungspapier
Francis, P.; Probst-Eide, S.; Obrok, P.; Berneanu, C.; Juric, S.; Munz, R.: Extended Diffix. (2018), 26 S.
MPG.PuRe
pre-print
1290.
Forschungspapier
Gavran, I.; Boldt, B.; Darulova, E.; Majumdar, R.: Precise but Natural Specification for Robot Tasks. (2018), 7 S.
MPG.PuRe
pre-print
1291.
Forschungspapier
Haug, L.; Tschiatschek, S.; Singla, A.: Teaching Inverse Reinforcement Learners via Features and Demonstrations. (2018), 13 S.
MPG.PuRe
pre-print
1292.
Forschungspapier
Heidari, H.; Ferrari, C.; Gummadi, K. P.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. (2018), 17 S.
MPG.PuRe
pre-print
1293.
Forschungspapier
Neider, D.; Gavran, I.: Learning Linear Temporal Properties. (2018), 10 S.
MPG.PuRe
pre-print
1294.
Forschungspapier
Upadhyay, U.; De, A.; Gomez Rodriguez, M.: Deep Reinforcement Learning of Marked Temporal Point Processes. (2018), 20 S.
MPG.PuRe
pre-print
1295.
Forschungspapier
Valera, I.; Singla, A.; Gomez Rodriguez, M.: Enhancing the Accuracy and Fairness of Human Decision Making. (2018), 11 S.
MPG.PuRe
pre-print
1296.
Forschungspapier
Zhu, X.; Singla, A.; Zilles, S.; Rafferty, A. N.: An Overview of Machine Teaching. (2018), 18 S.
MPG.PuRe
pre-print
1297.
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
1298.
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
1299.
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
1300.
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
Web-Ansicht
Seite Drucken
Im neuen Fenster öffnen
Geschätzte DIN-A4 Seiten-Breite
Zur Redakteursansicht