Soviet policy towards Japan : an analysis of trends in the 1970s and 1980s

This thesis is concerned with providing an analysis of Soviet policy towards Japan in the recent years of the late 1970s and in the 1980s. Inputs in Soviet policy from the ideological , political, military and economic perspectives have all been examined in detail. It is argued in many places that much of the comment in Western sources on this subject is misleading thus many of the f indings seek to mitigate this situation. The criticism that has been levelled at the Soviets by Western analysts that they lack what can be defined as a 'policy' on Japan has been considered and found to be misplaced. Questions of to what degree the Soviets 'understand' Japan and the Japanese, as well as to what degree they have successfully integrated differing approaches (ideological, military, economic, political ) into a coherent policy have been investigated and shown, by and large, to have been of mixed nature in the first case, and of overall successful coordination in the second

Four methods for determining the composition of trace radioactive surface contamination of low-radioactivity metal

Four methods for determining the composition of low-level uranium- and thorium-chain surface contamination are presented. One method is the observation of Cherenkov light production in water. In two additional methods a position-sensitive proportional counter surrounding the surface is used to make both a measurement of the energy spectrum of alpha particle emissions and also coincidence measurements to derive the thorium-chain content based on the presence of short-lived isotopes in that decay chain. The fourth method is a radiochemical technique in which the surface is eluted with a weak acid, the eluate is concentrated, added to liquid scintillator and assayed by recording beta-alpha coincidences. These methods were used to characterize two `hotspots' on the outer surface of one of the He-3 proportional counters in the Neutral Current Detection array of the Sudbury Neutrino Observatory experiment. The methods have similar sensitivities, of order tens of ng, to both thorium- and uranium-chain contamination.Comment: 22 pages, 19 figure

Thermal noise properties of two aging materials

In this lecture we review several aspects of the thermal noise properties in two aging materials: a polymer and a colloidal glass. The measurements have been performed after a quench for the polymer and during the transition from a fluid-like to a solid-like state for the gel. Two kind of noise has been measured: the electrical noise and the mechanical noise. For both materials we have observed that the electric noise is characterized by a strong intermittency, which induces a large violation of the Fluctuation Dissipation Theorem (FDT) during the aging time, and may persist for several hours at low frequency. The statistics of these intermittent signals and their dependance on the quench speed for the polymer or on sample concentration for the gel are studied. The results are in a qualitative agreement with recent models of aging, that predict an intermittent dynamics. For the mechanical noise the results are unclear. In the polymer the mechanical thermal noise is still intermittent whereas for the gel the violation of FDT, if it exists, is extremely small.Comment: to be published in the Proceedings of the XIX Sitges Conference on ''Jammming, Yielding and Irreversible Deformation in Condensed Matter'', M.-C.Miguel and M. Rubi eds.,Springer Verlag, Berli

An optimization principle for deriving nonequilibrium statistical models of Hamiltonian dynamics

A general method for deriving closed reduced models of Hamiltonian dynamical systems is developed using techniques from optimization and statistical estimation. As in standard projection operator methods, a set of resolved variables is selected to capture the slow, macroscopic behavior of the system, and the family of quasi-equilibrium probability densities on phase space corresponding to these resolved variables is employed as a statistical model. The macroscopic dynamics of the mean resolved variables is determined by optimizing over paths of these probability densities. Specifically, a cost function is introduced that quantifies the lack-of-fit of such paths to the underlying microscopic dynamics; it is an ensemble-averaged, squared-norm of the residual that results from submitting a path of trial densities to the Liouville equation. The evolution of the macrostate is estimated by minimizing the time integral of the cost function. The value function for this optimization satisfies the associated Hamilton-Jacobi equation, and it determines the optimal relation between the statistical parameters and the irreversible fluxes of the resolved variables, thereby closing the reduced dynamics. The resulting equations for the macroscopic variables have the generic form of governing equations for nonequilibrium thermodynamics, and they furnish a rational extension of the classical equations of linear irreversible thermodynamics beyond the near-equilibrium regime. In particular, the value function is a thermodynamic potential that extends the classical dissipation function and supplies the nonlinear relation between thermodynamics forces and fluxes

Mutations in MAP3K7 that Alter the Activity of the TAK1 Signaling Complex Cause Frontometaphyseal Dysplasia.

Frontometaphyseal dysplasia (FMD) is a progressive sclerosing skeletal dysplasia affecting the long bones and skull. The cause of FMD in some individuals is gain-of-function mutations in FLNA, although how these mutations result in a hyperostotic phenotype remains unknown. Approximately one half of individuals with FMD have no identified mutation in FLNA and are phenotypically very similar to individuals with FLNA mutations, except for an increased tendency to form keloid scars. Using whole-exome sequencing and targeted Sanger sequencing in 19 FMD-affected individuals with no identifiable FLNA mutation, we identified mutations in two genes-MAP3K7, encoding transforming growth factor β (TGF-β)-activated kinase (TAK1), and TAB2, encoding TAK1-associated binding protein 2 (TAB2). Four mutations were found in MAP3K7, including one highly recurrent (n = 15) de novo mutation (c.1454C>T [ p.Pro485Leu]) proximal to the coiled-coil domain of TAK1 and three missense mutations affecting the kinase domain (c.208G>C [p.Glu70Gln], c.299T>A [p.Val100Glu], and c.502G>C [p.Gly168Arg]). Notably, the subjects with the latter three mutations had a milder FMD phenotype. An additional de novo mutation was found in TAB2 (c.1705G>A, p.Glu569Lys). The recurrent mutation does not destabilize TAK1, or impair its ability to homodimerize or bind TAB2, but it does increase TAK1 autophosphorylation and alter the activity of more than one signaling pathway regulated by the TAK1 kinase complex. These findings show that dysregulation of the TAK1 complex produces a close phenocopy of FMD caused by FLNA mutations. Furthermore, they suggest that the pathogenesis of some of the filaminopathies caused by FLNA mutations might be mediated by misregulation of signaling coordinated through the TAK1 signaling complex

Statistical Theory of Spin Relaxation and Diffusion in Solids

A comprehensive theoretical description is given for the spin relaxation and diffusion in solids. The formulation is made in a general statistical-mechanical way. The method of the nonequilibrium statistical operator (NSO) developed by D. N. Zubarev is employed to analyze a relaxation dynamics of a spin subsystem. Perturbation of this subsystem in solids may produce a nonequilibrium state which is then relaxed to an equilibrium state due to the interaction between the particles or with a thermal bath (lattice). The generalized kinetic equations were derived previously for a system weakly coupled to a thermal bath to elucidate the nature of transport and relaxation processes. In this paper, these results are used to describe the relaxation and diffusion of nuclear spins in solids. The aim is to formulate a successive and coherent microscopic description of the nuclear magnetic relaxation and diffusion in solids. The nuclear spin-lattice relaxation is considered and the Gorter relation is derived. As an example, a theory of spin diffusion of the nuclear magnetic moment in dilute alloys (like Cu-Mn) is developed. It is shown that due to the dipolar interaction between host nuclear spins and impurity spins, a nonuniform distribution in the host nuclear spin system will occur and consequently the macroscopic relaxation time will be strongly determined by the spin diffusion. The explicit expressions for the relaxation time in certain physically relevant cases are given.Comment: 41 pages, 119 Refs. Corrected typos, added reference

A theorem proving framework for the formal verification of Web Services Composition

We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.Comment: In Proceedings WWV 2011, arXiv:1108.208

Discovery and fine-mapping of glycaemic and obesity-related trait loci using high-density imputation

Reference panels from the 1000 Genomes (1000G) Project Consortium provide near complete coverage of common and low-frequency genetic variation with minor allele frequency ≥0.5% across European ancestry populations. Within the European Network for Genetic and Genomic Epidemiology (ENGAGE) Consortium, we have undertaken the first large-scale meta-analysis of genome-wide association studies (GWAS), supplemented by 1000G imputation, for four quantitative glycaemic and obesity-related traits, in up to 87,048 individuals of European ancestry. We identified two loci for body mass index (BMI) at genome-wide significance, and two for fasting glucose (FG), none of which has been previously reported in larger meta-analysis efforts to combine GWAS of European ancestry. Through conditional analysis, we also detected multiple distinct signals of association mapping to established loci for waist-hip ratio adjusted for BMI (RSPO3) and FG (GCK and G6PC2). The index variant for one association signal at the G6PC2 locus is a low-frequency coding allele, H177Y, which has recently been demonstrated to have a functional role in glucose regulation. Fine-mapping analyses revealed that the non-coding variants most likely to drive association signals at established and novel loci were enriched for overlap with enhancer elements, which for FG mapped to promoter and transcription factor binding sites in pancreatic islets, in particular. Our study demonstrates that 1000G imputation and genetic fine-mapping of common and low-frequency variant association signals at GWAS loci, integrated with genomic annotation in relevant tissues, can provide insight into the functional and regulatory mechanisms through which their effects on glycaemic and obesity-related traits are mediated