A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Prediction of Trabecular Bone Anisotropy from Quantitative Computed Tomography using Supervised Learning and a Novel Morphometric Feature Descriptor

Patient-specific biomechanical models including local bone mineral density and anisotropy have gained importance for assessing musculoskeletal disorders. However the trabecular bone anisotropy captured by high-resolution imaging is only available at the peripheral skeleton in clinical practice. In this work, we propose a supervised learning approach to predict trabecular bone anisotropy that builds on a novel set of pose invariant feature descriptors. The statistical relationship between trabecular bone anisotropy and feature descriptors were learned from a database of pairs of high resolution QCT and clinical QCT reconstructions. On a set of leave-one-out experiments, we compared the accuracy of the proposed approach to previous ones, and report a mean prediction error of 6% for the tensor norm, 6% for the degree of anisotropy and 19◦ for the principal tensor direction. These findings show the potential of the proposed approach to predict trabecular bone anisotropy from clinically available QCT images.

Population structure, growth and production of the surf clam Donax hanleyanus (Bivalvia: Donacidae) from northern Argentinean beaches

The surf clams Mesodesma mactroides Reeve, 1854 and Donax hanleyanus Philippi, 1847 are the two dominating species in macrobenthic communities of sandy beaches off northern Argentina, with the latter now surpassing M. mactroides populations in abundance and biomass. Before stock decimation caused by exploitation (during the 1940s and 1950s) and mass mortality events (1995, 1999 and 2007) M. mactroides was the prominent primary consumer in the intertidal ecosystem and an important economic resource in Argentina. Since D. hanleyanus was not commercially fished and not affected by mass mortality events, it took over as the dominant species, but did never reach the former abundance of M. mactroides. Currently abundance and biomass of both surf clams are a multiple smaller than those of forty years ago, indicating the conservation status of D. hanleyanus and M. mactroides as endangered. Therefore the aim of this study is to analyse the population dynamics (population structure, growth and reproductive biology) of D. hanleyanus and M. mactroides, and to compare the results with historical data in order to detect possible differences within surf clam populations forty years ago and at present.

A Lagrangian descriptor applied to the Kuroshio current

The understanding of the circulation of ocean currents, the exchange of CO2 between atmosphere and oceans, and the in uence of the oceans on the distribution of heat on a global scale is key to our ability to predict and assess the future evolution of climate.

A global Lagrangian descriptor applied to the Kuroshio current

A global Lagrangian descriptor applied to the Kuroshio current

Brain structures identification based on feature descriptor

Traumatic Brain Injury -TBI- -1- is defined as an acute event that causes certain damage to areas of the brain. TBI may result in a significant impairment of an individuals physical, cognitive and psychosocial functioning. The main consequence of TBI is a dramatic change in the individuals daily life involving a profound disruption of the family, a loss of future income capacity and an increase of lifetime cost. One of the main challenges of TBI Neuroimaging is to develop robust automated image analysis methods to detect signatures of TBI, such as: hyper-intensity areas, changes in image contrast and in brain shape. The final goal of this research is to develop a method to identify the altered brain structures by automatically detecting landmarks on the image where signal changes and to provide comprehensive information to the clinician about them. These landmarks identify injured structures by co-registering the patient?s image with an atlas where landmarks have been previously detected. The research work has been initiated by identifying brain structures on healthy subjects to validate the proposed method. Later, this method will be used to identify modified structures on TBI imaging studies.

HOG-Like gradient-based descriptor for visual vehicle detection

One of the main challenges for intelligent vehicles is the capability of detecting other vehicles in their environment, which constitute the main source of accidents. Specifically, many methods have been proposed in the literature for video-based vehicle detection. Most of them perform supervised classification using some appearance-related feature, in particular, symmetry has been extensively utilized. However, an in-depth analysis of the classification power of this feature is missing. As a first contribution of this paper, a thorough study of the classification performance of symmetry is presented within a Bayesian decision framework. This study reveals that the performance of symmetry-based classification is very limited. Therefore, as a second contribution, a new gradient-based descriptor is proposed for vehicle detection. This descriptor exploits the known rectangular structure of vehicle rears within a Histogram of Gradients (HOG)-based framework. Experiments show that the proposed descriptor outperforms largely symmetry as a feature for vehicle verification, achieving classification rates over 90%.

Modeling wave transformation in the surf zone /

"September 1984."

Maximum wave heights and critical water depths for irregular waves in the surf zone /

"February 1980."

Surf observations and longshore current prediction /

"November 1975."

Accuracy of hydrographic surveying in and near the surf zone /

Mode of access: Internet.

Surf zone currents /

"September 1982."