TEXTUAL ARTICLE CLUSTERING IN NEWSPAPER PAGES

In the analysis of a newspaper page an important step is the clustering of various text blocks into logical units, i.e., into articles. We propose three algorithms based on text processing techniques to cluster articles in newspaper pages. Based on the complexity of the three algorithms and experiments on actual pages from the Italian newspaper L'Adige, we select one of the algorithms as the preferred choice to solve the textual clustering problem.     

Reasoning about reasoning in a meta-level architecture

In this paper we discuss reasoning about reasoning in a multiple agent scenario. We consider agents that are perfect reasoners, loyal, and that can take advantage of both the knowledge and ignorance of other agents. The knowledge representation formalism we use is (full) first order predicate calculus, where different agents are represented by different theories, and reasoning about reasoning is realized via a meta-level representation of knowledge and reasoning. The framework we provide is pretty general: we illustrate it by showing a machine checked solution to the three wisemen puzzle. The agents' knowledge is organized into units: the agent's own knowledge about the world and its knowledge about other agents are units containing object-level knowledge; a unit containing meta-level knowledge embodies the reasoning about reasoning and realizes the link among units. In the paper we illustrate the meta-level architecture we propose for problem solving in a multi-agent scenario; we discuss our approach in relation to the modal one and we compare it with other meta-level architectures based on logic. Finally, we look at a class of applications that can be effectively modeled by exploiting the meta-level approach to reasoning about knowledge and reasoning.     

A comparison analysis of prefiltering methods in space-time trellis-based reduced-state turbo-detection

In this paper, we investigate two different prefiltering strategies, i.e., multiple input multiple output (MIMO) channel shortening and MIMO whitened matched filtering, to decode iteratively a space time bit interleaved coded modulation transmitted over MIMO block fading intersymbol interference channels using a trellis-based post-detector. Indeed, resorting to such front-ends allows significant complexity gain when compared to the optimal maximum a posteriori-based turbo-receiver. While those two approaches have been exhaustively visited in the past, their fair comparison in terms of trade-off between complexity and performance has – to our knowledge – never been tackled before. This paper aims at giving some valuable insights about the respective benefits of these two prefiltering methods with respect to the channel characteristics and overall receiver complexity.     

Décodage par le treillis de codes polynomiaux: un écueil à éviter

We give a simple proof of a well known property of the maximum likelihood decoding of polynomial block codes: the systematic version of the code results in fewer decoding errors than the non systematic version. As a practical result, it is interesting to decode the systematic version of the code on the treillis of the non systematic version, because the non systematic version of the code exhibits a more regular trellis, and both version generate the same codewords.     

Confocal Scanning Laser Microscopic Study of the RDX Defect Structure in Deformed Polymer‐Bonded Explosives

The influence of an explosion‐driven deformation on the defect structure in RDX crystals embedded in a polymer‐bonded explosive was investigated by means of confocal scanning laser microscopy. The images were compared to the defect structure in the as‐received RDX grades, embedded in an epoxy resin. In this way it is possible to qualitatively analyze the changes in defect structure of the RDX crystals that were induced by the explosion‐driven deformation. For the first time, these data therefore provide experimental confirmation of how shock waves mechanically interact with energetic crystals – a topic that, up to now, was only explored by means of simulations.     

Investigation of the Failure Mechanism of HTPB/AP/Al Propellant by In‐situ Uniaxial Tensile Experimentation in SEM

The failure mechanism of a propellant consisting of hydroxyl terminated poly‐butadiene filled with ammonium perchlorate and aluminum (HTPB/AP/Al) was determined by performing in‐situ uniaxial tensile tests in a scanning electron microscope (SEM). The experimental test plan contained uniaxial tensile test experiments performed at room temperature (25 °C) at three different strain rates (30, 150 and 750 μm min⁻¹). The in‐situ images and in‐situ videos collected by the SEM were correlated with the stress‐strain diagrams created with the tensile experiments, in order to relate the failure mechanism to the features found in the stress‐strain diagram. No significant strain rate dependency of the failure mechanism was observed when working with strain rates up to 750 μm min⁻¹ and working at room temperature. The stress‐strain diagram showed indications of existing cracks and voids opening up prior to the creation of new cracks and/or voids in the sample, debonding of binder with AP particles as well as nucleation and coalescence of voids. On the fracture surfaces of the samples, it was apparent that the binder cleanly separated from the large AP particles but had a better bond with the aluminum particles. However, a difference in the appearance of a short drawing phase in the stress‐strain diagram of the propellant is observed at different strain rates. The presented results clearly demonstrate the major advantage of the combination of microscopic tensile tests with microscopic observations, linking the stress‐strain behavior to the mechanical deformation processes taking place in these propellant samples at the microscopic level.     

Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications

International Journal on Software Tools for Technology Transfer - We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into...     

Life Gallery: event detection in a personal media collection

Multimedia Tools and Applications - Usage of camera-equipped mobile devices raises the need for automatically organizing large personal media collections. Event detection algorithms have been...