UFF - Universidade Federal Fluminense
Departamento de Análise
The energy of a simple graph G is the sum of the absolute values of the eigenvalues of its adjacency matrix. Two graphs of the same order are said to be equienergetic if they have the same energy. Several ways to construct equienergetic... more
Let G be a simple graph with n vertices and m edges. Let edges of G be given an arbitrary orientation, and let Q be the vertex-edge incidence matrix of such oriented graph. The oriented incidence energy of G is then the sum of singular... more
The Laplacian energy of a graph sums up the absolute values of the differences of average degree and eigenvalues of the Laplace matrix of the graph. This spectral graph parameter is upper bounded by the energy obtained when replacing the... more
Reddy introduced an extended intuitionistic linearcalculus, called LLMS (for Linear Logic Model ofState), to model some features of state manipulation. His calculus includes the connective" before" and an associated modality y.... more
We present a categorical/denotational semantics for the Lambek Syntactic Calculus (LSC), indeed for a A-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right... more
Trees with two nonadjacent vertices of degree larger than two are not integral. This settles a question by .
Let T n be the set of all trees of diameter 3 and n vertices. We show that the Laplacian energy of any tree in T n is strictly between the Laplacian energy of the path P n and the star S n , partially proving the conjecture that this... more
Let G be a simple graph with n vertices and m edges. Let edges of G be given an arbitrary orientation, and let Q be the vertex-edge incidence matrix of such oriented graph. The oriented incidence energy of G is then the sum of singular... more
Certain locally convex spaces of scalar-valued mappings are shown to be finitedimensional.