Eigenvectors of large matrices (and graphs) play an essential role in combinatorics and theoretical computer science. The goal of this survey is to provide an up-to-date account on properties of eigenvectors when the matrix (or graph) is random.

Abstract   The Analytic Network Process (ANP) is a generalization of the Analytic Hierarchy Process (AHP). The basic structure is an influence network of clusters and nodes contained within the clusters. Priorities are established in the same way they are in the AHP using pairwise comparisons and judgment. Many decision problems cannot be structured hierarchically because they involve the inter...

Model checking is a well known technique for the verification of finite state models using temporal logic specification. While model checking is suitable for transformational systems (also called closed systems), it is unsuitable for open systems (also known as reactive systems) where the nondeterminism in the environment must be considered during verification. Module checking is an approach fo...

Vibration-rotation and pure rotational data in the X2Σ+ ground state and electronic data from the A2Π – X2Σ+ and B2Σ+ − X2Σ+ transitions of CaH and CaD were used in the quantum-mechanical direct-potential-fit (DPF) analysis to determine an analytic potential energy function for the X2Σ+ ground state of CaH, and a radial correction function for the CaD isotopologue. The potential energy function...

In this paper, we study analytic and loop solutions of the K(2,2) equation(focusing branch), which is first proposed by Rosenau. The implicit analytic and loop solutions are obtained by using the dynamical system approach. Moreover, we investigate how the famous Rosenau-Hyman compactons can be recovered as limits of classical solitary wave solutions forming analytic homoclinic orbits for the re...

At present, reducing subgrade settlement of soft soil foundation is a key problem in high-speed railway construction. Pile-slab structure is a widely-utilized form of foundation structure to reduce the subgrade settlement in China. In order to save the engineering cost for high-speed railway construction in developing countries, the author developed a pile-slab structure and named it as the new...

After EATCS was officially founded in 1972 the Bulletin issuer one was edited by Maurice Nivat in 73, issue two by Giorgio Ausiello in 76. I was elected EATCS Secretary and Bulletin editor at the 4 th ICALP (Turku, 1977) The regular appearance (three issues a year) was started by me with issue three: I am happy that some of the logo-design and structure that we introduced (particular the ideas ...