Programa Nacional de Melhoramento do Gir Leiteiro: sumário brasileiro de touros: resultado do teste de progênie 7a prova de pré-seleção de touros - maio 2016.

2016

Rodent models for resolving extremes of exercise and health

The extremes of exercise capacity and health are considered a complex interplay between genes and the environment. In general, the study of animal models has proven critical for deep mechanistic exploration that provides guidance for focused and hypothesis driven discovery in humans. Hypotheses underlying molecular mechanisms of disease, and gene/tissue function can be tested in rodents in order to generate sufficient evidence to resolve and progress our understanding of human biology. Here we provide examples of three alternative uses of rodent models that have been applied successfully to advance knowledge that bridges our understanding of the connection between exercise capacity and health status. Firstly we review the strong association between exercise capacity and all-cause morbidity and mortality in humans through artificial selection on low and high exercise performance in the rat and the consequent generation of the "energy transfer hypothesis". Secondly we review specific transgenic and knock-out mouse models that replicate the human disease condition and performance. This includes human glycogen storage diseases (McArdle and Pompe) and α-actinin-3 deficiency. Together these rodent models provide an overview of the advancements of molecular knowledge required for clinical translation. Continued study of these models in conjunction with human association studies will be critical to resolving the complex gene-environment interplay linking exercise capacity, health, and disease.

Model Selection Methodology in Supervised Learning with Evolutionary Computation

Rowland, J.J. (2003) Model Selection Methodology in Supervised Learning with Evolutionary Computation. BioSystems 72, 1-2, pp 187-196, Nov

Library co-operation and ICT in the UK: an overview

Tedd, L.A. (2003). Library co-operation and ICT in the UK: an overview. Information Services and Use, 23(4), 199-210

Spectator Sport War: The West and Contemporary Conflict

McInnes, Colin, Spectator Sport War: The West and Contemporary Conflict (Boulder, CO: Lynne Rienner, 2002) pp.vii+187 RAE2008

Faith in the Landscape : Overseas Pilgrimages in 'The Book of Margery Kempe'

Watt, D. (2006). Faith in the Landscape: Overseas Pilgrimages in 'The Book of Margery Kempe'. In C. Lees and G. Overing (Eds.), A Place to Believe In: Locating Medieval Landscapes (pp.170-187). University Park (PA): Pennsylvania State University Press. RAE2008

A fully integrated multi-channel detector for electron spectroscopy

Langstaff, David; Bushell, A.; Chase, T.; Evans, D.A., (2005) 'A fully integrated multi-channel detector for electron spectroscopy', Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms 238 pp.219-223 RAE2008 Synchrotron Radiation in Materials Science ? Proceedings of the 4th Conference on Synchrotron Radiation in Materials Science 4th Conference on Synchrotron Radiation in Materials Science

Wykorzystanie gier decyzyjnych/symulacyjnych w naukach społecznych. Wybrane problemy

Treścią publikacji jest przedstawienie wybranych problemów prognozowania w naukach społecznych. W artykule skoncentrowano się na metodzie gier decyzyjnych/symulacyjnych, które – zwłaszcza wraz z rozwojem teorii gier oraz komputerów – są coraz częściej wykorzystywane w wielu dziedzinach. Na wybranych przykładach gier decyzyjnych/symulacyjnych – Poznań International Model United Nations 2013/POZiMUN; S.E.N.S.E. a także gry sieciowej EVE Online – wskazano jak ważne są takie ćwiczenia, by móc precyzyjniej przewidywać przyszłość. Zwrócono także szczególną uwagę na kwestię przypadku oraz czynników zakłócających, które mogą destabilizować proces przewidywania. Poruszono ponadto problem podejmowania decyzji w aspekcie klasycznej oraz kwantowej logiki.

Healing, Praying, Preaching

sermon text; MS Word document

Secure architectures for pairing based public key cryptography

Along with the growing demand for cryptosystems in systems ranging from large servers to mobile devices, suitable cryptogrophic protocols for use under certain constraints are becoming more and more important. Constraints such as calculation time, area, efficiency and security, must be considered by the designer. Elliptic curves, since their introduction to public key cryptography in 1985 have challenged established public key and signature generation schemes such as RSA, offering more security per bit. Amongst Elliptic curve based systems, pairing based cryptographies are thoroughly researched and can be used in many public key protocols such as identity based schemes. For hardware implementions of pairing based protocols, all components which calculate operations over Elliptic curves can be considered. Designers of the pairing algorithms must choose calculation blocks and arrange the basic operations carefully so that the implementation can meet the constraints of time and hardware resource area. This thesis deals with different hardware architectures to accelerate the pairing based cryptosystems in the field of characteristic two. Using different top-level architectures the hardware efficiency of operations that run at different times is first considered in this thesis. Security is another important aspect of pairing based cryptography to be considered in practically Side Channel Analysis (SCA) attacks. The naively implemented hardware accelerators for pairing based cryptographies can be vulnerable when taking the physical analysis attacks into consideration. This thesis considered the weaknesses in pairing based public key cryptography and addresses the particular calculations in the systems that are insecure. In this case, countermeasures should be applied to protect the weak link of the implementation to improve and perfect the pairing based algorithms. Some important rules that the designers must obey to improve the security of the cryptosystems are proposed. According to these rules, three countermeasures that protect the pairing based cryptosystems against SCA attacks are applied. The implementations of the countermeasures are presented and their performances are investigated.

Leadership, fairness and gender: a practitioner's perspective

This Portfolio of Exploration outlines the course of learning by a practitioner on a personal leadership journey. It constructs a functional examination of ideas around leadership. It explores the belief system which underpins leadership practice and it also explores to what extent the increased participation of women can lead to a qualitatively different type of leadership. Different models of leadership are explored to find the model which can best fit with the author’s perception of leadership. The Women’s Intercultural Leadership Model is discussed. This model conceptualises leadership as the envisioning of oneself and others as potential leaders. It seeks to promote that recognition whilst at the same time encouraging personal transformation. The promotion of a values based leadership is examined. The value of fairness is examined as an element of functional leadership. The extent to which increasing the number of women in leadership can lead to a qualitatively different type of leadership is explored. Drucker’s assertion that every practice rests on theory is used to unearth the underlying assumptions of this reflective practitioner doctorate. Kegan’s Theory of Adult Mental Development and Subject-Object separation is used to explicitly examine knowledge construction. Myers Briggs Type Indicator (MBTI) and Assumption/Commitment/Behaviour/Outcome (ACBO) template are used to promote practice change.

Profiling side-channel attacks on cryptographic algorithms

Traditionally, attacks on cryptographic algorithms looked for mathematical weaknesses in the underlying structure of a cipher. Side-channel attacks, however, look to extract secret key information based on the leakage from the device on which the cipher is implemented, be it smart-card, microprocessor, dedicated hardware or personal computer. Attacks based on the power consumption, electromagnetic emanations and execution time have all been practically demonstrated on a range of devices to reveal partial secret-key information from which the full key can be reconstructed. The focus of this thesis is power analysis, more specifically a class of attacks known as profiling attacks. These attacks assume a potential attacker has access to, or can control, an identical device to that which is under attack, which allows him to profile the power consumption of operations or data flow during encryption. This assumes a stronger adversary than traditional non-profiling attacks such as differential or correlation power analysis, however the ability to model a device allows templates to be used post-profiling to extract key information from many different target devices using the power consumption of very few encryptions. This allows an adversary to overcome protocols intended to prevent secret key recovery by restricting the number of available traces. In this thesis a detailed investigation of template attacks is conducted, along with how the selection of various attack parameters practically affect the efficiency of the secret key recovery, as well as examining the underlying assumption of profiling attacks in that the power consumption of one device can be used to extract secret keys from another. Trace only attacks, where the corresponding plaintext or ciphertext data is unavailable, are then investigated against both symmetric and asymmetric algorithms with the goal of key recovery from a single trace. This allows an adversary to bypass many of the currently proposed countermeasures, particularly in the asymmetric domain. An investigation into machine-learning methods for side-channel analysis as an alternative to template or stochastic methods is also conducted, with support vector machines, logistic regression and neural networks investigated from a side-channel viewpoint. Both binary and multi-class classification attack scenarios are examined in order to explore the relative strengths of each algorithm. Finally these machine-learning based alternatives are empirically compared with template attacks, with their respective merits examined with regards to attack efficiency.

Purification, crystallization and preliminary X-ray diffraction studies of a complex between G protein-coupled receptor kinase 2 and Gbeta1gamma2.

G protein-coupled receptor kinase 2 (GRK2) phosphorylates activated G protein-coupled receptors (GPCRs), which ultimately leads to their desensitization and/or downregulation. The enzyme is recruited to the plasma membrane via the interaction of its carboxyl-terminal pleckstrin-homology (PH) domain with the beta and gamma subunits of heterotrimeric G proteins (Gbetagamma). An improved purification scheme for GRK2 has been developed, conditions under which GRK2 forms a complex with Gbeta(1)gamma(2) have been determined and the complex has been crystallized in CHAPS detergent micelles. Crystals of the GRK2-Gbetagamma complex belong to space group C2 and have unit-cell parameters a = 187.0, b = 72.1, c = 122.0 A, beta = 115.2 degrees. A complete data set has been collected to 3.2 A resolution with Cu Kalpha radiation.

Primary vascularization of the graft determines the immunodominance of murine minor H antigens during organ transplantation.

Grafts can be rejected even when matched for MHC because of differences in the minor histocompatibility Ags (mH-Ags). H4- and H60-derived epitopes are known as immunodominant mH-Ags in H2(b)-compatible BALB.B to C57BL/6 transplantation settings. Although multiple explanations have been provided to explain immunodominance of Ags, the role of vascularization of the graft is yet to be determined. In this study, we used heart (vascularized) and skin (nonvascularized) transplantations to determine the role of primary vascularization of the graft. A higher IFN-γ response toward H60 peptide occurs in heart recipients. In contrast, a higher IFN-γ response was generated against H4 peptide in skin transplant recipients. Peptide-loaded tetramer staining revealed a distinct antigenic hierarchy between heart and skin transplantation: H60-specific CD8(+) T cells were the most abundant after heart transplantation, whereas H4-specific CD8(+) T cells were more abundant after skin graft. Neither the tissue-specific distribution of mH-Ags nor the draining lymph node-derived dendritic cells correlated with the observed immunodominance. Interestingly, non-primarily vascularized cardiac allografts mimicked skin grafts in the observed immunodominance, and H60 immunodominance was observed in primarily vascularized skin grafts. However, T cell depletion from the BALB.B donor prior to cardiac allograft induces H4 immunodominance in vascularized cardiac allograft. Collectively, our data suggest that immediate transmigration of donor T cells via primary vascularization is responsible for the immunodominance of H60 mH-Ag in organ and tissue transplantation.