Sustainable solutions for the construction sector: integration of secondary raw materials in the production cycle of concrete

The construction industry is one of the largest consumers of raw materials and energy and one of the highest contributor to green-houses gases emissions. In order to become more sustainable it needs to reduce the use of both raw materials and energy, thus lim-iting its environmental impact. Developing novel technologies to integrate secondary raw materials (i.e. lightweight recycled aggre-gates and alkali activated “cementless” binders - geopolymers) in the production cycle of concrete is an all-inclusive solution to im-prove both sustainability and cost-efficiency of construction industry. SUS-CON “SUStainable, Innovative and Energy-Efficiency CONcrete, based on the integration of all-waste materials” is an European project (duration 2012-2015), which aim was the inte-gration of secondary raw materials in the production cycle of concrete, thus resulting in innovative, sustainable and cost-effective building solutions. This paper presents the main outcomes related to the successful scaling-up of SUS-CON concrete solutions in traditional production plants. Two European industrial concrete producers have been involved, to design and produce both pre-cast components (blocks and panels) and ready-mixed concrete. Recycled polyurethane foams and mixed plastics were used as aggre-gates, PFA (Pulverized Fuel Ash, a by-product of coal fuelled power plants) and GGBS (Ground Granulated Blast furnace Slag, a by-product of iron and steel industries) as binders. Eventually, the installation of SUS-CON concrete solutions on real buildings has been demonstrated, with the construction of three mock-ups located in Europe (Spain, Turkey and Romania)

Cognitive Component Skills of Reading Comprehension in Developing Readers

Die Fähigkeit, geschriebene Texte zu verstehen, d.h. eine kohärente mentale Repräsentation von Textinhalten zu erstellen, ist eine notwendige Voraussetzung für eine erfolgreiche schulische und außerschulische Entwicklung. Es ist daher ein zentrales Anliegen des Bildungssystems Leseschwierigkeiten frühzeitig zu diagnostizieren und mithilfe zielgerichteter Interventionsprogramme zu fördern. Dies erfordert ein umfassendes Wissen über die kognitiven Teilprozesse, die dem Leseverstehen zugrunde liegen, ihre Zusammenhänge und ihre Entwicklung. Die vorliegende Dissertation soll zu einem umfassenden Verständnis über das Leseverstehen beitragen, indem sie eine Auswahl offener Fragestellungen experimentell untersucht. Studie 1 untersucht inwieweit phonologische Rekodier- und orthographische Dekodierfertigkeiten zum Satz- und Textverstehen beitragen und wie sich beide Fertigkeiten bei deutschen Grundschüler(inne)n von der 2. bis zur 4. Klasse entwickeln. Die Ergebnisse legen nahe, dass beide Fertigkeiten signifikante und eigenständige Beiträge zum Leseverstehen leisten und dass sich ihr relativer Beitrag über die Klassenstufen hinweg nicht verändert. Darüber hinaus zeigt sich, dass bereits deutsche Zweitklässler(innen) den Großteil geschriebener Wörter in altersgerechten Texten über orthographische Vergleichsprozesse erkennen. Nichtsdestotrotz nutzen deutsche Grundschulkinder offenbar kontinuierlich phonologische Informationen, um die visuelle Worterkennung zu optimieren. Studie 2 erweitert die bisherige empirische Forschung zu einem der bekanntesten Modelle des Leseverstehens—der Simple View of Reading (SVR, Gough & Tunmer, 1986). Die Studie überprüft die SVR (Reading comprehension = Decoding x Comprehension) mithilfe optimierter und methodisch stringenter Maße der Modellkonstituenten und überprüft ihre Generalisierbarkeit für deutsche Dritt- und Viertklässler(innen). Studie 2 zeigt, dass die SVR einer methodisch stringenten Überprüfung nicht standhält und nicht ohne Weiteres auf deutsche Dritt- und Viertklässler(innen) generalisiert werden kann. Es wurden nur schwache Belege für eine multiplikative Verknüpfung von Dekodier- (D) und Hörverstehensfertigkeiten (C) gefunden. Der Umstand, dass ein beachtlicher Teil der Varianz im Leseverstehen (R) nicht durch D und C aufgeklärt werden konnte, deutet darauf hin, dass das Modell nicht vollständig ist und ggf. durch weitere Komponenten ergänzt werden muss. Studie 3 untersucht die Verarbeitung positiv-kausaler und negativ-kausaler Kohärenzrelationen bei deutschen Erst- bis Viertklässler(inne)n und Erwachsenen im Lese- und Hörverstehen. In Übereinstimmung mit dem Cumulative Cognitive Complexity-Ansatz (Evers-Vermeul & Sanders, 2009; Spooren & Sanders, 2008) zeigt Studie 3, dass die Verarbeitung negativ-kausaler Kohärenzrelationen und Konnektoren kognitiv aufwändiger ist als die Verarbeitung positiv-kausaler Relationen. Darüber hinaus entwickelt sich das Verstehen beider Kohärenzrelationen noch über die Grundschulzeit hinweg und ist für negativ-kausale Relationen am Ende der vierten Klasse noch nicht abgeschlossen. Studie 4 zeigt und diskutiert die Nützlichkeit prozess-orientierter Lesetests wie ProDi- L (Richter et al., in press), die individuelle Unterschiede in den kognitiven Teilfertigkeiten des Leseverstehens selektiv erfassen. Hierzu wird exemplarisch die Konstruktvalidität des ProDi-L-Subtests ‚Syntaktische Integration’ nachgewiesen. Mittels explanatorischer Item- Repsonse-Modelle wird gezeigt, dass der Test Fertigkeiten syntaktischer Integration separat erfasst und Kinder mit defizitären syntaktischen Fertigkeiten identifizieren kann. Die berichteten Befunde tragen zu einem umfassenden Verständnis der kognitiven Teilfertigkeiten des Leseverstehens bei, das für eine optimale Gestaltung des Leseunterrichts, für das Erstellen von Lernmaterialien, Leseinstruktionen und Lehrbüchern unerlässlich ist. Darüber hinaus stellt es die Grundlage für eine sinnvolle Diagnose individueller Leseschwierigkeiten und für die Konzeption adaptiver und zielgerichteter Interventionsprogramme zur Förderung des Leseverstehens bei schwachen Leser(inne)n dar.

Elettrodeposizione di catalizzatori a base di Rh su schiume e fibre metalliche di FeCrAlloy per la produzione di syngas

The preparation of structured catalysts active in the catalytic partial oxidation of methane to syngas, was performed by electrosynthesis of hydroxides on FeCrAlloy foams and fibers. Rh/Mg/Al hydrotalcite-type compounds were prepared by co-precipitation of metallic cations on the support and successive calcination. Electrochemical reactions have been studied during the electrodeposition by linear sweep voltammetry. The experiments were performed at supports immersed in KNO3, KCl, Mg2+ and Al3+ aqueous solutions, starting by different precursors (nitrate and chlorides salts) and modifying the Mg/A ratio. Rh/Mg/Al hydrotalcite-type compounds were deposited on metal foams by applying a -1.2V vs SCE potential for 2000s with a nitrate solution of 0.06M total metal concentration. Firstly it was studied the effect of Mg on the coating propierties, modifying the Rh/Mg/Al atomic ratio (5/70/25, 5/50/45, 5/25/70 e 5/0/95). Then the effect of the amount of Rh was later investigated in the sample with the largest Mg content (Rh/Mg/Al = 5/70/25 and 2/70/28).The results showed that magnesium allowed obtaining the most homogeneous and well adherent coatings, wherein rhodium was well dispersed. The sample with the Rh/Mg /Al ratio equal to5/70/25 showed the best catalytic performances. Decreasing the Rh content, the properties of the coating were not modified, but the catalytic activity was lower, due to a not enough number of active sites to convert the methane. The work on metal fibers focused on the effect of precursor concentration, keeping constant composition, potential and synthesis time at the values of Rh/Mg/Al =5/70/25, -1.2V vs SCE and 1000s. However fibers geometry did not allow to obtain a high quality coating, even if results were quite promising.

Causatividad y construcciones con verbo soporte en latín: el ejemplo de "poena afficere"

En este trabajo nos proponemos analizar la colocación latina poena afficere, ‘imponer un castigo’, un tipo de colocación con especificidades tanto sintácticas como semánticas que la distinguen de las construcciones verbo-nominales más prototípicas: el sustantivo predicativo funciona no como Objeto Directo sino como tercer argumento del verbo soporte, un esquema sintáctico que, como intentaremos demostrar, resulta ideal para la expresión de predicados causativos. De los ejemplos documentados de poena afficere en un amplio corpus de textos, intentaremos destacar las principales características de este tipo de colocación. Para su descripción y formalización nos serviremos del marco teórico propuesto por la Teoría Sentido-Texto.

From Aari to Zulu: Massively Multilingual Creation of Language Tools using Interlinear Glossed Text

Thesis (Ph.D.)--University of Washington, 2016-08

A forma do privilégio: renda, acessibilidade e densidade em Natal-RN

The aim of this work is to understand the morphological expression of ground occupation by the higher income population, by focusing on population distribution in accordance with income layers and demographical density, as well as topological accessibility (HILLIER and HANSON, 1984) resulting from the urban grid structure. It endeavors to identify a functional organizing principle regarding the intra-urban space of Natal capital city of the state of Rio Grande do Norte, the research focus. In order to achieve this, census data as well as syntactic data were utilized for mapping and spatial analysis of income patterns, topological accessibility and demographical density using Geographical Information System GIS. The organizing principle was named as the Form of Privilege, a pattern that concentrates or tends to concentrate wealth, topological accessibility and low demographical density. Attempting to assess its extent, beyond Natal, this principle was applied to other Brazilian northeastern capitals such as: Fortaleza, CE; Teresina, PI; Aracaju, SE; Recife, PE; and João Pessoa, PB. Findings point out that although the urban structures of these cities are not immune to the Form of Privilege, Natal is emblematic of this phenomenon, a fact that demonstrates the perverse character of its spatial process, which historically creates privileged areas within the city, by means of the appropriation of accessibility as well as of the many urban benesses that are related to it by higher income groups at the expense of the major part of the population, which though being the people mostly in need of the benefits originating from the urban form are excluded from them

Do you what I say? people reconstruct the syntax of anomalous utterances

We frequently experience and successfully process anomalous utterances. Here we examine whether people do this by ‘correcting’ syntactic anomalies to yield well-formed representations. In two structural priming experiments, participants’ syntactic choices in picture description were influenced as strongly by previously comprehended anomalous (missing-verb) prime sentences as by well-formed prime sentences. Our results suggest that comprehenders can reconstruct the constituent structure of anomalous utterances – even when such utterances lack a major structural component such as the verb. These results also imply that structural alignment in dialogue is unaffected if one interlocutor produces anomalous utterances.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Using SVG as the Rendering Model for Structured and Graphically Complex Web Material

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display aspects of a Web document in a single XML-compliant envelope. Although the syntax of SVG is XML based, the semantics of the primitive graphic operations more closely resemble those of page description languages such as PostScript or PDF. The principal usage of SVG, so far, is for inserting complex graphic material into Web pages that are predominantly controlled via (X)HTML and CSS. The conversion of structured and unstructured PDF into SVG is discussed. It is found that unstructured PDF converts into pages of SVG with few problems, but difficulties arise when one attempts to map the structural components of a Tagged PDF into an XML skeleton underlying the corresponding SVG. These difficulties are not fundamentally syntactic; they arise largely because browsers are innately bound to (X)HTML/CSS as their default rendering model. Some suggestions are made for ways in which SVG could be more totally integrated into browser functionality, with the possibility that future browsers might be able to use SVG as their default rendering paradigm.

Higher-Order Functions for Parsing

In combinator parsing, the text of parsers resembles BNF notation. We present the basic method, and a number of extensions. We address the special problems presented by white-space, and parsers with separate lexical and syntactic phases. In particular, a combining form for handling the offside rule is given. Other extensions to the basic method include an $quot;into$quot; combining form with many useful applications, and a simple means by which combinator parsers can produce more informative error messages.

Design of experiments to optimized the determination of TDIs in agglomerated cork stoppers

Isocyanates are included into a class with an extreme commercial importance because their use in the manufacture of polyurethanes. Polyurethanes are used in several applications such as adhesives, coatings, foams, thermoplastics resins, printing inks, foundry moulds and rubbers. Agglomerated cork stoppers are currently used for still wines, semi-sparkle and gaseous wines, beer and cider. Methylene diphenyl diisocyanate (MDI) is presently the isocyanate used in the production of polyurethane based adhesive in use due to its lowest toxicity comparing with toluene diisocyanate (TDI) previously employed. However, free monomeric TDI or MDI, depending on the based polyurethane, can migrate from agglomerated cork stoppers to beverages therefore it needs to be under control. The presence of these compounds are usually investigated by HPLC with Fluorescence or UV-Vis detector depending on the derivatising agent. Ultra Performance Liquid Chromatography with Diode Array Detector (UPLC-DAD) method is replacing HPLC. The objective of this study is to determine which method is better to analyze isocyanates from agglomerated cork stoppers, essentially TDI to quantify its monomer. A Design of Experiments (DOE) with three factors, column temperature, flow and solvent, at two levels was done. Eight experiments with three replications and two repetitions were developed. Through an ANOVA the significance of the factors was evaluated and the best level’s factors were selected. As the TDI has two isomers and in this method these two isomers were not always separated an ANOVA with results of resolution between peaks was performed. The Design of Experiments reveals to be a suitable statistical tool to determine the best conditions to quantified free isocyanates from agglomerated cork stoppers to real foodstuff. The best level’s factors to maximize area was column temperature at 30ºC, flow to 0,3 mL/min and solvent 0,1% Ammonium Acetate, to maximize resolution was the same except the solvent that was 0,01% Ammonium Acetate.

Aquisição da linguagem na infância: vocabulário e morfossintaxe dos 16 aos 30 meses

Dissertação apresentada à Escola Superior de Educação de Paula Frassinetti para a obtenção do grau de mestre em Ciências da Educação, especialização em Educação Especial.

Transactions and schema evolution in a persistent object-oriented programming system

Applications are subject of a continuous evolution process with a profound impact on their underlining data model, hence requiring frequent updates in the applications' class structure and database structure as well. This twofold problem, schema evolution and instance adaptation, usually known as database evolution, is addressed in this thesis. Additionally, we address concurrency and error recovery problems with a novel meta-model and its aspect-oriented implementation. Modern object-oriented databases provide features that help programmers deal with object persistence, as well as all related problems such as database evolution, concurrency and error handling. In most systems there are transparent mechanisms to address these problems, nonetheless the database evolution problem still requires some human intervention, which consumes much of programmers' and database administrators' work effort. Earlier research works have demonstrated that aspect-oriented programming (AOP) techniques enable the development of flexible and pluggable systems. In these earlier works, the schema evolution and the instance adaptation problems were addressed as database management concerns. However, none of this research was focused on orthogonal persistent systems. We argue that AOP techniques are well suited to address these problems in orthogonal persistent systems. Regarding the concurrency and error recovery, earlier research showed that only syntactic obliviousness between the base program and aspects is possible. Our meta-model and framework follow an aspect-oriented approach focused on the object-oriented orthogonal persistent context. The proposed meta-model is characterized by its simplicity in order to achieve efficient and transparent database evolution mechanisms. Our meta-model supports multiple versions of a class structure by applying a class versioning strategy. Thus, enabling bidirectional application compatibility among versions of each class structure. That is to say, the database structure can be updated because earlier applications continue to work, as well as later applications that have only known the updated class structure. The specific characteristics of orthogonal persistent systems, as well as a metadata enrichment strategy within the application's source code, complete the inception of the meta-model and have motivated our research work. To test the feasibility of the approach, a prototype was developed. Our prototype is a framework that mediates the interaction between applications and the database, providing them with orthogonal persistence mechanisms. These mechanisms are introduced into applications as an {\it aspect} in the aspect-oriented sense. Objects do not require the extension of any super class, the implementation of an interface nor contain a particular annotation. Parametric type classes are also correctly handled by our framework. However, classes that belong to the programming environment must not be handled as versionable due to restrictions imposed by the Java Virtual Machine. Regarding concurrency support, the framework provides the applications with a multithreaded environment which supports database transactions and error recovery. The framework keeps applications oblivious to the database evolution problem, as well as persistence. Programmers can update the applications' class structure because the framework will produce a new version for it at the database metadata layer. Using our XML based pointcut/advice constructs, the framework's instance adaptation mechanism is extended, hence keeping the framework also oblivious to this problem. The potential developing gains provided by the prototype were benchmarked. In our case study, the results confirm that mechanisms' transparency has positive repercussions on the programmer's productivity, simplifying the entire evolution process at application and database levels. The meta-model itself also was benchmarked in terms of complexity and agility. Compared with other meta-models, it requires less meta-object modifications in each schema evolution step. Other types of tests were carried out in order to validate prototype and meta-model robustness. In order to perform these tests, we used an OO7 small size database due to its data model complexity. Since the developed prototype offers some features that were not observed in other known systems, performance benchmarks were not possible. However, the developed benchmark is now available to perform future performance comparisons with equivalent systems. In order to test our approach in a real world scenario, we developed a proof-of-concept application. This application was developed without any persistence mechanisms. Using our framework and minor changes applied to the application's source code, we added these mechanisms. Furthermore, we tested the application in a schema evolution scenario. This real world experience using our framework showed that applications remains oblivious to persistence and database evolution. In this case study, our framework proved to be a useful tool for programmers and database administrators. Performance issues and the single Java Virtual Machine concurrent model are the major limitations found in the framework.

SES-RELATED DIFFERENCES IN WORD LEARNING: EFFECTS OF COGNITIVE INHIBITION AND WORD LEARNING

Socioeconomic status (SES) influences language and cognitive development, with discrepancies particularly noticeable in vocabulary development. This study examines how SES-related differences impact the development of syntactic processing, cognitive inhibition, and word learning. 38 4-5-year-olds from higher- and lower-SES backgrounds completed a word-learning task, in which novel words were embedded in active and passive sentences. Critically, unlike the active sentences, all passive sentences required a syntactic revision. Measures of cognitive inhibition were obtained through a modified Stroop task. Results indicate that lower-SES participants had more difficulty using inhibitory functions to resolve conflict compared to their higher-SES counterparts. However, SES did not impact language processing, as the language outcomes were similar across SES background. Additionally, stronger inhibitory processes were related to better language outcomes in the passive sentence condition. These results suggest that cognitive inhibition impact language processing, but this function may vary across children from different SES backgrounds

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.