This paper describes Vex: a programming system for extracting content information from unstructured media. Vex poses the problem of understanding media in terms of recognizing events in media streams. Vex approaches this problem by adapting computer science tools for matching patterns and parsing text. Vex allows the user to write an application directly in terms of patterns and actions. Vex tr...

The visceral endoderm of mouse egg cylinders on the 7th and 8th days of gestation is divided into the visceral embryonic (VE) endoderm cell population which synthesizes alphafetoprotein (AFP), and the visceral extra-embryonic (VEX) endoderm population which does not synthesize AFP. Embryonic (E) and extra-embryonic (EX) ectoderm and visceral endoderm tissues were enzymically separated, reassoci...

Environmental enrichment (EE) and voluntary exercise (VEx) have consistently been shown to increase adult hippocampal neurogenesis and improve spatial learning ability. Although it appears that these two manipulations are equivalent in this regard, evidence exists that EE and VEx affect different phases of the neurogenic process in distinct ways. We review the data suggesting that EE increases ...

The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have received relatively little attention. Currently, extensions are vetted by manual inspection, which does not scale well and is subject to human error. In this paper, we present VEX, a framework for highlighting potenti...

We present the Visual Entity Explorer (VEX), an interactive tool for visually exploring and analyzing the output of entity linking systems. VEX is designed to aid developers in improving their systems by visualizing system results, gold annotations, and various mention detection and entity linking error types in a clear, concise, and customizable manner.

A class of functions called E-B-vex functions is defined as a generalization of E-convex and B-vex functions. Similarly, a class of E-B-preinvex functions, which are generalizations of E-convex and B-preinvex functions, is introduced. In addition, the concept of B-linear functions is also generalized to E-B-linear functions. Some properties of these proposed classes are studied. Furthermore, th...

This paper is about a critical component of the Web ecosystem that has so far received little attention in our community: ad exchanges. They run auctions to sell publishers’ inventory—space on a Web page—to advertisers who want to display ads in those spaces. Unfortunately, under the status quo, the parties to the auction cannot check that an auction was carried out correctly, which raises the ...

The lambda calculus is a formal symbolic term rewrite system that has been used for many years both as a mechanism for defining the semantics of programming languages, and as the basis for functional programming languages. In this paper, we describe a completely visual representation for lambda expressions, VEX, that has several advantages over traditional textual lambda calculus. Although VEX ...

In this paper we study different concepts of independence for convex sets of probabilities. There will be two basic ideas for independ­ ence. The first is irrelevance. Two variables are independent when a change on the know­ ledge about one variable does not affect the other. The second one is factorization. Two variables are independent when the joint con­ vex set of probabilities can be decom...

[1] Venus Express (VEX) has been monitoring key nightglow emissions and thermal features (O2 IR nightglow, NO UV nightglow, and nightside temperatures) which contribute to a comprehensive understanding of the global dynamics and circulation patterns above ∼90 km. The nightglow emissions serve as effective tracers of Venus’ middle and upper atmosphere global wind system due to their variable pea...