We show that the Gaussian Elimination algorithm can be proven correct with uniform Extended Frege proofs of polynomial size, and hence feasibly. More precisely, we give short uniform Extended Frege proofs of the tautologies that express the following: given a matrix A, the Gaussian Elimination algorithm reduces A to row-echelon form. We also show that the consequence of this is that a large cla...

Results: The mean GI was significantly higher in males (1.56 ± 0.31 mm) when compared to females (1.42 ± 0.34 mm). Hence the present sample was subjected to discriminant analysis with gender as a grouping variable, GI and GA as independent variables. Based on Wilk’s lambda values Gonial index (GI) was observed to provide better sex determination when compared to Gonial angle (GA). Hence 2 diffe...

Asian organic foods consumers’ behaviour is worth investigating to sustain the continuous growth of organic foods consumption. Hence, Fiona has the ambition to employ the innovation diffusion theory to profile and understand organic foods consumers in Hong Kong in her research proposal. The process of writing an acceptable research proposal is challenging, tedious and time consuming as depicted...

Acinetobacter spp. are Gram negative coccobacilli causing various nosocomial infections. They possess different types of Beta-lactamases like SHV, TEM and others which lead to treatment failure in case of infections due to this pathogen. Studying their species distribution in various infections and drug resistance pattern is hence important. Hence our study was aimed to study the different infe...

The existence of a series of problems in transportation management of public and personal vehicles causes to consider intelligent transportation systems. Hence, here we investigate to introduce and the performance of intelligent transportation system ITS which is among new technologies in information technology and at last the importance and necessity of lack of delay in data and informat...

But what about high dimensions? What is the density of the points near the mean? And how far away is the average point from it’s component mean? Let us address this questions for a single isotropic Gaussian distribution. First, note that E[‖x‖] = nσ. Hence, on average, we expect a point to be rather far from mean, but let us quantify this. Recall, that the distribution of ‖x‖ is a χn distributi...

Wide area computer networks have become a basic part of today's computing infrastructure. These networks connect a variety of machines, presenting an enormous computing resource. In this project we focus on developing methods and tools which allow a programmer to tap into this resource. In this paper we describe PVM and HeNCE, tools and methodology under development that assists a programmer in...

As sensor nodes are deployed anywhere in a wireless sensor network, hence their communication can be easily monitored. In these networks, message protection and node identification are very issues. Hence, security of large scale such networks requires efficient key distribution and management mechanisms. Quantum cryptography and particularly quantum key distribution is such a technique that all...