Forschungspapier (120)

1281.
Forschungspapier
Nanayakkara, P.; Smart, M. A.; Cummings, R.; Kaptchuk, G.; Redmiles, E. M.: What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. (2023), 24 S.
MPG.PuRe
pre-print
1282.
Forschungspapier
Nayak, S. P.; Egidio, L. N.; Della Rossa, M.; Schmuck, A.-K.; Jungers, R.: Context-triggered Abstraction-based Control Design. (2023), 25 S.
MPG.PuRe
pre-print
1283.
Forschungspapier
Okati, N.; Tsirtsis, S.; Gomez Rodriguez, M.: On the Within-Group Discrimination of Screening Classifiers. (2023), 25 S.
MPG.PuRe
pre-print
1284.
Forschungspapier
Phung, T.; Cambronero, J.; Gulwani, S.; Kohn, T.; Majumdar, R.; Singla, A.; Soares, G.: Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. (2023), 8 S.
MPG.PuRe
pre-print
1285.
Forschungspapier
Rawal, R.; Toneva, M.: Perturbed Examples Reveal Invariances Shared by Language Models. (2023), 21 S.
MPG.PuRe
pre-print
1286.
Forschungspapier
Straitouri, E.; Gomez Rodriguez, M.: Designing Decision Support Systems Using Counterfactual Prediction Sets. (2023), 26 S.
MPG.PuRe
pre-print
1287.
Forschungspapier
Tercan, A.; Ghosh, A.; Eniser, H. F.; Christakis, M.; Singla, A.: Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. (2023), 24 S.
MPG.PuRe
pre-print
1288.
Forschungspapier
Ye, L.; Khmelnitsky, I.; Haddad, S.; Barbot, B.; Bollig, B.; Leucker, M.; Neider, D.; Roy, R.: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. (2023), 23 S.
MPG.PuRe
pre-print
1289.
Forschungspapier
Zannettou, S.; Nemeth, O.-N.; Ayalon, O.; Goetzen, A.; Gummadi, K.; Redmiles, E. M.; Roesner, F.: Leveraging Rights of Data Subjects for Social Media Analysis: Studying TikTok via Data Donations. (2023), 11 S.
MPG.PuRe
pre-print
1290.
Forschungspapier
Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 S.
MPG.PuRe
pre-print
1291.
Forschungspapier
Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 S.
MPG.PuRe
pre-print
1292.
Forschungspapier
De Viti, R.; Sheff, I.; Glaeser, N.; Dinis, B.; Rodrigues, R.; Katz, J.; Bhattacharjee, B.; Hithnawi, A.; Garg, D.; Druschel, P.: CoVault: A Secure Analytics Platform. (2022), 14 S.
MPG.PuRe
pre-print
1293.
Forschungspapier
Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 S.
MPG.PuRe
pre-print
1294.
Forschungspapier
Hamilton, V.; Soneji, A.; McDonald, A.; Redmiles, E. M.: "Nudes? Shouldn't I charge for these?": Exploring What Motivates Content Creation on OnlyFans. (2022), 14 S.
MPG.PuRe
pre-print
1295.
Forschungspapier
Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 S.
MPG.PuRe
pre-print
1296.
Forschungspapier
Kazemi, M.; Majumdar, R.; Salamati, M.; Soudjani, S.; Wooding, B.: Data-Driven Abstraction-Based Control Synthesis. (2022), 14 S.
MPG.PuRe
pre-print
1297.
Forschungspapier
Lutz, S.; Neider, D.; Roy, R.: Specification sketching for Linear Temporal Logic. (2022), 25 S.
MPG.PuRe
pre-print
1298.
Forschungspapier
Ramasubramanian, K.; Raina, A.; Mace, J.; Alvaro, P.: ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 S.
MPG.PuRe
pre-print
1299.
Forschungspapier
Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U.: Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 S.
MPG.PuRe
pre-print
1300.
Forschungspapier
Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 S.
MPG.PuRe
pre-print
Web-Ansicht
Seite Drucken
Im neuen Fenster öffnen
Geschätzte DIN-A4 Seiten-Breite
Zur Redakteursansicht