Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Soloviev, Matvey"'
When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependencies P1 or P2, but not both. A formal semantic model of such disjunctive
Externí odkaz:
http://arxiv.org/abs/2312.10441
We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security properties, while also being intuitive and independent of syntactic deta
Externí odkaz:
http://arxiv.org/abs/2309.09542
Autor:
Soloviev, Matvey, Halpern, Joseph Y.
Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other parts. Therefore, formal models of causality are an attractive tool f
Externí odkaz:
http://arxiv.org/abs/2104.00872
Autor:
Soloviev, Matvey, Halpern, Joseph Y.
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula $\varphi$ after performing a bounded number of noisy tests of the truth valu
Externí odkaz:
http://arxiv.org/abs/2005.10383
We explore the impact of mutual altruism among the players belonging to the same set -- their tribe -- in a partition of all players in arbitrary strategic games upon the quality of equilibria attained. To this end, we introduce the notion of a {\tau
Externí odkaz:
http://arxiv.org/abs/1907.06862
Autor:
SOLOVIEV, MATVEY1 msoloviev@cs.cornell.edu, HALPERN, JOSEPH Y.1 halpern@cs.cornell.edu
Publikováno v:
Journal of the ACM. May2022, Vol. 69 Issue 3, p1-37. 37p.
Autor:
Kozen, Dexter, Soloviev, Matvey
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and a
Externí odkaz:
http://arxiv.org/abs/1807.02735
Autor:
Kozen, Dexter, Soloviev, Matvey
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
Ensembles of decision trees perform well on many problems, but are not interpretable. In contrast to existing approaches in interpretability that focus on explaining relationships between features and predictions, we propose an alternative approach t
Externí odkaz:
http://arxiv.org/abs/1611.07115
We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human performance on this task is based both on prior knowledge about plausible sh
Externí odkaz:
http://arxiv.org/abs/1606.04590