Temperature, ordering, and equilibrium with time-dependent confining forces

The concepts of temperature and equilibrium are not well defined in systems of particles with time-varying external forces. An example is a radio frequency ion trap, with the ions laser cooled into an ordered solid, characteristic of sub-mK temperatures, whereas the kinetic energies associated with the fast coherent motion in the trap are up to 7 orders of magnitude higher. Simulations with 1,000 ions reach equilibrium between the degrees of freedom when only aperiodic displacements (secular motion) are considered. The coupling of the periodic driven motion associated with the confinement to the nonperiodic random motion of the ions is very small at low temperatures and increases quadratically with temperature.

A strategy for the identification of proteins targeted by thioredoxin

Thioredoxins are 12-kDa proteins functional in the regulation of cellular processes throughout the animal, plant, and microbial kingdoms. Growing evidence with seeds suggests that an h-type of thioredoxin, reduced by NADPH via NADP-thioredoxin reductase, reduces disulfide bonds of target proteins and thereby acts as a wakeup call in germination. A better understanding of the role of thioredoxin in seeds as well as other systems could be achieved if more were known about the target proteins. To this end, we have devised a strategy for the comprehensive identification of proteins targeted by thioredoxin. Tissue extracts incubated with reduced thioredoxin are treated with a fluorescent probe (monobromobimane) to label sulfhydryl groups. The newly labeled proteins are isolated by conventional two-dimensional electrophoresis: (i) nonreducing/reducing or (ii) isoelectric focusing/reducing SDS/PAGE. The isolated proteins are identified by amino acid sequencing. Each electrophoresis system offers an advantage: the first method reveals the specificity of thioredoxin in the reduction of intramolecular vs. intermolecular disulfide bonds, whereas the second method improves the separation of the labeled proteins. By application of both methods to peanut seed extracts, we isolated at least 20 thioredoxin targets and identified 5—three allergens (Ara h2, Ara h3, and Ara h6) and two proteins not known to occur in peanut (desiccation-related and seed maturation protein). These findings open the door to the identification of proteins targeted by thioredoxin in a wide range of systems, thereby enhancing our understanding of its function and extending its technological and medical applications.

Desenvolvimento de um método para diagnose de falhas na operação de navios transportadores de gás natural liquefeito através de redes bayesianas.

O Gás Natural Liquefeito (GNL) tem, aos poucos, se tornado uma importante opção para a diversificação da matriz energética brasileira. Os navios metaneiros são os responsáveis pelo transporte do GNL desde as plantas de liquefação até as de regaseificação. Dada a importância, bem como a periculosidade, das operações de transporte e de carga e descarga de navios metaneiros, torna-se necessário não só um bom plano de manutenção como também um sistema de detecção de falhas que podem ocorrer durante estes processos. Este trabalho apresenta um método de diagnose de falhas para a operação de carga e descarga de navios transportadores de GNL através da utilização de Redes Bayesianas em conjunto com técnicas de análise de confiabilidade, como a Análise de Modos e Efeitos de Falhas (FMEA) e a Análise de Árvores de Falhas (FTA). O método proposto indica, através da leitura de sensores presentes no sistema de carga e descarga, quais os componentes que mais provavelmente estão em falha. O método fornece uma abordagem bem estruturada para a construção das Redes Bayesianas utilizadas na diagnose de falhas do sistema.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Recalibrating CSDP-NATO relations: the real pivot. Security Policy Brief No. 47, June 2013

In an age of major power shifts, which we know from history always to be particularly dangerous, different scenarios are possible; the only promising one is that of more and well-structured international cooperation. Yet, critical voices point at a drifting apart of longstanding allies. Recalibrating CSDPNATO relations has become more important than ever.

Metagenomic analysis of two enhanced biological phosphorus removal (EBPR) sludge communities

Enhanced biological phosphorus removal (EBPR) is one of the best-studied microbially mediated industrial processes because of its ecological and economic relevance. Despite this, it is not well understood at the metabolic level. Here we present a metagenomic analysis of two lab-scale EBPR sludges dominated by the uncultured bacterium, Candidatus Accumulibacter phosphatis.'' The analysis sheds light on several controversies in EBPR metabolic models and provides hypotheses explaining the dominance of A. phosphatis in this habitat, its lifestyle outside EBPR and probable cultivation requirements. Comparison of the same species from different EBPR sludges highlights recent evolutionary dynamics in the A. phosphatis genome that could be linked to mechanisms for environmental adaptation. In spite of an apparent lack of phylogenetic overlap in the flanking communities of the two sludges studied, common functional themes were found, at least one of them complementary to the inferred metabolism of the dominant organism. The present study provides a much needed blueprint for a systems-level understanding of EBPR and illustrates that metagenomics enables detailed, often novel, insights into even well-studied biological systems.

Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.

Formal verification of ASM designs using the MDG tool

In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.

Casebook on contract law

Jill Poole's best-selling Casebook on Contract Law provides a clear and well-structured explanation of the principles and rules of contract law through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. The coverage in this new edition has been revised to incorporate all recent significant decisions and judgments made by the House of Lords and the Court of Appeal. Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the court and how legal principles are developed, thus enabling cases to be analysed and discussed independently while, taken as a whole, the chapters provide a sound understanding of the modern law of contract. Succinct author commentary focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop a more in-depth appreciation of the subject. Online resource centre Student resources - Updates - Guidance on answering questions - Guidance on reading cases - Questions and answers.

Casebook on contract law

The law of contract can be a complex and technical subject, rvt the new edition of Jill Poole's Casebook on Contract provides a clear and well-structured exposition of the principles and rules through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. Opening with a chapter of valuable advice and guidance on how to successfully develop and improve the essential skills of case-reading, featuring two worked examples, the coverage in this sixth edition expands to incorporate all recent significant decisions and judgments made by the House of Lords and Court of Appeal such as, Director General of Fair Trading v First National Bank plc, Farley v Skinner, Royal Bank of Scotland v Etridge and UCB Corporate Services v Williams. Interesting recent decisions in relation to battle of forms, terms, exemption clauses and misrepresentation are also included. Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the court, why decisions are made and how legal principles are developed - enabling cases to be analysed and discussed independently while, taken as a whole, the chapters provide a sound understanding of the modern law of contract. The section on damages for breach of contract has been expanded to reassess Ruxley Electronics and Construction Ltd v Forsyth in the light of Farley v Skinner, the future of Addis v Gramophone Co Ltd is considered in the light of Johnson v Unisys Ltd and Attorney General v Blake is examined in the light of the decision in Esso Petroleum Co Ltd v Niad Ltd. Succinct author comment focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop more in-depth analysis. The logical and clear organization of topics has been further improved to more accurately echo the order adopted within the author's popular textbook and closer crossreferencing to this text has been incorporated to highlight where more detailed discussion of issues arising from the caselaw can be explored. As a result, this new edition can be used both as a traditional casebook and as a companion volume to Poole's Textbook on Contract. This edition is also supported by a new companion web site that offers the benefits of essential updating of key materials, sample questions, lists for key further reading sources and relevant web links, additional relevant cases and materials and guidance on successful exam technique. As with previous editions, Casebook on Contract is an invaluable primary source and an essential study aid for all those following elements of contract law as part of the LLB and CPE, as well as for students from related disciplines such as Accounting and Business.

Casebook on contract law

Jill Poole's best-selling "Casebook on Contract Law" provides a clear and well-structured exposition of the principles and rules through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the court, why decisions are made and how legal principles are developed - enabling cases to be analyzed and discussed independently while, taken as a whole, the chapters provide a sound understanding of the modern law of contract. Succinct author commentary focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop more in-depth analysis. This book is accompanied by a specifically designed companion web site which provides: Questions in contract law; Guidance on answering questions; Guidance on reading cases; Questions and answers; and Updates.

Casebook on contract law

Jill Poole's best-selling Casebook on Contract Law provides a clear and well-structured explanation of contractual principles through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. The coverage in this new edition has been revised to incorporate all recent significant decisions and judgments made by the House of Lords and the Court of Appeal. The extracts have been selected from a wide range of historical and contemporary cases and illustrate the reasoning processes of the court, the grounds justifying the decisions, and how legal principles are developed. Readers can discuss and analyse individual cases while, taken as a whole, the chapters provide a sound appreciation of the modern law of contract. Succinct author commentary focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop more in-depth analysis. Online Resource Centre Student resources - Updates - Guidance on answering questions - Guidance on reading cases - Questions and answers.

Textbook on contract law

This is a new edition of the established Textbook on Contract Law by Professor Jill Poole. Designed specifically for undergraduates new to the subject, this title offers a well-structured and straightforward account of the modern law of contract. The text opens with an overview of the key theories and issues surrounding contract contract law which places the subject in its wider context, then goes on to a detailed treatment of all key topics, offering succinct explanations of complex ideas. Other features of the book include chapter summaries that draw key themes and issues together, selected further reading lists, and useful web links to guide students towards the most relevant and up-to-date resources available. Online Resource Centre Lecturer resources - Testbank Student resources - Guidance on answering questions in contract law - Questions and answers - Student questions - Updates - Web links.

Individual differences in cognitive style and their effects on task and social orientations of self-managed work teams

When assembling self-managing work teams, the personalities of team members are often overlooked. One personality variable known to be critical for effective decision making in teams is cognitive style. This study sought to examine how differences and similarities in analytic/intuitive cognitive styles affected the behavior of team members on the task/emotionally expressive dimension identified by Bales. As hypothesized, intuitive individuals and homogeneous intuitive teams were found to initiate more social-emotional acts. Contrary to expectations, intuitive rather than analytic individuals and homogeneous intuitive rather than analytic teams engaged in more task-oriented behaviors. Teams also tended to select intuitive individuals as leaders. The possibility that different combinations of styles may be important for overall team effectiveness was subsequently discussed, and it was suggested that this may depend on whether the nature of the work environment is relatively well structured and mechanistic or relatively unstructured and organic.

Marketing strategy and new product development in the UK credit card industry

The development of new products in today's marketing environment is generally accepted as a requirement for the continual growth and prosperity of organisations. The literature is consequently rich with information on the development of various aspects of good products. In the case of service industries, it can be argued that new service product development is of as least equal importance as it is to organisations that produce tangible goods products. Unlike the new goods product literature, the literature on service marketing practices, and in particular, new service product development, is relatively sparse. The main purpose of this thesis is to examine a number of aspects of new service product development practice with respect to financial services and specifically, credit card financial services. The empirical investigation utilises both a case study and a survey approach, to examine aspects of new service product development industry practice relating specifically to gaps and deficiencies in the literature with respect to the financial service industry. The findings of the empirical work are subsequently examined in the context in which they provide guidance and support for a new normative new service product development model. The study examines the UK credit card financial service product sector as an industry case study and perspective. The findings of the field work reveal that the new service product development process is still evolving, and that in the case of credit card financial services can be seen as a well-structured and well-documented process. New product development can also be seen as an incremental, complex, interactive and continuous process which has been applied in a variety of ways. A number of inferences are subsequently presented.