Cyclic Voltammetry and Computational Chemistry Studies on the Evaluation of the Redox Behavior of Parabens and other Analogues

Parabens are antimicrobial preservatives widely used in pharmaceutical, cosmetic and food industries. The alkyl chain connected to the ester group defines some important physicochemical characteristics of these compounds, including the partition coefficient and redox properties. The voltammetric and computational analyses were carried out in order to evaluate the redox behavior of these compounds and other phenolic analogues. A strong correlation between chemical substituents inductive effects of parabens with redox potentials was observed. Using cyclic voltammetry and glassy carbon working electrode, only one irreversible anodic peak was observed around 0.8 V for methylparaben (MP), ethylparaben (EP), propylparaben (PP), butylparaben (BP), benzylparaben (BzP) and p-substituted phenolic analogues. The electrodonating inductive effect of alkyl groups was demonstrated by the anodic oxidation potential shift to lower values as the carbon number increases and, therefore the parabens (and other phenolic analogues) oxidation processes to the quinonoidic forms showed great dependence on the substituent pattern.

Trypanosoma cruzi invades host cells through the activation of endothelin and bradykinin receptors: a converging pathway leading to chagasic vasculopathy

BACKGROUND AND PURPOSE Independent studies in experimental models of Trypanosoma cruzi appointed different roles for endothelin-1 (ET-1) and bradykinin (BK) in the immunopathogenesis of Chagas disease. Here, we addressed the hypothesis that pathogenic outcome is influenced by functional interplay between endothelin receptors (ETAR and ETBR) and bradykinin B2 receptors (B2R). EXPERIMENTAL APPROACH Intravital microscopy was used to determine whether ETR/B2R drives the accumulation of rhodamine-labelled leucocytes in the hamster cheek pouch (HCP). Inflammatory oedema was measured in the infected BALB/c paw of mice. Parasite invasion was assessed in CHO over-expressing ETRs, mouse cardiomyocytes, endothelium (human umbilical vein endothelial cells) or smooth muscle cells (HSMCs), in the presence/absence of antagonists of B2R (HOE-140), ETAR (BQ-123) and ETBR (BQ-788), specific IgG antibodies to each GPCRs; cholesterol or calcium-depleting drugs. RNA interference (ETAR or ETBR genes) in parasite infectivity was investigated in HSMCs. KEY RESULTS BQ-123, BQ-788 and HOE-140 reduced leucocyte accumulation in HCP topically exposed to trypomastigotes and blocked inflammatory oedema in infected mice. Acting synergistically, ETAR and ETBR antagonists reduced parasite invasion of HSMCs to the same extent as HOE-140. Exogenous ET-1 potentiated T. cruzi uptake by HSMCs via ETRs/B2R, whereas RNA interference of ETAR and ETBR genes conversely reduced parasite internalization. ETRs/B2R-driven infection in HSMCs was reduced in HSMC pretreated with methyl-beta-cyclodextrin, a cholesterol-depleting drug, or in thapsigargin-or verapamil-treated target cells. CONCLUSIONS AND IMPLICATIONS Our findings suggest that plasma leakage, a neutrophil-driven inflammatory response evoked by trypomastigotes via the kinin/endothelin pathways, may offer a window of opportunity for enhanced parasite invasion of cardiovascular cells.

Tissue distribution of DNA-Hsp65/TDM-loaded PLGA microspheres and uptake by phagocytic cells

This study aimed to demonstrate that microspheres, used as delivery vehicle of DNA-Hsp65/TDM [plasmid DNA encoding heat shock protein 65 (Hsp65) coencapsulated with trehalose dimycolate (TDM) into PLGA microspheres], are widely spread among several organs after intramuscular administration in BALB/c mice. In general, we showed that these particles were phagocytosed by antigen presenting cells, such as macrophages and dendritic cells. Besides, it was demonstrated herein that draining lymph node cells presented a significant increase in the number of cells expressing costimulatory molecules (CD80 and CD86) and MHC class II, and also that the administration of the DNA-Hsp65/TDM and vector/TDM formulations resulted in the up-regulation of CD80, CD86 and MHC class II expression when compared to control formulations (vector/TDM and empty). Regarding the intracellular trafficking we observed that following phagocytosis, the microspheres were not found in the late endosomes and/or lysosomes, until 15 days after internalization, and we suggest that these constructions were hydrolysed in early compartments. Overall, these data expand our knowledge on PLGA [poly (lactic-co- glycolic acid)] microspheres as gene carriers in vaccination strategies, as well as open perspectives for their potential use in clinical practice.

Effect of neoadjuvant chemotherapy on low-density lipoprotein (LDL) receptor and LDL receptor-related protein 1 (LRP-1) receptor in locally advanced breast cancer

Low-density lipoprotein (LDL) receptors are overexpressed in most neoplastic cell lines and provide a mechanism for the internalization and concentration of drug-laden nanoemulsions that bind to these receptors. The aim of the present study was to determine whether the administration of standard chemotherapeutic schemes can alter the expression of LDL and LDL receptor-related protein 1 (LRP-1) receptors in breast carcinoma. Fragments of tumoral and normal breast tissue from 16 consecutive volunteer women with breast cancer in stage II or III were obtained from biopsies before the beginning of neoadjuvant chemotherapy and after chemotherapy, from fragments excised during mastectomy. Tissues were analyzed by immunohistochemistry for both receptors. Because complete response to treatment was achieved in 4 patients, only the tumors from 12 were analyzed. Before chemotherapy, there was overexpression of LDL receptor in the tumoral tissue compared to normal breast tissue in 8 of these patients. LRP-1 receptor overexpression was observed in tumors of 4 patients. After chemotherapy, expression of both receptors decreased in the tumors of 6 patients, increased in 4 and was unchanged in 2. Nonetheless, even when chemotherapy reduced receptors expression, the expression was still above normal. The fact that chemotherapy does not impair LDL receptors expression supports the use of drug carrier systems that target neoplastic cells by the LDL receptor endocytic pathway in patients on conventional chemotherapy.

Cyclic voltammetry and computational chemistry studies on the evaluation of the redox behavior of parabens and other analogues

Parabens are antimicrobial preservatives widely used in pharmaceutical, cosmetic and food industries. The alkyl chain connected to the ester group defines some important physicochemical characteristics of these compounds, including the partition coefficient and redox properties. The voltammetric and computational analyses were carried out in order to evaluate the redox behavior of these compounds and other phenolic analogues. A strong correlation between chemical substituents inductive effects of parabens with redox potentials was observed. Using cyclic voltammetry and glassy carbon working electrode, only one irreversible anodic peak was observed around 0.8 V for methylparaben (MP), ethylparaben (EP), propylparaben (PP), butylparaben (BP), benzylparaben (BzP) and p-substituted phenolic analogues. The electrodonating inductive effect of alkyl groups was demonstrated by the anodic oxidation potential shift to lower values as the carbon number increases and, therefore the parabens (and other phenolic analogues) oxidation processes to the quinonoidic forms showed great dependence on the substituent pattern.

Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Improving approximate inverses based on Frobenius norm minimization

[EN]Approximate inverses, based on Frobenius norm minimization, of real nonsingular matrices are analyzed from a purely theoretical point of view. In this context, this paper provides several sufficient conditions, that assure us the possibility of improving (in the sense of the Frobenius norm) some given approximate inverses. Moreover, the optimal approximate inverses of matrix A ∈ R n×n , among all matrices belonging to certain subspaces of R n×n , are obtained. Particularly, a natural generalization of the classical normal equations of the system Ax = b is given, when searching for approximate inverses N 6= AT such that AN is symmetric and kAN − IkF < AAT − I F …

Does improvisation lead to outcome deviation? A conceptual framework of improvisation, its antecedents and outcome deviation

Management and organization literature has extensively noticed the crucial role that improvisation assumes in organizations, both as a learning process (Miner, Bassoff & Moorman, 2001), a creative process (Fisher & Amabile, 2008), a capability (Vera & Crossan, 2005), and a personal disposition (Hmielesky & Corbett, 2006; 2008). My dissertation aims to contribute to the existing literature on improvisation, addressing two general research questions: 1) How does improvisation unfold at an individual level? 2) What are the potential antecedents and consequences of individual proclivity to improvise? This dissertation is based on a mixed methodology that allowed me to deal with these two general research questions and enabled a constant interaction between the theoretical framework and the empirical results. The selected empirical field is haute cuisine and the respondents are the executive chefs of the restaurants awarded by Michelin Guide in 2010 in Italy. The qualitative section of the dissertation is based on the analysis of 26 inductive case studies and offers a multifaceted contribution. First, I describe how improvisation works both as a learning and creative process. Second, I introduce a new categorization of individual improvisational scenarios (demanded creative improvisation, problem solving improvisation, and pure creative improvisation). Third, I describe the differences between improvisation and other creative processes detected in the field (experimentation, brainstorming, trial and error through analytical procedure, trial and error, and imagination). The quantitative inquiry is founded on a Structural Equation Model, which allowed me to test simultaneously the relationships between proclivity to improvise and its antecedents and consequences. In particular, using a newly developed scale to measure individual proclivity to improvise, I test the positive influence of industry experience, self-efficacy, and age on proclivity to improvise and the negative impact of proclivity to improvise on outcome deviation. Theoretical contributions and practical implications of the results are discussed.

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.

Statistical problems related to excitation threshold and reset value of membrane potentials

Die vorliegende Arbeit ist motiviert durch biologische Fragestellungen bezüglich des Verhaltens von Membranpotentialen in Neuronen. Ein vielfach betrachtetes Modell für spikende Neuronen ist das Folgende. Zwischen den Spikes verhält sich das Membranpotential wie ein Diffusionsprozess X der durch die SDGL dX_t= beta(X_t) dt+ sigma(X_t) dB_t gegeben ist, wobei (B_t) eine Standard-Brown'sche Bewegung bezeichnet. Spikes erklärt man wie folgt. Sobald das Potential X eine gewisse Exzitationsschwelle S überschreitet entsteht ein Spike. Danach wird das Potential wieder auf einen bestimmten Wert x_0 zurückgesetzt. In Anwendungen ist es manchmal möglich, einen Diffusionsprozess X zwischen den Spikes zu beobachten und die Koeffizienten der SDGL beta() und sigma() zu schätzen. Dennoch ist es nötig, die Schwellen x_0 und S zu bestimmen um das Modell festzulegen. Eine Möglichkeit, dieses Problem anzugehen, ist x_0 und S als Parameter eines statistischen Modells aufzufassen und diese zu schätzen. In der vorliegenden Arbeit werden vier verschiedene Fälle diskutiert, in denen wir jeweils annehmen, dass das Membranpotential X zwischen den Spikes eine Brown'sche Bewegung mit Drift, eine geometrische Brown'sche Bewegung, ein Ornstein-Uhlenbeck Prozess oder ein Cox-Ingersoll-Ross Prozess ist. Darüber hinaus beobachten wir die Zeiten zwischen aufeinander folgenden Spikes, die wir als iid Treffzeiten der Schwelle S von X gestartet in x_0 auffassen. Die ersten beiden Fälle ähneln sich sehr und man kann jeweils den Maximum-Likelihood-Schätzer explizit angeben. Darüber hinaus wird, unter Verwendung der LAN-Theorie, die Optimalität dieser Schätzer gezeigt. In den Fällen OU- und CIR-Prozess wählen wir eine Minimum-Distanz-Methode, die auf dem Vergleich von empirischer und wahrer Laplace-Transformation bezüglich einer Hilbertraumnorm beruht. Wir werden beweisen, dass alle Schätzer stark konsistent und asymptotisch normalverteilt sind. Im letzten Kapitel werden wir die Effizienz der Minimum-Distanz-Schätzer anhand simulierter Daten überprüfen. Ferner, werden Anwendungen auf reale Datensätze und deren Resultate ausführlich diskutiert.

Identification and functional characterization of human cytomegalovirus Fc binding proteins

ABSTRACT Human cytomegalovirus (HCMV) employs many different mechanisms to escape and subvert the host immune system surveillance. Among these different mechanisms the role of human IgG Fc receptors (FcγR) in HCMV pathogenesis is still unclear. In mammalians, FcγRs are expressed on the surface of all haematopoietic cells and have a multifaceted role in regulating the activity of antibodies to generate a well-balanced immune response. Viral proteins with Fcγ binding ability are highly diffuse among herpesviruses. They interfere with the host receptors functions in order to counteract immune system recognition. So far, two human HCMV Fcγ binding proteins have been described: UL119 and RL11. This work was aimed to the identification and characterization of HCMV Fcγ binding proteins. The study is divided in two parts: first the characterization of UL119 and RL11; second the identification and characterization of novel HCMV Fcγ binding proteins. Regarding the first part, we demonstrated that both UL119 and RL11 internalize Fcγ fragments from transfected cells surface through a clathrin dependent pathway. In infected cells both proteins were found in the viral assembly complex and on virions surface as envelope associated glycoproteins. Moreover, internalized Fcγ in infected cells do not undergo lysosomal degradation but rather traffic in early endosomes up to the viral assembly complex. Regarding the second part, we were able to identify two novels Fcγ binding protein coded by CMV: RL12 and RL13. The latter was also further characterized as recombinant protein in terms of cellular localization, Fc binding site and IgG internalization ability. Finally binding specificity of both RL12 and RL13 seems to be confined to human IgG1 and IgG2. Taken together, these data show that HCMV codes for up to 4 FcγR and that they could have a double role both on virus and on infected cells.

Enhancement of inductive power transfer with flat spiral resonators

The aim of this thesis is to develop a depth analysis of the inductive power transfer (or wireless power transfer, WPT) along a metamaterial composed of cells arranged in a planar configuration, in order to deliver power to a receiver sliding on them. In this way, the problem of the efficiency strongly affected by the weak coupling between emitter and receiver can be obviated, and the distance of transmission can significantly be increased. This study is made using a circuital approach and the magnetoinductive wave (MIW) theory, in order to simply explain the behavior of the transmission coefficient and efficiency from the circuital and experimental point of view. Moreover, flat spiral resonators are used as metamaterial cells, particularly indicated in literature for WPT metamaterials operating at MHz frequencies (5-30 MHz). Finally, this thesis presents a complete electrical characterization of multilayer and multiturn flat spiral resonators and, in particular, it proposes a new approach for the resistance calculation through finite element simulations, in order to consider all the high frequency parasitic effects. Multilayer and multiturn flat spiral resonators are studied in order to decrease the operating frequency down to kHz, maintaining small external dimensions and allowing the metamaterials to be supplied by electronic power converters (resonant inverters).

Drug delivery, entry and intracellular trafficking of polymeric nanoparticles

Polymere Nanopartikel sind kleine Teilchen, die vielseitige Einsatzmöglichkeiten für den Transport von Wirkstoffen bieten. Da Nanomaterialien in diesen biomedizinischen Anwendungen oft mit biologischen Systemen in Berührung kommen, erfordert das eine genaue Untersuchung ihrer gegenseitigen Wechselwirkungen. In diesem speziellen Forschungsgebiet, welches sich auf die Interaktionen von Nanomaterialien mit biologischen Komponenten konzentriert, wurde bereits eine Vielzahl verschiedener Nanopartikel-Zell-Interaktionen (z. B. Nanotoxizität, Wirkstofftransport-mechanismen) analysiert. Bezüglich der Untersuchungen zu nanopartikulären Wirkstofftransport-mechanismen ist es im Allgemeinen akzeptiert, dass ein erfolgreicher zellulärer Transport hauptsächlich von der Aufnahme des Nanotransporters abhängt. Deshalb analysieren wir in dieser Arbeit (1) den Wirkstofftransportmechanismus für biologisch-abbaubare eisenhaltige Poly-L-Milchsäure Nanopartikel (PLLA-Fe-PMI) sowie (2) die Aufnahmemechanismen und die intrazellulären Transportwege von nicht-abbaubaren superparamagnetischen Polystyrolnanopartikeln (SPIOPSN). rnIn dieser Arbeit identifizieren wir einen bisher unbekannten und nicht-invasiven Wirkstoff-transportmechanismus. Dabei zeigt diese Studie, dass der subzelluläre Transport der nanopartikulärer Fracht nicht unbedingt von einer Aufnahme der Nanotransporter abhängt. Der identifizierte Arzneimitteltransportmechanismus basiert auf einem einfachen physikochemischen Kontakt des hydrophoben Poly-L-Milchsäure-Nanopartikels mit einer hydrophoben Oberfläche, wodurch die Freisetzung der nanopartikulären Fracht ausgelöst wird. In Zellexperimenten führt die membranvermittelte Freisetzung der nanopartikulären Fracht zu ihrem sofortigen Transport in TIP47+- und ADRP+- Lipidtröpfchen. Der Freisetzungsmechanismus („kiss-and-run") kann durch die kovalente Einbindung des Frachtmoleküls in das Polymer des Nanopartikels blockiert werden.rnWeiterhin wird in Langzeitversuchen gezeigt, dass die Aufnahme der untersuchten polymeren Nanopartikel von einem Makropinozytose-ähnlichen Mechanismus gesteuert wird. Im Laufe dieser Arbeit werden mehrere Faktoren identifiziert, die in diesem Aufnahmemechanismus eine Rolle spielen. Darunter fallen unter anderem die kleinen GTPasen Rac1 und ARF1, die die Aufnahme von SPIOPSN beeinflussen. Darauffolgend werden die intrazellulären Transportwege der Nanopartikel untersucht. Mit Hilfe eines neuartigen Massenspektrometrieansatzes wird der intrazelluläre Transport von nanopartikelhaltigen endozytotischen Vesikeln rekonstruiert. Intensive Untersuchungen identifizieren Marker von frühen Endosomen, späten Endosomen/ multivesikulären Körpern, Rab11+- Endosomen, Flotillin-Vesikeln, Lysosomen und COP-Vesikeln. Schließlich wird der Einfluss des lysosomalen Milieus auf die Proteinhülle der Nanopartikel untersucht. Hier wird gezeigt, dass die adsorbierte Proteinhülle auf den Nanopartikeln in die Zelle transportiert wird und anschließend im Lysosom abgebaut wird. rnInsgesamt verdeutlicht diese Arbeit, dass die klassische Strategie des nanopartikulären und invasiven Wirkstofftransportmechanismuses überdacht werden muss. Weiterhin lässt sich aus den Daten schlussfolgern, dass polymere Nanopartikel einem atypischen Makropinozytose-ähnlichen Aufnahmemechanismus unterliegen. Dies resultiert in einem intrazellulären Transport der Nanopartikel von Makropinosomen über multivesikuläre Körperchen zu Lysosomen.rn

Recycling of end of life concrete fines (0 - 4 mm) into silica and cement

The purpose of this work is to find a methodology in order to make possible the recycling of fines (0 - 4 mm) in the Construction and Demolition Waste (CDW) process. At the moment this fraction is a not desired by-product: it has high contaminant content, it has to be separated from the coarse fraction, because of its high water absorption which can affect the properties of the concrete. In fact, in some countries the use of fines recycled aggregates is highly restricted or even banned. This work is placed inside the European project C2CA (from Concrete to Cement and Clean Aggregates) and it has been held in the Faculty of Civil Engineering and Geosciences of the Technical University of Delft, in particular, in the laboratory of Resources And Recycling. This research proposes some procedures in order to close the loop of the entire recycling process. After the classification done by ADR (Advanced Dry Recovery) the two fractions "airknife" and "rotor" (that together constitute the fraction 0 - 4 mm) are inserted in a new machine that works at high temperatures. The temperatures analysed in this research are 600 °C and 750 °C, cause at that temperature it is supposed that the cement bounds become very weak. The final goal is "to clean" the coarse fraction (0,250 - 4 mm) from the cement still attached to the sand and try to concentrate the cement paste in the fraction 0 - 0,250 mm. This new set-up is able to dry the material in very few seconds, divide it into two fractions (the coarse one and the fine one) thanks to the air and increase the amount of fines (0 - 0,250 mm) promoting the attrition between the particles through a vibration device. The coarse fraction is then processed in a ball mill in order to improve the result and reach the final goal. Thanks to the high temperature it is possible to markedly reduce the milling time. The sand 0 - 2 mm, after being heated and milled is used to replace 100% of norm sand in mortar production. The results are very promising: the mortar made with recycled sand reaches an early strength, in fact the increment with respect to the mortar made with norm sand is 20% after three days and 7% after seven days. With this research it has been demonstrated that once the temperature is increased it is possible to obtain a clean coarse fraction (0,250 - 4 mm), free from cement paste that is concentrated in the fine fraction 0 - 0,250 mm. The milling time and the drying time can be largely reduced. The recycled sand shows better performance in terms of mechanical properties with respect to the natural one.