Validação de aplicativo comercial visando a incorporação da realidade aumentada a um modelo de avaliação pós-ocupação

Post-Occupancy Evaluation of buildings considers user satisfaction, building pathologies and performance, as well as users interventions in the built environment. The possibility of identifying interventions regardless of the user could provide a significant gain in the efficiency of Post-Occupancy Evaluations. We foresee the application of Augmented Reality (AR) to improve the identification of renovations by overlapping the construction information model with an image of the actual building. This article validates the use of AR on existing smartphone and tablet applications. This study proposes the incorporation of AR into the planning, execution and application of Post-Occupancy Evaluation. For the planning, this study proposes the development of a new research tool. With regards to the execution, this study examined the data collection conditions on site through the visualization of overlapping models. For the application, this study proposes displaying the results through the use of RA information layers. The transparency oft he RA model was used to allow comparison between the virtual model and the real model. The development and adaptation of the virtual model and the solution developed for the experiment of the RA proposal are presented and discussed. The experiment points to shortcomings that still make the proposed technological solution unfeasible.

Diagnóstico do plano de gestão de resíduos sólidos do município de Osasco (SP)

The management of solid waste has been a great challenge to public managers both because of its high operational costs and increasing waste generation. Besides environmental and public health harm, it involves high costs to be mitigated. It is necessary to seek solutions that focus on, amongst other matters, economic efficiency for a healthy environment. This could be reached with sustainable development, which has proven itself as an alternative model of development to the actual one in place. In order to ensure that sustentability is the goal of an activity, it is necessary to establish goals and to evaluate a system in order to track opportunities and correct possible mistakes, that is, it is necessary to elaborate a Waste Management Plan. However, in order to establish goals, it is also necessary a good description of the management of solid waste, thus diagnosis is a core aspect in the building of an specific law, as it will allow for the knowledge of the actual status of solid waste collection in Osasco town, showing what progress has been made in recent years, identifying current problems and generating the foundations to build future perspectives in the area. The present work has seeked to elaborate a diagnosis on waste management in Osasco municipality, presenting places for consultation and analysing how it meets the current legislation in place, enabling it to serve as a model for the elaboration of other diagnosis in other Brazilian municipalities

Mercadorização da educação: elementos que circunscrevem a formação inicial de professores

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

As disputas territoriais na formação do assentamento Canudos, em Goiás

Pós-graduação em Geografia - FCT

Tokamak TCABR: Acquisition system, data analysis, and remote participation using MDSplus

Each plasma physics laboratory has a proprietary scheme to control and data acquisition system. Usually, it is different from one laboratory to another. It means that each laboratory has its own way to control the experiment and retrieving data from the database. Fusion research relies to a great extent on international collaboration and this private system makes it difficult to follow the work remotely. The TCABR data analysis and acquisition system has been upgraded to support a joint research programme using remote participation technologies. The choice of MDSplus (Model Driven System plus) is proved by the fact that it is widely utilized, and the scientists from different institutions may use the same system in different experiments in different tokamaks without the need to know how each system treats its acquisition system and data analysis. Another important point is the fact that the MDSplus has a library system that allows communication between different types of language (JAVA, Fortran, C, C++, Python) and programs such as MATLAB, IDL, OCTAVE. In the case of tokamak TCABR interfaces (object of this paper) between the system already in use and MDSplus were developed, instead of using the MDSplus at all stages, from the control, and data acquisition to the data analysis. This was done in the way to preserve a complex system already in operation and otherwise it would take a long time to migrate. This implementation also allows add new components using the MDSplus fully at all stages. (c) 2012 Elsevier B.V. All rights reserved.

Ordenación territorial, urbanística y de los espacios naturales protegidos y el modelo territorial en la Comunidad Autónoma de Canarias (1982-2009)

[ES] Los graves problemas territoriales existentes en Canarias han motivado un continuo desarrollo normativo autonómico desde los ochenta que culminó con la aprobación en 2000 de un Texto Refundido de las leyes de ordenación del territorio en el que se intentó estructurar jerárquicamente la ordenación territorial, el planeamiento urbanístico y la protección de los espacios naturales. Además de dotarse con instrumentos propios de ordenación, la presente década se ha caracterizado por la definición normativa de un modelo de desarrollo sostenible a través de la formulación de unas Directrices de ordenación. En este artículo abordamos el análisis de las características de la ordenación territorial en Canarias y del modelo de desarrollo promulgado, con el fin de manifestar su escasa capacidad de intervención al mismo tiempo que aportamos una reflexión sobre las nuevas orientaciones anti-cíclicas aprobadas recientemente y que pueden suponer el desmoronamiento de parte del modelo de desarrollo construido en la presente década.

Ansatz zur Generierung einer konditionalen, reversiblen Wt1 k.o.-Maus

Ansatz zur Generierung einer konditionalen, reversiblen Wt1 k.o.-Maus Der Wilms-Tumor (WT, Nephroblastom) ist ein embryonaler Nierentumor, der durch die maligne Transformation von undifferenziertem Nierengewebe, sog. nephrogenen Resten, entsteht. WT treten mit einer Inzidenz von 1 in 10.000 Lebendgeburten auf. Das Hauptmanifestationsalter, der normalerweise einseitig und sporadisch auftretenden Tumore, liegt zwischen dem 3. und 4. Lebensjahr. Etwa 10 % der Patienten entwickeln jedoch bilaterale Tumore. In diesen Fällen ist eine Assoziation mit komplexen genetischen Krankheitsbildern (u. a. WAGR-, Denys-Drash-, Frasier- und Beckwith-Wiedemann-Syndrom) festzustellen. In 15 % der sporadischen WT sind Mutationen im WT1 (Wilms-Tumor 1)-Gen beschrieben. WT1 besteht aus zehn Exons und weist typische Merkmale von Transkriptionsfaktoren (z. B. vier Zinkfinger) auf. Zwei alternative Spleißereignisse betreffen Exon 5 (+/−Exon 5) und Exon 9 (Transkripte mit bzw. ohne die codierenden Sequenzen für die AS Lysin-Threonin-Serin; +/−KTS). Die Lage der drei alternativ vorhandenen AS zwischen den Zinkfingern 3 und 4 bestimmt die verschiedenen Funktionen der WT1-Proteine (4 Isoformen) als Transkriptionsfaktor (−KTS) bzw. als RNA-bindendes Protein (+KTS). Das zunächst im Zusammenhang mit WT als Tumorsuppressorgen identifizierte WT1 ist ein Entwicklungsgen mit einem sehr komplexen Expressionsmuster in der Embryonalentwicklung. Dabei ist v. a. die Bedeutung in der Urogenitalentwicklung entscheidend. Konstitutive, homozygote Wt1−/− k.o.-Mäuse sind embryonal (~ E12,5 dpc) letal und bilden u. a. keine Gonaden und keine Nieren. Aus diesem Grund existiert bisher kein Wilms-Tumormodell. Die Herstellung eines konditionalen murinen Tiermodells auf Basis des Tet on/off-Systems zur Untersuchung der Nierenentwicklung bzw. zur Analyse der Wilms-Tumorpathogenese war Ziel dieser Arbeit. Hierfür wurden drei Mauslinien generiert: Zwei transgene sog. Responder-Linien, die eine chimäre spleißbare Wt1-cDNA der Variante musWt1+Exon 5;+/−KTS unter der Kontrolle eines Tet-responsiven Promotors im Genom tragen. Dieses tTA/Dox-abhängig regulierbare Wt1-Transgen (tgWt1) sollte (exogen regulierbar) die Expression des endogenen Wt1-Lokus ausreichend nachahmen, um die kritischen Phasen der Embryogenese zu überwinden und lebensfähige Tiere zu erhalten. Parallel dazu wurde die Wt1-Effektor-Mauslinie (WE2) generiert. Diese trägt einen tetrazyklinabhängigen Transaktivator (tTA) zur Steuerung Tet-regulierbarer Transgene unter der Kontrolle des endogenen Wt1-Promotors. Die durch homologe Rekombination in ES-Zellen erreichte Integration des tTA direkt am Translationsstartpunkt des Wt1-Lokus hat in den Tieren einen heterozygoten Wt1 knock out/tTA knock in zur Folge. Die bisher vorgenommenen Verpaarungen doppelt transgener Wt1-tTA+/−/Resp-Mäuse ergaben keinen Rescue des letalen Wt1 k.o. und es konnten bislang keine Wilms-Tumore induziert werden. Alle im Verlauf der Arbeit generierten Mauslinien wurden umfassend charakterisiert. So konnte für die Tiere der Responder-Linien Wt1-Resp1 (mit zusätzlichen Isolator-Sequenzen zum Schutz des Transgens vor Positionseffekten) und Wt1-Resp2 (ohne Isolatoren) konnte die Tet-induzierbare Expression und die Spleißbarkeit des tgWt1 in MEF-Assays und mittels Effektor-Mäusen auf RNA-Ebene nachgewiesen werden. Die genomische Charakterisierung der WE2-Linie ergab eine ungeklärte etwa 120 kb große Inversion am Wt1-Lokus, die alle 5'-regulatorischen Sequenzen mitsamt des tTA vom Rest von Wt1 trennt. Tiere dieser Linie weisen aber dennoch einen funktionalen Wt1 k.o. auf: Unter den Nachkommen aus Intercross-Verpaarungen von Wt1-tTA+/−-Mäusen lassen sich auf Grund der Letalität keine Wt1−/−-Genotypen nachweisen. Die Charakterisierung der Effektor-Linie auf RNA-Ebene und mittels Reporter-Mäusen liefert ein Wt1-analoges tTA-Expressionsmuster: So findet man eine deutliche tTA-Expression u. a. in Niere (Glomeruli), Uterus, Ovar und Testis. Die hier vorgestellten Experimente ergeben darüber hinaus eindeutige Hinweise einer Beteiligung von Wt1 in der Entstehung der glatten Muskulatur bzw. in der Vaskulogenese.

RNA-basierte Impfstoffe zur Induktion optimaler Immunantworten

Antigen-kodierende RNA wird als eine sichere und effiziente Alternative zu traditionellen Impfstoff-Formulierungen, wie Peptid-, Protein-, rekombinanten viralen oder DNA basierten Impfstoffen betrachtet. Der endgültige klinische Nutzen RNA-basierter Impfstoffe wird von der Optimierung verschiedener Parameter abhängig sein, die zur Induktion und effizienten Expansion der humoralen und zellvermittelten Immunantwort beitragen. Vor diesem Hintergrund war die Zielsetzung der vorliegenden Arbeit, die Etablierung pharmakologischer und immunologischer Parameter für die Generierung effektiver Immunantworten durch RNA-Impfstoffe sowie deren Wirksamkeit in vitro und im Mausmodell unter Nutzung von Modellantigenen zu testen. Zur Untersuchung und Optimierung der RNA-Pharmakokinetik, als einem Schlüsselaspekt der klinischen Medikamentenentwicklung, wurde der Einfluss von strukturellen Modifikationen auf die Transkriptstabilität und Translationseffizienz von Reporter-Proteinen in einer zeitabhängigen Kinetik evaluiert. Es wurde gezeigt, dass ein poly(A) Schwanz von 120 Adenosinen, verglichen mit einem kürzeren, ein freies 3´ poly(A) Ende, verglichen mit einem verdeckten und eine doppelte β-globin 3´ UTR, unabhängig voneinander zu einer Erhöhung der IVT-RNA Stabilität und zu einer Verbesserung der Translationseffizienz beitrugen und dadurch insgesamt zu einer erhöhten Proteinexpression führten. Antigen-kodierende IVT-RNA mit diesen molekularen Merkmalen in Kombination führte, im Vergleich zur Standard IVT-RNA, zu einer erhöhten Dichte und Stabilität von Peptid/MHC-Komplexen auf der Zelloberfläche transfizierter DCs und dadurch zu einer verbesserten Stimulation von CD4+ und CD8+ T-Zellen im murinen und humanen System. Mit dem Ziel, die RNA kodierte Antigenform für die Induktion einer verstärkten Antikörperantwort zu modifizieren, wurde im zweiten Teil der Arbeit ein Antigen-IgM Fusionskonstrukt hergestellt und hinsichtlich seiner Eignung als neues Impfstoff-Format untersucht. Die Ausgangshypothese, dass die RNA kodierten Antigen-IgM Fusionsproteine polymerisieren, von transfizierten Zellen sezerniert werden und aufgrund der repetitiven Antigenstruktur im Vergleich mit dem monomeren Antigen zu einer Verstärkung der Antikörperantwort führen, wurde in vitro und in vivo im Mausmodell bestätigt. Die Entwicklung und Evaluierung von Zytokinfusionsproteinen zur selektiven Verstärkung der antigenspezifischen Immunantworten bildeten den dritten Schwerpunkt der vorliegenden Arbeit. Zur weiteren Verstärkung der Antikörperantwort wurde basierend auf den Resultaten aus dem zweiten Teil ein IL2-IgM Fusionskonstrukt hergestellt. Die Ko-Transfektion von Antigen-IgM und IL2-IgM kodierender IVT-RNA führte zu einer signifikant stärkeren Antikörperantwort als die Ko-Transfektion von Antigen-IgM und IL2. Für die Initiierung einer erfolgreichen anti-Tumor-Immunantwort ist das Priming antigenspezifischer T-Zellen essentiell. Um die Effizienz dieses Prozesses zu steigern, wurde ein bifunktionelles IL2-mCD40L Fusionskonstrukt hergestellt und sein Einfluss auf die Effektorfunktion von DCs in vitro und in vivo untersucht. Es wurde gezeigt, dass ein RNA kodiertes IL2-mCD40L Fusionsprotein als genetisches Adjuvanz zu einer Effizienzsteigerung des Priming zytotoxischer T-Zellen führt. Somit wurden in dieser Arbeit durch die Optimierung der Pharmakokinetik, die Modifikation der Antigenform und die Herstellung und Evaluierung von Zytokinfusionskonstrukten als genetische Adjuvantien, RNA-basierte Impfstoffe für eine optimierte Induktion von antigenspezifischen Immunantworten weiter verbessert.

Techniques for Lagrangian modelling of dispersion in geophysical flows

Basic concepts and definitions relative to Lagrangian Particle Dispersion Models (LPDMs)for the description of turbulent dispersion are introduced. The study focusses on LPDMs that use as input, for the large scale motion, fields produced by Eulerian models, with the small scale motions described by Lagrangian Stochastic Models (LSMs). The data of two different dynamical model have been used: a Large Eddy Simulation (LES) and a General Circulation Model (GCM). After reviewing the small scale closure adopted by the Eulerian model, the development and implementation of appropriate LSMs is outlined. The basic requirement of every LPDM used in this work is its fullfillment of the Well Mixed Condition (WMC). For the dispersion description in the GCM domain, a stochastic model of Markov order 0, consistent with the eddy-viscosity closure of the dynamical model, is implemented. A LSM of Markov order 1, more suitable for shorter timescales, has been implemented for the description of the unresolved motion of the LES fields. Different assumptions on the small scale correlation time are made. Tests of the LSM on GCM fields suggest that the use of an interpolation algorithm able to maintain an analytical consistency between the diffusion coefficient and its derivative is mandatory if the model has to satisfy the WMC. Also a dynamical time step selection scheme based on the diffusion coefficient shape is introduced, and the criteria for the integration step selection are discussed. Absolute and relative dispersion experiments are made with various unresolved motion settings for the LSM on LES data, and the results are compared with laboratory data. The study shows that the unresolved turbulence parameterization has a negligible influence on the absolute dispersion, while it affects the contribution of the relative dispersion and meandering to absolute dispersion, as well as the Lagrangian correlation.

Deployment automatico di applicazioni specificate in linguaggio ABS

Da quando è iniziata l'era del Cloud Computing molte cose sono cambiate, ora è possibile ottenere un server in tempo reale e usare strumenti automatizzati per installarvi applicazioni. In questa tesi verrà descritto lo strumento MODDE (Model-Driven Deployment Engine), usato per il deployment automatico, partendo dal linguaggio ABS. ABS è un linguaggio a oggetti che permette di descrivere le classi in una maniera astratta. Ogni componente dichiarato in questo linguaggio ha dei valori e delle dipendenze. Poi si procede alla descrizione del linguaggio di specifica DDLang, col quale vengono espressi tutti i vincoli e le configurazioni finali. In seguito viene spiegata l’architettura di MODDE. Esso usa degli script che integrano i tool Zephyrus e Metis e crea un main ABS dai tre file passati in input, che serve per effettuare l’allocazione delle macchine in un Cloud. Inoltre verranno introdotti i due sotto-strumenti usati da MODDE: Zephyrus e Metis. Il primo si occupa di scegliere quali servizi installare tenendo conto di tutte le loro dipendenze, cercando di ottimizzare il risultato. Il secondo gestisce l’ordine con cui installarli tenendo conto dei loro stati interni e delle dipendenze. Con la collaborazione di questi componenti si ottiene una installazione automatica piuttosto efficace. Infine dopo aver spiegato il funzionamento di MODDE viene spiegato come integrarlo in un servizio web per renderlo disponibile agli utenti. Esso viene installato su un server HTTP Apache all’interno di un container di Docker.

A Trustability Metric for Code Search based on Developer Karma

The promise of search-driven development is that developers will save time and resources by reusing external code in their local projects. To efficiently integrate this code, users must be able to trust it, thus trustability of code search results is just as important as their relevance. In this paper, we introduce a trustability metric to help users assess the quality of code search results and therefore ease the cost-benefit analysis they undertake trying to find suitable integration candidates. The proposed trustability metric incorporates both user votes and cross-project activity of developers to calculate a "karma" value for each developer. Through the karma value of all its developers a project is ranked on a trustability scale. We present JBENDER, a proof-of-concept code search engine which implements our trustability metric and we discuss preliminary results from an evaluation of the prototype.

Modeling Features at Runtime

A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the correspondence between a feature and its implementation in source code. Traditional approaches to establish this correspondence exercise features to generate a trace of runtime events, which is then processed by post-mortem analysis. These approaches typically generate large amounts of data to analyze. Due to their static nature, these approaches do not support incremental and interactive analysis of features. We propose a radically different approach called live feature analysis, which provides a model at runtime of features. Our approach analyzes features on a running system and also makes it possible to grow feature representations by exercising different scenarios of the same feature, and identifies execution elements even to the sub-method level. We describe how live feature analysis is implemented effectively by annotating structural representations of code based on abstract syntax trees. We illustrate our live analysis with a case study where we achieve a more complete feature representation by exercising and merging variants of feature behavior and demonstrate the efficiency or our technique with benchmarks.

Run-Time Evolution through Explicit Meta-Objects

Software must be constantly adapted due to evolving domain knowledge and unanticipated requirements changes. To adapt a system at run-time we need to reflect on its structure and its behavior. Object-oriented languages introduced reflection to deal with this issue, however, no reflective approach up to now has tried to provide a unified solution to both structural and behavioral reflection. This paper describes Albedo, a unified approach to structural and behavioral reflection. Albedo is a model of fined-grained unanticipated dynamic structural and behavioral adaptation. Instead of providing reflective capabilities as an external mechanism we integrate them deeply in the environment. We show how explicit meta-objects allow us to provide a range of reflective features and thereby evolve both application models and environments at run-time.

Using Smalltalk as a Reflective Executable Meta-Language

Object-oriented meta-languages such as MOF or EMOF are often used to specify domain specific languages. However, these meta-languages lack the ability to describe behavior or operational semantics. Several approaches used a subset of Java mixed with OCL as executable meta-languages. In this paper, we report our experience of using Smalltalk as an executable and integrated meta-language. We validated this approach in incrementally building over the last decade, Moose, a meta-described reengineering environment. The reflective capabilities of Smalltalk support a uniform way of letting the base developer focus on his tasks while at the same time allowing him to meta-describe his domain model. The advantage of our this approach is that the developer uses the same tools and environment