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

Energy solutions to one-dimensional singular parabolic problems with BVBV data are viscosity solutions

We study one-dimensional very singular parabolic equations with periodic boundary conditions and initial data in $BV$, which is the energy space. We show existence of solutions in this energy space and then we prove that they are viscosity solutions in the sense of Giga-Giga.Comment: 15 page

Abnormal ECG Findings in Athletes: Clinical Evaluation and Considerations.

PURPOSE OF REVIEW: Pre-participation cardiovascular evaluation with electrocardiography is normal practice for most sporting bodies. Awareness about sudden cardiac death in athletes and recognizing how screening can help identify vulnerable athletes have empowered different sporting disciplines to invest in the wellbeing of their athletes. RECENT FINDINGS: Discerning physiological electrical alterations due to athletic training from those representing cardiac pathology may be challenging. The mode of investigation of affected athletes is dependent on the electrical anomaly and the disease(s) in question. This review will highlight specific pathological ECG patterns that warrant assessment and surveillance, together with an in-depth review of the recommended algorithm for evaluation

Human Resources and the Resource Based View of the Firm

The resource-based view (RBV) of the firm has influenced the field of strategic human resource management (SHRM) in a number of ways. This paper explores the impact of the RBV on the theoretical and empirical development of SHRM. It explores how the fields of strategy and SHRM are beginning to converge around a number of issues, and proposes a number of implications of this convergence

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

ROCK Inhibitor Y-27632 Suppresses Dissociation-Induced Apoptosis of Murine Prostate Stem/Progenitor Cells and Increases Their Cloning Efficiency

Activation of the RhoA/ROCK signaling pathway has been shown to contribute to dissociation-induced apoptosis of embryonic and neural stem cells. We previously demonstrated that approximately 1 out of 40 Lin−Sca-1+CD49fhigh (LSC) prostate basal epithelial cells possess the capacities of stem cells for self-renewal and multi-lineage differentiation. We show here that treating LSC cells with the ROCK kinase inhibitor Y-27632 increases their cloning efficiency by 8 fold in an in vitro prostate colony assay. Y-27632 treatment allows prostate colony cells to replate efficiently, which does not occur otherwise. Y-27632 also increases the cloning efficiency of prostate stem cells in a prostate sphere assay and a dissociated prostate cell regeneration assay. The increased cloning efficiency is due to the suppression of the dissociation-induced, RhoA/ROCK activation-mediated apoptosis of prostate stem cells. Dissociation of prostate epithelial cells from extracellular matrix increases PTEN activity and attenuates AKT activity. Y-27632 treatment alone is sufficient to suppress cell dissociation-induced activation of PTEN activity. However, this does not contribute to the increased cloning efficiency, because Y-27632 treatment increases the sphere-forming unit of wild type and Pten null prostate cells to a similar extent. Finally, knocking down expression of both ROCK kinases slightly increases the replating efficiency of prostate colony cells, corroborating that they play a major role in the Y-27632 mediated increase in cloning efficiency. Our study implies that the numbers of prostate cells with stem/progenitor activity may be underestimated based on currently employed assays, supports that dissociation-induced apoptosis is a common feature of embryonic and somatic stem cells with an epithelial phenotype, and highlights the significance of environmental cues for the maintenance of stem cells

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

Measurement of acoustic attenuation in South Pole ice

Using the South Pole Acoustic Test Setup (SPATS) and a retrievable transmitter deployed in holes drilled for the IceCube experiment, we have measured the attenuation of acoustic signals by South Pole ice at depths between 190 m and 500 m. Three data sets, using different acoustic sources, have been analyzed and give consistent results. The method with the smallest systematic uncertainties yields an amplitude attenuation coefficient α = 3.20 ± 0.57 km−1 between 10 and 30 kHz, considerably larger than previous theoretical estimates. Expressed as an attenuation length, the analyses give a consistent result for λ ≡ 1/α of ∼300 m with 20% uncertainty. No significant depth or frequency dependence has been found