Forschungspapier (118)
1321.
Forschungspapier
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
1322.
Forschungspapier
Optimizing Human Learning. (2017), 20 S.
1323.
Forschungspapier
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
1324.
Forschungspapier
Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 S.
1325.
Forschungspapier
From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 S.
1326.
Forschungspapier
Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 S.
1327.
Forschungspapier
Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 S.
1328.
Forschungspapier
On the Efficiency of the Information Networks in Social Media. (2016), 10 S.
1329.
Forschungspapier
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 S.
1330.
Forschungspapier
Hitting Families of Schedules for Asynchronous Programs. (2016), 28 S.
1331.
Forschungspapier
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. (2016), 45 S.
1332.
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.
1333.
Forschungspapier
The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 S.
1334.
Forschungspapier
Sparsity Preserving Algorithms for Octagons. (2016), 14 S.
1335.
Forschungspapier
Smart Broadcasting: Do you Want to Be Seen? (2016), 17 S.
1336.
Forschungspapier
Compositional Synthesis of Finite State Abstractions. (2016), 10 S.
1337.
Forschungspapier
Computing Distances between Reach Flowpipes. (2016), 12 S.
1338.
Forschungspapier
Modeling the Dynamics of Online Learning Activity. (2016), 14 S.
1339.
Forschungspapier
A Survey on Routing in Anonymous Communication Protocols. (2016), 24 S.
1340.
Forschungspapier
Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 S.