Co-encapsulation of enzymes and antibodies for chemical deactivation of pathogens on paper

Le papier bioactif est obtenu par la modification de substrat du papier avec des biomolécules et des réactifs. Ce type de papier est utilisé dans le développement de nouveaux biocapteurs qui sont portables, jetables et économiques visant à capturer, détecter et dans certains cas, désactiver les agents pathogènes. Généralement les papiers bioactifs sont fabriqués par l’incorporation de biomolécules telles que les enzymes et les anticorps sur la surface du papier. L’immobilisation de ces biomolécules sur les surfaces solides est largement utilisée pour différentes applications de diagnostic comme dans immunocapteurs et immunoessais mais en raison de la nature sensible des enzymes, leur intégration au papier à grande échelle a rencontré plusieurs difficultés surtout dans les conditions industrielles. Pendant ce temps, les microcapsules sont une plate-forme intéressante pour l’immobilisation des enzymes et aussi assez efficace pour permettre à la fonctionnalisation du papier à grande échelle car le papier peut être facilement recouvert avec une couche de telles microcapsules. Dans cette étude, nous avons développé une plate-forme générique utilisant des microcapsules à base d’alginate qui peuvent être appliquées aux procédés usuels de production de papier bioactif et antibactérien avec la capacité de capturer des pathogènes à sa surface et de les désactiver grâce à la production d’un réactif anti-pathogène. La conception de cette plate-forme antibactérienne est basée sur la production constante de peroxyde d’hydrogène en tant qu’agent antibactérien à l’intérieur des microcapsules d’alginate. Cette production de peroxyde d’hydrogène est obtenue par oxydation du glucose catalysée par la glucose oxydase encapsulée à l’intérieur des billes d’alginate. Les différentes étapes de cette étude comprennent le piégeage de la glucose oxydase à l’intérieur des microcapsules d’alginate, l’activation et le renforcement de la surface des microcapsules par ajout d’une couche supplémentaire de chitosan, la vérification de la possibilité d’immobilisation des anticorps (immunoglobulines G humaine comme une modèle d’anticorps) sur la surface des microcapsules et enfin, l’évaluation des propriétés antibactériennes de cette plate-forme vis-à-vis l’Escherichia coli K-12 (E. coli K-12) en tant qu’un représentant des agents pathogènes. Après avoir effectué chaque étape, certaines mesures et observations ont été faites en utilisant diverses méthodes et techniques analytiques telles que la méthode de Bradford pour dosage des protéines, l’électroanalyse d’oxygène, la microscopie optique et confocale à balayage laser (CLSM), la spectrométrie de masse avec désorption laser assistée par matrice- temps de vol (MALDI-TOF-MS), etc. Les essais appropriés ont été effectués pour valider la réussite de modification des microcapsules et pour confirmer à ce fait que la glucose oxydase est toujours active après chaque étape de modification. L’activité enzymatique spécifique de la glucose oxydase après l’encapsulation a été évaluée à 120±30 U/g. Aussi, des efforts ont été faits pour immobiliser la glucose oxydase sur des nanoparticules d’or avec deux tailles différentes de diamètre (10,9 nm et 50 nm) afin d’améliorer l’activité enzymatique et augmenter l’efficacité d’encapsulation. Les résultats obtenus lors de cette étude démontrent les modifications réussies sur les microcapsules d’alginate et aussi une réponse favorable de cette plate-forme antibactérienne concernant la désactivation de E. coli K-12. La concentration efficace de l’activité enzymatique afin de désactivation de cet agent pathogénique modèle a été déterminée à 1.3×10-2 U/ml pour une concentration de 6.7×108 cellules/ml de bactéries. D’autres études sont nécessaires pour évaluer l’efficacité de l’anticorps immobilisé dans la désactivation des agents pathogènes et également intégrer la plate-forme sur le papier et valider l’efficacité du système une fois qu’il est déposé sur papier.

Ann Arbor. Architect's School, U of M

Emil Lorch & Associates, architect. Built in 1928. Architecture Building; later called Architecture & Design; renamed Lorch Hall ca. 1980. The Doric columns were once part of the oldest stone building in Detroit, the Bank of Michigan, built 1836. The Corinthian column was from the Home Office Bldg. of the Mutural Benefit Life Insurance Co. of Newark, N.J.

Architectural Building

Emil Lorch & Associates, architect. Built in 1928. Architecture Building; later called Architecture & Design; renamed Lorch Hall ca. 1980

Protecting agents against malicious host attacks

The introduction of agent technology raises several security issues that are beyond conventional security mechanisms capability and considerations, but research in protecting the agent from malicious host attack is evolving. This research proposes two approaches to protecting an agent from being attacked by a malicious host. The first approach consists of an obfuscation algorithm that is able to protect the confidentiality of an agent and make it more difficult for a malicious host to spy on the agent. The algorithm uses multiple polynomial functions with multiple random inputs to convert an agent's critical data to a value that is meaningless to the malicious host. The effectiveness of the obfuscation algorithm is enhanced by addition of noise code. The second approach consists of a mechanism that is able to protect the integrity of the agent using state information, recorded during the agent execution process in a remote host environment, to detect a manipulation attack by a malicious host. Both approaches are implemented using a master-slave agent architecture that operates on a distributed migration pattern. Two sets of experimental test were conducted. The first set of experiments measures the migration and migration+computation overheads of the itinerary and distributed migration patterns. The second set of experiments is used to measure the security overhead of the proposed approaches. The protection of the agent is assessed by analysis of its effectiveness under known attacks. Finally, an agent-based application, known as Secure Flight Finder Agent-based System (SecureFAS) is developed, in order to prove the function of the proposed approaches.

Educational Games for Learning Programming Languages

A concept of educational game for learning programming languages is presented. The idea of learning programming languages and improving programming skills through programming game characters’ behavior is described. The learning course description rules for using in games are suggested. The concept is implemented in a game for learning C# programming language. A common game architecture is modified for using in the educational game. The game engine is built on the base of the graphical engine Ogre3D and extended with game logic. The game has been developed as an industry level commercial product and is planned for sale to educational institutions.

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Proposta arquitetônica para o Centro de Treinamento dos Servidores do IFRN com base nos fatores de desempenho energético.

In recent years, as part of the expansion process of its activities, the Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte – IFRN (Federal Institute for Education, Science and Technology of the State of Rio Grande do Norte – IFRN) detected the need to hire more employees for the institution. This expansion process, a policy of the Federal Government, together with the increase of human resources, required the construction of an adequate facility in the municipality of São Gonçalo do Amarante-RN, for training and qualification and as a means of better enabling its personnel. Along with this policy, the Federal Government is also deeply concerned that its buildings be environmentally friendly. This study deals with this subject matter, as it develops an architectural design of a public building with an emphasis upon the reduction of energy consumption, through the study of energy performance factors such as defined by Carneiro (1988) and adapted by the author of the present study. It is known that residential, commercial and public buildings represent about 45 % of energy consumption in Brazil. That is why it is necessary to consider the reduction of such consumption in buildings, as well as the role that professionals, especially architects, play in this issue. The most effective participation in this regard in the field of architecture occurs in the design phase. However, the architectural solution proposed here goes beyond the energy performance factors, since it also involves other aspects, such as the definition of the concept, the parti and the spatial solution itself. In this sense, the architectural project of the Centro de Treinamento dos Servidores do IFRN - CTSIFRN (Training Center for IFRN Personnel – CTSFIRN) is particularly fitting as a subject for research at the Professional Master Program at PPGAU/UFRN, which is devoted to research on architecture, design and the environment.

Magnitude da morbidade relacionada ao trabalho no Rio Grande do Norte

Diseases and disorders related to work sets up an important public health problem in Brazil and worldwide. However, the reality of these diseases still constitutes a gap with regard to its characterization and epidemiological situation, especially in Brazil. In this context, this study aims to analyze the magnitude of morbidity related to work from the injuries and illnesses reported by Health the Diseases Notifiable of Health of the State Public River Health Department worker Reference Center Information System services Grande do Norte from 2007 to 2014. It is ecological study, quantitative cross-sectional study in which the analysis unit of the municipalities of Rio Grande do Norte. Data were collected from the state base of Diseases Notifiable Information System Centre of the Secretariat of State Workers' Health Reference Public Health of Rio Grande do Norte, between March and June 2015, after the approval of the Committee of Ethics in Research of the Federal University of Rio Grande do Norte, Opinion 014/2014. The population was represented by the universe of cases of diseases and disorders related to work that were reported and shut down the system from 2007 to 2014. Data were analyzed using descriptive and inferential statistics, presented in tables, graphs, charts and figures. For this, we used the Microsoft Excel 2007 and SPSS version 20.0. To check the significance level we opted for the application of the chi-square or Fisher tests. We adopted the significance level of p <0.05. Of the 10,161 cases of diseases related to the reported work, the biological work accidents had the highest percentage (52.84%) followed by serious occupational accidents (37.49%). For diseases, the highlights were musculoskeletal (4.82%), mental disorders (2.19%) and exogenous intoxication (1.97%). Among men, there was a predominance of major accidents (91.80%), mental disorders (70.00%) and exogenous poisoning (52.84%). Women were most affected by biological accidents (77.50%) and musculoskeletal diseases (64.10%). Among workers who have suffered injuries predominated mulatto (%), mean age of 35.86 years, low education (%) and workers in the formal sector (%). Among the accidents, biological (n = 5,369) accounted for 52.84% of cases occurred predominantly among nursing professionals (48.31%). The percutaneous exposure was the most frequent (73.05%) and the occurrence of circumstances was improper disposal of sharps (45.28%), the needle the most common agent (66.62%) and the organic material was blood (72.99%). Most injured workers were vaccinated against hepatitis B (68.13%), but no information as to the assessment of the vaccine response. In the course of the disease predominated ignored the situation with loss of monitoring of clinical follow-up (55.62%). There was also an increase in the notification of serious industrial accidents predominantly male (91.80%) workers aged 25-44 years (54.3%) and typical accidents (76.3%). The temporary disability was the most common outcome (55.53%) and hand the most affected part (33.00%); the mining and construction industry had the highest number of cases (25.1%) in registered employee (34.2%). The findings of this study show a positive result in relation to increased mandatory reporting of injuries and illnesses related to work together to health services that meet victimized workers, towards the occurrence of knowledge of these accidents for decision making in public plans and policies of health. However, the information system still needs improvement in both the coverage and the quality of the data to demonstrate with greater reliability the magnitude of events to support the planning of workers' health into shares in the state.

Integrated Housing Approach for Riyadh’s hot arid Climate: solutions from the desert vernacular

Thesis (Master's)--University of Washington, 2016-06

Do modelo geométrico ao modelo físico: o tridimensional na educação do arquiteto e urbanista

In the teaching practice of architecture and urbanism in Brazil, educational legislation views modeling laboratories and workshops as an indispensable component of the infrastructure required for the good functioning of any architectural course of study. Although the development of information technology at the international level has created new possibilities for digital production of architectural models, research in this field being underway since the early 1990s, it is only from 2007 onwards that such technologies started to be incorporated into the teaching activity of architecture and urbanism in Brazil, through the pioneering experience at LAPAC/FEC/UNICAMP. It is therefore a recent experiment whose challenges can be highlighted through the following examples: (i) The implementation of digital prototyping laboratories in undergraduate courses of architecture and urbanism is still rare in Brazil; (ii) As a new developing field with few references and application to undergraduate programs, it is hard to define methodological procedures suitable for the pedagogical curricula already implemented or which have already been consolidated over the years; (iii) The new digital ways for producing tridimensional models are marked with specificities which make it difficult to fit them within the existing structures of model laboratories and workshops. Considering the above, the present thesis discusses the tridimensional model as a tool which may contribute to the development of students skills in perceiving, understanding and representing tridimensional space. Analysis is made of the relation between different forms of models and the teaching of architectural project, with emphasis on the design process. Starting from the conceptualization of the word model as it is used in architecture and urbanism, an attempt is made to identify types of tridimensional models used in the process of project conception, both through the traditional, manual way of model construction as well as through the digital ones. There is also an explanation on how new technologies for digital production of models through prototyping are being introduced in undergraduate academic programs of architecture and urbanism in Brazil, as well as a review of recent academic publications in this area. Based on the paradigm of reflective practice in teaching as designed by Schön (2000), the experiment applied in the research was undertaken in the integrated workshop courses of architectural project in the undergraduate program of architecture and urbanism at Universidade Federal do Rio Grande do Norte. Along the experiment, physical modeling, geometric modeling and digital prototyping are used in distinct moments of the design process with the purpose of observing the suitability of each model to the project s phases. The procedures used in the experiments are very close to the Action Research methodology in which the main purpose is the production of theoretical knowledge by improving the practice. The process was repeated during three consecutive semesters and reflection on the results which were achieved in each cycle helped enhancing the next one. As a result, a methodological procedure is proposed which consists of the definition of the Tridimensional Model as the integrating element for the contents studied in a specific academic period or semester. The teaching of Architectural Project as it is developed along the fifth academic period of the Architecture and Urbanism undergraduate program of UFRN is taken as a reference

Permanências e perspectivas no ensino de projeto de arquitetura no Brasil: uma análise a partir da produção científica dos Seminários UFRGS (1985) e Projetar (2003-2011)

O objeto de estudo desta tese é o ensino de projeto de arquitetura no contexto acadêmico brasileiro. O trabalho procura analisar esse objeto nos aspectos relativos ao ensinar a fazer e ao aprender a fazer , por meio de uma perspectiva epistemológica e cognitiva, a partir da produção científica dos Seminários UFRGS (1985) e Projetar (2003-2011) sob o olhar de três estados constitutivos: conservação, permanência e transformação. A metodologia de investigação é qualitativa e seus pressupostos são investigad os por meio do método hipotético-dedutivo em busca de um conhecimento aproximativo. Dentro do universo pesquisado, as hipóteses conduzem: primeiro, à investigação e caracterização de estruturas que se conservam; segundo, à investigação e levantamento de valores e conceitos que permanecem adequados por sua capacidade de adaptação às mudanças e paradigmas; e, terceiro, por procurarem destacar práticas pedagógicas que indicam novos caminhos na maneira de agir e de se pensar o ensino de projeto de arquitetura. A pesquisa demonstrou que, embora em menores proporções, ainda se conservam ações e posturas pedagógicas que: valorizam os ideais funcionalistas e racionalistas da arquitetura; adotam posturas deterministas, caminhos prescritivos ou intuitivos no ensino da concepção arquitetural; não apresentam clareza metodológica na abordagem da problemática arquitetônica; os contextos urbanos são pouco explorados na experimentação; utilizam um sistema de concepção baseado em princípios estéticos canônicos e universais, sem problematizar as causas da transformação da arquitetura contemporânea e qual o seu papel numa sociedade complexa e diversificada. Com relação às novas perspectivas encontradas, a análise da produção científica demonstrou que a prática pedagógica do ensino de projeto de arquitetura no Brasil passa por transformações críticas valiosas. Essa constatação foi percebida, por meio, também, de reflexões e de práticas pedagógicas que valorizam a integração de conteúdos; que possuem um discurso crítico e conciliador com relação à necessidade de renovação de práticas, paradigmas, meios e conteúdos; que estão abertas às posturas cooperativas e às estratégias para a constituição de um corpo teórico-prático para o ensino do projeto que não se limite ao campo da arquitetura; que reconhecem a importância das novas tecnologias computacionais na concepção projetual e no ensino do projeto, assim como, as tecnologias e estratégias que atualizam as soluções projetuais no uso adequado dos recursos ambientais; que consideram o espaço acadêmico como um lugar propício para as experiências projetuais e pedagógicas; que manifestam um esforço em considerar a participação do usuário, assim como em realizar um processo de apreensão de contextos complexos como objeto de estudo, adotando uma postura de valorização do processo projetual. O trabalho conclui que a educação do arquiteto deve estar atenta aos aspectos relativos à inclusão da realidade sociocultural e ambiental como referência para o fazer arquitetural em detrimento da primazia dada à racionalidade técnica, uma vez que essa realidade permite a mediação, entre o ser e o mundo , como uma estratégia que supera qualquer antecipação programática e viabiliza a transformação e a construção do próprio ser e do mundo . Assim, se o aprender fazendo é necessário para a formação do arquiteto, que esse fazer seja refletido e retroalimente a prática

É ensinando que se aprende: um estudo sobre o ensino de projeto no Curso de Arquitetura e Urbanismo da Universidade Federal do Rio Grande do Norte (CAU UFRN)

You cannot teach architectonic design, but only learn it. This sentence was, during some decades, especially during the modernism, the starting point, adopted by several architectonic design professors, when they had to approach their subject. An attitude that, some years ago, was reviewed and fighted by area s experts. This paper join this criticism, and try to add something to the pre-existing discussion, analyzing with the case-study method all the subjects related with architectonic design of the Architecture and Urbanism degree, at Universidade Federal do Rio Grande do Norte CAU/UFRN . The aim is to identify and analyze the teaching methodologies used by the professors and their effects related to the students. To reach this purpose four different methods were used: i) Professors interviews; ii) Different forms submitted to students and professors; iii) Daily practice s observation, developed during classes; iv) Documents analysis about the degree (historical development and subjects) and about the subjects themselves (summaries, table of contents and planning). Studying the results, it was possible to underline that, in spite of the efforts of some of the professors to find a way to teach with more appropriate educational and pedagogic bases, some of the teaching methodologies, criticized in articles dealing with the matter, were still used. With regard to these, the research pointed out some suggestions that could help to improve the teaching and learning process, joining professors and students that are the most important subjects of the teaching activity. Developing the idea living in the paper s title Teaching and learning , it s now clear that only the practice, through the improvement of the pedagogic techniques, together with critical analysis can help the professors to reach a relationship level, regarding the teaching and learning process, as that described in the epigraph s text, into which teaching and learning, can t be done only by one of the process subject, but must be lived by both of them: professors and students