This paper deals with the problem of graph matching or network alignment for Erd?s–Rényi graphs, which can be viewed as a noisy average-case version isomorphism problem. Let G and $$G'$$ G(n, p) graphs marginally, identified their adjacency matrices. Assume that are correlated such $${\mathbb {E}}[G_{ij} G'_{ij}] = p(1-\alpha )$$ . For permutation $$\pi $$ representing latent between vertices ,...

In the research field of process calculi, encoding between different calculi is an effective way to compare the expressive power of them and can shed light on the essence of where the difference lies. Thomsen and Sangiorgi have worked on the higher-order calculi (higher-order CCS and higherorder pi-calculus, respectively) and the encoding to and from first-order pi-calculus. But the work is not...

Process algebras such as CSP or the Pi-calculus are theories to reason about concurrent software. The Pi-calculus also introduces channel passing to address specific issues in mobility. Despite their similarity, the languages expose salient divergences at the formal level. CSP is built upon trace semantics while labeled transition systems and bisimulation are the privileged tools to discuss the...

Spectroscopic and molecular modeling studies were performed to investigate the underlying dispersion mechanism of single-walled carbon nanotubes (SWCNTs) in imidazolium-based ionic liquids. Both the experimental and the simulation evidence indicate that the ionic liquids interact with SWCNTs through weak van der Waals interaction other than the previous assumed "cation-pi" interaction. Therefor...

This paper reviews the development of new high-temperature polymeric materials applicable to plastic substrates in image display devices with a focus on our previous results. Novel solution-processable colorless polyimides (PIs) with ultra-low linear coefficients of thermal expansion (CTE) are proposed in this paper. First, the principles of the coloration of PI films are briefly discussed, inc...

BACKGROUND High intakes of phytochemical-rich foods have beneficial effects on lipid profiles and cardiovascular disease (CVD). In this study, we assessed the association between the dietary phytochemical index (PI) and changes in lipid profile after 3-year follow-up among Iranian adults. METHODS This longitudinal study was conducted in 1983 subjects, aged 19-70 years, selected among particip...

The Immersed Boundary method has evolved into one of the most useful computational methods in studying fluid structure interaction. On the other hand, the Immersed Boundary method is also known to suffer from a severe timestep stability restriction when using an explicit time discretization. In this paper, we propose several efficient semiimplicit schemes to remove this stiffness from the Immer...

We studied the responses of unpurified mouse thymocytes and of peanut agglutinin-negative mouse thymocytes to the pI 7.3 form of rabbit Interleukin-1. We found that small increases of temperature strongly enhanced the mitogenic effect of this form of IL-1, and that the apparent temperature optimum was 37 degrees C. In both these respects the behavior of the pI 7.3 IL-1 resembled the previously ...

We consider the pair (pi, fi) as a force with two-dimensional direction vector fi applied at the point pi in the plane. For a given set of forces we ask for a non-crossing geometric graph on the points pi that has the following property: There exists a weight assignment to the edges of the graph, such that for every pi the sum of the weighted edges (seen as vectors) around pi yields −fi. As add...