A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...

Communities of vertices within a giant network such as the World Wide Web are likely to be vastly smaller than the network itself. However, Fortunato and Barthélemy have proved that modularity maximization algorithms for community detection may fail to resolve communities with fewer than √L/2 edges, where L is the number of edges in the entire network. This resolution limit leads modularity max...

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...

Given a set of entities, cluster analysis aims at finding subsets, also called clusters or communities or modules, entities of which are homogeneous and well separated. In the last ten years clustering on networks, or graphs, has been a subject of intense study. Edges between pairs of vertices within the same cluster should be relatively dense, while edges between pairs of vertices in different...

Cross-organizational electronic collaboration is about to gain significant momentum and facilitates the emergence of a globally networked information service economy. However, existing solutions for the realization of such business relationships still exhibit weaknesses with respect to both managerial and technological aspects. In this work, we propose a service-oriented reference architecture ...

Raman amplification of a 49 cm Bismuth oxide (Bi2O3) as a nonlinear gainmedium based erbium doped fiber amplifier (EDFA) is reported in new and compactdesign in near infrared spectral regions. The bismuth glass host provides theopportunity to be doped heavily with erbium ions to allow a compact optical gain fiberamplifier design by using reduced fiber length and the 1480...

In our seminar we have been working towards a modularity lifting theorem. Recall that such a theorem allows one (under suitable hypotheses) to deduce the modularity of a p-adic Galois representation from that of the corresponding mod p representation. This is a wonderful theorem, but it is not immediately apparent how it can be applied: when does one know that the residual representation is mod...