New insights into boar sperm function and survival from integrated field and laboratory studies

En aquesta tesi s'han dut a terme dos tipus d'estudis diferents. L'objectiu del primer era la preservació del semen de porcí a 15ºC i el del segon eren els co-cultius homòlegs de cèl·lules epitelials de l'oviducte i espermatozoides de porcí. Pel que fa al primer estudi, s'ha observat que l'addició de la prostaglandina F2α i àcid hialurònic a les dosis seminals no malmena la qualitat espermàtica i que la tolerància dels espermatozoides als canvis d'osmolalitat del medi es pot correlacionar proves de fertilitat i prolificitat.. Respecte el segon, s'ha determinat que les cèl·lules oviductals afecten els paràmetres espermàtics i que la presència d'espermatozoides sobreexpressa els gens que codifiquen per les proteïnes de xoc tèrmic. Així, se suggereix que aquestes proteïnes tenen algun paper en els processos reproductius que tenen lloc a l'oviducte, malgrat que s'hagi observat, mitjançant la tècnica de la interferència de l'RNA, que la HSP90AA1 no està implicada en el perllongament de la viabilitat espermàtica.

Modelling, control and supervision for a class of hybrid systems

The aim of this thesis is to narrow the gap between two different control techniques: the continuous control and the discrete event control techniques DES. This gap can be reduced by the study of Hybrid systems, and by interpreting as Hybrid systems the majority of large-scale systems. In particular, when looking deeply into a process, it is often possible to identify interaction between discrete and continuous signals. Hybrid systems are systems that have both continuous, and discrete signals. Continuous signals are generally supposed continuous and differentiable in time, since discrete signals are neither continuous nor differentiable in time due to their abrupt changes in time. Continuous signals often represent the measure of natural physical magnitudes such as temperature, pressure etc. The discrete signals are normally artificial signals, operated by human artefacts as current, voltage, light etc. Typical processes modelled as Hybrid systems are production systems, chemical process, or continuos production when time and continuous measures interacts with the transport, and stock inventory system. Complex systems as manufacturing lines are hybrid in a global sense. They can be decomposed into several subsystems, and their links. Another motivation for the study of Hybrid systems is the tools developed by other research domains. These tools benefit from the use of temporal logic for the analysis of several properties of Hybrid systems model, and use it to design systems and controllers, which satisfies physical or imposed restrictions. This thesis is focused in particular types of systems with discrete and continuous signals in interaction. That can be modelled hard non-linealities, such as hysteresis, jumps in the state, limit cycles, etc. and their possible non-deterministic future behaviour expressed by an interpretable model description. The Hybrid systems treated in this work are systems with several discrete states, always less than thirty states (it can arrive to NP hard problem), and continuous dynamics evolving with expression: with Ki ¡ Rn constant vectors or matrices for X components vector. In several states the continuous evolution can be several of them Ki = 0. In this formulation, the mathematics can express Time invariant linear system. By the use of this expression for a local part, the combination of several local linear models is possible to represent non-linear systems. And with the interaction with discrete events of the system the model can compose non-linear Hybrid systems. Especially multistage processes with high continuous dynamics are well represented by the proposed methodology. Sate vectors with more than two components, as third order models or higher is well approximated by the proposed approximation. Flexible belt transmission, chemical reactions with initial start-up and mobile robots with important friction are several physical systems, which profits from the benefits of proposed methodology (accuracy). The motivation of this thesis is to obtain a solution that can control and drive the Hybrid systems from the origin or starting point to the goal. How to obtain this solution, and which is the best solution in terms of one cost function subject to the physical restrictions and control actions is analysed. Hybrid systems that have several possible states, different ways to drive the system to the goal and different continuous control signals are problems that motivate this research. The requirements of the system on which we work is: a model that can represent the behaviour of the non-linear systems, and that possibilities the prediction of possible future behaviour for the model, in order to apply an supervisor which decides the optimal and secure action to drive the system toward the goal. Specific problems can be determined by the use of this kind of hybrid models are: - The unity of order. - Control the system along a reachable path. - Control the system in a safe path. - Optimise the cost function. - Modularity of control The proposed model solves the specified problems in the switching models problem, the initial condition calculus and the unity of the order models. Continuous and discrete phenomena are represented in Linear hybrid models, defined with defined eighth-tuple parameters to model different types of hybrid phenomena. Applying a transformation over the state vector : for LTI system we obtain from a two-dimensional SS a single parameter, alpha, which still maintains the dynamical information. Combining this parameter with the system output, a complete description of the system is obtained in a form of a graph in polar representation. Using Tagaki-Sugeno type III is a fuzzy model which include linear time invariant LTI models for each local model, the fuzzyfication of different LTI local model gives as a result a non-linear time invariant model. In our case the output and the alpha measure govern the membership function. Hybrid systems control is a huge task, the processes need to be guided from the Starting point to the desired End point, passing a through of different specific states and points in the trajectory. The system can be structured in different levels of abstraction and the control in three layers for the Hybrid systems from planning the process to produce the actions, these are the planning, the process and control layer. In this case the algorithms will be applied to robotics ¡V a domain where improvements are well accepted ¡V it is expected to find a simple repetitive processes for which the extra effort in complexity can be compensated by some cost reductions. It may be also interesting to implement some control optimisation to processes such as fuel injection, DC-DC converters etc. In order to apply the RW theory of discrete event systems on a Hybrid system, we must abstract the continuous signals and to project the events generated for these signals, to obtain new sets of observable and controllable events. Ramadge & Wonham¡¦s theory along with the TCT software give a Controllable Sublanguage of the legal language generated for a Discrete Event System (DES). Continuous abstraction transforms predicates over continuous variables into controllable or uncontrollable events, and modifies the set of uncontrollable, controllable observable and unobservable events. Continuous signals produce into the system virtual events, when this crosses the bound limits. If this event is deterministic, they can be projected. It is necessary to determine the controllability of this event, in order to assign this to the corresponding set, , controllable, uncontrollable, observable and unobservable set of events. Find optimal trajectories in order to minimise some cost function is the goal of the modelling procedure. Mathematical model for the system allows the user to apply mathematical techniques over this expression. These possibilities are, to minimise a specific cost function, to obtain optimal controllers and to approximate a specific trajectory. The combination of the Dynamic Programming with Bellman Principle of optimality, give us the procedure to solve the minimum time trajectory for Hybrid systems. The problem is greater when there exists interaction between adjacent states. In Hybrid systems the problem is to determine the partial set points to be applied at the local models. Optimal controller can be implemented in each local model in order to assure the minimisation of the local costs. The solution of this problem needs to give us the trajectory to follow the system. Trajectory marked by a set of set points to force the system to passing over them. Several ways are possible to drive the system from the Starting point Xi to the End point Xf. Different ways are interesting in: dynamic sense, minimum states, approximation at set points, etc. These ways need to be safe and viable and RchW. And only one of them must to be applied, normally the best, which minimises the proposed cost function. A Reachable Way, this means the controllable way and safe, will be evaluated in order to obtain which one minimises the cost function. Contribution of this work is a complete framework to work with the majority Hybrid systems, the procedures to model, control and supervise are defined and explained and its use is demonstrated. Also explained is the procedure to model the systems to be analysed for automatic verification. Great improvements were obtained by using this methodology in comparison to using other piecewise linear approximations. It is demonstrated in particular cases this methodology can provide best approximation. The most important contribution of this work, is the Alpha approximation for non-linear systems with high dynamics While this kind of process is not typical, but in this case the Alpha approximation is the best linear approximation to use, and give a compact representation.

Notas dispersas sobre algumas normas do C.P.

In this paper it is made a reflection on some rules of the Portuguese Criminal Code. First it is made an analysis of some aspects related to the crime of simple bodily harm, in particular on its public or semi public nature. Thereto, some aspects regarding articles 143, 145 and 146 of the portuguese Criminal Code have to be taken under consideration. Then, in the context of crimes against property, it is analised the legal institute referred to in paragraph 1. of article 206 (restitution or compensation), as well as it subjective scope.

Quatro pilares da educação para o século XXI : análise de sua aplicação em uma escola de Aracaju

Este estudo buscou investigar, a partir de entrevistas voltadas aos professores e diretores pedagógicos de uma escola de educação básica da rede privada da cidade de Aracaju – Sergipe – Brasil, se eles se aperceberam das mudanças ocorridas no mundo, no século XXI, no qual tivemos como variáveis a Globalização, a Tecnologia, Meio Ambiente, Informação e Mudanças na Educação. Tomando conhecimento dessas alterações, procurou-se analisar quais práticas foram adotadas para responder às novas demandas. Questionou-se sobre o que os atores educacionais estão a fazer para preparar o cidadão para o enfrentamento e adaptação a essas mudanças, ou seja, a aplicabilidade dos Quatro Pilares da Educação para o século XXI, tendo como reverência o Relatório Delors (1999). As entrevistas foram divididas em dois momentos: o primeiro considerou as cinco variáveis que caracterizam as mudanças ocorridas no mundo e que fomentaram questões sobre cada uma delas; o segundo, baseado nos pilares educacionais, levantou interrogações quanto à vivência deles na prática escolar. Ao analisar as entrevistas constatou-se que os entrevistados se aperceberam das mudanças no mundo: as fragilidades dos relacionamentos, o aumento da desigualdade social, os benefícios e malefícios das tecnologias, a discreta mudança de postura das empresas e Estado frente ao meio ambiente, o excesso de informações que temos recebido e a falta de capacidade de gerenciá-las e as políticas educativas. A essas mudanças, a Escola reage, considerando todos os saberes necessários para a Educação do século XXI, ou seja, os pilares propostos pela Unesco. A postura dessa Escola, perante as demandas, concretiza o discurso e colabora para a dissipação dessas práticas para outras escolas, o que responde de forma positiva à problemática levantada.

Public and Private Regulation: Mapping the Labyrinth. CEPS Working Document No. 370, October 2012

Private governance is currently being evoked as a viable solution to many public policy goals. However, in some circumstances it has shown to produce more harm than good, and even disastrous consequences as in the case of the financial crisis that is raging in most advanced economies. Although the current track record of private regulatory schemes is mixed, policy guidance documents around the world still require that policy-makers give priority to self- and co-regulation, with little or no additional guidance being given to policymakers to devise when, and under what circumstances, these solutions can prove viable from a public policy perspective. With an array of examples from several policy fields, this paper approaches regulation as a public-private collaborative form and attempts to identify possible policy tools to be applied by public policy-makers to efficiently and effectively approach private governance as a solution, rather than a problem. We propose a six-step theoretical framework and argue that IA techniques should: i) define an integrated framework including both the possibility that private regulation can be used as an alternative or as a complement to public legislation; ii) involve private parties in public IAs in order to define the best strategy or strategies that would ensure achievement of the regulatory objectives; and iii) contemplate the deployment of indicators related to governance and activities of the regulators and their ability to coordinate and solve disputes with other regulators.

Errors associated with the preparation of aseptic products in UK hospital pharmacies: lessons from the national aseptic error reporting scheme

Background Pharmacy aseptic units prepare and supply injectables to minimise risks. The UK National Aseptic Error Reporting Scheme has been collecting data on pharmacy compounding errors, including near-misses, since 2003. Objectives The cumulative reports from January 2004 to December 2007, inclusive, were analysed. Methods The different variables of product types, error types, staff making and detecting errors, stage errors detected, perceived contributory factors, and potential or actual outcomes were presented by cross-tabulation of data. Results A total of 4691 reports were submitted against an estimated 958 532 items made, returning 0.49% as the overall error rate. Most of the errors were detected before reaching patients, with only 24 detected during or after administration. The highest number of reports related to adult cytotoxic preparations (40%) and the most frequently recorded error was a labelling error (34.2%). Errors were mostly detected at first check in assembly area (46.6%). Individual staff error contributed most (78.1%) to overall errors, while errors with paediatric parenteral nutrition appeared to be blamed on low staff levels more than other products were. The majority of errors (68.6%) had no potential patient outcomes attached, while it appeared that paediatric cytotoxic products and paediatric parenteral nutrition were associated with greater levels of perceived patient harm. Conclusions The majority of reports were related to near-misses, and this study highlights scope for examining current arrangements for checking and releasing products, certainly for paediatric cytotoxic and paediatric parenteral nutrition preparations within aseptic units, but in the context of resource and capacity constraints.

Near infrared reflectance spectroscopy (NIRS) to predict biological parameters of maize silage: effects of particle comminution, oven drying temperature and the presence of residual moisture

Maize silage nutritive quality is routinely determined by near infrared reflectance spectroscopy (NIRS). However, little is known about the impact of sample preparation on the accuracy of the calibration to predict biological traits. A sample population of 48 maize silages representing a wide range of physiological maturities was used in a study to determine the impact of different sample preparation procedures (i.e., drying regimes; the presence or absence of residual moisture; the degree of particle comminution) on resultant NIR prediction statistics. All silages were scanned using a total of 12 combinations of sample pre-treatments. Each sample preparation combination was subjected to three multivariate regression techniques to give a total of 36 predictions per biological trait. Increased sample preparations procedure, relative to scanning the unprocessed whole plant (WP) material, always resulted in a numerical minimisation of model statistics. However, the ability of each of the treatments to significantly minimise the model statistics differed. Particle comminution was the most important factor, oven-drying regime was intermediate, and residual moisture presence was the least important. Models to predict various biological parameters of maize silage will be improved if material is subjected to a high degree of particle comminution (i.e., having been passed through a 1 mm screen) and developed on plant material previously dried at 60 degrees C. The extra effort in terms of time and cost required to remove sample residual moisture cannot be justified. (c) 2005 Elsevier B.V. All rights reserved.

Fitness of hybrids between rapeseed (Brassica napus) and wild Brassica rapa in natural habitats

Fitness of hybrids between genetically modified (GM) crops and wild relatives influences the likelihood of ecological harm. We measured fitness components in spontaneous (non-GM) rapeseed x Brassica rapa hybrids in natural populations. The F-1 hybrids yielded 46.9% seed output of B. rapa, were 16.9% as effective as males on B. rapa and exhibited increased self-pollination. Assuming 100% GM rapeseed cultivation, we conservatively predict < 7000 second-generation transgenic hybrids annually in the United Kingdom (i.e. similar to 20% of F-1 hybrids). Conversely, whilst reduced hybrid fitness improves feasibility of bio-containment, stage projection matrices suggests broad scope for some transgenes to offset this effect by enhancing fitness.

Spontaneous gene flow from rapeseed (Brassica napus) to wild Brassica oleracea

Research on the environmental risks of gene flow from genetically modified ( GM) crops to wild relatives has traditionally emphasized recipients yielding most hybrids. For GM rapeseed ( Brassica napus), interest has centred on the 'frequently hybridizing' Brassica rapa over relatives such as Brassica oleracea, where spontaneous hybrids are unreported in the wild. In two sites, where rapeseed and wild B. oleracea grow together, we used flow cytometry and crop-specific microsatellite markers to identify one triploid F-1 hybrid, together with nine diploid and two near triploid introgressants. Given the newly discovered capacity for spontaneous introgression into B. oleracea, we then surveyed associated flora and fauna to evaluate the capacity of both recipients to harm cohabitant species with acknowledged conservational importance. Only B. oleracea occupies rich communities containing species afforded legislative protection; these include one rare micromoth species that feeds on B. oleracea and warrants further assessment. We conclude that increased attention should now focus on B. oleracea and similar species that yield few crop-hybrids, but possess scope to affect rare or endangered associates.

Statistical deconvolution of enthalpic energetic contributions to MHC-peptide binding affinity

Background: MHC Class I molecules present antigenic peptides to cytotoxic T cells, which forms an integral part of the adaptive immune response. Peptides are bound within a groove formed by the MHC heavy chain. Previous approaches to MHC Class I-peptide binding prediction have largely concentrated on the peptide anchor residues located at the P2 and C-terminus positions. Results: A large dataset comprising MHC-peptide structural complexes was created by remodelling pre-determined x-ray crystallographic structures. Static energetic analysis, following energy minimisation, was performed on the dataset in order to characterise interactions between bound peptides and the MHC Class I molecule, partitioning the interactions within the groove into van der Waals, electrostatic and total non-bonded energy contributions. Conclusion: The QSAR techniques of Genetic Function Approximation (GFA) and Genetic Partial Least Squares (G/PLS) algorithms were used to identify key interactions between the two molecules by comparing the calculated energy values with experimentally-determined BL50 data. Although the peptide termini binding interactions help ensure the stability of the MHC Class I-peptide complex, the central region of the peptide is also important in defining the specificity of the interaction. As thermodynamic studies indicate that peptide association and dissociation may be driven entropically, it may be necessary to incorporate entropic contributions into future calculations.

Building cluster and shading in urban canyon for hot dry climate Part 2: Shading simulations

Under low latitude conditions, minimisation of solar irradiance within the urban environment may often be an important criterion in urban design. This can be achieved when the obstruction angle is large (high H/W ratio, H = height, W = width). Solar access to streets can always be decreased by increasing H/W to larger values. It is shown in this paper that the street canyon orientation (and not only the H/W ratio) has a considerable effect on solar shading and urban microclimate. The paper demonstrates through a series of shading simulation and temperature measurements that a number of useful relationships can be developed between the geometry and the microclimate of urban street canyons. These relationships are potentially helpful to assist in the formulation of urban design guidelines governing street dimensions and orientations for use by urban designers.

Comparison of two methods of presenting risk information to patients about the side effects of medicines

Objective: To determine whether the use of verbal descriptors suggested by the European Union (EU) such as "common" (1-10% frequency) and "rare" (0.01-0.1%) effectively conveys the level of risk of side effects to people taking a medicine. Design: Randomised controlled study with unconcealed allocation. Participants: 120 adults taking simvastatin or atorvastatin after cardiac surgery or myocardial infarction. Setting: Cardiac rehabilitation clinics at two hospitals in Leeds, UK. Intervention: A written statement about one of the side effects of the medicine (either constipation or pancreatitis). Within each side effect condition half the patients were given the information in verbal form and half in numerical form (for constipation, "common" or 2.5%; for pancreatitis, "rare" or 0.04%). Main outcome measure: The estimated likelihood of the side effect occurring. Other outcome measures related to the perceived severity of the side effect, its risk to health, and its effect on decisions about whether to take the medicine. Results: The mean likelihood estimate given for the constipation side effect was 34.2% in the verbal group and 8.1% in the numerical group; for pancreatitis it was 18% in the verbal group and 2.1% in the numerical group. The verbal descriptors were associated with more negative perceptions of the medicine than their equivalent numerical descriptors. Conclusions: Patients want and need understandable information about medicines and their risks and benefits. This is essential if they are to become partners in medicine taking. The use of verbal descriptors to improve the level of information about side effect risk leads to overestimation of the level of harm and may lead patients to make inappropriate decisions about whether or not they take the medicine.

The automatic identification and prioritisation of criminal networks from police crime data

The identification of criminal networks is not a routine exploratory process within the current practice of the law enforcement authorities; rather it is triggered by specific evidence of criminal activity being investigated. A network is identified when a criminal comes to notice and any associates who could also be potentially implicated would need to be identified if only to be eliminated from the enquiries as suspects or witnesses as well as to prevent and/or detect crime. However, an identified network may not be the one causing most harm in a given area.. This paper identifies a methodology to identify all of the criminal networks that are present within a Law Enforcement Area, and, prioritises those that are causing most harm to the community. Each crime is allocated a score based on its crime type and how recently the crime was committed; the network score, which can be used as decision support to help prioritise it for law enforcement purposes, is the sum of the individual crime scores.

Model selection approaches for non-linear system identification: a review

The identification of non-linear systems using only observed finite datasets has become a mature research area over the last two decades. A class of linear-in-the-parameter models with universal approximation capabilities have been intensively studied and widely used due to the availability of many linear-learning algorithms and their inherent convergence conditions. This article presents a systematic overview of basic research on model selection approaches for linear-in-the-parameter models. One of the fundamental problems in non-linear system identification is to find the minimal model with the best model generalisation performance from observational data only. The important concepts in achieving good model generalisation used in various non-linear system-identification algorithms are first reviewed, including Bayesian parameter regularisation and models selective criteria based on the cross validation and experimental design. A significant advance in machine learning has been the development of the support vector machine as a means for identifying kernel models based on the structural risk minimisation principle. The developments on the convex optimisation-based model construction algorithms including the support vector regression algorithms are outlined. Input selection algorithms and on-line system identification algorithms are also included in this review. Finally, some industrial applications of non-linear models are discussed.