This paper presents an in-situ inspection and experimental investigation on the pore solution pH of concrete cover for the corrosion initiation of rebars under a long-term natural carbonation reaction. A 77-year-old steel mill was inspected, and 35 concrete column cover samples were collected to test the pH of the pore solution and phase compositions layer by layer. The variation in pH and phas...

MOD_FreeSurf2D is an open source MATLAB code that simulates fluid velocities and depths in rivers and streams. Although this model was designed for a specific purpose, MOD_FreeSurf2D can be employed in general scenarios when the depth-averaged, shallow water equations apply. The model approximates the depth-averaged, shallow water equations with a finite volume, semi-implicit, semi-Lagrangian r...

Data depth is a modern nonparametric tool for the analysis of multivariate, and recently also functional and general Banach-valued data. The notion of halfspace depth was introduced by Tukey (1975) as a powerful tool for the picturing of multivariate data and exploratory analysis. Two decades later the data depth has start to be developed as a general nonparametric tool for multivariate data. D...

Is there a principled way to learn a probabilistic discriminative classifier from an unlabeled data set? We present a framework that simultaneously clusters the data and trains a discriminative classifier. We call it Regularized Information Maximization (RIM). RIM optimizes an intuitive information-theoretic objective function which balances class separation, class balance and classifier comple...

This paper presents a stereo image matching system that takes advantage of a global image matching method. The system is designed to provide depth information for mobile robotic applications. Typical tasks of the proposed system are to assist in obstacle avoidance, SLAM and path planning. Mobile robots pose strong requirements about size, energy consumption, reliability and output quality of th...

light is never being distributed homogeneously and it forms a gradient over biomass. the unidirectional nature of light gives rise to a vertical gradient of light intensity as a function of depth. the maximum depth of the light zone suitable for phytoplankton photosynthesis is designated as the euphotic depth. this study was designed to test the hypothesis of mixing depth of phytoplankton and i...

We suggest a new formalization of the existential termination problem of logic programs under the PROLOG leftmost selection rule and depth-rst computation rule. First of all, we give a characterization of the problem in terms of occurrence sets, by proving that a hprogram; goali existentially terminates if and only if there exists a nite correct occurrence set. Then we show that in order to stu...

Among political scientists the debate about the relative virtues/vices of the different regime types has constituted one of the most incandescent fields of inquiry. Yet few studies address the impact of semi-presidentialism on the prospects for party system institutionalization, otherwise a necessary, but not sufficient, condition for the consolidation of democracy (Mainwaring and Scully, 1995;...