Designing Software Product Lines for Testability

Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features described in the feature model. Testing of software product lines has become a bottleneck in the SPL development lifecycle, since many of the techniques used in their testing have been borrowed from traditional software testing and do not directly take advantage of the similarities between products. This limits the overall gains that can be achieved in SPL engineering. Recent work proposed by both industry and the research community for improving SPL testing has begun to consider this problem, but there is still a need for better testing techniques that are tailored to SPL development. In this thesis, I make two primary contributions to software product line testing. First I propose a new definition for testability of SPLs that is based on the ability to re-use test cases between products without a loss of fault detection effectiveness. I build on this idea to identify elements of the feature model that contribute positively and/or negatively towards SPL testability. Second, I provide a graph based testing approach called the FIG Basis Path method that selects products and features for testing based on a feature dependency graph. This method should increase our ability to re-use results of test cases across successive products in the family and reduce testing effort. I report the results of a case study involving several non-trivial SPLs and show that for these objects, the FIG Basis Path method is as effective as testing all products, but requires us to test no more than 24% of the products in the SPL.

A Culture of Relationships: Early Care for Italian and American Children

A culture of childhood is a shared vision – an agreed upon vision – of the needs and rights of children, including ideas about how the people of the community can collectively nurture them and at the same time be renewed by them. In other words, it is a set of values, beliefs, and practices that people have created to guide their way of nurturing young children and their families. The vision is about investing in young children and investing in the supports and relationships that children need to learn and grow, both for the reason that children carry our future and because they carry our hopes and dreams for the future. These hopes and dreams begin with birth. Sensitive, emotionally available parents create the framework for interaction with their children by responding to the baby’s cues, engaging the baby in mutual gazes, and imitating the baby. The baby, born with a primary ability to share emotions with other human beings eagerly joins the relationship dance. The intimate family circle soon widens. Providers, teachers, and directors of early childhood programs become significant figures in children’s lives—implicit or explicit partners in a "relationship dance" (Edwards & Raikes, 2002). These close relationships are believed to be critical to healthy intellectual, emotional, social, and physical development in childhood and adolescence as well. These conclusions have been documented by diverse fields of science, ranging from cognitive science to communication studies and social and personality psychology. Close relationships contribute to security and trust, promote skill development and understanding, nurture healthy physical growth, infuse developing self-understanding and self-confidence, enable self-control and emotion regulation, and strengthen emotional connections with others that contribute to prosocial motivation (Dunn, 1993; Fogel, 1993; Thompson, 1996). Furthermore, many studies showing how relationship dysfunction is linked to child abuse and neglect, aggression, criminality, and other problems involving the lack of significant human connections (Shankoff & Meisels, 2000). In extending the dance of primary relationships to new relationships, a childcare teacher can play a primary role. The teacher makes the space ready--creating a beautiful place that causes everyone to feel like dancing. Gradually, as the dance between them becomes smooth and familiar, the teacher encourages the baby to try out more complex steps and learn how to dance to new compositions, beats, and tempos. As the baby alternates dancing sometimes with one or two partners, sometimes with many, the dance itself becomes a story about who the child has been and who the child is becoming, a reciprocal self created through close relationships.

Classificação automatizada do relevo a partir de parâmetros morfométricos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Plano Municipal de Educação de Rio Claro - SP: desafios e perspectivas na garantia do direito à educação

Pós-graduação em Educação - IBRC

Emtricitabine-Tenofovir Concentrations and Pre-Exposure Prophylaxis Efficacy in Men Who Have Sex with Men

Drug concentrations associated with protection from HIV-1 acquisition have not been determined. We evaluated drug concentrations among men who have sex with men in a substudy of the iPrEx trial (1). In this randomized placebo-controlled trial, daily oral doses of emtricitabine/tenofovir disoproxil fumarate were used as pre-exposure prophylaxis (PrEP) in men who have sex with men. Drug was detected less frequently in blood plasma and in viable cryopreserved peripheral blood mononuclear cells (PBMCs) in HIV-infected cases at the visit when HIV was first discovered compared with controls at the matched time point of the study (8% versus 44%; P < 0.001) and in the 90 days before that visit (11% versus 51%; P < 0.001). An intracellular concentration of the active form of tenofovir, tenofovir-diphosphate (TFV-DP), of 16 fmol per million PBMCs was associated with a 90% reduction in HIV acquisition relative to the placebo arm. Directly observed dosing in a separate study, the STRAND trial, yielded TFV-DP concentrations that, when analyzed according to the iPrEx model, corresponded to an HIV-1 risk reduction of 76% for two doses per week, 96% for four doses per week, and 99% for seven doses per week. Pro-phylactic benefits were observed over a range of doses and drug concentrations, suggesting ways to optimize PrEP regimens for this population.

Efeito da penicilina G a cada três semanas sobre o surgimento de Streptococcus viridans resistentes à penicilina na microflora oral

FUNDAMENTO: Penicilina G benzatina a cada 3 semanas é o protocolo padrão para a profilaxia secundária para febre reumática recorrente. OBJETIVO: Avaliar o efeito da penicilina G benzatina em Streptococcus sanguinis e Streptococcus oralis em pacientes com doença valvular cardíaca, devido à febre reumática com recebimento de profilaxia secundária. MÉTODOS: Estreptococos orais foram avaliados antes (momento basal) e após 7 dias (7º dia) iniciando-se com penicilina G benzatina em 100 pacientes que receberam profilaxia secundária da febre reumática. Amostras de saliva foram avaliadas para verificar a contagem de colônias e presença de S. sanguinis e S. oralis. Amostras de saliva estimulada pela mastigação foram serialmente diluídas e semeadas em placas sobre agar-sangue de ovelhas seletivo e não seletivo a 5% contendo penicilina G. A identificação da espécie foi realizada com testes bioquímicos convencionais. Concentrações inibitórias mínimas foram determinadas com o Etest. RESULTADOS: Não foram encontradas diferenças estatísticas da presença de S. sanguinis comparando-se o momento basal e o 7º dia (p = 0,62). No entanto, o número existente de culturas positivas de S. oralis no 7º dia após a Penicilina G benzatina apresentou um aumento significativo em relação ao valor basal (p = 0,04). Não houve diferença estatística existente entre o momento basal e o 7º dia sobre o número de S. sanguinis ou S. oralis UFC/mL e concentrações inibitórias medianas. CONCLUSÃO: O presente estudo mostrou que a Penicilina G benzatina a cada 3 semanas não alterou a colonização por S. sanguinis, mas aumentou a colonização de S. oralis no 7º dia de administração. Portanto, a susceptibilidade do Streptococcus sanguinis e Streptococcus oralis à penicilina G não foi modificada durante a rotina de profilaxia secundária da febre reumática utilizando a penicilina G.

Radiation balance at the surface in the city of So Paulo, Brazil: diurnal and seasonal variations

The main goal of this work is to describe the diurnal and seasonal variations of the radiation balance components at the surface in the city of So Paulo based on observations carried out during 2004. Monthly average hourly values indicate that the amplitudes of the diurnal cycles of net radiation (Q*), downwelling and upwelling shortwave radiation (SW(DW), SW(UP)), and longwave radiations (LW(DW), LW(UP)) in February were, respectively, 37%, 14%, 19%, 11%, and 5% larger than they were in August. The monthly average daily values indicate a variation of 60% for Q*, with a minimum in June and a maximum in December; 45% for SW(DW), with a minimum in May and a maximum in September; 50% for SW(UP), with a minimum in June and a maximum in September; 13% for LW(DW), with a minimum in July and a maximum in January; and 9% for LW(UP), with a minimum in July and a maximum in February. It was verified that the atmospheric broadband transmissivity varied from 0.36 to 0.57; the effective albedo of the surface varied from 0.08 to 0.10; and the atmospheric effective emissivity varied from 0.79 to 0.92. The surface effective emissivity remained approximately constant and equal to 0.96. The albedo and surface effective emissivity for So Paulo agreed with those reported for urban areas in Europe and North America cities. This indicates that material and geometric effects on albedo and surface emissivity in So Paulo are similar to ones observed in typical middle latitudes cities. On the other hand, it was found that So Paulo city induces an urban heat island with daytime maximum intensity varying from 2.6A degrees C in July (16:00 LT) to 5.5A degrees C in September (15:00 LT). The analysis of the radiometric properties carried out here indicate that this daytime maximum is a primary response to the seasonal variation of daily values of net solar radiation at the surface.

Exergy efficiency analysis of chemical and biochemical stages involved in liquid biofuels production processes

Liquid biofuels can be produced from a variety of feedstocks and processes. Ethanol and biodiesel production processes based on conventional raw materials are already commercial, but subject to further improvement and optimization. Biofuels production processes using lignocellulosic feedstocks are still in the demonstration phase and require further R&D to increase efficiency. A primary tool to analyze the efficiency of biofuels production processes from an integrated point of view is offered by exergy analysis. To gain further insight into the performance of biofuels production processes, a simulation tool, which allows analyzing the effect of process variables on the exergy efficiency of stages in which chemical or biochemical reactions take place, were implemented. Feedstocks selected for analysis were parts or products of tropical plants such as the fruit and flower stalk of banana tree, palm oil, and glucose syrups. Results of process simulation, taking into account actual process conditions, showed that the exergy efficiencies of the acid hydrolysis of banana fruit and banana pulp were in the same order (between 50% and 60%), lower than the figure for palm oil transesterification (90%), and higher that the exergy efficiency of the enzymatic hydrolysis of flower stalk (20.3%). (C) 2011 Elsevier Ltd. All rights reserved.

Abandono do tratamento da tuberculose e integralidade da atenção na estratégia saúde da família

Estudo qualitativo que objetivou analisar os motivos que levam o doente de tuberculose a abandonar o tratamento, em municípios da região metropolitana de João Pessoa-PB. Como referencial teórico utilizou-se a integralidade do cuidado. Os dados foram coletados no período de outubro a novembro de 2008, mediante entrevista semiestruturada. Participaram nove usuários que abandonaram o tratamento da tuberculose. Na identificação das unidades de significação, utilizou-se a técnica de análise de conteúdo. Os resultados mostram inconsistências relacionadas ao cuidado integral do doente, no que tange à diretriz doutrinária do Sistema Único da Saúde, à consideração do contexto sócio-cultural do usuário com tuberculose e às debilidades na continuidade da atenção, mediante inadequado acompanhamento do mesmo na rede de atenção à saúde. Esses aspectos, ao dificultarem a construção de uma rede de cuidado e apoio ao doente de tuberculose e sua família, contribuem para o abandono do tratamento da tuberculose.

Differential inflammasome expression and IL-1β secretion in monocyte-derived dendritic cells differentiated with IL-4 or IFN-α

NLRP3-inflammasome activation was evaluated in monocyte-derived dendritic cells (DC) obtained through IL-4 (IL4-DC) or IFN-α (IFN-DC) protocols and pulsed with chemically inactivated HIV-1. Inflammasome' genes expression and IL-1β secretion were compared in DC isolated from 15 healthy subjects (HC) and 10 HIV-1 infected individuals (HIV+). FINDINGS: Whether HIV was able to increased NLRP3-inflammasome genes expression and IL-1β secretion in IL4-DC from HC, the induction of inflammasome appeared significantly reduced in IFN-DC from HC, suggesting a different responsive state of IFN-DC compared to IL4-DC. No inflammasome activation was observed in IL4-DC as well as in IFN-DC derived from HIV + subjects, confirming previous findings on "unresponsive" state of DC derived from HIV + possibly due to chronic inflammatory state of these individuals. CONCLUSIONS: Our results showed that IFN-α differently modulates inflammasome expression during monocytes-DC in vitro differentiation. These findings could be of interest considering the on-going research about DC manipulation and therapeutic strategies for HIV + involving DC-based immune-vaccines.

Structure determination of proteins and peptides in solution: simulation, chirality and NMR studies

The study of protein fold is a central problem in life science, leading in the last years to several attempts for improving our knowledge of the protein structures. In this thesis this challenging problem is tackled by means of molecular dynamics, chirality and NMR studies. In the last decades, many algorithms were designed for the protein secondary structure assignment, which reveals the local protein shape adopted by segments of amino acids. In this regard, the use of local chirality for the protein secondary structure assignment was demonstreted, trying to correlate as well the propensity of a given amino acid for a particular secondary structure. The protein fold can be studied also by Nuclear Magnetic Resonance (NMR) investigations, finding the average structure adopted from a protein. In this context, the effect of Residual Dipolar Couplings (RDCs) in the structure refinement was shown, revealing a strong improvement of structure resolution. A wide extent of this thesis is devoted to the study of avian prion protein. Prion protein is the main responsible of a vast class of neurodegenerative diseases, known as Bovine Spongiform Encephalopathy (BSE), present in mammals, but not in avian species and it is caused from the conversion of cellular prion protein to the pathogenic misfolded isoform, accumulating in the brain in form of amiloyd plaques. In particular, the N-terminal region, namely the initial part of the protein, is quite different between mammal and avian species but both of them contain multimeric sequences called Repeats, octameric in mammals and hexameric in avians. However, such repeat regions show differences in the contained amino acids, in particular only avian hexarepeats contain tyrosine residues. The chirality analysis of avian prion protein configurations obtained from molecular dynamics reveals a high stiffness of the avian protein, which tends to preserve its regular secondary structure. This is due to the presence of prolines, histidines and especially tyrosines, which form a hydrogen bond network in the hexarepeat region, only possible in the avian protein, and thus probably hampering the aggregation.

Asymmetric synthesis of benzylic and heterobenzylic amines

C2-Symmetrical, enantiopure 2,6-di[1-(1-aziridinyl)alkyl]pyridines (DIAZAPs) were prepared by a high-yielding, three-step sequence starting from 2,6-pyridinedicarbaldehyde and (S)-valinol or (S)-phenylglycinol. The new compounds were tested as ligands in palladium-catalyzed allylation of carbanions in different solvents. Almost quantitative yield and up to 99% enantiomeric excess were obtained in the reactions of the enolates derived from malonate, phenyl- and benzylmalonate dimethyl esters with 1,3-diphenyl-2-propenyl ethyl carbonate. Asymmetric synthesis of 2-(2-pyridyl)aziridines from chiral 2-pyridineimines bearing a stereogenic center at the nitrogen atom was development. The envisioned route involves the addition of chloromethyllithium to the imine derived from 2-pyridinealdehyde and (S)-valinol, protected as O-trimethylsilyl ether. The analogous reaction performed on the imine derived from (S)-valine methyl ester gave the product containing the aziridine ring as well as the α-chloro ketone group coming from the attack of chloromethyllithium to the ester function. Other stereogenic alkyl substituents at nitrogen gave less satisfactory results. Moreover, the aziridination protocol did not work on other aromatic imines, e.g. 3-pyridineimine and benzaldimine, which are not capable of bidentate chelation. The N-substituent could not be removed, but aziridine underwent ring-opening by attack of nitrogen, sulfur, and oxygen nucleophiles. Complete or prevalent regioselectivity was obtained using cerium trichloride heptahydrate as a catalyst. In some cases, the N-substituent could be removed by an oxidative protocol. The addition of organometallic (lithium, magnesium, zinc) reagents to 2-pyrroleimines derived from (S)-valinol and (S)-phenylglycinol gave the N-substituted-1-(2-pyrrolyl)alkylamines with high yields and diastereoselectivities. The (S,S)-diastereomers were useful intermediates for the preparation of enantiopure 1-[1-(2-pyrrolyl)alkyl]aziridines by routine cyclization of the β-aminoalcohol moiety and of (S)-N-benzoyl 1-[1-(2-pyrrolyl)alkyl]amines and their N-substituted derivatives by oxidative cleavage of the chiral auxiliary. 1-Allyl-2-pyrroleimines obtained from (S)-phenylglycinol and (S)-valinol underwent highly diastereoselective addition of allylmetal reagents, used in excess amounts, to give the corresponding secondary amines with concomitant allyl to 1-propenyl isomerisation of the 1-pyrrole substituent. Protection of the 2-aminoalcohol moiety as oxazolidinone, amide or Boc derivate followed by ring closing metathesis of the alkene groups gave the unsaturated bicyclic compound, whose hydrogenation afforded the indolizidine derivative as a mixture of separable diastereomers. The absolute configuration of the main diastereomer was assessed by X-ray crystallographic analysis.

La costruzione razionale della casa. Scritti e progetti di Giuseppe Pagano

The rational construction of the house. The writings and projects of Giuseppe Pagano Description, themes and research objectives The research aims at analysing the architecture of Giuseppe Pagano, which focuses on the theme of dwelling, through the reading of 3 of his house projects. On the one hand, these projects represent “minor” works not thoroughly known by Pagano’s contemporary critics; on the other they emphasise a particular methodological approach, which serves the author to explore a theme closely linked to his theoretical thought. The house project is a key to Pagano’s research, given its ties to the socio-cultural and political conditions in which the architect was working, so that it becomes a mirror of one of his specific and theoretical path, always in a state of becoming. Pagano understands architecture as a “servant of the human being”, subject to a “utilitarian slavery” since it is a clear, essential and “modest” answer to specific human needs, free from aprioristic aesthetic and formal choices. It is a rational architecture in sensu stricto; it constitutes a perfect synthesis between cause and effect and between function and form. The house needs to accommodate these principles because it is closely intertwined with human needs and intimately linked to a specific place, climatic conditions and technical and economical possibilities. Besides, differently from his public and common masterpieces such as the Palazzo Gualino, the Istituto di Fisica and the Università Commerciale Bocconi, the house projects are representative of a precise project will, which is expressed in a more authentic way, partially freed from political influences and dogmatic preoccupations and, therefore, far from the attempt to research a specific expressive language. I believe that the house project better represents that “ingenuity”, freshness and “sincerity” that Pagano identifies with the minor architecture, thereby revealing a more authentic expression of his understanding of a project. Therefore, the thesis, by tracing the theoretical research of Pagano through the analysis of some of his designed and built works, attempts to identify a specific methodological approach to Pagano’s project, which, developed through time, achieves a certain clarity in the 1930s. In fact, this methodological approach becomes more evident in his last projects, mainly regarding the house and the urban space. These reflect the attempt to respond to the new social needs and, at the same time, they also are an expression of a freer idea of built architecture, closely linked with the place and with the human being who dwells it. The three chosen projects (Villa Colli, La Casa a struttura d’acciaio and Villa Caraccio) make Pagano facing different places, different customers and different economic and technical conditions, which, given the author’s biography, correspond to important historical and political conditions. This is the reason why the projects become apparently distant works, both linguistically and conceptually, to the point that one can define them as ”eclectic”. However, I argue that this eclecticism is actually an added value to the architectural work of Pagano, steaming from the use of a method which, having as a basis the postulate of a rational architecture as essence and logic of building, finds specific variations depending on the multiple variables to be addressed by the project. This is the methodological heritage that Pagano learns from the tradition, especially that of the rural residential architecture, defined by Pagano as a “dictionary of the building logic of man”, as an “a-stylistic background”. For Pagano this traditional architecture is a clear expression of the relationships between a theme and its development, an architectural “fact” that is resolved with purely technical and utilitarian aims and with a spontaneous development far from any aprioristic theoretical principle. Architecture, therefore, cannot be an invention for Pagano and the personal contribution of each architect has to consider his/her close relationship with the specific historical context, place and new building methods. These are basic principles in the methodological approach that drives a great deal of his research and that also permits his thought to be modern. I argue that both ongoing and new collaborations with younger protagonists of the culture and architecture of the period are significant for the development of his methodology. These encounters represent the will to spread his own understanding of the “new architecture” as well as a way of self-renewal by confronting the self with new themes and realities and by learning from his collaborators. Thesis’ outline The thesis is divided in two principal parts, each articulated in four chapters attempting to offer a new reading of the theory and work of Pagano by emphasising the central themes of the research. The first chapter is an introduction to the thesis and to the theme of the rational house, as understood and developed in its typological and technical aspects by Pagano and by other protagonists of the Italian rationalism of the 1930s. Here the attention is on two different aspects defining, according to Pagano, the house project: on the one hand, the typological renewal, aimed at defining a “standard form” as a clear and essential answer to certain needs and variables of the project leading to different formal expressions. On the other, it focuses on the building, understood as a technique to “produce” architecture, where new technologies and new materials are not merely tools but also essential elements of the architectural work. In this way the villa becomes different from the theme of the common house or from that of the minimalist house, by using rules in the choice of material and in the techniques that are every time different depending on the theme under exploration and on the contingency of place. It is also visible the rigorous rationalism that distinguishes the author's appropriation of certain themes of rural architecture. The pages of “Casabella” and the events of the contemporary Triennali form the preliminary material for the writing of this chapter given that they are primary sources to individuate projects and writings produced by Pagano and contemporary architects on this theme. These writings and projects, when compared, reconstruct the evolution of the idea of the rational house and, specifically, of the personal research of Pagano. The second part regards the reading of three of Pagano’s projects of houses as a built verification of his theories. This section constitutes the central part of the thesis since it is aimed at detecting a specific methodological approach showing a theoretical and ideological evolution expressed in the vast edited literature. The three projects that have been chosen explore the theme of the house, looking at various research themes that the author proposes and that find continuity in the affirmation of a specific rationalism, focussed on concepts such as essentiality, utility, functionality and building honesty. These concepts guide the thought and the activities of Pagano, also reflecting a social and cultural period. The projects span from the theme of the villa moderna, Villa Colli, which, inspired by the architecture of North Europe, anticipates a specific rationalism of Pagano based on rigour, simplicity and essentiality, to the theme of the common house, Casa a struttura d’acciaio, la casa del domani, which ponders on the definition of new living spaces and, moreover, on new concepts of standardisation, economical efficiency and new materials responding to the changing needs of the modern society. Finally, the third project returns to the theme of the, Villa Caraccio, revisiting it with new perspectives. These perspectives find in the solution of the open plant, in the openness to nature and landscape and in the revisiting of materials and local building systems that idea of the freed house, which express clearly a new theoretical thought. Methodology It needs to be noted that due to the lack of an official Archive of Pagano’s work, the analysis of his work has been difficult and this explains the necessity to read the articles and the drawings published in the pages of «Casabella» and «Domus». As for the projects of Villa Colli and Casa a struttura d’acciaio, parts of the original drawings have been consulted. These drawings are not published and are kept in private archives of the collaborators of Pagano. The consultation of these documents has permitted the analysis of the cited works, which have been subject to a more complete reading following the different proposed solutions, which have permitted to understand the project path. The projects are analysed thought the method of comparison and critical reading which, specifically, means graphical elaborations and analytical schemes, mostly reconstructed on the basis of original projects but, where possible, also on a photographic investigation. The focus is on the project theme which, beginning with a specific living (dwelling) typology, finds variations because of the historico-political context in which Pagano is embedded and which partially shapes his research and theoretical thought, then translated in the built work. The analysis of the work follows, beginning, where possible, from a reconstruction of the evolution of the project as elaborated on the basis of the original documents and ending on an analysis of the constructive principles and composition. This second phase employs a methodology proposed by Pagano in his article Piante di ville, which, as expected, focuses on the plant as essential tool to identify the “true practical and poetic qualities of the construction”(Pagano, «Costruzioni-Casabella», 1940, p. 2). The reading of the project is integrated with the constructive analyses related to the technical aspects of the house which, in the case of Casa a struttura d’acciaio, play an important role in the project, while in Villa Colli and in Villa Caraccio are principally linked to the choice of materials for the construction of the different architectural elements. These are nonetheless key factors in the composition of the work. Future work could extend this reading to other house projects to deepen the research that could be completed with the consultation of Archival materials, which are missing at present. Finally, in the appendix I present a critical selection of the Pagano’s writings, which recall the themes discussed and embodied by the three projects. The texts have been selected among the articles published in Casabella and in other journals, completing the reading of the project work which cannot be detached from his theoretical thought. Moving from theory to project, we follow a path that brings us to define and deepen the central theme of the thesis: rational building as the principal feature of the architectural research of Pagano, which is paraphrased in multiple ways in his designed and built works.

Modelling coupled physical-biogeochemical processes in ice-covered oceans

The last decades have seen a large effort of the scientific community to study and understand the physics of sea ice. We currently have a wide - even though still not exhaustive - knowledge of the sea ice dynamics and thermodynamics and of their temporal and spatial variability. Sea ice biogeochemistry is instead largely unknown. Sea ice algae production may account for up to 25% of overall primary production in ice-covered waters of the Southern Ocean. However, the influence of physical factors, such as the location of ice formation, the role of snow cover and light availability on sea ice primary production is poorly understood. There are only sparse localized observations and little knowledge of the functioning of sea ice biogeochemistry at larger scales. Modelling becomes then an auxiliary tool to help qualifying and quantifying the role of sea ice biogeochemistry in the ocean dynamics. In this thesis, a novel approach is used for the modelling and coupling of sea ice biogeochemistry - and in particular its primary production - to sea ice physics. Previous attempts were based on the coupling of rather complex sea ice physical models to empirical or relatively simple biological or biogeochemical models. The focus is moved here to a more biologically-oriented point of view. A simple, however comprehensive, physical model of the sea ice thermodynamics (ESIM) was developed and coupled to a novel sea ice implementation (BFM-SI) of the Biogeochemical Flux Model (BFM). The BFM is a comprehensive model, largely used and validated in the open ocean environment and in regional seas. The physical model has been developed having in mind the biogeochemical properties of sea ice and the physical inputs required to model sea ice biogeochemistry. The central concept of the coupling is the modelling of the Biologically-Active-Layer (BAL), which is the time-varying fraction of sea ice that is continuously connected to the ocean via brines pockets and channels and it acts as rich habitat for many microorganisms. The physical model provides the key physical properties of the BAL (e.g., brines volume, temperature and salinity), and the BFM-SI simulates the physiological and ecological response of the biological community to the physical enviroment. The new biogeochemical model is also coupled to the pelagic BFM through the exchange of organic and inorganic matter at the boundaries between the two systems . This is done by computing the entrapment of matter and gases when sea ice grows and release to the ocean when sea ice melts to ensure mass conservation. The model was tested in different ice-covered regions of the world ocean to test the generality of the parameterizations. The focus was particularly on the regions of landfast ice, where primary production is generally large. The implementation of the BFM in sea ice and the coupling structure in General Circulation Models will add a new component to the latters (and in general to Earth System Models), which will be able to provide adequate estimate of the role and importance of sea ice biogeochemistry in the global carbon cycle.

The use of Ground Penetrating Radar and alternative geophysical techniques for assessing embankments and dykes safety

The research is part of a survey for the detection of the hydraulic and geotechnical conditions of river embankments funded by the Reno River Basin Regional Technical Service of the Region Emilia-Romagna. The hydraulic safety of the Reno River, one of the main rivers in North-Eastern Italy, is indeed of primary importance to the Emilia-Romagna regional administration. The large longitudinal extent of the banks (several hundreds of kilometres) has placed great interest in non-destructive geophysical methods, which, compared to other methods such as drilling, allow for the faster and often less expensive acquisition of high-resolution data. The present work aims to experience the Ground Penetrating Radar (GPR) for the detection of local non-homogeneities (mainly stratigraphic contacts, cavities and conduits) inside the Reno River and its tributaries embankments, taking into account supplementary data collected with traditional destructive tests (boreholes, cone penetration tests etc.). A comparison with non-destructive methodologies likewise electric resistivity tomography (ERT), Multi-channels Analysis of Surface Waves (MASW), FDEM induction, was also carried out in order to verify the usability of GPR and to provide integration of various geophysical methods in the process of regular maintenance and check of the embankments condition. The first part of this thesis is dedicated to the explanation of the state of art concerning the geographic, geomorphologic and geotechnical characteristics of Reno River and its tributaries embankments, as well as the description of some geophysical applications provided on embankments belonging to European and North-American Rivers, which were used as bibliographic basis for this thesis realisation. The second part is an overview of the geophysical methods that were employed for this research, (with a particular attention to the GPR), reporting also their theoretical basis and a deepening of some techniques of the geophysical data analysis and representation, when applied to river embankments. The successive chapters, following the main scope of this research that is to highlight advantages and drawbacks in the use of Ground Penetrating Radar applied to Reno River and its tributaries embankments, show the results obtained analyzing different cases that could yield the formation of weakness zones, which successively lead to the embankment failure. As advantages, a considerable velocity of acquisition and a spatial resolution of the obtained data, incomparable with respect to other methodologies, were recorded. With regard to the drawbacks, some factors, related to the attenuation losses of wave propagation, due to different content in clay, silt, and sand, as well as surface effects have significantly limited the correlation between GPR profiles and geotechnical information and therefore compromised the embankment safety assessment. Recapitulating, the Ground Penetrating Radar could represent a suitable tool for checking up river dike conditions, but its use has significantly limited by geometric and geotechnical characteristics of the Reno River and its tributaries levees. As a matter of facts, only the shallower part of the embankment was investigate, achieving also information just related to changes in electrical properties, without any numerical measurement. Furthermore, GPR application is ineffective for a preliminary assessment of embankment safety conditions, while for detailed campaigns at shallow depth, which aims to achieve immediate results with optimal precision, its usage is totally recommended. The cases where multidisciplinary approach was tested, reveal an optimal interconnection of the various geophysical methodologies employed, producing qualitative results concerning the preliminary phase (FDEM), assuring quantitative and high confidential description of the subsoil (ERT) and finally, providing fast and highly detailed analysis (GPR). Trying to furnish some recommendations for future researches, the simultaneous exploitation of many geophysical devices to assess safety conditions of river embankments is absolutely suggested, especially to face reliable flood event, when the entire extension of the embankments themselves must be investigated.