Examples of Network Flow Verification Using TRAFFIC(X)

In our previous work, we developed TRAFFIC(X), a specification language for modeling bi-directional network flows featuring a type system with constrained polymorphism. In this paper, we present two ways to customize the constraint system: (1) when using linear inequality constraints for the constraint system, TRAFFIC(X) can describe flows with numeric properties such as MTU (maximum transmission unit), RTT (round trip time), traversal order, and bandwidth allocation over parallel paths; (2) when using Boolean predicate constraints for the constraint system, TRAFFIC(X) can describe routing policies of an IP network. These examples illustrate how to use the customized type system.

Three constructive examples of separable pre-Hilbert spaces nonisomorphic to their closed hyperplanes

An example of a sigma -compact infinite-dimensional pre-Hilbert space H is constructed such that any continuous linear operator T: H --> H is of the form T = lambdaI + F for some lambda is an element of R and for a finite-dimensional continuous linear operator F. A class of simple examples of pre-Hilbert spaces nonisomorphic to their closed hyperplanes is given. A sigma -compact pre-Hilbert space H isomorphic to H x R x R and nonisomorphic to H x R is also constructed.

The practice of book illustration: Three examples by Norah Borges

This article focuses on three different examples of book illustration carried out by Norah Borges in the 1930s and 1940s (Canciones de mar y tierra by Concha Méndez, Platero y yo by Juan Ramón Jiménez, and Paul et Virginie by Bernardin de Saint-Pierre). Its purpose is twofold: to show how illustrations can shape our reading of texts and to examine how the artist's work can be assimilated to a current of neorromanticismo in Spanish letters dating back to the pre-Civil War period. Her work might serve as an illustration of what Ramón Gómez de la Serna termed the cursi bueno, a marginalized reaction to the dehumanization of art that speaks of sentiment, domesticity and, in women's case, of repressed longing.