Ochrona i konserwacja zasobu w archiwach państwowych w Polsce

Wydział Historyczny

Some Considerations on a Calculus with Weak References

Weak references are references that do not prevent the object they point to from being garbage collected. Most realistic languages, including Java, SML/NJ, and OCaml to name a few, have some facility for programming with weak references. Weak references are used in implementing idioms like memoizing functions and hash-consing in order to avoid potential memory leaks. However, the semantics of weak references in many languages are not clearly specified. Without a formal semantics for weak references it becomes impossible to prove the correctness of implementations making use of this feature. Previous work by Hallett and Kfoury extends λgc, a language for modeling garbage collection, to λweak, a similar language with weak references. Using this previously formalized semantics for weak references, we consider two issues related to well-behavedness of programs. Firstly, we provide a new, simpler proof of the well-behavedness of the syntactically restricted fragment of λweak defined previously. Secondly, we give a natural semantic criterion for well-behavedness much broader than the syntactic restriction, which is useful as principle for programming with weak references. Furthermore we extend the result, proved in previously of λgc, which allows one to use type-inference to collect some reachable objects that are never used. We prove that this result holds of our language, and we extend this result to allow the collection of weakly-referenced reachable garbage without incurring the computational overhead sometimes associated with collecting weak bindings (e.g. the need to recompute a memoized function). Lastly we use extend the semantic framework to model the key/value weak references found in Haskell and we prove the Haskell is semantics equivalent to a simpler semantics due to the lack of side-effects in our language.

Caza y comercio de cueros de Tupinambis spp. en un departamento de la provincia de San Luis y la relación con los mercados mundiales y las políticas de conservación

p.187-196

The exposure to verbal abuse of student nurses gaining placement experience

Clinical placement experience has a key role to play in the socialisation and preparation of future members of the nursing profession. Aggression experienced by healthcare workers is currently receiving considerable attention and student nurses have been identified as a group vulnerable to experiencing workplace abuse (Little 1999). The primary aim of the study is to gain a greater understanding of the nature, severity, frequency and sources of verbal abuse experienced by student nurses in health care settings in the south east of England, using as a definition, “the use of inappropriate words… causing distress” (Department of Health 2003). A convenience sample of 156 third year student nurses of all four branches of one preregistration nursing programme in the south east of England was studied with questionnaires distributed retrospectively; 11 4 student nurses returned the questionnaires equating to a response rate of 73%. Results 46% of respondents reported experiencing verbal abuse, 39% had witnessed other students experiencing verbal abuse and 61% reported that they were aware of other students experiencing verbal abuse. Students reported experiencing threats to kill, racial abuse, sexually orientated verbal abuse and bullying while gaining placement experience. Student nurses are a high risk group for experiencing verbal abuse whilst gaining placement experience.In the literature, mental health and learningdisability settings are viewed as high risk areasfor experiencing aggression (Beech and Leather 2003); this study suggests that student nurses experience verbal abuse in a variety of settings and verbal abuse may be more prevalent on general medical and surgical wards than previously expected.

Ranking of microRNA target prediction scores by Pareto front analysis

Over the past ten years, a variety of microRNA target prediction methods has been developed, and many of the methods are constantly improved and adapted to recent insights into miRNA-mRNA interactions. In a typical scenario, different methods return different rankings of putative targets, even if the ranking is reduced to selected mRNAs that are related to a specific disease or cell type. For the experimental validation it is then difficult to decide in which order to process the predicted miRNA-mRNA bindings, since each validation is a laborious task and therefore only a limited number of mRNAs can be analysed. We propose a new ranking scheme that combines ranked predictions from several methods and - unlike standard thresholding methods - utilises the concept of Pareto fronts as defined in multi-objective optimisation. In the present study, we attempt a proof of concept by applying the new ranking scheme to hsa-miR-21, hsa-miR-125b, and hsa-miR-373 and prediction scores supplied by PITA and RNAhybrid. The scores are interpreted as a two-objective optimisation problem, and the elements of the Pareto front are ranked by the STarMir score with a subsequent re-calculation of the Pareto front after removal of the top-ranked mRNA from the basic set of prediction scores. The method is evaluated on validated targets of the three miRNA, and the ranking is compared to scores from DIANA-microT and TargetScan. We observed that the new ranking method performs well and consistent, and the first validated targets are elements of Pareto fronts at a relatively early stage of the recurrent procedure. which encourages further research towards a higher-dimensional analysis of Pareto fronts. (C) 2010 Elsevier Ltd. All rights reserved.

Biosensor based toxicity dissection of tannery and associated environmental samples

Kenyan tannery and associated environmental samples were selected for ecotoxicological assessment. A tool-kit of techniques was developed, including whole-cell biosensor and chemical assays. A luminescence based bacterial biosensor (Escherichia coli HB101 pUCD607) (via a multi-copy plasmid) was used for toxicity assessment. Samples were manipulated prior to biosensor interrogation to identify the nature of the toxic contaminants. Untreated samples (before any manipulations) showed a strong toxic effect at the discharge point in comparison to other sampling points. Sparging was used to identify toxicity associated with volatile organics. The toxicity of contaminants, removed by treatment with activated charcoal was identified for all the sampling points except for those upstream of effluent discharges. Filtration identified toxicity associated with suspended solids. Changes in availability of toxic contaminants due to pH adjustment of most samples from the tannery effluent treatment pits were also associated with the extreme pH values (4.0 and 8.0). The approach used has highlighted the complexicity of toxic pollutants in effluent from the tanning industry and the dissection of toxicity points to possible remediation strategies for effluents from the tanning industry.

Power Capping: What Works, What Does Not

Peak power consumption is the first order design constraint of data centers. Though peak power consumption is rarely, if ever, observed, the entire data center facility must prepare for it, leading to inefficient usage of its resources. The most prominent way for addressing this issue is to limit the power consumption of the data center IT facility far below its theoretical peak value. Many approaches have been proposed to achieve that, based on the same small set of enforcement mechanisms, but there has been no corresponding work on systematically examining the advantages and disadvantages of each such mechanism. In the absence of such a study,it is unclear what is the optimal mechanism for a given computing environment, which can lead to unnecessarily poor performance if an inappropriate scheme is used. This paper fills this gap by comparing for the first time five widely used power capping mechanisms under the same hardware/software setting. We also explore possible alternative power capping mechanisms beyond what has been previously proposed and evaluate them under the same setup. We systematically analyze the strengths and weaknesses of each mechanism, in terms of energy efficiency, overhead, and predictable behavior. We show how these mechanisms can be combined in order to implement an optimal power capping mechanism which reduces the slow down compared to the most widely used mechanism by up to 88%. Our results provide interesting insights regarding the different trade-offs of power capping techniques, which will be useful for designing and implementing highly efficient power capping in the future. 

Decentralizing IP mobility management in future networks

The massive adoption of sophisticated mobile devices and applications led to the increase of mobile data in the last decade, which it is expected to continue. This increase of mobile data negatively impacts the network planning and dimension, since core networks are heavy centralized. Mobile operators are investigating atten network architectures that distribute the responsibility of providing connectivity and mobility, in order to improve the network scalability and performance. Moreover, service providers are moving the content servers closer to the user, in order to ensure high availability and performance of content delivery. Besides the e orts to overcome the explosion of mobile data, current mobility management models are heavy centralized to ensure reachability and session continuity to the users connected to the network. Nowadays, deployed architectures have a small number of centralized mobility anchors managing the mobile data and the mobility context of millions of users, which introduces issues related to performance and scalability that require costly network mechanisms. The mobility management needs to be rethought out-of-the box to cope with atten network architectures and distributed content servers closer to the user, which is the purpose of the work developed in this Thesis. The Thesis starts with a characterization of mobility management into well-de ned functional blocks, their interaction and potential grouping. The decentralized mobility management is studied through analytical models and simulations, in which di erent mobility approaches distinctly distribute the mobility management functionalities through the network. The outcome of this study showed that decentralized mobility management brings advantages. Hence, it was proposed a novel distributed and dynamic mobility management approach, which is exhaustively evaluated through analytical models, simulations and testbed experiments. The proposed approach is also integrated with seamless horizontal handover mechanisms, as well as evaluated in vehicular environments. The mobility mechanisms are also speci ed for multihomed scenarios, in order to provide data o oading with IP mobility from cellular to other access networks. In the pursuing of the optimized mobile routing path, a novel network-based strategy for localized mobility is addressed, in which a replication binding system is deployed in the mobility anchors distributed through the access routers and gateways. Finally, we go further in the mobility anchoring subject, presenting a context-aware adaptive IP mobility anchoring model that dynamically assigns the mobility anchors that provide the optimized routing path to a session, based on the user and network context. The integration of dynamic and distributed concepts in the mobility management, such as context-aware adaptive mobility anchoring and dynamic mobility support, allow the optimization of network resources and the improvement of user experience. The overall outcome demonstrates that decentralized mobility management is a promising direction, hence, its ideas should be taken into account by mobile operators in the deployment of future networks.

Revival: The Aesthetics of Revival Subcultures and Re-enactment Groups Explored Through Fashion Image-making

This research aims, through performance, fashion photography, video making and the theatrical devices that accompany such practice, to explore the style of a contemporary, largely male, subcultural collective. The common term that joins these loosely bound groups is revival as they appear driven by an impulse to simulate and re-enact the dress, rites and rituals of British and American subcultures from a perceived golden era. The similarities with re-enactment societies are also explored and exploited to the end of developing new style- based aesthetics in male fashion image-making formed around an elaborate re- enactment of Spartacus and the Third Servile Wars. Examined through comparative visuals (revivalists / re-enactors) a common thread is found in the wearing of leather as a metaphor for resistance, style and a pupa-like second skin. Subsequent findings of this research suggest that the cuirass of popular culture emerges as the motorcycle jacket of both the sword and sandal epic and the historical re-enactor. Addressing extremes in narcissistic dress and behaviour amongst certain individuals within these older male communities, this study also questions parts of established theory on subcultural development within the field of cultural studies and postulates on a metaphorical dandy gene. Citing two leading practitioners in the field of fashion photography the work of both Richard Prince and Bruce Weber is viewed through the lens of the subcultural aesthete and conclusions drawn as to their role as agents provocateurs in the development of the fashion image with a revival based narrative. In addition the often used term retro is examined, categorised and granted its own genre within fashion image- making and defined as being separate from the practice element of this research. Reflecting a multi-disciplinary approach that engages the researcher as Bricoleur and participant observer this research operates in the reflexive realm and uses simulation as a key method of enquiry. The practice-led outcome of this investigation takes the form of a final research exhibition that takes the form of a substantial installation of photography, video, clothing and textile prints. Key terms: dandy gene, historical re-enactment groups, internal theatre, narcissism, narrative image-making, reflexive practice, revival as theatre, subcultures,

Piñatex, the design development of a new sustainable material

This is a research project by practice, which firstly develops a new material invention derived from natural fibres extracted from waste pineapple leaves; secondly it articulates the contemporary designer’s role in facilitating sustainable solutions through: Insights from my own material invention, PiñatexTM, which integrates the materiality of design with the immateriality of concepts and values Developing a visual model of mapping I began with these questions: ‘What are the challenges in seeking to make a new and sustainable material from the waste products of pineapple agriculture in the Philippines?’ and ‘How can a design practice link elements of materiality (artifacts) with immaterial elements (value systems) in order to improve sustainable social and economic development?’ Significant influences have been the work of Papanek1 (2003), Hawken2 (1999) and Abouleish3 (2008) and in particular the ethical business model initiated by McDonough and Braungart in Cradle to Cradle®4 (2002). My own research project is inspired by the Cradle to Cradle® model. It proposes the development of a new material, PiñatexTM which is derived from natural fibres extracted from waste pineapple leaves and could be used in a wide variety of products that are currently fabricated in leather or petroleum-based materials. The methods have comprised: Contextual reviews; case studies (SEKEM, Cradle to Cradle® and Gawad Kalinga); practical experiments in the field of natural fibres, chemistry, product development, manufacturing and prototyping, leading to an invention and a theoretical model of mapping. In addition, collaboration has taken place across scientific, technological, social, ecological, academic and business fields. The outcome is a new material based on the synchronicity between the pineapple fibres, polymers, resins and coatings specially formulated. The invention of the new material that I developed as a central part of this research by practice has a patent in the national phase (PCT/GB 2011/000802) and is in the first stages of manufacturing, commercial testing and further design input (Summer 2014). The contribution to knowledge is firstly the material, PiñatexTM, which exhibits certain key qualities, namely environmentally non-toxic, biodegradable, income-generating potential and marketability. This is alongside its intrinsic qualities as a textile product: aesthetic potential, durability and stability, which will make it suitable for the accessories, interiors and furnishing markets. The theoretical mapping system Upstream and Downstream forms a secondary contribution.

Technology-related strategies in labour-intensive industries from Southern European Regions: consequences for local employment

Tese dout., Economia, Universidade do Algarve, 2010

Tradução e legendagem do documentário: memórias do ofício

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação do Dr. Manuel Fernando Moreira da Silva

Estágio na empresa Ângelo Coimbra & C.A.,Lda.

Relatório de estágio apresentado no Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas Orientado por Prof. Doutor Eduardo Manuel Lopes de Sá e Silva Co-Orientado pelo Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Desenvolvimento de Frameworks de Testes Automáticos de Software

O objetivo deste trabalho é o desenvolvimento de frameworks de testes automáticos de software. Este tipo de testes normalmente está associado ao modelo evolucionário e às metodologias ágeis de desenvolvimento de software, enquanto que os testes manuais estão relacionados com o modelo em cascata e as metodologias tradicionais. Como tal foi efetuado um estudo comparativo sobre os tipos de metodologias e de testes existentes, para decidir quais os que melhor se adequavam ao projeto e dar resposta à questão "Será que realmente compensa realizar testes (automáticos)?". Finalizado o estudo foram desenvolvidas duas frameworks, a primeira para a implementação de testes funcionais e unitários sem dependências a ser utilizada pelos estagiários curriculares da LabOrders, e a segunda para a implementação de testes unitários com dependências externas de base de dados e serviços, a ser utilizada pelos funcionários da empresa. Nas últimas duas décadas as metodologias ágeis de desenvolvimento de software não pararam de evoluir, no entanto as ferramentas de automação não conseguiram acompanhar este progresso. Muitas áreas não são abrangidas pelos testes e por isso alguns têm de ser feitos manualmente. Posto isto foram criadas várias funcionalidades inovadoras para aumentar a cobertura dos testes e tornar as frameworks o mais intuitivas possível, nomeadamente: 1. Download automático de ficheiros através do Internet Explorer 9 (e versões mais recentes). 2. Análise do conteúdo de ficheiros .pdf (através dos testes). 3. Obtenção de elementos web e respetivos atributos através de código jQuery utilizando a API WebDriver com PHP bindings. 4. Exibição de mensagens de erro personalizadas quando não é possível encontrar um determinado elemento. As frameworks implementadas estão também preparadas para a criação de outros testes (de carga, integração, regressão) que possam vir a ser necessários no futuro. Foram testadas em contexto de trabalho pelos colaboradores e clientes da empresa onde foi realizado o projeto de mestrado e os resultados permitiram concluir que a adoção de uma metodologia de desenvolvimento de software com testes automáticos pode aumentar a produtividade, reduzir as falhas e potenciar o cumprimento de orçamentos e prazos dos projetos das organizações.

Minimização do impacto ambiental do processo de curtume de pele de bovino

O presente trabalho teve como objectivo a minimização do impacto ambiental do processo de curtume da pele de bovino. A indústria de curtumes transforma a pele, material putrescível, em couro, material nobre, termicamente estável e imputrescível. A transformação da pele em couro origina uma carga poluente apreciável quer quanto a efluentes líquidos quer quanto a resíduos sólidos. O fluxo produtivo da indústria de curtumes pode dividir-se em quatro sectores: ribeira, curtume, tinturaria e acabamento, sendo que os três primeiros geram efluentes líquidos com elevada carga poluente. Neste trabalho, foram avaliadas as fases do processo que geram efluentes líquidos: molho, caleiro, curtume e tinturaria. Na avaliação do processo do molho testou-se uma protease e uma lipase contra um molhante e um desengordurante tradicional, agentes químicos normalmente utilizados no molho mas menos biodegradáveis que as enzimas testadas. Salienta-se o bom resultado obtido quanto à eficiência do molho Na avaliação do processo de caleiro testaram-se várias alternativas no sentido da redução da quantidade de sulfureto de sódio utilizada e da minimização da carga poluente. Entre as alternativas, depilação por oxidação, depilação enzimática com e sem destruição do pêlo, elegeu-se a depilação enzimática sem destruição do pêlo que conduziu a resultados com menor impacto ambiental, nomeadamente a redução da % da quantidade de sulfureto de sódio, sendo a redução da carga poluente de 4,19 % de sulfureto, 32.80% de sólidos suspensos totais (SST),27.09% de sólidos totais (ST) e de 76.90% da carência química de oxigénio (CQO) no efluente de caleiro. No processo do curtume da pele é utilizado crómio como agente de curtume em cerca de 80% das peles tratadas, sendo este metal problemático em termos ambientais. No sentido de reduzir a quantidade de crómio utilizada no processo foi realizado um planeamento factorial onde as variáveis a estudar foram a concentração de crómio e a temperatura, tendo este como objectivo observar qual a quantidade mínima de crómio necessária para termos um produto final nas condições desejadas e gerando um menor impacto ambiental. Concluiu-se desenvolvendo um processo que mostra ser possível reduzir a quantidade de sal de crómio de 7% para 5%, além de ter um impacto ambiental claramente menos agressivo nos efluentes de curtume gerado. Este processo quando comparado com o processo tradicional permite a redução de 27% na CQO, 79% nos SST, 11% nos ST e 38% no teor de crómio Na avaliação do processo de tinturaria foi estudado um processo compacto contra o processo tradicional, tendo-se concluído pelo menor impacto ambiental do processo estudado, nomeadamente ao nível da redução do consumo de água e da carga poluente gerada. A comparação dos dois processos, no que respeita à carga poluente gerada, permitiu concluir por uma redução de 39% da CQO, 50% dos SST, e 12% dos ST quando aplicado o processo compacto Por fim foi feita uma avaliação do impacto ambiental do efluente global gerado pelos processos considerados com menor impacto ambiental contra o processo tradicional, normalmente aplicado na indústria. A aplicação do conjunto dos processos desenvolvidos, quando comparada com a aplicação do conjunto dos processos tradicionais, mostra uma redução de 1% no sulfureto, 40% na CQO, 60 % nos SST, 42 % no crómio e 11% nos ST, mostrando claramente que é possível reduzir a carga poluente da indústria de curtumes atuando no processo. Este trabalho mostrou a importância de atuar no processo para minimizar os custos de tratamento e mesmo de investimento dos efluentes da indústria de curtumes. Importa salientar que os processos desenvolvidos necessitam de validação a uma escala semi-industrial.