In this paper we investigate continuous and upper and lower semi-continuous real functions in the framework of TTE, Type-2 Theory of EEectivity. First some basic facts about TTE are summarized. For each of the function spaces, we introduce several natural representations based on diierent intiuitive concepts of \eeectivity" and prove their equivalence. Computability of several operations on the...

The aim of this paper is to introduce semi strong na continuous multifunctions and to obtain new results.

We translate in semi-group theory our proof of Varadhan estimates for subelliptic Laplacians which was using the theory of large deviations of Wentzel-Freidlin and the Malliavin Calculus of Bismut type. Key–Words: Large deviations. Subelliptic estimates.

We show that stationary statistical properties for uniformly dissipative dynamical systems are upper semi-continuous under regular perturbation and a special type of singular perturbation in time of relaxation type. The results presented are applicable to many physical systems such as the singular limit of infinite Prandtl-Darcy number in the Darcy-Boussinesq system for convection in porous med...

A new semi-analytical approach to estimate the influence of directly modulated semiconductor laser noise on direct detection system performance is proposed and its accuracy is analysed utilizing rigorous mixed semi-analytical simulation. It is shown that this new semi-analytical approach gives a more precise upper bound than the one obtained by other approach currently used, and differences of ...

We formulate separating equilibria with (many) signals as the set of zeroes of a suitable mapping and show continuity of this mapping for a suitable topolm We prove upper semi-continuity (USC) of the correspondence mapping the set of multidimensional signalling environments into their sets of separating equilibria. Journal of Economic Literature Classification Numbers: 022, 026.

Let β(G) and Γ(G) be the independence number and the upper domination number of a graphG, respectively. A graph G is called Γ-perfect if β(H) = Γ(H), for every induced subgraph H of G. The class of Γ-perfect graphs generalizes such well-known classes of graphs as strongly perfect graphs, absorbantly perfect graphs, and circular arc graphs. In this article, we present a characterization of Γ-per...

Blake A. Allison⇤, Adib Bagh†, and Jason J. Lepore‡. October 5, 2016 Abstract. We provide sufficient conditions for a game with discontinuous payoffs to be weakly reciprocally upper semi-continuous in mixed strategies. These conditions are imposed on the individual payoffs and not on their sum, and they can be readily verified in a large class of games even when the sum of payoffs in such games...

For an upper semi-continuous set-valued mapping from one topological space to another and for a lower semi-continuous function defined on the product of these spaces, Berge’s theorem states lower semi-continuity of the minimum of this function taken over the image sets. It assumes that the image sets are compact. For Hausdorff topological spaces, this paper extends Berge’s theorem to set-valued...

In this article we define the inverse limit of an inverse sequence (X1, f1), (X2, f2), (X3, f3), . . . where each Xi is a compact Hausdorff space and each fi is an upper semi-continuous function from Xi+1 into 2i . Conditions are given under which the inverse limit is a Hausdorff continuum and examples are given to illustrate the nature of these inverse limits.