A theory of ultimately periodic languages and automata with an application to time granularity

In this paper, we develop a theory of regular ω-languages that consist of ultimately periodic words only and we provide it with an automaton-based characterization. The resulting class of automata, called ultimately periodic automata (UPA), is a subclass of the class of Büchi automata and inherits some properties of automata over finite words (NFA). Taking advantage of the similarities among UPA, Büchi automata, and NFA, we devise efficient solutions to a number of basic problems for UPA, such as the inclusion, the equivalence, and the size optimization problems. The original motivation for developing a theory of ultimately periodic languages and automata was to represent and to reason about sets of time granularities in knowledge-based and database systems. In the last part of the paper, we show that UPA actually allow one to represent (possibly infinite) sets of granularities, instead of single ones, in a compact and suitable to algorithmic manipulation way. In particular, we describe an application of UPA to a concrete time granularity scenario taken from clinical medicine.     

Semantics-driven annotation of patient-specific 3D data: a step to assist diagnosis and treatment of rheumatoid arthritis

In the digital era, patient-specific 3D models (3D-PSMs) are becoming increasingly relevant in computer-assisted diagnosis, surgery training on digital models, or implant design. While advanced imaging and reconstruction techniques can create accurate and detailed 3D models of patients’ anatomy, software tools that are able to fully exploit the potential of 3D-PSMs are still far from being satisfactory. In particular, there is still a lack of integrated approaches for extracting, coding, sharing and retrieving medically relevant information from 3D-PSMs and use it concretely as a support to diagnosis and treatment. In this article, we propose the SemAnatomy3D framework, which demonstrates how the ontology-driven annotation of 3D-PSMs and of their anatomically relevant features (parts of relevance) can assist clinicians to document more effectively pathologies and their evolution. We exemplify the idea in the context of the diagnosis of rheumatoid arthritis of the hand district, and show how feature extraction tools and semantic 3D annotation can provide a rich characterization of anatomical landmarks (e.g., articular facets, prominent features, ligament attachments) and pathological markers (erosions, bone loss). The core contributions are an ontology-driven part-based annotation method for the 3D-PSMs and a novel automatic localization of erosion and quantification of the OMERACT RAMRIS erosion score. Finally, our results have been compared against a medical ground truth.     

Firms’ involvement in Open Source projects: A trade-off between software structural quality and popularity

Open Source (OS) was born as a pragmatic alternative to the ideology of Free Software and it is now increasingly seen by companies as a new approach to developing and making business upon software. Whereas the role of firms is clear for commercial OS projects, it still needs investigation for projects based on communities. This paper analyses the impact of firms’ participation on popularity and internal software design quality for 643 SourceForge.net projects. Results show that firms’ involvement improves the ranking of OS projects, but, on the other hand, puts corporate constraints to OS developing practices, thus leading to lower structural software design quality.     

Multimodal support to group dynamics

The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole. A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.

---

Modelling Calculi with Name Mobility using Graphs with Equivalences

In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to be quite useful for modelling purposes, but, at the same time, problematic for the development of a satisfactory partial order concurrent semantics for rewrites. Rewriting over graphs with equivalences, i.e., (typed hyper)-graphs equipped with an equivalence over nodes provides a technically convenient replacement of graph rewriting with coalescing rules, for which a truly concurrent semantics can be easily defined. The expressivity of such a formalism is tested in a setting where coalescing rules typically play a basic role: the encoding of calculi with name passing as graph rewriting systems. Specifically, we show how the (monadic fragment) of the solo calculus, one of the dialect of those calculi whose distinctive feature is name fusion, can be encoded as a rewriting system over graph with equivalences.     

The updating technique for the solution of a sequence of linear equations

In this paper we will present and analyze an algorithm for solving a sequence of linear equations of the form \(\left( {A + \lambda _i B} \right)x = b,i = 1,2,...,r,\) wherex, b∈R ⁿ , andA, B aren x n real dense and large matrices. Two matrix factorizations are suggested that will allow efficient updating by changing λ _i . They are recommended ifB is singular or ill-conditioned. The implementation cost is evaluated and numerical results are included to present the performance of the two factorizations and in the solution of the above sequence of equations.     

Geometry and Stacking Sequence Effect on Composite Spinnaker Pole's Stiffness: Experimental and Numerical Analysis

Composite materials are widely employed in sailing sports, a possible application is for the mast pole or other sail poles. In the paper the attention is focused on the spinnaker poles mechanical performances; in particular the focus is on axial and ring compressive properties of three different carbon fibre/epoxy resin spinnaker poles, to investigate both the diameter and stacking sequence effect on the mechanical performance of the structure. Starting from the stacking sequence used in the production of a particular spinnaker pole, the effect of a lamina at 0° in the middle of wall thickness is investigated with the purpose to obtain a more stiff structure. Moreover to test the proposed stacking sequence on different size products, a prototype with lower diameter is realized. To properly evaluate axial and ring stiffness, axial compression test and ring stiffness one are performed. Then a numerical model is developed to support the design of the finished product: A simple and versatile numerical analysis (FEA with software ANSYS), by simulating ring stiffness and pull-direction compression tests, is carried out in elastic regime. Such model should be suitable for designing and/or verifying the mechanical performance of pole structures, even though differing from those above described, for materials, geometry and stacking sequence.     

Effect of supply voltage frequency on testing of insulation system

This paper deals with the effect of supply frequency on partial discharge phenomena. Results of measurements performed on artificial and practical test objects are compared with computer simulations based on physical models. This comparative analysis points out and explains the differences in partial discharge phenomena observed in tests performed at different frequencies (from 0.1 to 300 Hz). The consequences associated to the use of different supply frequencies in practical applications are, eventually, outlined.     

Electrical, microstructural, physical and chemical characterization of HV XLPE cable peelings for an electrical aging diagnostic data base

The aim of the European project "ARTEMIS" is to develop a diagnostic system for assessing aging in power cable insulation. Its first task was to make a thorough characterisation of the cable insulation before aging. This is intended to provide a background against which any changes introduced by thermo-electric aging can be identified. The aging markers derived from this initial characterisation will be considered both as diagnostic indicators in their own right, and also to develop an aging model for predictive purposes, if and when possible. This stage of the ARTEMIS programme is now complete and we will present an analysis of the results, and show how they may be correlated with the concepts proposed in aging theories.