A Study of Ordered Gene Problems Featuring DNA Error Correction and DNA Fragment Assembly with a Variety of Heuristics, Genetic Algorithm Variations, and Dynamic Representations

Ordered gene problems are a very common classification of optimization problems. Because of their popularity countless algorithms have been developed in an attempt to find high quality solutions to the problems. It is also common to see many different types of problems reduced to ordered gene style problems as there are many popular heuristics and metaheuristics for them due to their popularity. Multiple ordered gene problems are studied, namely, the travelling salesman problem, bin packing problem, and graph colouring problem. In addition, two bioinformatics problems not traditionally seen as ordered gene problems are studied: DNA error correction and DNA fragment assembly. These problems are studied with multiple variations and combinations of heuristics and metaheuristics with two distinct types or representations. The majority of the algorithms are built around the Recentering- Restarting Genetic Algorithm. The algorithm variations were successful on all problems studied, and particularly for the two bioinformatics problems. For DNA Error Correction multiple cases were found with 100% of the codes being corrected. The algorithm variations were also able to beat all other state-of-the-art DNA Fragment Assemblers on 13 out of 16 benchmark problem instances.

The dangers of hanging baskets: 'Regulatory myths' and media representations of health and safety regulation

The successful enforcement of health and safety regulation is reliant upon the ability of regulatory agencies to demonstrate the legitimacy of the system of regulatory controls. While 'big cases' are central to this process, there are also significant legitimatory implications associated with 'minor' cases, including media-reported tales of pettiness and heavy-handedness in the interpretation and enforcement of the law. The popular media regularly report stories of 'regulatory unreasonableness', and they can pass quickly into mainstream public knowledge. A story's appeal becomes more important than its factual veracity; they are a form of 'regulatory myth'. This paper discusses the implications of regulatory myths for health and safety regulators, and analyses their challenges for regulators, paying particular attention to the Health and Safety Executive (HSE) which has made concerted efforts to address regulatory myths attaching to its activities. It will be shown that such stories constitute sustained normative challenges to the legitimacy of the regulator, and political challenges to the burgeoning regulatory state, because they reflect some of the key concerns of late-modern society.

Intersections and differentiations: a corpus-assisted discourse study of gender representations in the British press before, during and after the London Olympics 2012

This study examines the impact of a global sports event on gender representations in media reporting. Whereas previous research on gender, sport and media has been mainly concerned with sports events in the North American or Australian context, this study investigates the British media reporting before, during and after the London Olympics 2012. Our study follows the approach of Corpus-Assisted Discourse Studies (CADS) and uses both quantitative and qualitative research procedures. The results reveal more balanced gender representations during the London Olympics in that the ‘regular’ biased associations were supressed in favour of positive references to female achievements. However, little carry-though of the ‘gains’ was noted. Also, this study shows that the positive associations intersected with national sentiments and were used to celebrate the nation-state. At the same time, some subtle resistance was observed to accepting as ‘truly’ British the non-white athletes and those not born in Britain.

Representations of workplace psychological harassment in print news media

OBJECTIVE: To analyze discourses on workplace psychological harassment in print media. METHODOLOGICAL PROCEDURES: Documental study on workplace psychological harassment that analyzed news stories published in three major newspapers of the State of Sao Paulo (southeastern Brazil) between 1990 and 2008. Discourse analysis was performed to identify discursive practices that reflect the phenomenon of psychological harassment in today's society, explanations for its occurrence and impact on workers' health. RESULT ANALYSIS: This theme emerged in the media through the dissemination of books, academic research production and laws. It was initially published in general news then in jobs and/or business sections. Discourses on compensation and precautionary business practices and coping strategies are widespread. Health-related aspects are foregone under the prevailing money-based rationale. Corporate cultures are permissive regarding psychological harassment and conflicts are escalated while working to achieve goals and results. Indifference, embarrassment, ridicule and demean were common in the news stories analyzed. CONCLUSIONS: The causal explanations of workplace harassment tend to have a psychological interpretation with emphasis on individual and behavioral characteristics, and minimizing a collective approach. The discourses analyzed trivialized harassment by creating caricatures of the actors involved. People apprehend its psychological content and stigmatization which contributes to making workplace harassment an accepted practice and trivializing work-related violence.

A study on set variable representations in constraint programming

Il lavoro presentato in questa tesi si colloca nel contesto della programmazione con vincoli, un paradigma per modellare e risolvere problemi di ricerca combinatoria che richiedono di trovare soluzioni in presenza di vincoli. Una vasta parte di questi problemi trova naturale formulazione attraverso il linguaggio delle variabili insiemistiche. Dal momento che il dominio di tali variabili può essere esponenziale nel numero di elementi, una rappresentazione esplicita è spesso non praticabile. Recenti studi si sono quindi focalizzati nel trovare modi efficienti per rappresentare tali variabili. Pertanto si è soliti rappresentare questi domini mediante l'uso di approssimazioni definite tramite intervalli (d'ora in poi rappresentazioni), specificati da un limite inferiore e un limite superiore secondo un'appropriata relazione d'ordine. La recente evoluzione della ricerca sulla programmazione con vincoli sugli insiemi ha chiaramente indicato che la combinazione di diverse rappresentazioni permette di raggiungere prestazioni di ordini di grandezza superiori rispetto alle tradizionali tecniche di codifica. Numerose proposte sono state fatte volgendosi in questa direzione. Questi lavori si differenziano su come è mantenuta la coerenza tra le diverse rappresentazioni e su come i vincoli vengono propagati al fine di ridurre lo spazio di ricerca. Sfortunatamente non esiste alcun strumento formale per paragonare queste combinazioni. Il principale obiettivo di questo lavoro è quello di fornire tale strumento, nel quale definiamo precisamente la nozione di combinazione di rappresentazioni facendo emergere gli aspetti comuni che hanno caratterizzato i lavori precedenti. In particolare identifichiamo due tipi possibili di combinazioni, una forte ed una debole, definendo le nozioni di coerenza agli estremi sui vincoli e sincronizzazione tra rappresentazioni. Il nostro studio propone alcune interessanti intuizioni sulle combinazioni esistenti, evidenziandone i limiti e svelando alcune sorprese. Inoltre forniamo un'analisi di complessità della sincronizzazione tra minlex, una rappresentazione in grado di propagare in maniera ottimale vincoli lessicografici, e le principali rappresentazioni esistenti.

Future value based single assignment program representations and optimizations

An optimizing compiler internal representation fundamentally affects the clarity, efficiency and feasibility of optimization algorithms employed by the compiler. Static Single Assignment (SSA) as a state-of-the-art program representation has great advantages though still can be improved. This dissertation explores the domain of single assignment beyond SSA, and presents two novel program representations: Future Gated Single Assignment (FGSA) and Recursive Future Predicated Form (RFPF). Both FGSA and RFPF embed control flow and data flow information, enabling efficient traversal program information and thus leading to better and simpler optimizations. We introduce future value concept, the designing base of both FGSA and RFPF, which permits a consumer instruction to be encountered before the producer of its source operand(s) in a control flow setting. We show that FGSA is efficiently computable by using a series T1/T2/TR transformation, yielding an expected linear time algorithm for combining together the construction of the pruned single assignment form and live analysis for both reducible and irreducible graphs. As a result, the approach results in an average reduction of 7.7%, with a maximum of 67% in the number of gating functions compared to the pruned SSA form on the SPEC2000 benchmark suite. We present a solid and near optimal framework to perform inverse transformation from single assignment programs. We demonstrate the importance of unrestricted code motion and present RFPF. We develop algorithms which enable instruction movement in acyclic, as well as cyclic regions, and show the ease to perform optimizations such as Partial Redundancy Elimination on RFPF.

Computer-Assisted Orthopedic Surgery: Current State and Future Perspective

Introduced about two decades ago, computer-assisted orthopedic surgery (CAOS) has emerged as a new and independent area, due to the importance of treatment of musculoskeletal diseases in orthopedics and traumatology, increasing availability of different imaging modalities, and advances in analytics and navigation tools. The aim of this paper is to present the basic elements of CAOS devices and to review state-of-the-art examples of different imaging modalities used to create the virtual representations, of different position tracking devices for navigation systems, of different surgical robots, of different methods for registration and referencing, and of CAOS modules that have been realized for different surgical procedures. Future perspectives will also be outlined.

Diversity Arrays: a solid state technology for sequence information independent genotyping

Here we present the successful application of the microarray technology platform to the analysis of DNA polymorphisms. Using the rice genome as a model, we demonstrate the potential of a high-throughput genome analysis method called Diversity Array Technology, DArT‘. In the format presented here the technology is assaying for the presence (or amount) of a specific DNA fragment in a representation derived from the total genomic DNA of an organism or a population of organisms. Two different approaches are presented: the first involves contrasting two representations on a single array while the second involves contrasting a representation with a reference DNA fragment common to all elements of the array. The Diversity Panels created using this method allow genetic fingerprinting of any organism or group of organisms belonging to the gene pool from which the panel was developed. Diversity Arrays enable rapid and economical application of a highly parallel, solid-state genotyping technology to any genome or complex genomic mixtures.

Adjoint modular Galois representations and their Selmer groups

In the last 15 years, many class number formulas and main conjectures have been proven. Here, we discuss such formulas on the Selmer groups of the three-dimensional adjoint representation ad(φ) of a two-dimensional modular Galois representation φ. We start with the p-adic Galois representation φ0 of a modular elliptic curve E and present a formula expressing in terms of L(1, ad(φ0)) the intersection number of the elliptic curve E and the complementary abelian variety inside the Jacobian of the modular curve. Then we explain how one can deduce a formula for the order of the Selmer group Sel(ad(φ0)) from the proof of Wiles of the Shimura–Taniyama conjecture. After that, we generalize the formula in an Iwasawa theoretic setting of one and two variables. Here the first variable, T, is the weight variable of the universal p-ordinary Hecke algebra, and the second variable is the cyclotomic variable S. In the one-variable case, we let φ denote the p-ordinary Galois representation with values in GL2(Zp[[T]]) lifting φ0, and the characteristic power series of the Selmer group Sel(ad(φ)) is given by a p-adic L-function interpolating L(1, ad(φk)) for weight k + 2 specialization φk of φ. In the two-variable case, we state a main conjecture on the characteristic power series in Zp[[T, S]] of Sel(ad(φ) ⊗ ν−1), where ν is the universal cyclotomic character with values in Zp[[S]]. Finally, we describe our recent results toward the proof of the conjecture and a possible strategy of proving the main conjecture using p-adic Siegel modular forms.

Patterns and Predictors of Stability and Change in Representations of Romantic Relationships in Adolescence and Young Adulthood

Research on the stability of attachment representations across the lifespan has led to two alternative perspectives: the prototype and revisionist perspectives (Fraley, 2002). The prototype perspective posits that there is a stable factor underlying fluctuations in representations and the revisionist perspective argues that there is no inherently stable factor. The current study employed a latent trait-state model to investigate these alternative models of stability and change in representations of romantic relationships in adolescence and young adulthood. The study also sought to identify individual characteristics and relationship experiences that are associated with changes in representations. In a sample of 200 participants, representations were assessed by interview and self-report over seven measurement occasions between ages 15 and 23. Results were consistent with the prototype perspective emphasizing that a stable, latent factor exerts a consistent influence over the lifespan. In addition to a stable component, representations incorporated a component that varies over time. Findings showed that this fluctuating component of representations was associated with internalizing and externalizing symptomatology as well as experiences of support and negative interaction in relationships.

Bitwise bell-inequality violations for an entangled state involving 2N ions

Following on from previous work [J.-A. Larsson, Phys. Rev. A 67, 022108 (2003)], Bell inequalities based on correlations between binary digits are considered for a particular entangled state involving 2N trapped ions. These inequalities involve applying displacement operations to half of the ions and then measuring correlations between pairs of corresponding bits in the binary representations of the number of center-of-mass phonons of N particular ions. It is shown that the state violates the inequalities and thus displays nonclassical correlations. It is also demonstrated that it violates a Bell inequality when the displacements are replaced by squeezing operations.

Estimating state-contingent production frontiers

Chambers and Quiggin (2000) use state-contingent representations of risky production technologies to establish important theoretical results concerning producer behavior under uncertainty. Unfortunately, perceived problems in the estimation of state-contingent models have limited the usefulness of the approach in policy formulation. We show that fixed and random effects state-contingent production frontiers can be conveniently estimated in a finite mixtures framework. An empirical example is provided. Compared to conventional estimation approaches, we find that estimating production frontiers in a state-contingent framework produces significantly different estimates of elasticities, firm technical efficiencies, and other quantities of economic interest.

Determinant representations of correlation functions for the supersymmetric t-J model

Working in the F-basis provided by the factorizing F-matrix, the scalar products of Bethe states for the supersymmetric t-J model are represented by determinants. By means of these results, we obtain determinant representations of correlation functions for the model.

Estimating State-contingent Production Frontiers

Chambers and Quiggin (2000) use state-contingent representations of risky production technologies to establish important theoretical results concerning producer behavior under uncertainty. Unfortunately, perceived problems in the estimation of state-contingent models have limited the usefulness of the approach in policy formulation. We show that fixed and random effects state-contingent production frontiers can be conveniently estimated in a finite mixtures framework. An empirical example is provided. Compared to conventional estimation approaches, we find that estimating production frontiers in a statecontingent framework produces significantly different estimates of elasticities, firm technical efficiencies and other quantities of economic interest.

Regional representations in the EU:between diplomacy and interest mediation

What are regional representations in the European Union? What do they hope to achieve? Since the mid-1980s, sub-state actors in the EU such as county councils, Länder, Autonomous Communities, local, municipal and city authorities have been opening representative offices in Brussels – mini 'embassies' for their territories. Although on the surface these representations might look the same, in practice they operate according to very different dynamics. Whilst some rival national governments for a stake in EU policy development, others have more modest ambitions. This book offers a comprehensive assessment of the burgeoning phenomenon of regional representation in the EU. Considering evidence from old member states as well as those which joined the EU more recently, it looks at where strategies and aims differ, positioning various 'types' of representation closer to the work of embassies or to that carried out by lobbying groups. The author also considers how regional representations contribute to our understanding of multi-level governance in the EU.