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

Calibration and Characterization of the IceCube Photomultiplier Tube

Over 5,000 PMTs are being deployed at the South Pole to compose the IceCube neutrino observatory. Many are placed deep in the ice to detect Cherenkov light emitted by the products of high-energy neutrino interactions, and others are frozen into tanks on the surface to detect particles from atmospheric cosmic ray showers. IceCube is using the 10-inch diameter R7081-02 made by Hamamatsu Photonics. This paper describes the laboratory characterization and calibration of these PMTs before deployment. PMTs were illuminated with pulses ranging from single photons to saturation level. Parameterizations are given for the single photoelectron charge spectrum and the saturation behavior. Time resolution, late pulses and afterpulses are characterized. Because the PMTs are relatively large, the cathode sensitivity uniformity was measured. The absolute photon detection efficiency was calibrated using Rayleigh-scattered photons from a nitrogen laser. Measured characteristics are discussed in the context of their relevance to IceCube event reconstruction and simulation efforts.Comment: 40 pages, 12 figure

Linking Customer Interaction and Innovation: The Mediating Role of New Organizational Practices

The notion that firms can improve their innovativeness by tapping users and customers for knowledge has become prominent in innovation studies. Similar arguments have been made in the marketing literature. We argue that neither literatures take sufficient account of firm organization. Specifically, firms that attempt to leverage user and customer knowledge in the context of innovation must design an internal organization appropriate to support it. This can be achieved in particular through the use of new organizational practices, notably, intensive vertical and lateral communication, rewarding employees for sharing and acquiring knowledge, and high levels of delegation of decision rights. In this paper, six hypotheses were developed and tested on a data set of 169 Danish firms drawn from a 2001 survey of the 1,000 largest firms in Denmark. A key result is that the link from customer knowledge to innovation is completely mediated by organizational practices

Measurement and comparison of individual external doses of high-school students living in Japan, France, Poland and Belarus -- the "D-shuttle" project --

Twelve high schools in Japan (of which six are in Fukushima Prefecture), four in France, eight in Poland and two in Belarus cooperated in the measurement and comparison of individual external doses in 2014. In total 216 high-school students and teachers participated in the study. Each participant wore an electronic personal dosimeter "D-shuttle" for two weeks, and kept a journal of his/her whereabouts and activities. The distributions of annual external doses estimated for each region overlap with each other, demonstrating that the personal external individual doses in locations where residence is currently allowed in Fukushima Prefecture and in Belarus are well within the range of estimated annual doses due to the background radiation level of other regions/countries

Loss of the Urothelial Differentiation Marker FOXA1 Is Associated with High Grade, Late Stage Bladder Cancer and Increased Tumor Proliferation

Approximately 50% of patients with muscle-invasive bladder cancer (MIBC) develop metastatic disease, which is almost invariably lethal. However, our understanding of pathways that drive aggressive behavior of MIBC is incomplete. Members of the FOXA subfamily of transcription factors are implicated in normal urogenital development and urologic malignancies. FOXA proteins are implicated in normal urothelial differentiation, but their role in bladder cancer is unknown. We examined FOXA expression in commonly used in vitro models of bladder cancer and in human bladder cancer specimens, and used a novel in vivo tissue recombination system to determine the functional significance of FOXA1 expression in bladder cancer. Logistic regression analysis showed decreased FOXA1 expression is associated with increasing tumor stage (p<0.001), and loss of FOXA1 is associated with high histologic grade (p<0.001). Also, we found that bladder urothelium that has undergone keratinizing squamous metaplasia, a precursor to the development of squamous cell carcinoma (SCC) exhibited loss of FOXA1 expression. Furthermore, 81% of cases of SCC of the bladder were negative for FOXA1 staining compared to only 40% of urothelial cell carcinomas. In addition, we showed that a subpopulation of FOXA1 negative urothelial tumor cells are highly proliferative. Knockdown of FOXA1 in RT4 bladder cancer cells resulted in increased expression of UPK1B, UPK2, UPK3A, and UPK3B, decreased E-cadherin expression and significantly increased cell proliferation, while overexpression of FOXA1 in T24 cells increased E-cadherin expression and significantly decreased cell growth and invasion. In vivo recombination of bladder cancer cells engineered to exhibit reduced FOXA1 expression with embryonic rat bladder mesenchyme and subsequent renal capsule engraftment resulted in enhanced tumor proliferation. These findings provide the first evidence linking loss of FOXA1 expression with histological subtypes of MIBC and urothelial cell proliferation, and suggest an important role for FOXA1 in the malignant phenotype of MIBC