We prove that any simply connected and complete Riemannian manifold, on which a Randers metric of positive constant flag curvature exists, must be diffeomorphic to an odd-dimensional sphere, provided a certain 1-form vanishes on it. 1. Introduction. The geometry of Finsler manifolds of constant flag curvature is one of the fundamental subjects in Finsler geometry. Akbar-Zadeh [1] proved that, u...

Interoperability between existing systems, program packages, tools and applications with various degrees of hypermedia awareness is a complex and important challenge facing the hypermedia community. This paper presents a general framework (called the Flag Interoperability Matrix) to discuss and examine hypermedia system interoperability based on the concepts and principles of the Flag taxonomy ...

This method was generated to isolate high affinity protein complexes from yeast lysate by performing serial affinity purification of doubly tagged 3×FLAG/V5 proteins. First, the bait protein of interest is immunoprecipitated by anti-FLAG-conjugated magnetic beads and gently eluted by 3×FLAG antigen peptide. Next, the bait protein is recaptured from the first eluate by anti-V5-conjugated magneti...

Horn recursion is a term used to describe when non-vanishing products of Schubert classes in the cohomology of flag varieties G/P are characterized by inequalities parameterized by similar non-vanishing products in the cohomology of ”smaller” flag varieties. We consider the partial flag variety SLn/P and find that H (SLn/P ) exhibits Horn recursion on a certain deformation of the cup product. W...

For a projective variety endowed with a torus action, the equivariant cohomology is determined by the fixed points of codimension 1 subtori. Especially, when the fixed points of the torus are finite and fixed varieties under the action of codimension 1 subtori have dimension less than or equal to 2, equivariant cohomology can be described by discrete conditions on the pair of fixed points via G...

For the flag variety G/B of a reductive algebraic group G we define and describe explicitly a certain (set-theoretical) cross-section φ : G/B → G. The definition of φ depends only on a choice of reduced expression for the longest element w0 in the Weyl group W . It assigns to any gB a representative g ∈ G together with a factorization into simple root subgroups and simple reflections. The cross...

Physical schemas are representations of simple physically grounded relationships and interactions such as “move,” “push,” and “contain.” We believe they are the conceptual primitives an agent employs to understand its environment. Physical schemas can be used at varying levels of abstraction across a variety of domains. We have designed a domain-general agent simulation and control testbed base...

Hands-on Capture-the-Flag (CTF) challenges tap into and cultivate the intrinsic motivation within people to solve puzzles, much in the same way Sudoku and crossword puzzles do. While the format has been successful in security competitions, there have been a limited number of attempts to integrate them into a classroom environment. This paper describes MetaCTF, a metamorphic set of CTF challenge...

Effective team process is critical for the performance of cyber security teams. To examine this, we observed two comparably skilled cyber security teams participating in the International Capture the Flag (iCTF) competition held in December 2011. At the conclusion of the competition, we followed up with a focus group discussion with six members from the two teams. In this paper, we present our ...