Dependent Types for Class-based Mutable Objects

We present an imperative object-oriented language featuring a dependent type system designed to support class-based programming and inheritance. Programmers implement classes in the usual imperative style, and may take advantage of a richer dependent type system to express class invariants and restrictions on how objects are allowed to change and be used as arguments to methods. By way of example, we implement insertion and deletion for binary search trees in an imperative style, and come up with types that ensure the binary search tree invariant. This is the first dependently-typed language with mutable objects that we know of to bring classes and index refinements into play, enabling types (classes) to be refined by indices drawn from some constraint domain. We give a declarative type system that supports objects whose types may change, despite being sound. We also give an algorithmic type system that provides a precise account of quantifier instantiation in a bidirectional style, and from which it is straightforward to read off an implementation. Moreover, all the examples in the paper have been run, compiled and executed in a fully functional prototype that includes a plugin for the Eclipse IDE

Dependent Types for Class-based Mutable Objects (Artifact)

This artifact is based on DOL, a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping. The typechecker written in Xtend, a flexible and expressive dialect of Java, is a direct implementation of the algorithmic type system described in the companion paper. It uses a direct interface to Z3 theorem prover via its API for Java. The artifact ships with an IDE developed as an Eclipse plugin based on the Xtext framework

Metodologia Híbrida para a Previsão dos Preços do Mercado Elétrico com Integração Renovável

Devido ao novo paradigma por um sector elétrico inteligente, descarbonizado e sustentável, os desafios para a rentabilidade e correta gestão ainda são consideráveis. No entanto, com ferramentas e técnicas que permitam uma real, robusta e rentável aproximação pela via da previsão, é possível a minimização dos custos, flexibilização e melhoria da operacionalidade global do sistema. Assim, são objetivos: 1. Revisão bibliográfica das metodologias mais recentes de previsão propostas na comunidade científica. 2. Desenvolvimento de uma metodologia de previsão de perfis de aproveitamentos renováveis (eólica e fotovoltaica) e dos perfis dos preços de eletricidade no curto intervalo temporal, considerando por exemplo, técnicas híbridas de previsão.Due to the new paradigm for an intelligent, decarbonized and sustainable electric sector, the challenges to profitability and correct management are still considerable.However, with tools and techniques that allow a real, robust and cost-effective approximation by way of forecasting, it is possible to minimize costs, flexibilize and improve the overall operability of the system.Thus, the objectives are:1. Bibliographic review of the most recent forecasting methodologies proposed in the scientific community.2. Development of a methodology for forecasting renewable energy profiles (wind and photovoltaic) and electricity price profiles in the short time interval, considering, for example, hybrid forecasting techniques

PRÉ-FABRICAÇÃO: entre a redescoberta e a memória na CONSTRUÇÃO do futuro

Esta dissertação surge de uma curiosidade e um interesse pessoal pela temática da pré-fabricação, em especial pela sua vertente mais técnica. As várias condições atuais da nossa sociedade levaram a que este interesse se elevasse e que se tenha vindo a tornar cada vez mais relevante o estudo de métodos construtivos de pré-fabricação, como forma de enfrentar as várias problemáticas, desde as alterações climáticas, ao problema da habitação. Este trabalho surge com um propósito de rever algumas das mais importantes figuras, experiências e episódios do uso da pré-fabricação. No entanto, não se pretende que este trabalho seja apenas uma revisão histórica e literária, com um caráter analítico. Deste modo, é rematado este conhecimento adquirido num capítulo onde se pretende perceber as potencialidades de novos materiais e de que modo o conhecimento das técnicas de pré-fabricação pode contribuir para o seu re-equacionamento à luz das necessidades de hoje, designadamente de uma construção a seco como é o caso do CLT, indagando possibilidades de conceber novos sistemas constructivos e, por consequência, novas arquiteturas.This dissertation arises from a personal interest and curiosity about prefabrication, especially for its more technical aspect. The current conditions of our society lead to a rising interest on this matter, making it ever more relevant the study of prefabricated construction methods, as a way of dealing with the several problems, from the climate change, to the housing problem. This work comes to light inder the purpose of reviewing some of the most importante figures, experiences and episodes of the use of prefabrication. However, the purpose of this work is not to be merely an historic and literary review, with a only na analytical character. With this in mind, the aquired knowledge is finished of in a chapter where it is intended to understand and highlight the potencial of new materials and in what way the knowledge of these techniques of prefabrication can contribute to its re-equation in the light of the needs of today, namely of dry construction, as is the case for CLT, inquiring possibilities of conceiving new constrction systems and, therefore, new architectures

INFECÇÃO GENITAL POR CHLAMYDIA TRACHOMATIS E NEISSERIA GONORRHOEAE EM HOMENS ASSINTOMÁTICOS

Introduction: Genital infection by Chlamydia trachomatis (CT) and Neisseria gonorrhoeae (NG) is common and may be asymptomatic, particularly for CT. The availability of nucleic acid amplification tests with high diagnostic sensibility and specificity allowed implementing routine screening in Sexually Transmitted Infections (STI) Clinics. We aimed to determine the prevalence of genital infection by these bacteria in asymptomatic men attending an STI Clinic in a Dermatology Department and to characterize this subpopulation.Methods: A retrospective 51-month-period study on male patients attending a STI Clinic in Lisbon and screened for asymptomatic genital infection by CT and NG was conducted. Data on demographics, sexual behavior, CT and NG screening results and other co-existing STIs were retrieved.Results: A total of 199 patients were analyzed. The prevalence of asymptomatic genital infection by CT and NG was 5% (10 patients) and 0.5% (1 patient), respectively. Asymptomatic genital infection by CT was higher in heterosexual men (7.8% vs 1.3%) and median age of the infected patients group was lower, although not statistically significant.Conclusion: Our study showed a prevalence of asymptomatic genital infection of 5.5% in male patients, which is in line with global epidemiologic data, thus further supporting the current recommendations on routine screening of these infections in the STI Clinic.Introdução: A infecção genital por Chlamydia trachomatis (CT) e Neisseria gonorrhoeae (NG) é frequente, sendo a infecção assintomática importante sobretudo no caso da CT. A disponibilidade de técnicas de amplificação de ácidos nucleicos de elevada sensibilidade e especificidade para o diagnóstico de infecção genital por estas bactérias levou à implementação do seu rastreio sistemático em Consultas de Infecções Sexualmente Transmissíveis (ISTs). Os autores pretenderam determinar a prevalência de infecção genital por CT e NG em homens assintomáticos numa Consulta de Venereologia e caracterizar a população testada.Métodos: Foi realizado um estudo retrospectivo em indivíduos do sexo masculino observados pela primeira vez na Consulta de Venereologia de um Serviço de Dermatologia em Lisboa, durante um período de 51 meses, rastreados para infecção genital assintomática por CT e NG.Resultados: Na população estudada (n = 199), a prevalência de infecção genital assintomática por CT e NG foi de 5% (10 doentes) e 0,5% (1 doente), respectivamente. Verificou-se uma maior prevalência de infecção por CT nos heterossexuais (7,7% vs 1,3%) e a idade mediana do grupo dos infectados mostrou-se inferior, embora não estatisticamente significativa.Conclusão: A prevalência de 5,5% de infecção genital assintomática em homens encontrada no nosso estudo está de acordo com dados epidemiológicos de outros estudos e apoia as actuais recomendações em rastrear estas infecções na Consulta de ISTs

ESTABILIZAÇÃO DE GORDURA RENDERIZADA A PARTIR DE SUBPRODUTOS DE ORIGEM ANIMAL

A produção e o consumo mundial de carne têm seguido uma tendência em au- mentar com o passar dos anos devido a globalização dos produtos alimentares. De entre as carnes, a carne de aves destaca-se como aquela que sofreu o maior aumento relativo na produção e procura comparativamente as outras. Preocupações em relação ao aumento da produção e consumo de carnes têm vindo a realçar a importância que tem o aproveitamento do elevado número de subprodutos originados pelo abate e transformação de aves, e, portanto, métodos de valorização destes têm vindo a ser otimizados ao longo dos anos como é exemplo o aproveitamento dos subprodutos para a produção de alimento para animais domésticos e de criação. A Avibom Aví- cola, S.A é uma sociedade com estrutura familiar e dedica-se ao abate de aves com capacidade para abater por hora 11500 aves. Devido ao abate significativo a Avibom Avícola, S.A possui uma unidade de transformação de subprodutos em farinha pro- teica e gordura de aves, ambos utilizados na indústria de produção de ração animal. A gordura é suscetível ao processo de oxidação lipídica que reduz a sua qualidade e valor comercial aumentado a sua acidez sendo de interesse a utilização de antioxidan- tes sintéticos para a estabilizar, no entanto nunca existiu uma abordagem científica em relação a concentração ótima deste aditivo a utilizar demonstrando então a necessi- dade de realizar uma monitorização da estabilidade do subproduto transformado ao longo do tempo com diferentes dosagens. Esta monitorização permitiu compreender a eficiência que diferentes concentrações de antioxidante têm no subproduto transfor- mado realçando a necessidade da sua redução devido a sua ineficácia demonstrada para as condições da empresa na estabilização da gordura e realçando também a im- portância do controlo de outras variáveis, como a temperatura, na busca do melhora- mento da estabilidade da gordura de aves.The world production and consumption of meat has followed a tendency to in- crease over the years due to the globalization of food products. Among the meats, poultry stands out as the one that has suffered the greatest relative increase in pro- duction and demand compared to the others. Concerns regarding the increase in meat production and consumption have been emphasizing the importance of taking ad- vantage of the high number of by-products originated from the slaughter and pro- cessing of poultry, and, therefore, methods of valuing these have been optimized over the years, as an example the use of by-products to produce food for domestic and farm animals. Avibom Avícola, S.A is a company with a family structure and is dedicated to the slaughter of birds with the capacity to slaughter 11,500 birds per hour and due to the significant slaughter, Avibom Avícola, S.A has a unit for the transformation of by-products into protein meal and poultry fat, both used in the animal feed industry. The rendered fat is susceptible to the lipid oxidation process, which reduces its quality and commercial value, by increasing its acidity, raising the need to use synthetic anti- oxidants to stabilize it, however, there has never been a scientific approach in relation to the optimal concentration of this type of additive at use, thus demonstrating the need to monitor the stability of the transformed by-product over time with different applied dosages. This monitoring made it possible to understand the efficiency that different concentrations of antioxidant have in the transformed by-product, highlight- ing the need for its reduction due to its inability to stabilize the poultry fat in the com- pany's operational setting and highlighting the importance of controlling other varia- bles, such as temperature, in the search for improvement of the poultry fat stability

Analytical seismic fragility curves for ancient masonry buildings in Portugal

The seismic performance of buildings has received special attention due to the interest in the built heritage conservation and protection of human life. The historic urban centers are dominated by old unreinforced masonry (URM) buildings, which techniques and construction materials have evolved during centuries. Given the presence of these buildings in areas of significant seismicity, extensive research is needed to assess the seismic risk and define mitigation policies. This kind of studies is often supported by empirical methods and based on expert judgment due to the high variability of the building stock and lack of information. The main purpose of this work is to provide analytical fragility curves for representative masonry buildings in Portugal, built before the introduction of the first design code for building safety against earthquakes (RSSCS) in 1958. Thus, the fragility curves derived can characterize the capacity of the Portuguese building stock considering the randomness in the material properties and the variability in the geometry.Foundation for Science and Technology (FCT) under Grant number PD/BD/135325/2017 in the scope of the InfraRisk Doctoral Programme. STAND4HERITAGE project that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant agreement No. 833123), as an Advanced Grant

Violencia cotidiana y fenomenología

Una indagación sobre la violencia como forma extrema de gestión de los conflictos, su despliegue en la cotidianidad y teniendo como marco la propuesta conceptual de Schütz, es un asunto de relevancia académica y ética por cuanto es en el mundo cotidiano donde los trabajadores sociales se desempeñan primordialmente y son esas circunstancias de violencia las que, sin proponérselo tal vez, reproducen y alientan a través de su acción. Desde el punto de vista de la actividad profesional este estudio ofrece información que permite desarrollar estrategias educativas, personales, familiares, comunitarias, institucionales proclives a la comprensión, gestión y transformación de los conflictos donde el recurso de la violencia sea sólo uno, y preferiblemente el último, dentro de la gama de posibilidades. El capítulo se ocupa de presentar algunas generalidades sobre la violencia como fenómeno/tema de indagación por parte de las Ciencias Sociales. A renglón seguido aborda la especificidad de la violencia en escenarios cotidianos. La fenomenología y las categorías que pone a disposición para indagar el mundo de sentido se presentan enseguida, para avanzar luego a los hallazgos del estudio original. Se cierra el capítulo con algunas consideraciones finales.Facultad de Trabajo Socia

On some identities for balancing and cobalancing numbers

As a consequence of the Binet formula for balancing, cobalancing, square triangular, Lucas-balancing and Lucas-cobalancing numbers, we provide some formulas for these sequences explicitly, which can have certain importance or applications in most recently investigations in this area. Also we give another expression for the general term of each sequence, using the ordinary generating function