23,392 research outputs found
"Not not bad" is not "bad": A distributional account of negation
With the increasing empirical success of distributional models of
compositional semantics, it is timely to consider the types of textual logic
that such models are capable of capturing. In this paper, we address
shortcomings in the ability of current models to capture logical operations
such as negation. As a solution we propose a tripartite formulation for a
continuous vector space representation of semantics and subsequently use this
representation to develop a formal compositional notion of negation within such
models.Comment: 9 pages, to appear in Proceedings of the 2013 Workshop on Continuous
Vector Space Models and their Compositionalit
Bicategorical Semantics for Nondeterministic Computation
We outline a bicategorical syntax for the interaction between public and
private information in classical information theory. We use this to give
high-level graphical definitions of encrypted communication and secret sharing
protocols, including a characterization of their security properties.
Remarkably, this makes it clear that the protocols have an identical abstract
form to the quantum teleportation and dense coding procedures, yielding
evidence of a deep connection between classical and quantum information
processing. We also formulate public-key cryptography using our scheme.
Specific implementations of these protocols as nondeterministic classical
procedures are recovered by applying our formalism in a symmetric monoidal
bicategory of matrices of relations.Comment: 21 page
CVXR: An R Package for Disciplined Convex Optimization
CVXR is an R package that provides an object-oriented modeling language for
convex optimization, similar to CVX, CVXPY, YALMIP, and Convex.jl. It allows
the user to formulate convex optimization problems in a natural mathematical
syntax rather than the restrictive form required by most solvers. The user
specifies an objective and set of constraints by combining constants,
variables, and parameters using a library of functions with known mathematical
properties. CVXR then applies signed disciplined convex programming (DCP) to
verify the problem's convexity. Once verified, the problem is converted into
standard conic form using graph implementations and passed to a cone solver
such as ECOS or SCS. We demonstrate CVXR's modeling framework with several
applications.Comment: 34 pages, 9 figure
- …