Forschungspapier (120)
1361.
Forschungspapier
The Case for Temporal Transparency: Detecting Policy Change Events in Black-Box Decision Making Systems. Fairness, Accountability, and Transparency in Machine Learning (2016), 7 S.
1362.
Forschungspapier
The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 S.
1363.
Forschungspapier
Sparsity Preserving Algorithms for Octagons. (2016), 14 S.
1364.
Forschungspapier
Smart Broadcasting: Do you Want to Be Seen? (2016), 17 S.
1365.
Forschungspapier
Compositional Synthesis of Finite State Abstractions. (2016), 10 S.
1366.
Forschungspapier
Computing Distances between Reach Flowpipes. (2016), 12 S.
1367.
Forschungspapier
Modeling the Dynamics of Online Learning Activity. (2016), 14 S.
1368.
Forschungspapier
A Survey on Routing in Anonymous Communication Protocols. (2016), 24 S.
1369.
Forschungspapier
Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 S.
1370.
Forschungspapier
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 S.
1371.
Forschungspapier
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 S.
1372.
Forschungspapier
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 S.
1373.
Forschungspapier
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 S.
1374.
Forschungspapier
A Theory of Partitioned Global Address Spaces. (2013)
1375.
Forschungspapier
Dynamic Package Interfaces - Extended Version. (2013)
1376.
Forschungspapier
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1377.
Forschungspapier
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures S.
1378.
Forschungspapier
A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 S.
1379.
Forschungspapier
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 S.
Bericht (27)
1380.
Bericht
Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 S.