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.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

The bursting behavior of gas slugs: laboratory and analytical insights into Strombolian volcanic eruptions.

The aim of this thesis is to study how explosive behavior and geophysical signals in a volcanic conduit are related to the development of overpressure in slug-driven eruptions. A first suite of laboratory experiments of gas slugs ascending in analogue conduits was performed. Slugs ascended into a range of analogue liquids and conduit diameters to allow proper scaling to the natural volcanoes. The geometrical variation of the slug in response to the explored variables was parameterised. Volume of gas slug and rheology of the liquid phase revealed the key parameters in controlling slug overpressure at bursting. Founded on these results, a theoretical model to calculate burst overpressure for slug-driven eruptions was developed. The dimensionless approach adopted allowed to apply the model to predict bursting pressure of slugs at Stromboli. Comparison of predicted values with measured data from Stromboli volcano showed that the model can explain the entire spectrum of observed eruptive styles at Stromboli – from low-energy puffing, through normal Strombolian eruptions, up to paroxysmal explosions – as manifestations of a single underlying physical process. Finally, another suite of laboratory experiments was performed to observe oscillatory pressure and forces variations generated during the expansion and bursting of gas slugs ascending in a conduit. Two end-member boundary conditions were imposed at the base of the pipe, simulating slug ascent in closed base (zero magma flux) and open base (constant flux) conduit. At the top of the pipe, a range of boundary conditions that are relevant at a volcanic vent were imposed, going from open to plugged vent. The results obtained illustrate that a change in boundary conditions in the conduit concur to affect the dynamic of slug expansion and burst: an upward flux at the base of the conduit attenuates the magnitude of the pressure transients, while a rheological stiffening in the top-most region of conduit changes dramatically the magnitude of the observed pressure transients, favoring a sudden, and more energetic pressure release into the overlying atmosphere. Finally, a discussion on the implication of changing boundary on the oscillatory processes generated at the volcanic scale is also given.

Simkania negevensis: clinical and laboratory studies in the population of hemodialized and kidney transplanted patients.

Simkania negevensis is a bacterium belonging to the order Chlamydiales but with certain biological characteristics different from those of chlamydia, according to which it was classified in the family Simkaniaceae. It is widespread in the environment, due to its ability to survive in amoebae also in phase cystic, for which it was hypothesized a possible transmission after contact with water in which they are present amoebae. So far it is known its role in diseases of the lower respiratory tract, such as childhood bronchiolitis and pneumonia in adults of the community, following its transmission through infected aerosols. A recent American study showed, by PCR, a high prevalence of S. negevensis in patients with lung transplant than other transplant recipients, assuming an association between the presence of the bacterium in these patients, and transplant rejection, were more frequent in lung transplant recipients infected compared to uninfected. There are no data so far analyzed in Italy relative to the population of dialysis and kidney transplant recipients relative to simkania negevensis why this study was undertaken in order to start a specific location and evaluate the scientific implications. Because its ability to assume persistent forms of infection, which may lead to a prolonged inflammatory response, Simkania negevensis, similar to other persistent bacteria or viruses, may be ivolved in pathologic complication. Sn may be a factor in graft rejection in mmunesuppressed lung transplant recipients, and further studies are planned to explore the posible association of Sn infections with various in vivo pathologies.

Theoretical analysis of hidden photon searches in high-precision experiments

Although the Standard Model of particle physics (SM) provides an extremely successful description of the ordinary matter, one knows from astronomical observations that it accounts only for around 5% of the total energy density of the Universe, whereas around 30% are contributed by the dark matter. Motivated by anomalies in cosmic ray observations and by attempts to solve questions of the SM like the (g-2)_mu discrepancy, proposed U(1) extensions of the SM gauge group have raised attention in recent years. In the considered U(1) extensions a new, light messenger particle, the hidden photon, couples to the hidden sector as well as to the electromagnetic current of the SM by kinetic mixing. This allows for a search for this particle in laboratory experiments exploring the electromagnetic interaction. Various experimental programs have been started to search for hidden photons, such as in electron-scattering experiments, which are a versatile tool to explore various physics phenomena. One approach is the dedicated search in fixed-target experiments at modest energies as performed at MAMI or at JLAB. In these experiments the scattering of an electron beam off a hadronic target e+(A,Z)->e+(A,Z)+l^+l^- is investigated and a search for a very narrow resonance in the invariant mass distribution of the lepton pair is performed. This requires an accurate understanding of the theoretical basis of the underlying processes. For this purpose it is demonstrated in the first part of this work, in which way the hidden photon can be motivated from existing puzzles encountered at the precision frontier of the SM. The main part of this thesis deals with the analysis of the theoretical framework for electron scattering fixed-target experiments searching for hidden photons. As a first step, the cross section for the bremsstrahlung emission of hidden photons in such experiments is studied. Based on these results, the applicability of the Weizsäcker-Williams approximation to calculate the signal cross section of the process, which is widely used to design such experimental setups, is investigated. In a next step, the reaction e+(A,Z)->e+(A,Z)+l^+l^- is analyzed as signal and background process in order to describe existing data obtained by the A1 experiment at MAMI with the aim to give accurate predictions of exclusion limits for the hidden photon parameter space. Finally, the derived methods are used to find predictions for future experiments, e.g., at MESA or at JLAB, allowing for a comprehensive study of the discovery potential of the complementary experiments. In the last part, a feasibility study for probing the hidden photon model by rare kaon decays is performed. For this purpose, invisible as well as visible decays of the hidden photon are considered within different classes of models. This allows one to find bounds for the parameter space from existing data and to estimate the reach of future experiments.

High altitude, a natural research laboratory for the study of cardiovascular physiology and pathophysiology

High altitude constitutes an exciting natural laboratory for medical research. Although initially, the aim of high-altitude research was to understand the adaption of the organism to hypoxia and find treatments for altitude-related diseases, during the past decade or so, the scope of this research has broadened considerably. Two important observations led the foundation for the broadening of the scientific scope of high-altitude research. First, high-altitude pulmonary edema represents a unique model that allows studying fundamental mechanisms of pulmonary hypertension and lung edema in humans. Second, the ambient hypoxia associated with high-altitude exposure facilitates the detection of pulmonary and systemic vascular dysfunction at an early stage. Here, we will review studies that, by capitalizing on these observations, have led to the description of novel mechanisms underpinning lung edema and pulmonary hypertension and to the first direct demonstration of fetal programming of vascular dysfunction in humans.

Laboratory-based ROTEM(®) analysis: implementing pneumatic tube transport and real-time graphic transmission

ROTEM(®) is considered a helpful point-of-care device to monitor blood coagulation. Centrally performed analysis is desirable but rapid transport of blood samples and real-time transmission of graphic results are an important prerequisite. The effect of sample transport through a pneumatic tube system on ROTEM(®) results is unknown. The aims of the present work were (i) to determine the influence of blood sample transport through a pneumatic tube system on ROTEM(®) parameters compared to manual transportation, and (ii) to verify whether graphic results can be transmitted on line via virtual network computing using local area network to the physician in charge of the patient.

Hydration of OCS with One to Four Water Molecules in Atmospheric and Laboratory Conditions

Carbonyl sulfide is the most abundant sulfur gas in the atmosphere. We have used MP2 and CCSD(T) theory to study the structures and thermochemistries of carbonyl sulfide interacting with one to four water molecules. We have completed an extensive search for clusters of OCS(H2O)n, where n = 1−4. We located three dimers, two trimers, five tetramers, and four pentamers with the MP2/aug-cc-pVDZ method. In each of the complexes with two or more waters, OCS preferentially interacts with low-energy water clusters. Our results match current theoretical and experimental literature, showing correlation with available geometries and frequencies for the OCS(H2O) species. The CCSD(T)/aug-cc-pVTZ thermochemical values combined with the average amount of OCS and the saturated concentration of H2O in the troposphere, lead to the prediction of 106 OCS(H2O) clusters·cm−3 and 102 OCS(H2O)2 clusters·cm−3 at 298 K. We predict the structures of OCS(H2O)n, n = 1−4 that should predominate in a low-temperature molecular beam and identify specific infrared vibrations that can be used to identify these different clusters.

A Laboratory Experiment Using Nanoindentation to Demonstrate the Indentation Size Effect

A laboratory experiment using nanoindentation to demonstrate the indentation size effect is described. This laboratory introduces students to sophisticated instrumentation at low cost and low risk and utilizes recent research in the materials community as its foundation. The motivation, learning objectives, experimental details, data, and data analysis are presented. This experiment is intended for use in an upper-division materials science elective at the university level and has been successfully used in laboratory courses for senior undergraduates and first-year graduate students at Stanford University and Santa Clara University.

Scientific Institutions in a Society of Transition: Strategies of Modernisation

Kristina Petkova (Group Leader), Tzocho Boyadgiev, Galin Gornev, Ivan Tcholakov (Bulgaria), Martin Bauer (Switzerland). Scientific Institutions in a Society of Transition: Strategies of Modernisation. Ms. Petkova is involved in teaching and research in the Institute of Sociology of the Bulgarian Academy of Science and led this project, which was carried out between July 1995 and June 1997. The aims of this project were a) to outline the main adaptive strategies of scientific institutions in a situation of social transition, and b) to analyse the opportunities for mobilising public opinion in support scientific work. The group began from the assumption that the social representation of science reflects the historical development of society as a whole. They developed a theoretical model describing the position of science in the three main types of society in the world today (modern, post-modern, totalitarian) and carried out three types of investigation: a representative survey of the public understanding of scientific institutions in Bulgaria; an in-depth cross-national investigation (Bulgarian - Great Britain); and a content analysis of how science is represented in two national newspapers, the "Rabotnichesko Delo" and the "Daily Telegraph". The results showed that Bulgarian public opinion has a more standard view of science and a more optimistic vision of scientific development than do the British, but that there is a certain insensitivity to the risks of scientific results, etc. The group conclude that in order to survive, scientific institutions in Bulgaria should change their passive attitude and adopt active strategies in both their relationships with the state, and in their contacts with private business and with the institutions of civil society.

Standard methods for maintaining adult Apis mellifera in cages under in vitro laboratory conditions

Adult honey bees are maintained in vitro in laboratory cages for a variety of purposes. For example, researchers may wish to perform experiments on honey bees caged individually or in groups to study aspects of parasitology, toxicology, or physiology under highly controlled conditions, or they may cage whole frames to obtain newly emerged workers of known age cohorts. Regardless of purpose, researchers must manage a number of variables, ranging from selection of study subjects (e.g. honey bee subspecies) to experimental environment (e.g. temperature and relative humidity). Although decisions made by researchers may not necessarily jeopardize the scientific rigour of an experiment, they may profoundly affect results, and may make comparisons with similar, but independent, studies difficult. Focusing primarily on workers, we provide recommendations for maintaining adults under in vitro laboratory conditions, whilst acknowledging gaps in our understanding that require further attention. We specifically describe how to properly obtain honey bees, and how to choose appropriate cages, incubator conditions, and food to obtain biologically relevant and comparable experimental results. Additionally, we provide broad recommendations for experimental design and statistical analyses of data that arises from experiments using caged honey bees. The ultimate goal of this, and of all COLOSS BEEBOOK papers, is not to stifle science with restrictions, but rather to provide researchers with the appropriate tools to generate comparable data that will build upon our current understanding of honey bees.

Refinement of experimental design and conduct in laboratory animal research.

The scientific literature of laboratory animal research is replete with papers reporting poor reproducibility of results as well as failure to translate results to clinical trials in humans. This may stem in part from poor experimental design and conduct of animal experiments. Despite widespread recognition of these problems and implementation of guidelines to attenuate them, a review of the literature suggests that experimental design and conduct of laboratory animal research are still in need of refinement. This paper will review and discuss possible sources of biases, highlight advantages and limitations of strategies proposed to alleviate them, and provide a conceptual framework for improving the reproducibility of laboratory animal research.