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.

Conditional risk, return and contagion in the banking sector in Asia

This paper investigates risk and return in the banking sector in three Asian markets of Taiwan, China and Hong Kong. The study focuses on the risk-return relation in a conditional factor GARCH-M framework that controls for time-series effects. The factor approach is adopted to incorporate intra-industry contagion and an analysis of spillovers between large banks and small banks. Finally, the study provides evidence on these relations before and after the Asian financial crisis of 1997. The results are generally consistent across the markets and with expectations.

Conditional quantum-state engineering using ancillary squeezed-vacuum states

We investigate an optical scheme to conditionally engineer quantum states using a beam splitter, homodyne detection, and a squeezed vacuum as an ancillar state. This scheme is efficient in producing non-Gaussian quantum states such as squeezed single photons and superpositions of coherent states (SCSs). We show that a SCS with well defined parity and high fidelity can be generated from a Fock state of n

Conditional release: A less restrictive alternative to hospitalization?

Objective: This study examined conditional release - that is, involuntary outpatient commitment orders upon release from hospitalization - as a least restrictive alternative to psychiatric hospitalization in Victoria, Australia. Methods: Records were obtained from the Victorian Psychiatric Case Register for patients who experienced psychiatric hospitalization: between 1990 and 2000 a total of 8,879 patients were given conditional release and 16,094 were not. Results: Compared with the group that was hospitalized but did not receive a conditional release, the group that received a conditional release was more likely to have more prior hospitalizations of greater than average duration. Patients with schizophrenia were more likely to be given conditional release. Patients given conditional release experienced a care pattern involving briefer inpatient episodes (8.3 fewer days per episode), more inpatient days, and longer duration of restrictive care - that is, combined inpatient and conditional release periods (5.1 more days per month in care). Conclusions: For patients at risk of long-term hospitalization, conditional release may help to shorten inpatient episodes by providing a least restrictive alternative to continued hospitalization. However, patients who were given conditional release doubled the amount of days they spent under restrictive care, compared with the amount of time they previously spent in the hospital before entering a period of combined inpatient and conditional release commitment. Additional oversight may have led to more frequent hospitalization. This consequence raises new questions regarding the possible benefits of such extended oversight and new challenges for release planning using conditional release as a least restrictive method of care.

Effect of conditional release from hospitalization on mortality risk

Objectives: This study considered the protective value provided by conditional release. It assessed the contribution of conditional release to mortality risk among patients with mental disorders severe enough to require psychiatric hospitalization during a mental health treatment span of 13.5 years in Victoria, Australia. Methods: Death records were obtained from the Australian National Death Index for a sample of 24,973 Victorian Psychiatric Case Register patients with a history of psychiatric hospitalizations: 8,879 had experienced at least one conditional release during community care intervals and 16,094 had not. Risk of death was assessed with standardized mortality ratios of the general population of Victoria. Relative risk of death among patients with and without past experience of conditional release was computed with risk and odds ratios. The contribution of conditional release to mortality, taking into account use of community care services, age, gender, inpatient experience, and diagnosis, as well as other controls, was assessed with logistic regression. Results: Patients who had been hospitalized showed higher mortality risk than the general population. Sixteen percent ( 4,034) died. Patients exposed to conditional release, however, had a 14 percent reduction in probability of noninjury-related death and a 24 percent reduction per day on orders in the probability of death from injury compared with those not offered such oversight throughout their mental health treatment, all other factors taken into account. Conclusions: Conditional release can offer protective oversight for those considered dangerous to self or others and appears to reduce mortality risk among those with disorders severe enough to require psychiatric hospitalization.

Entangled-state cycles from conditional quantum evolution

A system of cascaded qubits interacting via the one-way exchange of photons is studied. While for general operating conditions the system evolves to a superposition of Bell states (a dark state) in the long-time limit, under a particular resonance condition no steady state is reached within a finite time. We analyze the conditional quantum evolution (quantum trajectories) to characterize the asymptotic behavior under this resonance condition. A distinct bimodality is observed: for perfect qubit coupling, the system either evolves to a maximally entangled Bell state without emitting photons (the dark state) or executes a sustained entangled-state cycle-random switching between a pair of Bell states while emitting a continuous photon stream; for imperfect coupling, two entangled-state cycles coexist, between which a random selection is made from one quantum trajectory to another.

Factors in the selection of patients for conditional release from their first psychiatric hospitalization

Objective: This study examined a sample of patients in Victoria, Australia, to identify factors in selection for conditional release from an initial hospitalization that occurred within 30 days of entry into the mental health system. Methods: Data were from the Victorian Psychiatric Case Register. All patients first hospitalized and conditionally released between 1990 and 2000 were identified (N = 8,879), and three comparison groups were created. Two groups were hospitalized within 30 days of entering the system: those who were given conditional release and those who were not. A third group was conditionally released from a hospitalization that occurred after or extended beyond 30 days after system entry. Logistic regression identified characteristics that distinguished the first group. Ordinary least-squares regression was used to evaluate the contribution of conditional release early in treatment to reducing inpatient episodes, inpatient days, days per episode, and inpatient days per 30 days in the system. Results: Conditional release early in treatment was used for 11 percent of the sample, or more than a third of those who were eligible for this intervention. Factors significantly associated with selection for early conditional release were those related to a better prognosis ( initial hospitalization at a later age and having greater than an 11th grade education), a lower likelihood of a diagnosis of dementia or schizophrenia, involuntary status at first inpatient admission, and greater community involvement ( being employed and being married). When the analyses controlled for these factors, use of conditional release early in treatment was significantly associated with a reduction in use of subsequent inpatient care.

The effects of assessment type on verbal ratings of conditional stimulus valence and contingency judgments: Implications for the extinction of evaluative learning

Recent research on causal learning found (a) that causal judgments reflect either the current predictive value of a conditional stimulus (CS) or an integration across the experimental contingencies used in the entire experiment and (b) that postexperimental judgments, rather than the CS's current predictive value, are likely to reflect this integration. In the current study, the authors examined whether verbal valence ratings were subject to similar integration. Assessments of stimulus valence and contingencies responded similarly to variations of reporting requirements, contingency reversal, and extinction, reflecting either current or integrated values. However, affective learning required more trials to reflect a contingency change than did contingency judgments. The integration of valence assessments across training and the fact that affective learning is slow to reflect contingency changes can provide an alternative interpretation for researchers' previous failures to find an effect of extinction training on verbal reports of CS valence.

Embedding defeasible logic into logic programming

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P(D). We show that under a condition of decisiveness, the defeasible consequences of D correspond exactly to the sceptical conclusions of P(D) under the stable model semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of D are included in all stable models of P(D)). If we wish a complete embedding for the general case, we need to use the Kunen semantics of P(D), instead.

Conditional deletion of hypothalamic Y2 receptors reverts gonadectomy-induced bone loss in adult mice

Reduction in levels of sex hormones at menopause in women is associated with two common, major outcomes, the accumulation of white adipose tissue, and the progressive loss of bone because of excess osteoclastic bone resorption exceeding osteoblastic bone formation. Current antiresorptive therapies can reduce osteoclastic activity but have only limited capacity to stimulate osteoblastic bone formation and restore lost skeletal mass. Likewise, the availability of effective pharmacological weight loss treatments is currently limited. Here we demonstrate that conditional deletion of hypothalamic neuropeptide Y2 receptors can prevent ongoing bone loss in sex hormone-deficient adult male and female mice. This benefit is attributable solely to activation of an anabolic osteoblastic bone formation response that counterbalances persistent elevation of bone resorption, suggesting the Y2-mediated anabolic pathway to be independent of sex hormones. Furthermore, the increase in fat mass that typically occurs after ovariectomy is prevented by germ line deletion of Y2 receptors, whereas in male mice body weight and fat mass were consistently lower than wild-type regardless of sex hormone status. Therefore, this study indicates a role for Y2 receptors in the accumulation of adipose tissue in the hypogonadal state and demonstrates that hypothalamic Y2 receptors constitutively restrain osteoblastic activity even in the absence of sex hormones. The increase in bone formation after release of this tonic inhibition suggests a promising new avenue for osteoporosis treatment.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

Linear temporal logic and z refinement

Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these properties are preserved under refinement. Refinement is observation preserving and the state of a specified system is regarded as internal and, hence, non-observable. In this paper, we investigate this issue by addressing the following questions. Given that a Z specification A is refined by a Z specification C, and that P is a temporal logic property which holds for A, what temporal logic property Q can we deduce holds for C? Furthermore, under what circumstances does the property Q preserve the intended meaning of the property P? The paper answers these questions for LTL, but the approach could also be applied to other temporal logics over states such as CTL and the mgr-calculus.