Cross-ventilation flows (CV) are characterized by significant inflow momentum conservation as fluid flows across an enclosed rectangular volume as a confined jet. When the inflow area is smaller than the volume cross-sectional ...

We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set ...

We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...

The thesis describes the design and implementation of a simulation model. The model is patterned after the EXEC-8 multiprogramming time sharing operating system on the UNIVAC 1106 computer at the computer centre of the ...

This paper is a sequel to Collapsing of Abelian Fibered Calabi-Yau Manifolds [12]. We further study Gromov–Hausdorff collapsing limits of Ricci-flat Kähler metrics on abelian fibered Calabi–Yau manifolds. Firstly, we show ...

3G is the wireless network technology expected to allow wireless applications to perform on par with wired applications. However 3G has factors which limit its performance. These factors include both device factors such ...

We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...

The systemic structure of TCP/IP is outdated; a new scheme for data transportation is needed in order to make the internet more adaptive to modern demands of mobility, information-driven demand, ever-increasing quantity ...

The use of computer technology and magnetic storage media for production typing led to a new term "word processing". In this research word processing is considered to be part only of a more comprehensive concept - electronic ...

It is challenging to obtain online solutions of large-scale integer linear programming (ILP) problems that occur frequently in slightly different forms during planning for autonomous systems. We refer to such ILP problems ...

Coupled-channel πK and ηK scattering amplitudes are determined by studying the finite-volume energy spectra obtained from dynamical lattice QCD calculations. Using a large basis of interpolating operators, including both ...

The major part of this thesis focuses on investigating dynamic hydration behaviour of a series of hexacycylic molecules in water, by using computational techniques validated through ultrasound interferometry experiments. ...

Integral representations for the solution of linear elliptic partial differential equations (PDEs) can be obtained using Green's theorem. However, these representations involve both the Dirichlet and the Neumann values on ...

The current medley of interoperability protocols is potentially problematic. Each protocol is designed by a different group, each provides a single service, and has its own syntax and vocabulary. Popular protocols such as ...

Cloud Computing is a relatively new and appealing concept; however, users may not fully trust Cloud Providers with their data and can be reluctant to store their files on Cloud Storage Services. The problem is that Cloud ...

In our search towards an interactive mobile fixed rate calculator, in this dissertation, we are interested in the human-centred design and in particularly exploring the mobile user interface design and the user experience ...

HIV Disease Management Programs (DMP's) are comprehensive programs that are designed to manage the HIV infected patient's treatment in an integrated manner.

This dissertation describes the design of two mobile authentication techniques: combinational graphical passwords and gesture passwords. These systems were implemented as prototypes. The prototypes along with a PIN ...

Lack of adaptive-predictor models in software development renders the decision-making process complex, principally when evaluating investment options. Prior work has presented various approaches which are still non-integrated, ...

We present a mathematical model of the fracturing of water-saturated rocks and other porous materials in cold climates. Ice growing inside porous rocks causes large pressures to develop that can significantly damage the ...