Design, implementation and evaluation of a virtual laboratory for Computer Engineering Education

Broad consensus has been reached within the Education and Cognitive Psychology research communities on the need to center the learning process on experimentation and concrete application of knowledge, rather than on a bare transfer of notions. Several advantages arise from this educational approach, ranging from the reinforce of students learning, to the increased opportunity for a student to gain greater insight into the studied topics, up to the possibility for learners to acquire practical skills and long-lasting proficiency. This is especially true in Engineering education, where integrating conceptual knowledge and practical skills assumes a strategic importance. In this scenario, learners are called to play a primary role. They are actively involved in the construction of their own knowledge, instead of passively receiving it. As a result, traditional, teacher-centered learning environments should be replaced by novel learner-centered solutions. Information and Communication Technologies enable the development of innovative solutions that provide suitable answers to the need for the availability of experimentation supports in educational context. Virtual Laboratories, Adaptive Web-Based Educational Systems and Computer-Supported Collaborative Learning environments can significantly foster different learner-centered instructional strategies, offering the opportunity to enhance personalization, individualization and cooperation. More specifically, they allow students to explore different kinds of materials, to access and compare several information sources, to face real or realistic problems and to work on authentic and multi-facet case studies. In addition, they encourage cooperation among peers and provide support through coached and scaffolded activities aimed at fostering reflection and meta-cognitive reasoning. This dissertation will guide readers within this research field, presenting both the theoretical and applicative results of a research aimed at designing an open, flexible, learner-centered virtual lab for supporting students in learning Information Security.

Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Development, degeneration and neural network of the bodily self

The question addressed by this dissertation is how the human brain builds a coherent representation of the body, and how this representation is used to recognize its own body. Recent approaches by neuroimaging and TMS revealed hints for a distinct brain representation of human body, as compared with other stimulus categories. Neuropsychological studies demonstrated that body-parts and self body-parts recognition are separate processes sub-served by two different, even if possibly overlapping, networks within the brain. Bodily self-recognition is one aspect of our ability to distinguish between self and others and the self/other distinction is a crucial aspect of social behaviour. This is the reason why I have conducted a series of experiment on subjects with everyday difficulties in social and emotional behaviour, such as patients with autism spectrum disorders (ASD) and patients with Parkinson’s disease (PD). More specifically, I studied the implicit self body/face recognition (Chapter 6) and the influence of emotional body postures on bodily self-processing in TD children as well as in ASD children (Chapter 7). I found that the bodily self-recognition is present in TD and in ASD children and that emotional body postures modulate self and others’ body processing. Subsequently, I compared implicit and explicit bodily self-recognition in a neuro-degenerative pathology, such as in PD patients, and I found a selective deficit in implicit but not in explicit self-recognition (Chapter 8). This finding suggests that implicit and explicit bodily self-recognition are separate processes subtended by different mechanisms that can be selectively impaired. If the bodily self is crucial for self/other distinction, the space around the body (personal space) represents the space of interaction and communication with others. When, I studied this space in autism, I found that personal space regulation is impaired in ASD children (Chapter 9).

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Characterization of the Caspr2 and NLGN2 ligands: a proteomic and biochemical approach

Autism Spectrum Disorder (ASD) is a range of early-onset conditions classified as neurodevelopmental disorders, characterized by deficits in social interactions and communication, as well as by restricted interest and repetitive behaviors. Among the proteins associated with this spectrum of disease there are Caspr2, α-NRXN1, NLGN1-4. Caspr2 is involved in the clustering of K+ channels at the juxtaparanodes, where it is proposed to bind TAG-1. Recent works reported a synaptic localization of Caspr2, but little is know on its role in this compartment. NRXNs and their ligand NLGNs, instead, have a well-defined role in the formation and maintenance of synapses. Among the neuroligins, NLGN2 binds NRXNs with the lowest affinity, suggesting that it could have other not yet characterized ligands. The aim of this work was to better characterize the binding of Caspr2 to TAG-1 and to identify new potential binding partner for Caspr2 and NLGN2. Unexpectedly, using Isothermal Titration Calorimetry and co-immunoprecipitation experiments the direct association of the first two proteins could not be verified and the results indicate that the first evidences reporting it were biased by false-positive artifacts. These findings, together with the uncharacterized synaptic localization of Caspr2, made the identification of new potential binding partners for this protein necessary. To find new proteins that associate with Caspr2 and NLGN2, affinity chromatography in tandem with mass spectrometry experiments were performed. Interestingly, about 25 new potential partners were found for these two proteins and NLGN1, that was originally included as a control: 5 of those, namely SFRP1, CLU, APOE, CNTN1 and TNR, were selected for further investigations. Only the association of CLU to NLGN2 was confirmed. In the future, screenings of the remaining candidates have to be carried out and the functional role for the proposed NLGN2-CLU complex has to be studied.

Ultra-Low Power and Non-intrusive Wireless Monitoring for Smart Buildings

Wireless Sensor Networks (WSNs) offer a new solution for distributed monitoring, processing and communication. First of all, the stringent energy constraints to which sensing nodes are typically subjected. WSNs are often battery powered and placed where it is not possible to recharge or replace batteries. Energy can be harvested from the external environment but it is a limited resource that must be used efficiently. Energy efficiency is a key requirement for a credible WSNs design. From the power source's perspective, aggressive energy management techniques remain the most effective way to prolong the lifetime of a WSN. A new adaptive algorithm will be presented, which minimizes the consumption of wireless sensor nodes in sleep mode, when the power source has to be regulated using DC-DC converters. Another important aspect addressed is the time synchronisation in WSNs. WSNs are used for real-world applications where physical time plays an important role. An innovative low-overhead synchronisation approach will be presented, based on a Temperature Compensation Algorithm (TCA). The last aspect addressed is related to self-powered WSNs with Energy Harvesting (EH) solutions. Wireless sensor nodes with EH require some form of energy storage, which enables systems to continue operating during periods of insufficient environmental energy. However, the size of the energy storage strongly restricts the use of WSNs with EH in real-world applications. A new approach will be presented, which enables computation to be sustained during intermittent power supply. The discussed approaches will be used for real-world WSN applications. The first presented scenario is related to the experience gathered during an European Project (3ENCULT Project), regarding the design and implementation of an innovative network for monitoring heritage buildings. The second scenario is related to the experience with Telecom Italia, regarding the design of smart energy meters for monitoring the usage of household's appliances.

Tackling of unhealthy diets, physical inactivity, and obesity: health effects and cost-effectiveness

The obesity epidemic is spreading to low-income and middle-income countries as a result of new dietary habits and sedentary ways of life, fuelling chronic diseases and premature mortality. In this report we present an assessment of public health strategies designed to tackle behavioural risk factors for chronic diseases that are closely linked with obesity, including aspects of diet and physical inactivity, in Brazil, China, India, Mexico, Russia, and South Africa. England was included for comparative purposes. Several population-based prevention policies can be expected to generate substantial health gains while entirely or largely paying for themselves through future reductions of health-care expenditures. These strategies include health information and communication strategies that improve population awareness about the benefits of healthy eating and physical activity; fiscal measures that increase the price of unhealthy food content or reduce the cost of healthy foods rich in fibre; and regulatory measures that improve nutritional information or restrict the marketing of unhealthy foods to children. A package of measures for the prevention of chronic diseases would deliver substantial health gains, with a very favourable cost-effectiveness profile.

Mobile goes global: The effect of cell phones on economic growth and development

This study investigates the effect of cell phones on economic development and growth by performing an econometric analysis using data from the International Telecommunications Union and the Penn World Table. It discusses the various ways cell phones can make markets more efficient and how the diffusion of information andknowledge plays into development. Several approaches (OLS, Fixed Effects, 2SLS) were used to test over 20 econometric models. Overall, the mobile cellular subscriptions rate was found to have a positive and significant impact on countries’ level of real per capitaGDP and GDP growth rate. Furthermore, the study provides policy implications for the use of technology to promote global growth.

Climate Change and International Law. Exploring the Linkages Between Human Rights, Environment, Trade and Investment

Mapping the relevant principles and norms of international law, the paper discusses scientific evidence and identifies current legal foundations of climate change mitigation adaptation and communication in international environmental law, human rights protection and international trade regulation in WTO law. It briefly discusses the evolution and architecture of relevant multilateral environmental agreements, in particular the UN Framework Convention on Climate Change. It discusses the potential role of human rights in identifying pertinent goals and values of mitigation and adaptation and eventually turns to principles and rules of international trade regulation and investment protection which are likely to be of crucial importance should the advent of a new multilateral agreement fail to materialize. The economic and legal relevance of rules on tariffs, border tax adjustment and subsidies, services and intellectual property and investment law are discussed in relation to the production, supply and use of energy. Moreover, lessons from trade negotiations may be drawn for negotiations of future environmental instruments. The paper offers a survey of the main interacting areas of public international law and discusses the intricate interaction of all these components informing climate change mitigation, adaptation and communication in international law in light of an emerging doctrine of multilayered governance. It seeks to contribute to greater coherence of what today is highly fragmented and rarely discussed in an overall context. The paper argues that trade regulation will be of critical importance in assessing domestic policies and potential trade remedies offer powerful incentives for all nations alike to participate in a multilateral framework defining appropriate goals and principles.

Incontinentia lactis: physiology and anatomy conducive to milk leakage in dairy cows

Incontinentia lactis is a possible predisposing factor for an elevated level of intramammary infection. The goal of the present study was to investigate possible causes of incontinentia lactis in dairy cows. Two farms that differed in breed composition, but that had similar average milk yields were studied: herd A, 28 kg/d, 31 Red Holstein cows; and herd B, 26 kg/d, 16 Brown Swiss cows. Herd A was classified into 2 groups: incontinentia lactis (ILA group) and control, whereas herd B was exclusively a control herd. Milk samples that represented foremilk and the main milk fraction were collected during 4 milking sessions. In addition, milk leakage samples from the ILA group were collected at different time intervals from 0 to 5 h before milking. Measurements of the teat, milk flow, fractions of cisternal and alveolar milk, intramammary pressure, and blood oxytocin pattern also were obtained. The ILA cows did not have differences in fat content between milk leakage and cisternal milk fraction. Milk fat content, however, increased during milking in response to continuous milk ejection (1.95, 1.99, and 4.61% for milk leakage, cisternal, and main milk samples, respectively). Teat canals were 9% shorter in the ILA cows, which showed greater milk yield, peak, and average flow rates. Quarter cisternal milk yield of ILA cows tended to be greater (0.50 vs. 0.23 and 0.28 kg for ILA and controls from herds A and B, respectively), whereas percentages of cistern milk and alveolar milk did not differ from controls. The greater pressure in the ILA group, both before and after manual udder stimulation (ILA: 4.0 and 6.4 kPa; control: 2.0 and 5.0 kPa, respectively), could be an important cause for the leakage. Nevertheless, the increase in IMP that occurred after udder preparation affirms that milk ejection occurred in response to the tactile teat stimulation, but not before the onset of leakage. Blood oxytocin concentration in ILA cows was low until the start of udder preparation and increased in response to the milking stimulus (reaffirming the hypothesis that milk leakage occurred in the absence of milk ejection). In conclusion, milk losses by leakage are likely due to the large amount of cisternal milk, which creates pressure and causes leakage, in the absence of milk ejection.

Total-body digital X-ray in trauma. An experience report on the first operational full body scanner in Europe and its possible role in ATLS

When patients enter our emergency room with suspected multiple injuries, Statscan provides a full body anterior and lateral image for initial diagnosis, and then zooms in on specific smaller areas for a more detailed evaluation. In order to examine the possible role of Statscan in the management of multiply injured patients we implemented a modified ATLS((R)) algorithm, where X-ray of C-spine, chest and pelvis have been replaced by single-total a.p./lat. body radiograph. Between 15 October 2006 and 1 February 2007 143 trauma patients (mean ISS 15+/-14 (3-75)) were included. We compared the time in resuscitation room to 650 patients (mean ISS 14+/-14 (3-75)) which were treated between 1 January 2002 and 1 January 2004 according to conventional ATLS protocol. The total-body scanning time was 3.5 min (3-6 min) compared to 25.7 (8-48 min) for conventional X-rays, The total ER time was unchanged 28.7 min (13-58 min) compared to 29.1 min (15-65 min) using conventional plain radiography. In 116/143 patients additional CT scans were necessary. In 98/116 full body trauma CT scans were performed. In 18/116 patients selective CT scans were ordered based on Statscan findings. In 43/143 additional conventional X-rays had to be performed, mainly due to inadequate a.p. views of fractured bones. All radiographs were transmitted over the hospital network (Picture Archiving and Communication System, PACS) for immediate simultaneous viewing at different places. The rapid availability of images for interpretation because of their digital nature and the reduced need for repeat exposures because of faulty radiography are also felt to be strengths.

Patient satisfaction of primary care for musculoskeletal diseases: A comparison between Neural Therapy and conventional medicine

Background The main objective of this study was to assess and compare patient satisfaction with Neural Therapy (NT) and conventional medicine (COM) in primary care for musculoskeletal diseases. Methods A cross-sectional study in primary care for musculoskeletal disorders covering 77 conventional primary care providers and 18 physicians certified in NT with 241 and 164 patients respectively. Patients and physicians documented consultations and patients completed questionnaires at a one-month follow-up. Physicians documented duration and severity of symptoms, diagnosis, and procedures. The main outcomes in the evaluation of patients were: fulfillment of expectations, perceived treatment effects, and patient satisfaction. Results The most frequent diagnoses belonged to the group of dorsopathies (39% in COM, 46% in NT). We found significant differences between NT and COM with regard to patient evaluations. NT patients documented better fulfilment of treatment expectations and higher overall treatment satisfaction. More patients in NT reported positive side effects and less frequent negative effects than patients in COM. Also, significant differences between NT and COM patients were seen in the quality of the patient-physician interaction (relation and communication, medical care, information and support, continuity and cooperation, facilities availability, and accessibility), where NT patients showed higher satisfaction. Differences were also found with regard to the physicians' management of disease, with fewer work incapacity attestations issued and longer consultation times in NT. Conclusion Our findings show a significantly higher treatment and care-related patient satisfaction with primary care for musculoskeletal diseases provided by physicians practising Neural Therapy.

Study of and design procedure for dual circularly polarized waveguide slot arrays

For the past sixty years, waveguide slot radiator arrays have played a critical role in microwave radar and communication systems. They feature a well-characterized antenna element capable of direct integration into a low-loss feed structure with highly developed and inexpensive manufacturing processes. Waveguide slot radiators comprise some of the highest performance—in terms of side-lobe-level, efficiency, etc. — antenna arrays ever constructed. A wealth of information is available in the open literature regarding design procedures for linearly polarized waveguide slots. By contrast, despite their presence in some of the earliest published reports, little has been presented to date on array designs for circularly polarized (CP) waveguide slots. Moreover, that which has been presented features a classic traveling wave, efficiency-reducing beam tilt. This work proposes a unique CP waveguide slot architecture which mitigates these problems and a thorough design procedure employing widely available, modern computational tools. The proposed array topology features simultaneous dual-CP operation with grating-lobe-free, broadside radiation, high aperture efficiency, and good return loss. A traditional X-Slot CP element is employed with the inclusion of a slow wave structure passive phase shifter to ensure broadside radiation without the need for performance-limiting dielectric loading. It is anticipated this technology will be advantageous for upcoming polarimetric radar and Ka-band SatCom systems. The presented design methodology represents a philosophical shift away from traditional waveguide slot radiator design practices. Rather than providing design curves and/or analytical expressions for equivalent circuit models, simple first-order design rules – generated via parametric studies — are presented with the understanding that device optimization and design will be carried out computationally. A unit-cell, S-parameter based approach provides a sufficient reduction of complexity to permit efficient, accurate device design with attention to realistic, application-specific mechanical tolerances. A transparent, start-to-finish example of the design procedure for a linear sub-array at X-Band is presented. Both unit cell and array performance is calculated via finite element method simulations. Results are confirmed via good agreement with finite difference, time domain calculations. Array performance exhibiting grating-lobe-free, broadside-scanned, dual-CP radiation with better than 20 dB return loss and over 75% aperture efficiency is presented.