A review on queueing network models with finite capacity queues for software architectures performance prediction

A review is carried out on how queueing network models with blocking have been applied so far into the performance evaluation and prediction of Software Architectures (SA). Queueing network models with finite capacity queues and blocking have recently been introduced and applied as more realistic models of systems with finite capacity resources and population constraints. Queueing network models have been often adopted as models for the evaluation of software performance. Starting from our own experience, we observe the need of a more accurate definition of the performance models of SA to capture some features of the communication systems. We consider queueing networks with finite capacity and blocking after service (BAS) to represent some synchronization constraints that cannot be easily modeled with queueing network models with infinite capacity queues. We investigate the use of queueing networks with blocking as performance models of SA with concurrent components and synchronous communication. Queueing theoretic analysis is used to solve the queueing network model and study the synchronous communication and performance of concurrent software components. Our experience is supported by other approaches that also propose the use of queueing networks with blocking. Directions for future research work in the field are included.     

MR imaging of focal liver lesions: comparison between turbo spin-echo and conventional spin-echo pulse sequences

The aim of this study was to compare conventional spin-echo (CSE)T ₂-weighted (T2W) images with turbo spin-echo (TSE) T2W pulse sequences in their ability to detect focal liver lesions. Seventy-eight consecutive patients with focal liver lesions were entered into this study. All patients were imaged using the gradient-echo (GE) sequence with the breath-hold technique forT ₁-weighted (T1W) images, and CSE and TSE sequences for T2W images. Qualitative evaluation included lesion detection (number of lesions detected) and conspicuity (extent of visualization of lesional borders); quantitative evaluation included the signal-to-noise (S/N) ratio and the contrast-to-noise (C/N) ratio. TSE showed the best performance in terms of lesion detection; however, the difference between TSE and CSE was significant only in the case of benign cysts (p<0.01). Conspicuity was higher with TSE and CSE, and lower with GE. The S/N and C/N ratios of the two T2W sequences were also comparable, and better than those of GE. However, the combined use of GE and TSE resulted in improved lesion detection. The results show that, because the acquisition time is greatly reduced with TSE sequences, these should be considered as first-line approach to magnetic resonance imaging of the liver for the study of focal lesions.     

FEM model of the ohmic resistance of IP-SOFCs

In the present work, the ohmic resistance of an integrated planar-SOFC (IP-SOFC) has been evaluated by developing a model whose equations have been solved numerically through an FEM method. The model allows to estimate the distribution of voltage and current density in the cell. A comparison between simulated and experimental data of area specific resistance is reported, which shows satisfactory agreement. The mathematical model has also been used to carry out some parametric studies for optimisation purposes. Indeed, a reduction in cell pitch length and an increase in electrode thickness are predicted to lead to a reduction in ohmic losses in IP-SOFCs.     

Kinetic modelling of textural changes in ready-to-eat breakfast cereals during soaking in semi-skimmed milk

Summary Ready‐to‐eat breakfast cereals immersed in milk undergo undesirable changes in texture because of sudden moisture uptake. The textural changes are ascribable to a plasticizing effect of water, which modifies the mechanical strength of products by softening the starch/protein matrix. In this work, some textural parameters of different cereal flakes were derived from the force–displacement curves monitored during 300 s of immersion in milk. Hardness loss, deformability increment and changes in the force–displacement curve profile were calculated and plotted against soaking time. The application of a sugar coating process to a model cereal flake increased the initial product hardness and improved the preservation of the textural parameters during immersion. The Peleg model closely fitted the experimental data, with regression coefficients from 0.967 to 0.999.     

Deep-MEG: spatiotemporal CNN features and multiband ensemble classification for predicting the early signs of Alzheimer’s disease with magnetoencephalography

Neural Computing and Applications - In this paper, we present the novel Deep-MEG approach in which image-based representations of magnetoencephalography (MEG) data are combined with ensemble...     

Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving

Examples in the history of Automated Theorem Proving are given, in order to show that even a seemingly mechanical activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in cultural pruning of human-oriented reasoning. Sociological counterparts of this passage from human- to machine-oriented reasoning are discussed, by focusing on problems of man-machine interaction in the area of computer-assisted proof processing.     

Microstructured Lipid Carriers (MLC) Based on N-Acetylcysteine and Chitosan Preventing Pseudomonas aeruginosa Biofilm

The aim of this work was the development of microstructured lipid carriers (MLC) based on chitosan (CH) and containing N-acetylcysteine (NAC), a mucolytic and antioxidant agent, to inhibit the formation of Pseudomonas aeruginosa biofilm. MLC were prepared using the high shear homogenization technique. The MLC were characterized for morphology, particle size, Z potential, encapsulation efficiency and drug release. The antioxidant properties of NAC-loaded microstructured carriers were evaluated through an in vitro spectrophotometer assay. Finally, the activity of NAC-CH-MLC on biofilm production by Pseudomonas aeruginosa was also evaluated. Results obtained from this study highlighted that the use of chitosan into the inner aqueous phase permitted to obtain microstructured particles with a narrow size range and with good encapsulation efficiency. NAC-loaded MLC showed higher antioxidant activity than the free molecule, demonstrating how encapsulation increases the antioxidant effect of the molecule. Furthermore, the reduction of biofilm growth resulted extremely high with MLC being 64.74% ± 6.2% and 83.74% ± 9.95%, respectively, at 0.5 mg/mL and 2 mg/mL. In conclusion, this work represents a favorable technological strategy against diseases in which bacterial biofilm is relevant, such as cystic fibrosis.