Enabling a direct path from end-user specifications to executable protocols in a biology laboratory environment

Biomedical analyses are becoming increasingly complex, with respect to both the type of the data to be produced and the procedures to be executed. This trend is expected to continue in the future. The development of information and protocol management systems that can sustain this challenge is therefore becoming an essential enabling factor for all actors in the field. The use of custom-built solutions that require the biology domain expert to acquire or procure software engineering expertise in the development of the laboratory infrastructure is not fully satisfactory because it incurs undesirable mutual knowledge dependencies between the two camps. We propose instead an infrastructure concept that enables the domain experts to express laboratory protocols using proper domain knowledge, free from the incidence and mediation of the software implementation artefacts. In the system that we propose this is made possible by basing the modelling language on an authoritative domain specific ontology and then using modern model-driven architecture technology to transform the user models in software artefacts ready for execution in a multi-agent based execution platform specialized for biomedical laboratories.

On the path of Exploratory Search Users - A Semantic Web tool

L’Exploratory Search, paradigma di ricerca basato sulle attività di scoperta e d’apprendimento, è stato per diverso tempo ignorato dai motori di ricerca tradizionali. Invece, è spesso dalle ricerche esplorative che nascono le idee più innovative. Le recenti tecnologie del Semantic Web forniscono le soluzioni che permettono d’implementare dei motori di ricerca capaci di accompagnare gli utenti impegnati in tale tipo di ricerca. Aemoo, motore di ricerca sul quale s’appoggia questa tesi ne è un esempio efficace. A partire da quest’ultimo e sempre con l’aiuto delle tecnologie del Web of Data, questo lavoro si propone di fornire una metodologia che permette di prendere in considerazione la singolarità del profilo di ciascun utente al fine di guidarlo nella sua ricerca esplorativa in modo personalizzato. Il criterio di personalizzazione che abbiamo scelto è comportamentale, ovvero basato sulle decisioni che l’utente prende ad ogni tappa che ritma il processo di ricerca. Implementando un prototipo, abbiamo potuto testare la validità di quest’approccio permettendo quindi all’utente di non essere più solo nel lungo e tortuoso cammino che porta alla conoscenza.

Conjugation of Toll Like Receptor 7 agonist through conjugation to immunogenic proteins. Synthesis, characterization, formulation and pre-clinical evaluation

The next generation of vaccine adjuvant are represented by a wide ranging set of molecules called Toll like agonists (TLR’s). Although many of these molecules are complex structures extracted from microorganisms, small molecule TLR agonists have also been identified. However, delivery systems have not been optimized to allow their effective delivery in conjunction with antigens. Here we describe a novel approach in which a small molecule TLR agonist has been conjugated directly to antigens to ensure effective co delivery. We describe the conjugation of a relevant protein, a recombinant protective antigen from S.pneumoniae (RrgB), which is linked to a TLR7 agonist. Following thorough characterization to ensure there was no aggregation, the conjugate was evaluated in a murine infection model. Results showed that the conjugate extended animals’ survival after lethal challenge with S.pneumoniae. Comparable results were obtained with a 10 fold lower dose than that of the native unconjugated antigen. Notably, the animals immunized with the same dose of unconjugated TLR7 agonist and antigen showed no adjuvant effect. The increased immunogenicity was likely a consequence of the co-localization of TLR7 agonist and antigen by chemical binding and is was more effective than simple co-administration. Likely, this approach can be adopted to reduce the dose of antigen required to induce protective immunity, and potentially increase the safety of a broad variety of vaccine candidates

Silk Fibroin: a biopolymer platform for innovative pharmaceutical formulation and biomedical devices.

The protein silk fibroin (SF) from the silkworm Bombyx mori is a FDA-approved biomaterial used over centuries as sutures wire. Importantly, several evidences highlighted the potential of silk biomaterials obtained by using so-called regenerated silk fibroin (RSF) in biomedicine, tissue engineering and drug delivery. Indeed, by a water-based protocol, it is possible to obtain protein water-solution, by extraction and purification of fibroin from silk fibres. Notably, RSF can be processed in a variety of biomaterials forms used in biomedical and technological fields, displaying remarkable properties such as biocompatibility, controllable biodegradability, optical transparency, mechanical robustness. Moreover, RSF biomaterials can be doped and/or chemical functionalized with drugs, optically active molecules, growth factors and/or chemicals In this view, activities of my PhD research program were focused to standardize the process of extraction and purification of protein to get the best physical and chemical characteristics. The analysis of the chemo-physical properties of the fibroin involved both the RSF water-solution and the protein processed in film. Chemo-physical properties have been studied through: vibrational (FT-IR and Raman-FT) and optical (absorption and emission UV-VIS) spectroscopy, nuclear magnetic resonance (1H and 13C NMR), thermal analysis and thermo-gravimetric scan (DSC and TGA). In the last year of my PhD, activities were focused to study and define innovative methods of functionalization of the silk fibroin solution and films. Indeed, research program was the application of different methods of manufacturing approaches of the films of fibroin without the use of harsh treatments and organic solvents. New approaches to doping and chemical functionalization of the silk fibroin were studied. Two different methods have been identified: 1) biodoping that consists in the doping of fibroin with optically active molecules through the addition of fluorescent molecules in the standard diet used for the breeding of silkworms; 2) chemical functionalization via silylation.

Synthesis, characterization and formulation of a cathode active material: Copper nitroprusside

Nowadays, rechargeable Li-ion batteries play an important role in portable consumer devices. Formulation of such batteries is improvable by researching new cathodic materials that present higher performances of cyclability and negligible efficiency loss over cycles. Goal of this work was to investigate a new cathodic material, copper nitroprusside, which presents a porous 3D framework. Synthesis was carried out by a low-cost and scalable co-precipitation method. Subsequently, the product was characterized by means of different techniques, such as TGA, XRF, CHN elemental analysis, XRD, Mössbauer spectroscopy and cyclic voltammetry. Electrochemical tests were finally performed both in coin cells and by using in situ cells: on one hand, coin cells allowed different formulations to be easily tested, on the other operando cycling led a deeper insight to insertion process and both chemical and physical changes. Results of several tests highlighted a non-reversible electrochemical behavior of the material and a rapid capacity fading over time. Moreover, operando techniques report that amorphisation occurs during the discharge.

Modeling multiple state electrostatically formed nanowire transistors

The present thesis work proposes a new physical equivalent circuit model for a recently proposed semiconductor transistor, a 2-drain MSET (Multiple State Electrostatically Formed Nanowire Transistor). It presents a new software-based experimental setup that has been developed for carrying out numerical simulations on the device and on equivalent circuits. As of 2015, we have already approached the scaling limits of the ubiquitous CMOS technology that has been in the forefront of mainstream technological advancement, so many researchers are exploring different ideas in the realm of electrical devices for logical applications, among them MSET transistors. The idea that underlies MSETs is that a single multiple-terminal device could replace many traditional transistors. In particular a 2-drain MSET is akin to a silicon multiplexer, consisting in a Junction FET with independent gates, but with a split drain, so that a voltage-controlled conductive path can connect either of the drains to the source. The first chapter of this work presents the theory of classical JFETs and its common equivalent circuit models. The physical model and its derivation are presented, the current state of equivalent circuits for the JFET is discussed. A physical model of a JFET with two independent gates has been developed, deriving it from previous results, and is presented at the end of the chapter. A review of the characteristics of MSET device is shown in chapter 2. In this chapter, the proposed physical model and its formulation are presented. A listing for the SPICE model was attached as an appendix at the end of this document. Chapter 3 concerns the results of the numerical simulations on the device. At first the research for a suitable geometry is discussed and then comparisons between results from finite-elements simulations and equivalent circuit runs are made. Where points of challenging divergence were found between the two numerical results, the relevant physical processes are discussed. In the fourth chapter the experimental setup is discussed. The GUI-based environments that allow to explore the four-dimensional solution space and to analyze the physical variables inside the device are described. It is shown how this software project has been structured to overcome technical challenges in structuring multiple simulations in sequence, and to provide for a flexible platform for future research in the field.

Clinical and antibacterial effect of an anti-inflammatory toothpaste formulation with Scutellaria baicalensis extract on experimental gingivitis

It was the aim of the study to evaluate the clinical and antibacterial effect of a dentifrice containing an anti-inflammatory plant extract (SB) versus a placebo (PLA) using an experimental gingivitis model. Forty subjects (20 per group) discontinued all oral hygiene measures for four teeth for a period of 21 days using a shield (to generate a possible gingivitis) while they could brush the other teeth normally. After brushing, the shield was removed and teeth were treated with the randomly assigned toothpaste slurry for 1 min. Löe and Silness gingival index (GI), Silness and Löe plaque index (PI), and biofilm vitality (VF%) were assessed at days 0, 14, and 21, respectively. Subjects of the PLA group developed a GI of 0.82?±?0.342 (day 14) and 1.585?±?0.218 (day 21), while the data of the SB group were significantly reduced (0.355?±?0.243 and 0.934?±?0.342, p?formulation was able to significantly reduce the extent of gingivitis, plaque development, and vital flora.

Anti insulin-like growth factor I receptor immunoliposomes: a single formulation combining two anticancer treatments with enhanced therapeutic efficiency

Context: Through overexpression and aberrant activation in many human tumors, the IGF system plays a key role in tumor development and tumor cell proliferation. Different strategies targeting IGF-I receptor (IGFI-R) have been developed, and recent studies demonstrated that combined treatments with cytostatic drugs enhance the potency of anti-IGFI-R therapies. Objective: The objective of the study was to examine the IGFI-R expression status in neuroendocrine tumors of the gastroenteropancreatic system (GEP-NETs) in comparison with healthy tissues and use potential overexpression as a target for novel anti-IGFI-R immunoliposomes. Experimental Design: A human tumor tissue array and samples from different normal tissues were investigated by immunohistochemistry. An IGFI-R antagonistic antibody (1H7) was coupled to the surface of sterically stabilized liposomes loaded with doxorubicin. Cell lines from different tumor entities were investigated for liposomal association studies in vitro. For in vivo experiments, neuroendocrine tumor xenografts were used for evaluation of pharmacokinetic and therapeutic properties of the novel compound. Results: Immunohistochemistry revealed significant IGFI-R overexpression in all investigated GEP-NETs (n = 59; staining index, 229.1 +/- 3.1%) in comparison with normal tissues (115.7 +/- 3.7%). Furthermore, anti-IGFI-R immunoliposomes displayed specific tumor cell association (44.2 +/- 1.6% vs. IgG liposomes, 0.8 +/- 0.3%; P < 0.0001) and internalization in human neuroendocrine tumor cells in vitro and superior antitumor efficacy in vivo (life span 31.5 +/- 2.2 d vs. untreated control, 19 +/- 0.6, P = 0.008). Conclusion: IGFI-R overexpression seems to be a common characteristic of otherwise heterogenous NETs. Novel anti-IGFI-R immunoliposomes have been developed and successfully tested in a preclinical model for human GEP-NETs. Moreover in vitro experiments indicate that usage of this agent could also present a promising approach for other tumor entities.

GSR deposition along the bullet path in contact shots to composite models

In contact shots, all the materials emerging from the muzzle (combustion gases, soot, powder grains, and metals from the primer) will be driven into the depth of the entrance wound and the following sections of the bullet track. The so-called "pocket" ("powder cavity") under the skin containing soot and gunpowder particles is regarded as a significant indicator of a contact entrance wound since one would expect that the quantity of GSR deposited along the bullet's path rapidly declines towards the exit hole. Nevertheless, experience has shown that soot, powder particles, and carboxyhemoglobin may be found not only in the initial part of the wound channel, but also far away from the entrance and even at the exit. In order to investigate the propagation of GSRs under standardized conditions, contact test shots were fired against composite models of pig skin and 25-cm-long gelatin blocks using 9-mm Luger pistol cartridges with two different primers (Sinoxid® and Sintox®). Subsequently, 1-cm-thick layers of the gelatin blocks were examined as to their primer element contents (lead, barium, and antimony as discharge residues of Sinoxid® as well as zinc and titanium from Sintox®) by means of X-ray fluorescence spectroscopy. As expected, the highest element concentrations were found in the initial parts of the bullet tracks, but also the distal sections contained detectable amounts of the respective primer elements. The same was true for amorphous soot and unburned/partly burned powder particles, which could be demonstrated even at the exit site. With the help of a high-speed motion camera it was shown that for a short time the temporary cavitation extends from the entrance to the exit thus facilitating the unlimited spread of discharge residues along the whole bullet path.

A Kinetostatic Formulation for Load-Flow Visualization in Compliant Mechanisms

Load flow visualization, which is an important step in structural and machine assembly design may aid in the analysis and eventual synthesis of compliant mechanisms. In this paper, we present a kineto-static formulation to visualize load flow in compliant mechanisms. This formulation uses the concept of transferred forces to quantify load flow from input to the output of a compliant mechanism. The magnitude and direction of load flow in the constituent members enables functional decomposition of the compliant mechanism into (i) Constraints (C): members that are constrained to deform in a particular direction and (ii) Transmitters (T): members that transmit load to the output. Furthermore, it is shown that a constraint member and an adjacent transmitter member can be grouped together to constitute a fundamental building block known as an CT set whose load flow behavior is maximally decoupled from the rest of the mechanism. We can thereby explain the deformation behavior of a number of compliant mechanisms from literature by visualizing load flow, and identifying building blocks.