Παρακολούθηση
Matvey Soloviev
Matvey Soloviev
PhD student, Cornell University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.cornell.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Tree space prototypes: Another look at making tree ensembles interpretable
S Tan, M Soloviev, G Hooker, MT Wells
Proceedings of the 2020 ACM-IMS on foundations of data science conference, 23-34, 2020
812020
Pattern graph rewrite systems
A Kissinger, A Merry, M Soloviev
arXiv preprint arXiv:1204.6695, 2012
392012
Quantomatic
A Kissinger, A Merry, B Frot, B Coecke, D Quick, L Dixon, M Soloviev, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
322011
In the shadows, shape priors shine: Using occlusion to improve multi-region segmentation
Y Kihara, M Soloviev, T Chen
Proceedings of the IEEE conference on computer vision and pattern …, 2016
132016
Information acquisition under resource limitations in a noisy environment
M Soloviev, JY Halpern
ACM Journal of the ACM (JACM) 69 (3), 1-37, 2022
32022
Coalgebraic tools for randomness-conserving protocols
D Kozen, M Soloviev
Journal of Logical and Algebraic Methods in Programming 125, 100734, 2022
32022
Disjunctive Policies for Database-Backed Programs
AM Ahmadian, M Soloviev, M Balliu
arXiv preprint arXiv:2312.10441, 2023
2023
Security Properties through the Lens of Modal Logic
M Soloviev, M Balliu, R Guanciale
arXiv preprint arXiv:2309.09542, 2023
2023
Security Properties as Nested Causal Statements
M Soloviev, JY Halpern
arXiv preprint arXiv:2104.00872, 2021
2021
Rational Inattention and a Causal Account of Program Security
M Soloviev
Cornell University, 2021
2021
The Impact of Tribalism on Social Welfare
S Han, M Soloviev, Y Wang
Algorithmic Game Theory: 12th International Symposium, SAGT 2019, Athens …, 2019
2019
Rewriting Pattern Graphs
A Merry, M Soloviev
2012
Short Paper: A Modal Framework for Security Properties
M Soloviev, M Balliu, R Guanciale
The Impact of Tribalism on Social Welfare
M Soloviev
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–14