The EU, China and Southeast Asia: Divergent Views of Dealing with Human Security. Jean Monnet/Robert Schuman Paper Series Vol. 14 No. 8, May 2014

Introduction. This chapter takes a closer look at the European Union (EU), China, and the Association of Southeast Asian Nations (ASEAN)’s respective approaches to dealing with non-traditional security (NTS) challenges by investigating their policies toward Burma/Myanmar—a source country of numerous such challenges. It argues that, although all, as members of the ASEAN Regional Forum (ARF), see the need for multilateral solutions to fight organized crime, provide disaster relief, combat terrorism, prevent drug trafficking, etc., they differ with respect to the steps to be taken to protect human security in Asia-Pacific. China, initially hesitant to join the ARF for fear that other members might try to contain it, has come to value the principal forum for NTS challenges in the Asia-Pacific region since, like many ASEAN countries, it is a big proponent of non-interventionism, non-use of force, consensus decision-making, that is, the confidence-building mechanisms commonly referred to as the ‘ASEAN way’.2 The EU, as a strong proponent of human rights and the rule of law, repeatedly, has criticized ARF members for allowing sovereignty-related norms to get in the way of the protection of human rights, but it has refrained from assuming the role of norm exporter. As will be seen in the case of Burma/Myanmar, the EU does make its opinions heard and, when necessary, will take unilateral steps not supported by the ASEAN members of the ARF but, cognizant of the history of the region, for the most part, settles for supporting economic development and aiding in capacity-building, understanding that it would be counter-productive to exert pressure on reluctant ARF members to modify the non-interference norm. The chapter then speculates about the ‘ASEAN way’s’ longevity, arguing that, increasingly, there are internal and external dynamics that seem to indicate that the ‘ASEAN way,’ at least in its current form, may not be here to stay. The conclusion looks at what might be in store for Burma/Myanmar in the years to come.

A type system with usage aspects

Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).

Rabbits, stoats and the predator problem: Why a strong animal rights position need not call for human intervention to protect prey from predators

Animal rights positions face the ‘predator problem’: the suggestion that if the rights of nonhuman animals are to be protected, then we are obliged to interfere in natural ecosystems to protect prey from predators. Generally, rather than embracing this conclusion, animal ethicists have rejected it, basing this objection on a number of different arguments. This paper considers but challenges three such arguments, before defending a fourth possibility. Rejected are Peter Singer’s suggestion that interference will lead to more harm than good, Sue Donaldson and Will Kymlicka’s suggestion that respect for nonhuman sovereignty necessitates non-interference in normal circumstances, and Alasdair Cochrane’s solution based on the claim that predators cannot survive without killing prey. The possibility defended builds upon Tom Regan’s suggestion that predators, as moral patients but not moral agents, cannot violate the rights of their prey, and so the rights of the prey, while they do exist, do not call for intervention. This idea is developed by a consideration of how moral agents can be more or less responsible for a given event, and defended against criticisms offered by thinkers including Alasdair Cochrane and Dale Jamieson.

The New Silk Road, a Glimpse to China's Regime?

China's Silk Road Economic Belt plan is a part of One Belt, One Road initiative that aims to create trade routes from China all the way to Europe. Despite the potential benefits, there are also problems along the way. In this research I am examining the adverse effects of one part of the Silk Road Economic Belt with my focus on Xinjiang Uyghur minority and their rights and Central Asian regional stability. Moreover, I suggest that China's past commitments in the international society as well as her actions in relations to the undertaking can give an insight into a regime where China would be the dominant power in international society. I have used qualitative analysis to study the topics. My most important methodological tools to examine the topics are as follows. I utilise conceptual analysis to borrow concepts from international relations field. I use method of situation analysis when I am describing the current circumstances in China's Xinjiang and Central Asia. Inductive analysis is the overall method since I suggest that the content I have examined could give an insight to how China regards and relates to international law in the future. Moreover, my theoretical framework of the research sees international law as a tool that a state can use to gain more power but at the same time international law restricts state's behaviour. Based on the findings of this research, in case of Xinjiang the New Silk Road is likely to worsen Uyghurs situation because of Beijing's worries and harsh actions to prevent any disturbance. However, the New Silk Road could bring stability and maintain regional security in Central Asia when the states could see it beneficial to unite for cooperation which can result with greater benefits. China's potential future regime will emphasize sovereignty and non-interference to states’ domestic matters. Moreover, there will be no room for minority rights in China's concept of human rights. Human rights are meant to protect rights of masses but are of secondary importance since development and security will be more important goals to pursue. In the field of cooperation, China is increasingly using multilateral forums to discuss the matters but reserves bilateral negotiations for executing the plans.

Non-gaussian Spatial Correlations Dramatically Weaken Localization.

We perform variational studies of the interaction-localization problem to describe the interaction-induced renormalizations of the effective (screened) random potential seen by quasiparticles. Here we present results of careful finite-size scaling studies for the conductance of disordered Hubbard chains at half-filling and zero temperature. While our results indicate that quasiparticle wave functions remain exponentially localized even in the presence of moderate to strong repulsive interactions, we show that interactions produce a strong decrease of the characteristic conductance scale g^{*} signaling the crossover to strong localization. This effect, which cannot be captured by a simple renormalization of the disorder strength, instead reflects a peculiar non-Gaussian form of the spatial correlations of the screened disordered potential, a hitherto neglected mechanism to dramatically reduce the impact of Anderson localization (interference) effects.

Interference of raw milk autochthonous microbiota on the performance of conventional methodologies for Listeria monocytogenes and Salmonella spp. detection

Pathogen detection in foods by reliable methodologies is very important to guarantee microbilogical safety. However, peculiar characteristics of certain foods, such as autochthonous microbiota, can directly influence pathogen development and detection. With the objective of verifying the performance of the official analytical methodologies for the isolation of Listeria monocytogenes and Salmonella in milk, different concentrations of these pathogens were inoculated in raw milk treatments with different levels of mesophilic aerobes, and then submitted to the traditional isolation procedures for the inoculated pathogens. Listeria monocytogenes was inoculated at the range of 0.2-5.2 log CFU/mL in treatments with 1.8-8.2 log CFU/mL. Salmonella Enteritidis was inoculated at 0.9-3.9 log CFU/mL in treatments with 3.0-8.2 log CFU/mL. The results indicated that recovery was not possible or was more difficult in the treatments with high counts of mesophilic aerobes and low levels of the pathogens, indicating interference of raw milk autochthonous microbiota. This interference was more evident for L. monocytogenes, once the pathogen recovery was not possible in treatments with mesophilic aerobes up to 4.0 log CFU/mL and inoculum under 2.0 log CFU/mL. For S. Enteritidis the interference appeared to be more non-specific. (C) 2007 Elsevier GmbH. All rights reserved.

Why do non-color words interfere with color naming?

In the non-color-word Stroop task, university students' response latencies were longer for low-frequency than for higher frequency target words. Visual identity primes facilitated color naming in groups reading the prime silently or processing it semantically (Experiment 1) but did not when participants generated a rhyme of the prime (Experiment 3). With auditory identity primes, generating an associate or a rhyme of the prime produced interference (Experiments 2 and 3). Color-naming latencies were longer for nonwords than for words (Experiment 4). There was a small long-term repetition benefit in color naming for low-frequency words that had been presented in the lexical decision task (Experiment 5). Facilitation of word recognition speeds color naming except when phonological activation of the base word increases response competition.

A non-invasive method for silencing gene transcription in honeybees maintained under natural conditions

in the Apis mellifera post-genomic era, RNAi protocols have been used in functional approaches. However, sample manipulation and invasive methods such as injection of double-stranded RNA (dsRNA) can compromise physiology and survival. To circumvent these problems, we developed a non-invasive method for honeybee gene knockdown, using a well-established vitellogenin RNAi system as a model. Second instar larvae received dsRNA for vitellogenin (dsVg-RNA) in their natural diet. For exogenous control, larvae received dsRNA for GFP (dsGFP-RNA). Untreated larvae formed another control group. Around 60% of the treated larvae naturally developed until adult emergence when 0.5 mu g of dsVg-RNA or dsGFP-RNA was offered while no larvae that received 3.0 mu g of dsRNA reached pupal stages. Diet dilution did not affect the removal rates. Viability depends not only on the delivered doses but also on the internal conditions of colonies. The weight of treated and untreated groups showed no statistical differences. This showed that RNAi ingestion did not elicit drastic collateral effects. Approximately 90% of vitellogenin transcripts from 7-day-old workers were silenced compared to controls. A large number of samples are handled in a relatively short time and smaller quantities of RNAi molecules are used compared to invasive methods. These advantages culminate in a versatile and a cost-effective approach. (c) 2008 Elsevier Ltd. All rights reserved.

A nanometre-scale non-periodic structural variation in high temperature superconducting ceramics and the implications for properties

Non-periodic structural variation has been found in the high T-c cuprates, YBa2Cu3O7-x and Hg0.67Pb0.33Ba2Ca2Cu3O8+delta, by image analysis of high resolution transmission electron microscope (HRTEM) images. We use two methods for analysis of the HRTEM images. The first method is a means for measuring the bending of lattice fringes at twin planes. The second method is a low-pass filter technique which enhances information contained by diffuse-scattered electrons and reveals what appears to be an interference effect between domains of differing lattice parameter in the top and bottom of the thin foil. We believe that these methods of image analysis could be usefully applied to the many thousands of HRTEM images that have been collected by other workers in the high temperature superconductor field. This work provides direct structural evidence for phase separation in high T-c cuprates, and gives support to recent stripes models that have been proposed to explain various angle resolved photoelectron spectroscopy and nuclear magnetic resonance data. We believe that the structural variation is a response to an opening of an electronic solubility gap where holes are not uniformly distributed in the material but are confined to metallic stripes. Optimum doping may occur as a consequence of the diffuse boundaries between stripes which arise from spinodal decomposition. Theoretical ideas about the high T-c cuprates which treat the cuprates as homogeneous may need to be modified in order to take account of this type of structural variation.

Non-coding RNAs: the architects of eukaryotic complexity

Around 98% of all transcriptional output in humans is noncoding RNA. RNA-mediated gene regulation is widespread in higher eukaryotes and complex genetic phenomena like RNA interference, co-suppression, transgene silencing, imprinting, methylation, and possibly position-effect variegation and transvection, all involve intersecting pathways based on or connected to RNA signaling. I suggest that the central dogma is incomplete, and that intronic and other non-coding RNAs have evolved to comprise a second tier of gene expression in eukaryotes, which enables the integration and networking of complex suites of gene activity. Although proteins are the fundamental effectors of cellular function, the basis of eukaryotic complexity and phenotypic variation may lie primarily in a control architecture composed of a highly parallel system of trans-acting RNAs that relay state information required for the coordination and modulation of gene expression, via chromatin remodeling, RNA-DNA, RNA-RNA and RNA-protein interactions. This system has interesting and perhaps informative analogies with small world networks and dataflow computing.

Quantum interference in optical fields and atomic radiation

We discuss the connection between quantum interference effects in optical beams and radiation fields emitted from atomic systems. We illustrate this connection by a study of the first- and second-order correlation functions of optical fields and atomic dipole moments. We explore the role of correlations between the emitting systems and present examples of practical methods to implement two systems with non-orthogonal dipole moments. We also derive general conditions for quantum interference in a two-atom system and for a control of spontaneous emission. The relation between population trapping and dark states is also discussed. Moreover, we present quantum dressed-atom models of cancellation of spontaneous emission, amplification on dark transitions, fluorescence quenching and coherent population trapping.

Non pre-emptive scheduling of messages on SMTV token-passing networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within distributed computer-controlled systems. Therefore, they constitute the foundation upon which real-time applications are to be implemented. A specific class of fieldbus communication networks is based on a simplified version of token-passing protocols, where each station may transfer, at most, a single message per token visit (SMTV). In this paper, we establish an analogy between non-preemptive task scheduling in single processors and the scheduling of messages on SMTV token-passing networks. Moreover, we clearly show that concepts such as blocking and interference in non-preemptive task scheduling have their counterparts in the scheduling of messages on SMTV token-passing networks. Based on this task/message scheduling analogy, we provide pre-run-time schedulability conditions for supporting real-time messages with SMTV token-passing networks. We provide both utilisation-based and response time tests to perform the pre-run-time schedulability analysis of real-time messages on SMTV token-passing networks, considering RM/DM (rate monotonic/deadline monotonic) and EDF (earliest deadline first) priority assignment schemes

Extending fixed task-priority schedulability by interference limitation

While the earliest deadline first algorithm is known to be optimal as a uniprocessor scheduling policy, the implementation comes at a cost in terms of complexity. Fixed taskpriority algorithms on the other hand have lower complexity but higher likelihood of task sets being declared unschedulable, when compared to earliest deadline first (EDF). Various attempts have been undertaken to increase the chances of proving a task set schedulable with similar low complexity. In some cases, this was achieved by modifying applications to limit preemptions, at the cost of flexibility. In this work, we explore several variants of a concept to limit interference by locking down the ready queue at certain instances. The aim is to increase the prospects of schedulability of a given task system, without compromising on complexity or flexibility, when compared to the regular fixed task-priority algorithm. As a final contribution, a new preemption threshold assignment algorithm is provided which is less complex and more straightforward than the previous method available in the literature.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.