Vision-based localization of an underwater robot in a structured environment

This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water tank and an onboard down looking camera. Main features are, absolute and map-based localization, landmark detection and tracking, and real-time computation (12.5 Hz). The proposed system provides three-dimensional position and orientation of the vehicle along with its velocity. Accuracy of the drift-free estimates is very high, allowing them to be used as feedback measures of a velocity-based low-level controller. The paper details the localization algorithm, by showing some graphical results, and the accuracy of the system

Calibration of a Structured Light-Based Stereo Catadioptric Sensor

Catadioptric sensors are combinations of mirrors and lenses made in order to obtain a wide field of view. In this paper we propose a new sensor that has omnidirectional viewing ability and it also provides depth information about the nearby surrounding. The sensor is based on a conventional camera coupled with a laser emitter and two hyperbolic mirrors. Mathematical formulation and precise specifications of the intrinsic and extrinsic parameters of the sensor are discussed. Our approach overcomes limitations of the existing omni-directional sensors and eventually leads to reduced costs of production

Robust decoupled visual servoing based on structured light

This paper focuses on the problem of realizing a plane-to-plane virtual link between a camera attached to the end-effector of a robot and a planar object. In order to do the system independent to the object surface appearance, a structured light emitter is linked to the camera so that 4 laser pointers are projected onto the object. In a previous paper we showed that such a system has good performance and nice characteristics like partial decoupling near the desired state and robustness against misalignment of the emitter and the camera (J. Pages et al., 2004). However, no analytical results concerning the global asymptotic stability of the system were obtained due to the high complexity of the visual features utilized. In this work we present a better set of visual features which improves the properties of the features in (J. Pages et al., 2004) and for which it is possible to prove the global asymptotic stability

Plane-to-plane positioning from image-based visual servoing and structured light

In this paper we face the problem of positioning a camera attached to the end-effector of a robotic manipulator so that it gets parallel to a planar object. Such problem has been treated for a long time in visual servoing. Our approach is based on linking to the camera several laser pointers so that its configuration is aimed to produce a suitable set of visual features. The aim of using structured light is not only for easing the image processing and to allow low-textured objects to be treated, but also for producing a control scheme with nice properties like decoupling, stability, well conditioning and good camera trajectory

A new optimised De Bruijn coding strategy for structured light patterns

Coded structured light is an optical technique based on active stereovision that obtains the shape of objects. One shot techniques are based on projecting a unique light pattern with an LCD projector so that grabbing an image with a camera, a large number of correspondences can be obtained. Then, a 3D reconstruction of the illuminated object can be recovered by means of triangulation. The most used strategy to encode one-shot patterns is based on De Bruijn sequences. In This work a new way to design patterns using this type of sequences is presented. The new coding strategy minimises the number of required colours and maximises both the resolution and the accuracy

Implementation of a robust coded structured light technique for dynamic 3D measurements

This paper presents the implementation details of a coded structured light system for rapid shape acquisition of unknown surfaces. Such techniques are based on the projection of patterns onto a measuring surface and grabbing images of every projection with a camera. Analyzing the pattern deformations that appear in the images, 3D information of the surface can be calculated. The implemented technique projects a unique pattern so that it can be used to measure moving surfaces. The structure of the pattern is a grid where the color of the slits are selected using a De Bruijn sequence. Moreover, since both axis of the pattern are coded, the cross points of the grid have two codewords (which permits to reconstruct them very precisely), while pixels belonging to horizontal and vertical slits have also a codeword. Different sets of colors are used for horizontal and vertical slits, so the resulting pattern is invariant to rotation. Therefore, the alignment constraint between camera and projector considered by a lot of authors is not necessary

Structured intermittent interruption of chronic HIV infection treatment with highly active antiretroviral therapy: Effects on leptin and TNF-alpha.

The changes in nutritional parameters and adipocytokines after structured intermittent interruption of highly active antiretroviral treatment of patients with chronic HIV infection are analyzed. Twenty-seven patients with chronic HIV infection (median CD4+ T cell count/microl: nadir, 394; at the beginning of structured interruptions, 1041; HIV viral load: nadir, 41,521 copies/ml; at the beginning of structured interruptions <50 copies/ml; median time of previous treatment: 60 months) were evaluated during three cycles of intermittent interruptions of therapy (8 weeks on/4 weeks off). CD4+ T cell count, HIV viral load, anthropometric measures, and serum concentrations of triglycerides, cholesterol, leptin, and tumor necrosis factor and its soluble receptors I and II were determined. After the three cycles of intermittent interruptions of therapy, no significant differences in CD4+ T cell count/microl, viral load, or serum concentrations of cholesterol or triglycerides with reference to baseline values were found. A near-significant higher fatty mass (skinfold thicknesses, at the end, 121 mm, at the beginning, 100 mm, p = 0.100), combined with a significant increase of concentration of leptin (1.5 vs. 4.7 ng/ml, p = 0,044), as well as a decrease in serum concentrations of soluble receptors of tumor necrosis factor (TNFRI, 104 vs. 73 pg/ml, p = 0.022; TNFRII 253 vs. 195 pg/ml, p = 0.098) were detected. Structured intermittent interruption of highly active antiretroviral treatment of patients with chronic HIV infection induces a valuable positive modification in markers of lipid turnover and adipose tissue mass.

HLA-Bw4 identifies a population of HIV-infected patients with an increased capacity to control viral replication after structured treatment interruption.

OBJECTIVES: After structured treatment interruption (STI) of treatment for HIV-1, a fraction of patients maintain suppressed viral loads. Prospective identification of such patients might improve HIV-1 treatment, if selected patients are offered STI. METHODS: We analysed the effect of previously identified genetic modulators of HIV-1 disease progression on patients' ability to suppress viral replication after STI. Polymorphisms in the genes killer cell immunoglobulin-like receptor 3DLI (KIR3DL1)/KIR3DS1, human leucocyte antigen B (HLA-B) and HLA Complex P5 (HCP5), and a polymorphism affecting HLA-C surface expression were analysed in 130 Swiss HIV Cohort Study patients undergoing STI. Genotypes were correlated with viral load levels after STI. RESULTS: We observed a statistically significant reduction in viral load after STI in carriers of HLA-B alleles containing either the Bw480Thr or the Bw480Ile epitope (mean adjusted effect on post-STI viral load: -0.82 log HIV-1 RNA copies/ml, P < 0.001; and -1.12 log copies/ml, P < 0.001, respectively). No significant effects were detected for the other polymorphisms analysed. The likelihood of being able to control HIV-1 replication using a prespecified cut-off (viral load increase < 1000 copies/ml) increased from 39% in Bw4-negative patients to 53% in patients carrying Bw4-80Thr, and to 65% in patients carrying Bw4-80Ile (P = 0.02). CONCLUSIONS: These data establish a significant impact of HLA-Bw4 on the control of viral replication after STI.

Topics in public finance: social security and taxation

Summary The field of public finance focuses on the spending and taxing activities of governments and their influence on the allocation of resources and distribution of income. This work covers in three parts different topics related to public finance which are currently widely discussed in media and politics. The first two parts deal with issues on social security, which is in general one of the biggest spending shares of governments. The third part looks at the main income source of governments by analyzing the perceived value of tax competition. Part one deals with the current problem of increased early retirement by focusing on Switzerland as a special case. Early retirement is predominantly considered to be the result of incentives set by social security and the tax system. But the Swiss example demonstrates that the incidence of early retirement has dramatically increased even in the absence of institutional changes. We argue that the wealth effect also plays an important role in the retirement decision for middle and high income earners. An actuarially fair, but mandatory funded system with a relatively high replacement rate may thus contribute to a low labor market participation rate of elderly workers. We provide evidence using a unique dataset on individual retirement decisions in Swiss pension funds, allowing us to perfectly control for pension scheme details. Our findings suggest that affordability is a key determinant in the retirement decisions. The higher the accumulated pension capital, the earlier men, and to a smaller extent women, tend to leave the workforce. The fact that early retirement has become much more prevalent in the last 15 years is a further indicator of the importance of a wealth effect, as the maturing of the Swiss mandatory funded pension system over that period has led to an increase in the effective replacement rates for middle and high income earners. Part two covers the theoretical side of social security. Theories analyzing optimal social security benefits provide important qualitative results, by mainly using one general type of an economy. Economies are however very diverse concerning numerous aspects, one of the most important being the wealth level. This can lead to significant quantitative benefit differences that imply differences in replacement rates and levels of labor supply. We focus on several aspects related to this fact. In a within cohort social security model, we introduce disability insurance with an imperfect screening mechanism. We then vary the wealth level of the model economy and analyze how the optimal social security benefit structure or equivalently, the optimal replacement rates, changes depending on the wealth level of the economy, and if the introduction of disability insurance into a social security system is preferable for all economies. Second, the screening mechanism of disability insurance and the threshold level at which people are defined as disabled can differ. For economies with different wealth levels, we determine for different thresholds the screening level that maximizes social welfare. Finally, part three turns to the income of governments, by adding an element to the controversy on tax competition versus tax harmonization.2 Inter-jurisdictional tax competition can generate at least two potential benefits or costs: On a public level, tax competition may result in a lower or higher efficiency in the production of public services. But there is also a more private benefit in the form of an option for individuals to move to a community with a lower tax rate in the future. To explore the value citizens attach to tax competition we analyze a unique popular vote for a complete tax harmonization between communities in the third largest Swiss canton, Vaud. Although a majority of voters would have seemingly benefited from replacing the current tax rate by a revenue-neutral average tax rate, the proposal was rejected by a large margin. Our estimates suggest that the estimated combined perceived benefit from tax competition is in the range of 10%.

Applications of stochastic analysis in finance and statistical inference

First: A continuous-time version of Kyle's model (Kyle 1985), known as the Back's model (Back 1992), of asset pricing with asymmetric information, is studied. A larger class of price processes and of noise traders' processes are studied. The price process, as in Kyle's model, is allowed to depend on the path of the market order. The process of the noise traders' is an inhomogeneous Lévy process. Solutions are found by the Hamilton-Jacobi-Bellman equations. With the insider being risk-neutral, the price pressure is constant, and there is no equilibirium in the presence of jumps. If the insider is risk-averse, there is no equilibirium in the presence of either jumps or drifts. Also, it is analised when the release time is unknown. A general relation is established between the problem of finding an equilibrium and of enlargement of filtrations. Random announcement time is random is also considered. In such a case the market is not fully efficient and there exists equilibrium if the sensitivity of prices with respect to the global demand is time decreasing according with the distribution of the random time. Second: Power variations. it is considered, the asymptotic behavior of the power variation of processes of the form _integral_0^t u(s-)dS(s), where S_ is an alpha-stable process with index of stability 0&alpha&2 and the integral is an Itô integral. Stable convergence of corresponding fluctuations is established. These results provide statistical tools to infer the process u from discrete observations. Third: A bond market is studied where short rates r(t) evolve as an integral of g(t-s)sigma(s) with respect to W(ds), where g and sigma are deterministic and W is the stochastic Wiener measure. Processes of this type are particular cases of ambit processes. These processes are in general not of the semimartingale kind.

SLAM using an Imaging Sonar for Partially Structured Underwater Environments

In this paper we describe a system for underwater navigation with AUVs in partially structured environments, such as dams, ports or marine platforms. An imaging sonar is used to obtain information about the location of planar structures present in such environments. This information is incorporated into a feature-based SLAM algorithm in a two step process: (I) the full 360deg sonar scan is undistorted (to compensate for vehicle motion), thresholded and segmented to determine which measurements correspond to planar environment features and which should be ignored; and (2) SLAM proceeds once the data association is obtained: both the vehicle motion and the measurements whose correct association has been previously determined are incorporated in the SLAM algorithm. This two step delayed SLAM process allows to robustly determine the feature and vehicle locations in the presence of large amounts of spurious or unrelated measurements that might correspond to boats, rocks, etc. Preliminary experiments show the viability of the proposed approach

Solidarity finance through community development banks as a strategy for reshaping local economies: lessons from Banco Palmas

The purpose of this paper is to reflect on the possibilities and challenges of Community Development Banks (CDBs) as an innovative method of socioeconomic management of microcredit for poor populations. To this end, we will discuss the case of Banco Palmas in Conjunto Palmeiras in the city of Fortaleza, in the northeastern state of Ceará, as an empirical case study. The analyses presented here are based on information obtained from Banco Palmas between late 2011 and early 2012. In addition, previous studies by other researchers on the bank and other studies on CDBs were important. The primary data collected at Banco Palmas came from documents made available by the bank, such as reports and mappings. The analyses describe some of the characteristics of the granting of microcredit and allow one to situate it in the universe of microfinance and solidarity finance. They also show the significant growth of local consumption, mostly through the use of the Palmas social currency. The Banco Palmas experience, aside from influencing national public policies of solidarity finance, initiated a CDBs network that encourages the replication of these experiences throughout the country.

Synthesis of bone-like structured foams

Here we present a processing route to produce multi-structured ceramic foams based on the combination of particle-stabilized foams with polymeric sponges to produce positive and negative templating structures. Polyester sponges are infiltrated with freshly produced calcium aluminate alumina foams and upon sintering either positive templating structures are produced when wetting the sponges, or negative templating foams with a percolating pore network are obtained when completely filling the sponges. Additionally, by combining different layers of these particle-stabilized foam infiltrated sponges, various different structures can be produced, including sandwich structures, pore size gradients, and ceramic bone-like structures applying to different types of bone. The particle-stabilized foams used were in situ self-hardening calcium aluminate cement enriched alumina foams to obtain crack-free samples with pore interconnections and tailorable pore sizes.

Iowa Department of Revenue & Finance, Agency Performance Plan

Annual Report, Agency Performance Plan