Superposition Based on Watson–Crick-Like Complementarity

In this paper we propose a new formal operation on words and languages, called superposition. By this operation, based on a Watson–Crick-like complementarity, we can generate a set of words, starting from a pair of words, in which the contribution of a word to the result need not be one subword only, as happens in classical bio-operations of DNA computing. Specifically, starting from two single stranded molecules x and y such that a suffix of x is complementary to a prefix of y, a prefix of x is complementary to a suffix of y, or x is complementary to a subword of y, a new word z, which is a prolongation of x to the right, to the left, or to both, respectively, is obtained by annealing. If y is complementary to a subword of x, then the result is x. This operation is considered here as an abstract operation on formal languages. We relate it to other operations in formal language theory and we settle the closure properties under this operation of classes in the Chomsky hierarchy. We obtain a useful result by showing that unrestricted iteration of the superposition operation, where the "parents" in a subsequent iteration can be any words produced during any preceding iteration step, is equivalent to restricted iteration, where at each step one parent must be a word from the initial language. This result is used for establishing the closure properties of classes in the Chomsky hierarchy under iterated superposition. Actually, since the results are formulated in terms of AFL theory, they are applicable to more classes of languages. Then we discuss "adult" languages, languages consisting of words that cannot be extended by further superposition, and show that this notion might bring us to the border of recursive languages. Finally, we consider some operations involved in classical DNA algorithms, such as Adleman's, which might be expressed through iterated superposition.     

Effect of spherical porosity on co-fired dense/porous zirconia bi-layers cambering

Geometrical instability leading to cambering is recorded during co-sintering of zirconia dense/porous bi-layered planar structures. Sintering strain in the bi-layers rises mainly from mismatch between the different porosity volume fractions at the layers and their interface. In this paper, we analyze the model case of dense taped of 8 mol% Y₂O₃-stabilized ZrO₂ laminated on ca. 400 μ thick 3 mol% Y₂O₃ doped zirconia porous tapes, with homogenous spherical porosity of 13 vol%, 46 vol%, and 54 vol%. Sintering stress during densification is evaluated from the shrinkage rates and viscoelastic behavior during sintering by thermo-mechanical analysis, using cyclic loading dilatometry. The camber development of the bi-layers is measured by in-situ optical dilatometry. In accordance with the model prediction, cambering can be controlled tuning the porosity while achieving a synergetic effect between densification and formation of open porosity at the bilayers.     

Enhancement of Peroxidase Activity in Artificial Mimochrome VI Catalysts through Rational Design

Rational design provides an attractive strategy to tune and control the reactivity of bioinspired catalysts. Although there has been considerable progress in the design of heme oxidase mimetics with active‐site environments of ever‐growing complexity and catalytic efficiency, their stability during turnover is still an open challenge. Herein, we show that the simple incorporation of two 2‐aminoisobutyric acids into an artificial peptide‐based peroxidase results in a new catalyst (Fe^III‐MC6*a) with higher resistance against oxidative damage and higher catalytic efficiency. The turnover number of this catalyst is twice as high as that of its predecessor. These results point out the protective role exerted by the peptide matrix and pave the way to the synthesis of robust bioinspired catalysts.     

Dependability evaluation of hierarchical systems

Hierarchical design represents a natural solution for managing the growing complexity of computing systems. This leads to systems that are hierarchically structured from a logical or physical viewpoint. Because of the inherent complexity of such systems, the incorporation of fault-tolerance features is highly recommended, to achieve the required dependability level. Hence, it is important to develop evaluation tools that allow to analyse the effectiveness of different fault-tolerance mechanisms. We present a systematic procedure for the construction and evaluation of Markov models for transient dependability analysis, which fully exploits the hierarchical structure of the system under evaluation. A thorough time/space complexity analysis of the proposed procedure shows that it allows a considerable time and space saving with respect to a naive approach to the same problem.Work partially supported by CNR, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, under grant no. 91.00905 PF96, and by MURST, Progetto 40% Performability di sistemi distributi e paralleli     

Long-term recovery from unawareness, deficient counterregulation and lack of cognitive dysfunction during hypoglycaemia, following institution of rational, intensive insulin therapy in IDDM

Hypoglycaemia unawareness, is a major risk factor for severe hypoglycaemia and a contraindication to the therapeutic goal of near-normoglycaemia in IDDM. We tested two hypotheses, first, that hypoglycaemia unawareness is reversible as long as hypoglycaemia is meticulously prevented by careful intensive insulin therapy in patients with short and long IDDM duration, and that such a result can be maintained long-term. Second, that intensive insulin therapy which strictly prevents hypoglycaemia, can maintain long-term near-normoglycaemia. We studied 21 IDDM patients with hypoglycaemia unawareness and frequent mild/severe hypoglycaemia episodes while on "conventional" insulin therapy, and 20 nondiabetic control subjects. Neuroendocrine and symptom responses, and deterioration in cognitive function were assessed in a stepped hypoglycaemia clamp before, and again after 2 weeks, 3 months and 1 year of either intensive insulin therapy which meticulously prevented hypoglycaemia (based on physiologic insulin replacement and continuous education, experimental group, EXP, n = 16), or maintenance of the original "conventional" therapy (control group, CON, n = 5). At entry to the study, all 21 IDDM-patients had subnormal neuroendocrine and symptom responses, and less deterioration of cognitive function during hypoglycaemia. After intensive insulin therapy in EXP, the frequency of hypoglycaemia decreased from 0.5 +/- 0.05 to 0.045 +/- 0.02 episodes/patient-day; HbA1c increased from 5.83 +/- 0.18 to 6.94 +/- 0.13% (range in non-diabetic subjects 3.8-5.5%) over a 1-year period; all counterregulatory hormone and symptom responses to hypoglycaemia improved between 2 weeks and 3 months with the exception of glucagon which improved at 1 year; and cognitive function deteriorated further as early as 2 weeks (p < 0.05). The improvement in responses was maintained at 1 year. The improvement in plasma adrenaline and symptom responses inversely correlated with IDDM duration. In contrast, in CON, neither frequency of hypoglycaemia, nor neuroendocrine responses to hypoglycaemia improved. Thus, meticulous prevention of hypoglycaemia by intensive insulin therapy reverses hypoglycaemia unawareness even in patients with long-term IDDM, and is compatible with long-term near-normoglycaemia. Because carefully conducted intensive insulin therapy reduces, not increases the frequency of moderate/severe hypoglycaemia, intensive insulin therapy should be extended to the majority of IDDM patients in whom it is desirable to prevent/delay the onset/progression of microvascular complications.     

QoS Driven Per-Request Load-Aware Service Selection in Service Oriented Architectures

Service selection has been widely investigated by the SOA research community as an effective adaptation mechanism that allows a service broker, offering a composite service, to bind at runtime each task of the composite service to a corresponding concrete implementation, selecting it from a set of candidates which differ from one another in terms of QoS parameters. In this paper we present a load-aware per-request approach to service selection which aims to combine the relative benefits of the well known per-request and perflow approaches. Our service selection policy represents the core methodology of the Plan phase of a self-adaptive service oriented system based on the MAPE-K reference loop. Since the service broker operates in a variable and uncertain environment where the QoS levels negotiated with the service providers can fluctuate, it requires some mechanism to enforce the QoS constraints with its users. To this end, we also propose an algorithm for the Analyze phase of MAPE-K which is based on the adaptive Cusum algorithm and allows to determine whether a change in the QoS level requires a service selection replanning. We present experimental results obtained with a prototype implementation of a service broker. Our results show that the proposed load-aware approach is superior to the traditional perrequest one and combines the ability of sustaining large volume of service requests, as the perflow approach, while at the same time offering a finer customizable service selection, as the per-request approach. Furthermore, the results show that the adaptive Cusum algorithm can quickly detect changes in the execution environment and trigger a new optimization plan before the system performance degrades.     

Sketched symbol recognition using Latent-Dynamic Conditional Random Fields and distance-based clustering

In this paper we propose a two-stage method for recognizing sketched symbols that combine the use of a discriminative model, for labeling symbol strokes and a distance-based clustering algorithm, for grouping the labels belonging to the same symbol. In the first stage, we employ Latent-Dynamic Conditional Random Field (LDCRF), a discriminative model able to analyze the features of unsegmented sequences of strokes by taking into account spatio-temporal information, and to classify the symbol parts by considering contextual information. In the second stage, the labels obtained from LDCRF are grouped into symbol labels by using a distance-based clustering algorithm which takes into account the geometric relationships among strokes. The effectiveness of our method has been evaluated on the domain of electric circuit diagrams achieving accuracy values varying between 81.3% and 91.0%.     

Incorporation of Er3+ into BaTiO3

The incorporation of Er³⁺ into BaTiO₃ ceramics was investigated on samples containing 0.25, 0.5, 1, 2, 8, and 10 at.% of dopant, after sintering at 1350–1550°C in air. For Er³⁺ concentrations ≤1 at.%, dense and large-grained ceramics with low room-temperature resistivity (10²–10³Ω·cm) were obtained. The observed properties are largely independent of stoichiometry. Simultaneous substitution of Er³⁺ at both cation sites, with higher preference for the Ba site, is proposed. The behavior of heavily doped ceramics depends on stoichiometry. When Ba/Ti < 1, the electrical properties change from slightly semiconducting to insulating as Er concentration increases from 2 to 8 at.%. The ceramics have tetragonal perovskite structure and contain a large amount of Er₂Ti₂O₇ pyrochlore phase. On the other hand, when Ba/Ti > 1, the ceramics are insulating, fine-grained, and single phase. In this case, incorporation of Er³⁺ predominantly occurs at the Ti site, with oxygen vacancy compensation. Incorporation is accompanied by a significant reduction of tetragonality and by expansion of the unit cell. The different results indicate that Er³⁺ solubility at the Ba site does not exceed 1 at.%, whereas solubility at the Ti site is at least 10 at.%. However, the incorporation of Er³⁺ and the resulting properties are also strongly affected by sintering conditions.     

Microwave Regenerated Catalytic Foam: A More Effective Way for PM Reduction

In this work the effect of microwave irradiation on the regeneration of soot-loaded uncatalytic and catalytic ceramic foam filters was studied for two different catalytic filter formulations. Combining dielectric permittivity and catalytic activity of the foam filter components with microwave absorbing properties of soot allowed a more effective filter regeneration. Moreover, iron based catalysts, typically not active towards soot oxidation in case of electrical heating, showed a significant activity in the presence of microwave.     

Issues on soot removal from exhaust gases by means of radial flow ceramic traps

Radial flow ceramic foam traps (uncatalytic and catalytic) for soot removal from the exhausts of combustion systems were prepared. Their performances were tested by treating the exhaust of a gas-oil burner. Two different trap volumes (0.5 and 1.5 l) were employed to evaluate the effect of gas velocity on the trap filtering performances. It was found that at high gas velocity through the trap critical conditions leading to soot blow off may be reached in dependence of gas velocity and temperature, soot load on the trap and burner operating conditions (quantity and quality of particulate matter). At lower velocity critical conditions are unlikely to be achieved but the behaviour is still strongly dependent of the burner operating conditions. The catalytic trap showed good performances being able to remove soot from the burner exhaust gases with an efficiency of 70% and allowing the simultaneous filtration and combustion of the captured soot as well of part of the soot accumulated when the trap operating conditions were not favourable for soot combustion.