Design formula for the flexural strengthening of RC beams using prestressed CFRP reinforcement

Applying a certain prestress level to the carbon fiber reinforced polymer (CFRP) reinforcement according to either externally bonded reinforcing (EBR) or near surface mounted (NSM) techniques can mobilize the strengthening potentialities of this high tensile strength composite material. For the prediction of the flexural behavior of reinforced concrete (RC) structures strengthened with prestressed EBR or NSM CFRPs, however, simplified analytical and design formulations still need to be developed as a guidance for engineers to design this type of strengthened structures by hand calculation without any programming help. Hence, the current work aims to briefly explain a developed simplified analytical approach, with a design framework, to predict the flexural behavior of RC beams flexurally strengthened with either prestressed EBR or NSM CFRP reinforcements. Moreover, an upper limit for the prestress level is proposed in order to optimize the ductility performance of the NSM prestressing technique. The good predictive performance of the analytical approaches was appraised by simulating the results of experimental programs composed of RC beams strengthened with prestressed NSM CFRP reinforcements.

Numerical Assessment of the out-of-plane response of a brick masonry structure without box behaviour

This paper presents the assessment of the out-of-plane response due to seismic loading of a masonry structure without rigid diaphragm. This structure corresponds to real scale brick masonry specimen with a main façade connected to two return walls. Two modelling approaches were defined for this evaluation. The first one consisted on macro modelling, whereas the second one on simplified micro modelling. As a first step of this study, static nonlinear analyses were conducted to the macro model aiming at evaluating the out-of-plane response and failure mechanism of the masonry structure. A sensibility analyses was performed in order to assess the mesh size and material model dependency. In addition, the macro models were subjected to dynamic nonlinear analyses with time integration in order to assess the collapse mechanism. Finally, these analyses were also applied to a simplified micro model of the masonry structure. Furthermore, these results were compared to experimental response from shaking table tests. It was observed that these numerical techniques simulate correctly the in-plane behaviour of masonry structures. However, the

Triple negative breast cancer: nanosolutions for a big challenge

Triple negative breast cancer (TNBC) is a particular immunopathological subtype of breast cancer that lacks expression of estrogen and progesterone receptors (ER/PR) and amplification of the human epidermal growth factor receptor 2 (HER2) gene. Characterized by aggressive and metastatic phenotypes and high rates of relapse, TNBC is the only breast cancer subgroup still lacking effective therapeutic options, thus presenting the worst prognosis. The development of targeted therapies, as well as early diagnosis methods, is vital to ensure an adequate and timely therapeutic intervention in patients with TNBC. This review intends to discuss potentially emerging approaches for the diagnosis and treatment of TNBC patients, with a special focus on nano-based solutions that actively target these particular tumors.

A construção de um currículo de project-based learning: o currículo ideal e o currículo formal

O objetivo deste trabalho é apresentar os resultados da análise das concepções de dois protagonistas de uma reforma curricular que está sendo implementada numa escola de engenharia. A principal característica do novo currículo é o uso de projetos e oficinas como atividades complementares a serem realizadas pelos estudantes. As atividades complementares acontecerão em paralelo ao trabalho realizado nas disciplinas sem que haja uma relação de interdisciplinaridade. O novo currículo está sendo implantado desde fevereiro de 2015. Segundo Pacheco (2005) há dois momentos, dentre outros, no processo de mudança curricular, o currículo “ideal”, determinado por dimensões epistemológica, política, econômica, ideológica, técnica, estética, e histórica e, que recebe influência direta daquele que idealiza e cria o novo currículo e, o currículo “formal” que se traduz na prática implementada na escola. São essas duas etapas estudadas nesta pesquisa. Para isso serão considerados como fontes de dados dois protagonistas, um mais ligado à concepção do currículo e outro da sua implementação, a partir dos quais se busca compreender as motivações, crenças e percepções que, por sua vez, determinam a reforma curricular. Entrevistas semiestruturadas foram utilizadas como técnica de pesquisa, com o propósito de se entender a gênese da proposta e as mudanças entre essas duas etapas. Os dados revelam que mudanças aconteceram desde a idealização até a formalização do currículo, motivadas por demandas do processo de implementação, revela ainda diferenças na visão de currículo e a motivação para romper com padrões na formação de engenheiros no Brasil.

Engenheiros portugueses no século XVIII: as suas "geometrias especulativas"

O século XVIII Português foi, à semelhança do resto da Europa, fértil em alterações académicas, científicas e ideológicas. O desenvolvimento da ciência e da técnica, o surgimento das primeiras máquinas, impulsionou a área do saber, que atualmente chamamos de engenharia. Em Portugal (à época ainda um império do qual fazia parte, entre outros, o Brasil), as escolas técnicas e militares consolidam-se e surgem vários engenheiros e militares de renome cujas obras se difundem pelo reino. Manuel de Azevedo Fortes (1660-1749), engenheiro-mor do reino Português, publicou, em 1728 e 1729, os dois tomos de uma das suas obras maiores, O Engenheiro Português, obra dedicada à formação dos engenheiros na Academia Militar de Lisboa.. A primeira parte deste tratado aborda os conhecimentos matemáticos que Azevedo Fortes considera essenciais na formação dos engenheiros. Na sua Geometria Especulativa, um manuscrito datado de 1724, aborda os elementos de geometria e trigonometria, sem esquecer as suas aplicações. O Brigadeiro José Fernandes Pinto Alpoim (1700-1765), engenheiro que se destacou na arquitetura e fortificação do Brasil no século XVIII, publicou o Exame de Artilheiros em 1744 e Exame de Bombeiros em 1748, obras contendo os princípios da geometria e da trigonometria e as suas aplicações à engenharia militar que se destinavam ao ensino dos militares na Academia Militar do Rio de Janeiro, onde era professor. Nesta comunicação analisaremos a matemática, em particular a geometria, presente nestas obras, salientando não só os conteúdos abordados mas a ênfase dada às aplicações desses conteúdos nos contextos militares da época.

Insider threats: the major challenge to security risk management

Security risk management is by definition, a subjective and complex exercise and it takes time to perform properly. Human resources are fundamental assets for any organization, and as any other asset, they have inherent vulnerabilities that need to be handled, i.e. managed and assessed. However, the nature that characterize the human behavior and the organizational environment where they develop their work turn these task extremely difficult, hard to accomplish and prone to errors. Assuming security as a cost, organizations are usually focused on the efficiency of the security mechanisms implemented that enable them to protect against external attacks, disregarding the insider risks, which are much more difficult to assess. All these demands an interdisciplinary approach in order to combine technical solutions with psychology approaches in order to understand the organizational staff and detect any changes in their behaviors and characteristics. This paper intends to discuss some methodological challenges to evaluate the insider threats and its impacts, and integrate them in a security risk framework, that was defined according to the security standard ISO/IEC_JTC1, to support the security risk management process.

Gestão da manutenção de edifícios em unidades hospitalares

Dissertação de mestrado em Construção e Reabilitação Sustentáveis

Using relational algebra on the specification of real world ETL processes

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

Engineering of fatty acid production and secretion in Saccharomyces cerevisiae

Tese de Doutoramento em Ciências - Especialidade em Biologia

Clear cell adenocarcinoma of the cervix in a young woman: a diagnostic challenge

Clear cell adenocarcinoma of the cervix is a rare tumor, classically related with in utero diethylstilbestrol (DES) exposure. The authors report a rare case of clear cell adenocarcinoma of the cervix in a 21-yearold woman who had no history of in utero DES exposure, presenting with intermittent vaginal bleeding. It stresses the relevance to always clarify the etiology of abnormal genital bleeding and consider the possibility of cervicovaginal tumors.

Alfabetização de jovens e adultos no estado do Rio de Janeiro, Brasil: o significado de um desafio para a inclusão social

Tese de Doutoramento em Ciências da Educação

Development of folate-targeted liposomes for rheumatoid arthritis therapy

Tese de Doutoramento em Biologia Molecular e Ambiental (área de especialização em Biologia Celular e Saúde).

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Definição de indicadores para estimar custos de projeto e análise paramétrica dos eurocódigos estruturais

Dissertação de mestrado integrado em Engenharia Civil