In this paper we look at the connection between Green's functions and preconditioners for systems of equations arising through the discretization of linear partial diierential equations. We nd that Green's functions, as generalized inverses of diierential operators, can sometimes ooer a useful insight into the properties of the discrete inverse operator. More precisely, their properties (singul...

Assume that we would like to design an auction for millions of buyers and items. Alternatively, we have a cloud of hundreds of thousands of computers on which we would like to schedule several millions of jobs. In the not-so-distant past, these ideas would have been unthinkable, but today, technological advances, especially the Internet, have led us to the point where they are not only possible...

We present second-order value numbering, a new optimization method for suppressing redundancy, in a version tailored to the application for optimizing the decision procedure of jMosel, a verification tool set for monadic second-order logic on strings (M2L(Str)). The method extends the well-known concept of value numbering to consider not merely values, but semantics transformers that can be eff...

The telecommunication numbering system in Indonesia currently complies to the International TelecommunicationUnion (ITU) standard, that is ITU-T E.164. In accordance to both technology development and the growing of network users, ITU has also been designing future infrastructure network concept, namely Next Generation Network Infrastructure (NGNI). In its technical paper, ITU discusses future ...

The telecommunication numbering system in Indonesia currently complies to the International TelecommunicationUnion (ITU) standard, that is ITU-T E.164. In accordance to both technology development and the growing of network users, ITU has also been designing future infrastructure network concept, namely Next Generation Network Infrastructure (NGNI). In its technical paper, ITU discusses future ...