Equivalence Problem Solvability in Gateway Program Models

Gateway / McNair Scholars Program

Latinos are the nation’s largest minority, and one of its fastest growing as it is stated by the Pew Research Center. Latinos are expected to make up nearly one-fourth of the population by 2050. It would be safe to assume there would be many resources available and help tailored for the nation’s largest minority but it’s actually the opposite. There is a huge health disparity in the US, where L...

Solvability for Parabolic Poincaré Problem

Gateway Location Models

In this paper, we consider the design of airline network in Asia where optimal locations of the gateways and local hubs are established. We report some results using the demand data reported by IATA in 2005. The results show interesting features of gateway locations in Asia.

The extended equivalence and equation solvability problems for groups

The algorithmic aspects of the equivalence problem and the equation solvability problem have received increasing attention in the past two decades. The equivalence problem for a finite algebra A asks whether or not two (term or polynomial) expressions s and t are equivalent over A (denoted by A |= s ≈ t), i.e. if s and t determine the same function over A. The equation solvability is one of the...

Program equivalence in linear contexts

Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those based on bisimulations and logical relations only target at contextual equivalence in the usual (non-linear) functional languages, and fail in capturing non-trivial equivalent programs in linear contexts, particularly w...