Forschungspapier (120)
1321.
Forschungspapier
Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. (2018), 17 S.
1322.
Forschungspapier
Learning Linear Temporal Properties. (2018), 10 S.
1323.
Forschungspapier
Deep Reinforcement Learning of Marked Temporal Point Processes. (2018), 20 S.
1324.
Forschungspapier
Enhancing the Accuracy and Fairness of Human Decision Making. (2018), 11 S.
1325.
Forschungspapier
An Overview of Machine Teaching. (2018), 18 S.
1326.
Forschungspapier
A Relational Logic for Higher-Order Programs. (2017), 57 S.
1327.
Forschungspapier
WebPol: Fine-grained Information Flow Policies for Web Browsers. (2017), 21 S.
1328.
Forschungspapier
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. (2017), 14 S.
1329.
Forschungspapier
Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. (2017), 10 S.
1330.
Forschungspapier
On Quantifying Knowledge Segregation in Society. (2017), 5 S.
1331.
Forschungspapier
Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.
1332.
Forschungspapier
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.
1333.
Forschungspapier
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. (2017), 20 S.
1334.
Forschungspapier
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. (2017), 11 S.
1335.
Forschungspapier
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.
1336.
Forschungspapier
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.
1337.
Forschungspapier
On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.
1338.
Forschungspapier
Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.
1339.
Forschungspapier
Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 S.
1340.
Forschungspapier
Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. (2017), 15 S.