Numerical renormalization group study of random transverse Ising models in one and two space dimensions

The quantum critical behavior and the Griffiths-McCoy singularities of random quantum Ising ferromagnets are studied by applying a numerical implementation of the Ma-Dasgupta-Hu renormalization group scheme. We check the procedure for the analytically tractable one-dimensional case and apply our code to the quasi-one-dimensional double chain. For the latter we obtain identical critical exponents as for the simple chain implying the same universality class. Then we apply the method to the two-dimensional case for which we get estimates for the exponents that are compatible with a recent study in the same spirit.Comment: 10 pages LaTeX, eps-figures and PTP-macros included. Proceedings of the ICCP5, Kanazawa (Japan), 199

A user's guide for the signal processing software for image and speech compression developed in the Communications and Signal Processing Laboratory (CSPL), version 1

A complete documentation of the software developed in the Communication and Signal Processing Laboratory (CSPL) during the period of July 1985 to March 1986 is provided. Utility programs and subroutines that were developed for a user-friendly image and speech processing environment are described. Additional programs for data compression of image and speech type signals are included. Also, programs for the zero-memory and block transform quantization in the presence of channel noise are described. Finally, several routines for simulating the perfromance of image compression algorithms are included

DLC2 modulates angiogenic responses in vascular endothelial cells by regulating cell attachment and migration.

Deleted in liver cancer 1 (DLC1) is a RhoGTPase activation protein-containing tumor suppressor that associates with various types of cancer. Although DLC2 shares a similar domain structure with that of DLC1, the function of DLC2 is not well characterized. Here, we describe the expression and ablation of DLC2 in mice using a reporter-knockout approach. DLC2 is expressed in several tissues and in endothelial cells (ECs) of blood vessels. Although ECs and blood vessels show no histological abnormalities and mice appear overall healthy, DLC2-mutant mice display enhanced angiogenic responses induced by matrigel and by tumor cells. Silencing of DLC2 in human ECs has reduced cell attachment, increased migration, and tube formation. These changes are rescued by silencing of RhoA, suggesting that the process is RhoA pathway dependent. These results indicate that DLC2 is not required for mouse development and normal vessel formation, but may protect mouse from unwanted angiogenesis induced by, for example, tumor cells

Determination of a set of constitutive equations for an al-li alloy at SPF conditions

© 2015 The Authors.Uniaxial tensile tests of aluminium-lithium alloy AA1420wereconducted at superplastic forming conditions. The mechanical properties of this Al-Li alloy were then modelled by a set of physicallybased constitutive equations. The constitutive equations describe the isotropic work hardening,recovery and damage by dislocation density changes and grain size evolution. Based on a recent upgraded optimisation technique, the material constants for these constitutive equations were determined

Symbolic Execution Game Semantics

41 pages, 5 figuresWe present a framework for symbolically executing and model checking higher-order programs with external (open) methods. We focus on the client-library paradigm and in particular we aim to check libraries with respect to any definable client. We combine traditional symbolic execution techniques with operational game semantics to build a symbolic execution semantics that captures arbitrary external behaviour. We prove the symbolic semantics to be sound and complete. This yields a bounded technique by imposing bounds on the depth of recursion and callbacks. We provide an implementation of our technique in the K framework and showcase its performance on a custom benchmark based on higher-order coding errors such as reentrancy bugs

Planet Population Synthesis

With the increasing number of exoplanets discovered, statistical properties of the population as a whole become unique constraints on planet formation models provided a link between the description of the detailed processes playing a role in this formation and the observed population can be established. Planet population synthesis provides such a link. The approach allows to study how different physical models of individual processes (e.g., proto-planetary disc structure and evolution, planetesimal formation, gas accretion, migration, etc.) affect the overall properties of the population of emerging planets. By necessity, planet population synthesis relies on simplified descriptions of complex processes. These descriptions can be obtained from more detailed specialised simulations of these processes. The objective of this chapter is twofold: 1) provide an overview of the physics entering in the two main approaches to planet population synthesis and 2) present some of the results achieved as well as illustrate how it can be used to extract constraints on the models and to help interpret observations.Comment: 23 pages, 8 figures, accepted for publication as a chapter in Protostars and Planets VI, University of Arizona Press (2014), eds. H. Beuther, R. Klessen, C. Dullemond, Th. Henning. Updated references relative to v

COCO_TS Dataset: Pixel-level Annotations Based on Weak Supervision for Scene Text Segmentation

The absence of large scale datasets with pixel-level supervisions is a significant obstacle for the training of deep convolutional networks for scene text segmentation. For this reason, synthetic data generation is normally employed to enlarge the training dataset. Nonetheless, synthetic data cannot reproduce the complexity and variability of natural images. In this paper, a weakly supervised learning approach is used to reduce the shift between training on real and synthetic data. Pixel-level supervisions for a text detection dataset (i.e. where only bounding-box annotations are available) are generated. In particular, the COCO-Text-Segmentation (COCO_TS) dataset, which provides pixel-level supervisions for the COCO-Text dataset, is created and released. The generated annotations are used to train a deep convolutional neural network for semantic segmentation. Experiments show that the proposed dataset can be used instead of synthetic data, allowing us to use only a fraction of the training samples and significantly improving the performances

Sharp thresholds of blow-up and global existence for the coupled nonlinear Schrodinger system

In this paper, we establish two new types of invariant sets for the coupled nonlinear Schrodinger system on $\mathbb{R}^n$, and derive two sharp thresholds of blow-up and global existence for its solution. Some analogous results for the nonlinear Schrodinger system posed on the hyperbolic space $\mathbb{H}^n$ and on the standard 2-sphere $\mathbb{S}^2$ are also presented. Our arguments and constructions are improvements of some previous works on this direction. At the end, we give some heuristic analysis about the strong instability of the solitary waves.Comment: 21 page