Context – Offshore software development outsourcing (OSDO) is a modern business strategy for developing high quality software at low-wage countries at reduced cost. Outsourcing is a contract based association between vendor and client organization, where a client organization contracts-out with vendor organization for software development work to be provided by vendor organization in return for...

Francisella tularensis is a highly infectious bacterium whose virulence relies on its ability to rapidly reach the macrophage cytosol and extensively replicate in this compartment. We previously identified a novel Francisella virulence factor, DipA (FTT0369c), which is required for intramacrophage proliferation and survival, and virulence in mice. DipA is a 353 amino acid protein with a Sec-dep...

In an endeavor to reach the vision of ubiquitous computing where users are able to use pervasive services without spatial and temporal constraints, we are witnessing a fast growing number of mobile and sensor-enhanced devices becoming available. However, in order to take full advantage of the numerous benefits offered by novel mobile devices and services, we must address the related security is...

We describe the mechanisation of an SLR parser produced by a parser generator, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the various properties proved about the parser we show, in particular, soundness: if the parser results in a parse tree on a given input, then the parse tree is valid with respect to the gramm...

Sign Language is a means of communication between audibly challenged people. To provide an interface between the audibly challenged community and the rest of the world we need Sign Language translators. A sign language recognition system computerizes the work of a sign language translator. Every Sign Language Recognition (SLR) System is trained to recognize specific sets of signs and they corre...

Deenite-clause grammars (DCGs) generalize context-free grammars in such a way that Prolog can be used as a parser in the presence of context-sensitive information. Prolog's proof procedure, however, is based on back-tracking, which may be a source of ineeciency. Parsers for context-free grammars which use backtracking, for instance, were soon replaced by more eecient methods such as LR parsers....

Satellite Laser Ranging (SLR) systems successfully measure attitude and spin period of Envisat. During the International Laser Ranging Service (ILRS) campaign the SLR stations observed the satellite and provided measurements that allow determination of the attitude and the spin period of Envisat during year 2013. The spin parameters of the spacecraft are stable within a coordinate system fixed ...

Accelerated sea level rise (SLR) in the twenty-first century will result in unprecedented coastal recession, threatening billions of dollars worth of coastal developments and infrastructure. Therefore, we cannot continue to depend on the highly uncertain coastal recession estimates obtained via the simple, deterministic method (Bruun rule) that has been widely used over the last 50 years. Furth...