85,746 research outputs found
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
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
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
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 , 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
and on the standard 2-sphere 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
- …