BashDungeon

We present here the first of a series of video-games designed for teaching fundamentals of computer science to university students. We built the game as an adventure inside a dungeon, which aims at reproducing the topology of a Unix file system. Inside the different rooms, the players can learn how to use several Unix commands, from simple file system actions to complex text manipulations, to complete the quests and win the game. We performed a user test on a class of B.Sc. students at the University of Cagliari. The results show a good acceptance of the game metaphor and its effectiveness in supporting the learning process. We plan to expand this game and to design similar games for teaching object-oriented programming and algorithms and data structures.

     

Fracture toughness characterisation of a glass fibre‐reinforced plastic composite

By examining the state of the art, it can be realised that few research works have been done on the fracture behaviour of plastic composites reinforced with continuous glass fibres. Therefore, the present paper deals with the fracture toughness of a unidirectional glass fibre‐reinforced plastic (GFRP), such a parameter being analytically determined by means of the modified two‐parameter model (MTPM). The input data of the MTPM are obtained from an experimental campaign related to three‐point bending tests on single edge‐notched specimens characterised by different sizes. The novelty of this research work is that the MTPM, originally proposed for isotropic materials, is here employed to estimate the fracture toughness of GFRPs characterised by orthotropic mechanical properties.     

Multiparty session types as coherence proofs

Acta Informatica - We propose a Curry–Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL). In this framework,...     

Proteomics in farm animals models of human diseases

The need to provide in vivo complex environments to understand human diseases strongly relies on the use of animal models, which traditionally include small rodents and rabbits. It is becoming increasingly evident that the few species utilised to date cannot be regarded as universal. There is a great need for new animal species that are naturally endowed with specific features relevant to human diseases. Farm animals, including pigs, cows, sheep and horses, represent a valid alternative to commonly utilised rodent models. There is an ample scope for the application of proteomic techniques in farm animals, and the establishment of several proteomic maps of plasma and tissue has clearly demonstrated that farm animals provide a disease environment that closely resembles that of human diseases. The present review offers a snapshot of how proteomic techniques have been applied to farm animals to improve their use as biomedical models. Focus will be on specific topics of biomedical research in which farm animal models have been characterised through the application of proteomic techniques.     

Mercury emissions from coal combustion: modeling and comparison of Hg capture in a fabric filter versus an electrostatic precipitator

Mercury emissions from coal combustion must be reduced, in response to new air quality regulations in the U.S. Although the most mature control technology is adsorption across a dust cake of powdered sorbent in a fabric filter (FF), most particulate control in the U.S. associated with coal combustion takes the form of electrostatic precipitation (ESP). Using recently developed models of mercury adsorption within an ESP and within a growing sorbent bed in a FF, parallel analyses of elemental mercury (Hg(0)) uptake have been conducted. The results show little difference between an ESP and a FF in absolute mercury removal for a low-capacity sorbent, with a high-capacity sorbent achieving better performance in the FF. Comparisons of fractional mercury uptake per-unit-pressure-drop provide a means for incorporating and comparing the impact of the much greater pressure drop of a FF as compared to an ESP. On a per-unit-pressure-drop basis, mercury uptake within an ESP exhibited better performance, particularly for the low-capacity sorbent and high mass loadings of both sorbents.     

Latest developments in GaN-based quantum devices for infrared optoelectronics

In this work, we summarize the latest progress in intersubband devices based on GaN/AlN nanostructures for operation in the near-infrared. We first discuss the growth and characterization of ultra-thin GaN/AlN quantum well and quantum dot superlattices by plasma-assisted molecular-beam epitaxy. Then, we present the performance of nitride-based infrared photodetectors and electro-optical modulators operating at 1.55 μm. Finally, we discuss the progress towards intersubband light emitters, including the first experimental observation of intersubband photoluminescence in nitride nanostructures.     

Noninvasive ECG as a tool for predicting termination of paroxysmal atrial fibrillation

Atrial fibrillation (AF) is the most common cardiac arrhythmia and entails an increased risk of thromboembolic events. Prediction of the termination of an AF episode, based on noninvasive techniques, can benefit patients, doctors and health systems. The method described in this paper is based on two-lead surface electrocardiograms (ECGs): 1-min ECG recordings of AF episodes including N-type (not terminating within an hour after the end of the record), S-type (terminating 1 min after the end of the record) and T-type (terminating immediately after the end of the record). These records are organised into three learning sets (N, S and T) and two test sets (A and B). Starting from these ECGs, the atrial and ventricular activities were separated using beat classification and class averaged beat subtraction, followed by the evaluation of seven parameters representing atrial or ventricular activity. Stepwise discriminant analysis selected the set including dominant atrial frequency (DAF, index of atrial activity) and average HR (HRmean, index of ventricular activity) as optimal for discrimination between N/T-type episodes. The linear classifier, estimated on the 20 cases of the N and T learning sets, provided a performance of 90% on the 30 cases of a test set for the N/T-type discrimination. The same classifier led to correct classification in 89% of the 46 cases for N/S-type discrimination. The method has shown good results and seems to be suitable for clinical application, although a larger dataset would be very useful for improvement and validation of the algorithms and the development of an earlier predictor of paroxysmal AF spontaneous termination time.     

Mass transfer around freely moving active particles in the dense phase of a gas fluidized bed of inert particles

The mass transfer coefficient around freely moving active particles under bubbling/slugging fluidized bed conditions was measured in a lab-scale reactor. The technique used for the measurements consisted in the oxidation reaction of carbon monoxide at over one or few Pt catalyst spheres immersed in an inert bed of sand. It was shown that this technique is simple and accurate, and allows to overcome most of the difficulties and uncertainties associated with other available techniques. The experimental campaign was carried out by varying the fluidization velocity (0.15-0.90 m/s), the active particle size (1.0-10.0 mm) and the inert particle size (0.1-1.4 mm). Results were analyzed in terms of the particle Sherwood number. Experimental data showed that Sh is not influenced by the fluidization velocity and by a change of regime from bubbling to slugging, whereas it increases with a square root dependence with the minimum fluidization velocity and with the active particle size. These results strongly suggest that the active particles only reside in the dense phase and never enter the bubble/slug phase. Data were excellently fitted by a Frössling-type correlation:

Sh=2.0·ε_mf+K·(Re_mf/ε_mf)^1/2·Sc^1/3     

Generalized scattering-matrix method for the analysis of two-dimensional photonic bandgap devices

Development of accurate numerical methods for the analysis of photonic-bandgap-based devices is a relevant issue in optimizing existing devices and/or developing new design solutions. Within this framework, we present an innovative and general approach for the evaluation of the electromagnetic behavior of two-dimensional finite-extent photonic crystals made of a finite set of parallel rods. The proposed approach is a generalization of the scattering-matrix method introduced by Maystre and co-workers and of its improved version proposed by the present authors, which exploits a suitable aggregation into "macrocells" to achieve a reduction of the number of unknowns. As a matter of fact, both of these approaches can be exploited only in those cases in which particular modal expansions for the fields hold true. In order to overcome this limitation, we propose a suitable exploitation of the method of auxiliary sources to provide a general and reliable method for the numerical computation of the scattering matrix of an object of arbitrary shape. By taking advantage of this, we can then generalize our improved scattering matrix method to further increase its computational effectiveness. A numerical analysis of some square-lattice configurations is reported to confirm the accuracy of the proposed method and the remarkable computational benefit.