A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space

This paper defines the 3D reconstruction problem as the process of reconstructing a 3D scene from numerous 2D visual images of that scene. It is well known that this problem is ill-posed, and numerous constraints and assumptions are used in 3D reconstruction algorithms in order to reduce the solution space. Unfortunately, most constraints only work in a certain range of situations and often constraints are built into the most fundamental methods (e.g. Area Based Matching assumes that all the pixels in the window belong to the same object). This paper presents a novel formulation of the 3D reconstruction problem, using a voxel framework and first order logic equations, which does not contain any additional constraints or assumptions. Solving this formulation for a set of input images gives all the possible solutions for that set, rather than picking a solution that is deemed most likely. Using this formulation, this paper studies the problem of uniqueness in 3D reconstruction and how the solution space changes for different configurations of input images. It is found that it is not possible to guarantee a unique solution, no matter how many images are taken of the scene, their orientation or even how much color variation is in the scene itself. Results of using the formulation to reconstruct a few small voxel spaces are also presented. They show that the number of solutions is extremely large for even very small voxel spaces (5 x 5 voxel space gives 10 to 10(7) solutions). This shows the need for constraints to reduce the solution space to a reasonable size. Finally, it is noted that because of the discrete nature of the formulation, the solution space size can be easily calculated, making the formulation a useful tool to numerically evaluate the usefulness of any constraints that are added.

A trace element study of siderite-jasper banded iron formation in the 3.45 Ga Warrawoona Group, Pilbara Craton - Formation from hydrothermal fluids and shallow seawater

Shale-normalised rare earth element and yttrium (REE + Y) patterns for siderite-jasper couples in a banded iron formation of the 3.45 Ga Panorama Formation, Warrawoona Group, eastern Pilbara Craton, display distinct positive Y and Eu anomalies and weak positive La and Gd anomalies, combined with depleted light REE relative to middle and heavy REE. Ambient seawater and hydrothermal fluids are identified as major sources of REE + Y for the BIF. In the case of siderites, strong correlations between incompatible trace elements and trace element ratios diagnostic of seawater indicate variable input from a terrigenous source (e.g. volcanic ash). We propose a volcanic caldera setting as a likely depositional environment where jasper and siderite precipitated as alternating bands in response to episodic changes in ambient water chemistry. The episodicity was either driven by fluctuations in the intensity of hydrothermal activity or changes in magma chamber activity, which in turn controlled relative sea level. In this context, precipitation of jasper probably reflects background conditions during which seawater was saturated in silica due to evaporative conditions, while siderites were deposited most likely during intermittent periods of enhanced volcanic activity when seawater was more acidic due to the release of exhalative phases (e.g. CO2). © 2005 Elsevier B.V. All rights reserved.

EGFR amplification and lack of activating mutations in metaplastic breast carcinomas

Metaplastic breast carcinomas are reported to harbour epidermal growth factor receptor (EGFR) overexpression in up to 80% of the cases, but EGFR gene amplification is the underlying genetic mechanism in around one-third of these. In this study, EGFR gene amplification as defined by chromogenic in situ hybridization and protein overexpression was examined in a cohort of 47 metaplastic breast carcinomas. Furthermore, the presence of activating EGFR mutations in exons 18, 19, 20, and 21 was investigated. Thirty-two cases showed EGFR overexpression and of these, 11 (34%) harboured EGFR gene amplification. In addition, EGFR amplification showed a statistically significant association with EGFR overexpression (p < 0.0094) and was restricted to carcinomas with homologous metaplasia. Ten cases, five with and five without EGFR amplification, were subjected to microarray-based CGH, which demonstrated that EGFR copy number gain may occur by amplification of a discrete genomic region or by gains of the short arm of chromosome 7 with a breakpoint near the EGFR gene locus, the minimal region of amplification mapping to EGFR, LANCL2, and SECOG. No activating EGFR mutations were identified, suggesting that this is unlikely to be a common alternative underlying genetic mechanism for EGFR expression in metaplastic breast carcinomas. Given that metaplastic breast carcinomas are resistant to conventional chemotherapy or hormone therapy regimens and that tumours with EGFR amplification are reported to be sensitive to EGFR tyrosine kinase inhibitors, these findings indicate that further studies are warranted to explore EGFR tyrosine kinase inhibitors as potential therapeutic agents for metaplastic breast carcinomas harbouring amplification of 7p11.2. Copyright (c) 2006 Pathological Society of Great Britain and Ireland. Published by John Wiley & Sons, Ltd

Extending a model of shift-work tolerance

The present study contributes to theory and practice through the development of a model of shift-work tolerance with the potential to indicate interventions that reduce nurses' intention toward turnover and increase job satisfaction in hospital-based settings. Survey data from 1257 nurses were used to conduct structural equation modeling that examine the direct and indirect effects of supervisor and colleague support, team identity, team climate, and control over working environment on time-based work/life conflict, psychological well-being, physical symptoms, job satisfaction, and turnover intention. The analysis of the proposed model revealed a good fit The chi-square difference test was non-significant (χ2(26)=338.56), the fit indices were high (CFI=.923, NFI=.918, and NNFI=.868), the distribution of residuals was symmetric and approached zero, the average standardized residual was low (AASR=.04), and the standardized RMR was .072. In terms of the predictor variable, the final model explained 48% of the variance in turnover intention. The data revealed considerable evidence of both direct effects on adjustment and complex indirect links between levels of adjustment and work-related social support, team identity, team climate, and control. Nurses with high supervisor and coworker support experienced more positive team climates, identified more strongly with their team, and increased their perceptions of control over their work environment. This in turn lowered their appraisals of their time-based work/life conflict, which consequently increased their psychological well-being and job satisfaction and reduced their physical health symptoms and turnover intention. The type of shift schedule worked by the nurses influenced levels of turnover intention, control over work environment, time-based work/life conflict, and physical symptoms.

To learn from one's mistakes: The role of impulsivity in positive workplace behaviours

Recentiy a neuropsychological model of learning has been proposed Qackson, 2002) which argues that Responsibility provides a cognitive re-expression of Impulsivit)' in the prediction of functional and dysfunctional behaviour. Jackson argues that primitive, instinctive impulses lead to antisocial behaviours and socio-cognitive regulators such as Responsibility leads to the re-expression of Impulsivity in terms of pro-social behaviours. Study 1 tests and supports the measurement properties of the assessment methodology associated with the model. Study 2 provides evidence in favour of the instinctive basis of Impulsivity and the conscious basis of Responsibility, which reinforces the underlying neuropsychological basis of the model. Study 3 uses structural equation modelling to determine if Responsibility mediates Impulsivity in the prediction of a latent variable representing work performance, work commitment and team performance, but does not mediate Impulsivit}' in the prediction of a latent variable representing sexual proclivity, workplace deviancy, gambling and beer consumption. Results provide strong support for Jackson's model and suggest that Impulsivity and Responsibility are fundamental to both functional and dysfunctional learning

On the relative complexity of labelled modal tableaux

We investigate the relative complexity of two free-variable labelled modal tableaux(KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM.