Assessment of the types of public building maintenance contracts in Saudi Arabia

The study revealed that Fixed Price, Cost Plus and Purchased Labour contracts are the top three maintenance contracts adopted whilst Unit Price, Cost Plus A Percentage Fee contracts are alternatives used in the Kingdom. Some other types of maintenance contract were thought to be inappropriate by ministry departments.     

Photo Sequencing

A group of people taking pictures of a dynamic event with their mobile phones is a popular sight. The set of still images obtained this way is rich in dynamic content but lacks accurate temporal information. We propose a method for photo-sequencing—temporally ordering a set of still images taken asynchronously by a set of uncalibrated cameras. Photo-sequencing is an essential tool in analyzing (or visualizing) a dynamic scene captured by still images. The first step of the method detects sets of corresponding static and dynamic feature points across images. The static features are used to determine the epipolar geometry between pairs of images, and each dynamic feature votes for the temporal order of the images in which it appears. The partial orders provided by the dynamic features are not necessarily consistent, and we use rank aggregation to combine them into a globally consistent temporal order of images. We demonstrate successful photo-sequencing on several challenging collections of images taken using a number of mobile phones.     

2-Transitivity is Insufficient for Local Testability

A basic goal in property testing is to identify a minimal set of features that make a property testable. For the case when the property to be tested is membership in a binary linear error-correcting code, Alon et al. (Trans Inf Theory, 51(11):4032–4039, 2005) had conjectured that the presence of a single low-weight codeword in the dual, and “2-transitivity” of the code (i.e., the code being invariant under a 2-transitive group of permutations on the coordinates of the code) suffice to get local testability. We refute this conjecture by giving a family of error-correcting codes where the coordinates of the codewords form a large field of characteristic two, and the code is invariant under affine transformations of the domain. This class of properties was introduced by Kaufman & Sudan (STOC, 2008) as a setting where many results in algebraic property testing generalize. Our result shows a complementary virtue: This family also can be useful in producing counterexamples to natural conjectures.     

Mid-infrared diffused planar waveguides made of silver halide chloro-bromide

We have developed waveguides for the mid-IR spectrum using silver halide crystals. Diffused planar waveguides constructed from silver chlorobromide (AgClBr) with different diffusion thicknesses were designed and characterized. The waveguides were based on our changing the refractive index of the guiding layer by a diffusion of Br- ions into crystalline AgCl substrates. The waveguides were analyzed and investigated with a 10.6-microm CO2 laser, and the optically measured thicknesses of the waveguides were found to vary between 65 and 600 microm. The propagation losses were in the range of 4-16 dB/cm, and the maximal entrance angle was 62 degrees. The output beam distribution was measured and was in good correlation with a numerical analysis simulation based on a ray-tracing model, by use of the eikonal equation.     

On the Effective Deployment of Functional Formal Verification

We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of formal verification which involves three complementary modes: architectural verification, block-level verification, and design exploration.     

Hypervelocity penetration of tungsten alloy rods into ceramic tiles: experiments and 2-D simulations

A series of terminal ballistics experiments and 2-D simulations, with small scale tungsten alloy penetrators, was performed in order to quantify the ballistic efficiency of confined ceramic tiles. The data includes both depth of penetration (DOP), into thick steel backing and X-ray shadowgraphs during the penetration process. Impact velocities ranged between 1.25 to 3.0 km/s. The size of the tiles varied in order to check their performance as a function of thickness and lateral dimensions. We found that the differential ballistic efficiency of alumina tiles is practically independent on impact velocity and tile thickness, within the ranges of velocity and thicknesses, investigated here. A detailed simulation study, using the Eulerian processor of the PISCES 2-D ELK code, was performed in order to better understand the interaction between long-rods and ceramic tiles, and particularly, to adjust a proper failure criterion to the tiles. We found that a simple version of the Johnson-Holmquist model, with a single parameter, is fairly adequate to account for most of the data. These include: lateral confinement, tile thickness and impact velocity influence on the penetration depth. We used the code to further investigate the influence of lateral dimensions on tile performance.     

More on the behavior of soda lime glass under shock loading

A series of plate impact experiments with soda-lime glass specimens was performed in order to further investigate the complex behavior of this material in the 0–8 GPa range of shock loading. Using commercial manganin gauges we followed the stress histories and their different shapes as the stresses increase from 3.5 to about 8.0 GPa. In particular, we find that there are meaningful differences between the shapes of these signals at pressures below about 4.0 GPa, in between 4.0 and 6.0 GPa and above 6.0 GPa. We also gather more data on the fractured glass behind the fracture wave front, from our measured stress histories, and offer a new way to determine the Hugoniot elastic limit of this material, as well as other brittle solids.     

Languages, scripts, and the environment: Factors in developing concepts of print.

Preschool children bilingual in English and Hebrew were investigated for their understanding of concepts of print by means of two tasks. In the first, children had to understand that a printed word did not change its meaning if it moved to a new location. In the second, children had to make judgments about word length and ignore the size of the named objects. Previous research had shown bilingual French–English and Chinese–English children to excel in the first task, but only older Chinese–English bilinguals had an advantage in the second. The present study extended those results by investigating the effect of writing system in more detail. The study also examined the effect of the language of the environment by conducting parallel studies in environments in which either English or Hebrew was the community language. The results show that the bilingual children in both settings were more advanced than the monolinguals in both tasks and in both settings. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Dynamics of support perceptions among couples coping with cardiac illness: The effect on recovery outcomes.

Objective: The current prospective study explored how male cardiac patients' perceptions of received support (i.e., active engagement, protective buffering, and overprotection) moderated the associations between female partners' perceptions of provided support and patients' recovery outcomes: psychological well-being, cholesterol levels, and smoking cessation. Methods: Couples (N = 86) completed surveys at the initial hospitalization after patients' Acute Coronary Syndrome (ACS), and 1 and 6 months later. Partners' ways of providing support and patients' concurrent perceptions of these ways were measured using the Ways of Giving Support Questionnaire; patients' depressive and anxiety symptoms were measured using the Brief Symptom Inventory (BSI). Patients' cholesterol levels were assessed during hospitalization and 6 months later, and smoking habits were reported by the patients. Results: Female partners' protective buffering was positively associated with male patients' depressive symptoms at follow-up only when male patients' own perceptions of partners' protective buffering were low. Female partners' active engagement was positively associated with better odds for male patients' cessation of smoking only when patients' own perceptions of partners' active engagement were high. Finally, female partners' overprotection was associated with higher levels of male patients' harmful blood lipids at follow-up, but only when patients' own perceptions of partners' overprotection were high. Conclusions: As hypothesized, the effect of partners' perceptions of support provided on patients' recovery was moderated by patients' own perceptions of the support received. The effect of this interaction was determined by the specific types of support provided or received and by the specific recovery outcome that was measured. The clinical and theoretical implications of the findings are discussed. (PsycINFO Database Record (c) 2011 APA, all rights reserved)