Temporal determinization of mutating finite automata: Reconstructing or restructuring

A mutating finite automaton (MFA) is a nondeterministic finite automaton (NFA) that changes its morphology over discrete time by a sequence of mutations. This results in a sequence of NFAs, the initial NFA, and one mutated NFA for each mutation. Some application domains, including model-based diagnosis of discrete-event systems in artificial intelligence and model-based testing in software engineering, require temporal determinization of MFAs. Determinizing an MFA temporally means generating a deterministic finite automaton (DFA) that is equivalent to the mutated NFA as soon as a mutation occurs. Since, in computation time, the classical Subset Construction determinization algorithm may be less than optimal when applied to MFAs, a conservative algorithm is proposed, called Subset Restructuring, which, instead of constructing the new DFA from scratch based on the mutated NFA, generates the new DFA by updating the previous DFA based on the mutation occurred. Subset Restructuring is sound and complete, thereby yielding the same DFA generated by Subset Construction. Results from massive experimentation indicate the viability of Subset Restructuring, especially so when large MFAs change by small mutations.     

Size-dependent dissociation of small cobalt clusters on ultrathin NaCl films

Mass-selected anionic cobalt clusters of two different sizes (Co2 and Co13) were deposited onto ultrathin NaC1 films grown on an Au(111) substrate.Using scanning tunneling microscopy experiments and density functional theory simulations,we show that the deposited Co2 cluster dissociates and that the resulting Co atoms dope the NaCl surface by substituting Na ions.In contrast,the larger Co13 cluster does not dissociate and remains stable on top of the NaC1 film.The sizedependent fragmentation of clusters is an important aspect in the understanding of the chemical interaction between size-selected small aggregates of atoms and supporting surfaces.     

A combined approach for the analysis of support groups on Facebook - the case of patients of hidradenitis suppurativa

Multimedia Tools and Applications - Hidradenitis Suppurativa (HS), also known as Acne Inversa, is a chronic, underdiagnosed, often debilitating and painful disease that affects the folds of the...     

Flexible IEEE 802.15.4 deadline-aware scheduling for DPCSs using priority-based CSMA-CA

The IEEE 802.15.4 protocol offers great potential in several application fields, such as industrial Wireless Sensor Networks (WSNs). An industrial automation cell (field level) is characterized mostly by periodic traffic flows. Using the IEEE 802.15.4 protocol, it is necessary to manage Guaranteed Time Slots (GTSs) allocation and at the same time ensure adequate performance both to other periodic traffic flows and network management/control flows. For these reasons, this paper shows a flexible approach in order to improve GTSs assignment and medium access performance. Analytical results are shown in order to demonstrate benefits introduced by deadline-aware algorithm (for guaranteed access to reserved slots) and CSMA-CA-priority based (for latencies reduction during medium access attempts). Otherwise, obtained results show that the proposed technique improves the number of deadlines met and the probability to find the channel free for transmissions.     

Efficient Stack Distance Computation for a Class of Priority Replacement Policies

The Linear-Scan algorithm (1970), applicable to priority replacement policies, computes stack distances and the number of misses incurred on a given address trace, for all cache sizes, in time O(V) per access. Here, V is the number of distinct (virtual) items referenced within the trace. While the time bound was subsequently lowered to O(log V) for the Least Recently Used policy, no improvements have been reported for general priority policies. This work introduces the class of policies with nearly static priorities (NSP), which encompasses several known policies. The Min-Tree algorithm is proposed for NSP policies, whose performance is quite sensitive to the policy as well as to the address trace. Under suitable probabilistic assumptions, the expected time per access is O(log² V). Experimental evidence collected on a mix of 30 benchmarks shows that the Min-Tree algorithm can be significantly faster than Linear-Scan, for interesting policies such as OPT (or Belady), Least Frequently Used (LFU), and Most Recently Used (MRU). Min-Tree can be parallelized to run in time O(log V) using O(V/log V) processors, in the worst case. A more sophisticated Lazy Min-Tree algorithm is also developed with ${O(\sqrt{V}\log V)}$ worst-case time per access. This bound applies, in particular, to the policies OPT, LFU, and Least Recently/Frequently Used (LRFU), for which the best previously known bound was O(V). Although random replacement is not an NSP policy, the framework developed in this work leads to a stack-distance algorithm with O(log V) expected time per access.     

Aerobic transformations of organic matters in sewer wastewater,a case study of Milan,Italy

Today, we know that not only the sewers carry urban wastewater, but also act as chemical and biological reactors, in which both organic and inorganic substances undergo significant transformations. This article describes a study on the western part of the sewer system of the city of Milan. The hydraulic model of the sewer system was coupled with the chemical and dynamic biological model to assess the extent of the degradation of organic matter in the network. The hydraulic and biological models were calibrated with real data obtained at the entrance of the wastewater treatment plant (WWTP) ‘Milan South’ and assuming standard values of daily per capita loads of COD and BOD₅.     

Surface modifications of molecularly imprinted polymers for improved template recognition in water media

New Restricted Access Materials—Molecularly Imprinted Polymers (RAM-MIP) were synthesized by using caffeine (CAFF), methacrylic acid (MAA), divinyl benzene (DVB) and glycidil methacrylate (GMA) as model template, functional monomer, crosslinking agent and pro-hydrophilic co-monomer, respectively. Furthermore, a screening of the ratio of functional monomer to template was performed. After the preliminary characterizations of conventional MIP prepared in absence of GMA, different GMA amounts were inserted in the pre-polymerization feeds and different reactions conditions were tested for GMA epoxide ring opening. In particular, perchloric acid, ammonia, lactic acid, glycine and triethylene glycol were chosen for this purpose. In perchloric acid and ammonia cases, a further modification was performed by phosphorylation and methylation procedures, respectively. Imprinting efficiency of all the obtained materials was evaluated by binding experiments using caffeine and its analogue theophylline both in organic and in water media. The increased hydrophilic characteristics of RAM polymers by water absorption measurement and protein binding experiments were performed.     

Surface reactivity of MgO oxygen vacancies

The interaction of gas-phase molecules (O₂, CO and H₂) with oxygen vacancies (F_s centers) on the MgO(1 0 0) surface was studied by cluster models ab initio wave functions. The F_s centers exhibit a high reactivity towards O₂, CO and H₂ at variance with the regular sites of the MgO surface. The reaction proceeds through the formation of radical anions, O⁻₂ and CO⁻, via the transfer of one electron trapped in the surface cavity to the empty levels of the adsorbed molecule, and can lead to the heterolytic dissociation of the H₂ molecule.     

In Situ Rheo-NMR Measurements of Solid Fat Content

The properties of crystallized fats depend on their solid fat content (SFC) and their fractal structures. The SFC and the structures are dramatically affected during crystallization under shear flow. A mini-Couette cell was developed to crystallize fat samples under shear. The cell was tested with blends of canola stearin (CS) in canola oil (CO) in a 20-MHz NMR spectrometer. The blends were placed in the cell, melted at 80 °C, and then crystallized under different shear rates (58–460 s⁻¹) at 40 °C inside the spectrometer for 4 h. Time averaged NMR free induction decay (FID) curves were captured at 20 s intervals. SFC values were calculated using parameters determined by a calibration procedure. The SFC values determined by the direct method with and without the shaft of the Couette device were reasonably close. Similar results were observed with and without shear in the Couette device. The FID curves did not show a significant difference either. Therefore this system is accurate for in-situ time-resolved determination of SFC under shear flow. Furthermore, a combination of the direct and the indirect methods was successfully used to estimate the temperature increase due to viscous heating. The system developed will help in understanding the effects of shear flow on SFC of nanostructured lipid multicomponent systems. This will permit the optimization of the manufacturing processes.