The verification of variability models is recognized as one of the key challenges for automated development of product lines. Some computational tools have been proposed to verify product line models and product line configurations models. VMWare is a tool integrating different criteria to verify structural and semantic correctness of models derived from the FORE metamodel. Our tool gives the p...

The structural analysis of polysaccharides requires that the sugar components and their absolute configurations are determined. We here show that this can be performed based on NMR spectroscopy by utilizing butanolysis with (+)- and (-)-2-butanol that gives the corresponding 2-butyl glycosides with characteristic (1)H and (13)C NMR chemical shifts. The subsequent computer-assisted structural de...

• The use of HEPS is an effective and promising non-structural measure to help mitigate flood risk in Milano urban area, synergic with the existing structural engineering works. • A forecast horizon of two days is required for an operational chain over the Milano basins, and accurate quantitative forecasts are necessary at least one day in advance. • The pragmatic set of “shifted” configuration...

The present paper deals with the synthesis of some coordination compounds involving different d-orbital configurations in the environment of newly developed ligand systems of cubic symmetries and several structural features of new molecular models adopting spectral and magnetic moments. I.R. data of ligand have been compared with those of complexes in order to elaborate basic structural aspects...

An analysis of the molecular dynamics (МD) of the interaction between a carbon nanotube (CNT) and a carbon disulfide active solvent (CS2) has been carried out. The aim of the present work is to estimate the dynamical and structural behavior of the CNT-CS2 system at different relative atomic concentrations and under temperature changes. The structural radial distribution functions and the dynami...

This is the second paper in a series of papers that are intended to provide a comprehensive coverage of the concepts of formex configuration processing and their applications in relation to structural configurations. In the present paper, attention is focused on the configuration processing for a number of families of space structures, namely, pyramidal forms, towers, foldable systems and diama...

Thermoluminescence (TL) kinetics in spatially inhomogeneous systems can be studied by various Monte Carlo algorithms. Recently, a new analytical approach was suggested for the isolated cluster model. The theory is based on the concept of trap structural functions (TSFs). TSFs depend solely on topological properties of solids. Therefore, knowing TSFs for traps and recombination centres it is pos...