An expectation formula with applications

In this paper, we derive an expectation formula of a random variable having distribution W(x;q). As applications of the expectation formula, we give a transformation formula and an expansion of Sears? View the MathML source" title="View the MathML source" src="http://ars.sciencedirect.com/content/image/1-s2.0-S0022247X1100062X-si2.gif"> transformation formula.     

Condensed Cramer rule for some restricted quaternion linear equations

In this paper, we derive an alternative more condensed Cramer rule for the unique solution of some restricted left and right systems of quaternion linear equations. The findings of this paper extend some known results in the literature.     

A relation-algebraic approach to simple games

Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool Rel View after a simple translation into the tool’s programming language. In order to demonstrate the visualization facilities of Rel View we consider an example of the Catalonian Parliament after the 2003 election.     

Word长文档框架结构的编排技巧

本文介绍了Word长文档框架结构的编排技巧。     

A flexible architecture for multi-view 3DTV based on uncalibrated cameras

This paper presents a novel flexible architecture for 3DTV based on multiple uncalibrated cameras. The proposed signal representation improves the interactivity of dense point-based methods, making them appropriate for modeling the scene semantics and free-viewpoint 3DTV applications. The main concern is to address the shortcomings of depth image-based 3D video systems for free-viewpoint visualization, and to provide an efficient implementation of the rendering part which is computationally intensive as well potentially determine the view quality. Novel rendering algorithms are added that specifically aim at solving the rendering artifacts, and sampling issues encountered in wide baseline extensions and arbitrary camera movements. To optimize the process, a “selective” warping technique is proposed that takes the advantage of temporal coherence to reduce the computational overhead. Performance is illustrated on challenging videos to prove the suitability and flexibility of the architecture for advanced 3DTV systems.     

偏光棱镜视场角的严格分析

本文以格兰·泰勒棱镜为例,给出了任意入射面上的视场角计算公式,分析了视场角与入射面方位的关系,为高精度棱镜的测量和棱镜特征参量的精确标定提供了依据。     

beta-Barrel transmembrane proteins: Geometric modelling, detection of transmembrane region, and structural properties

The location of the membrane lipid bilayer relative to a transmembrane protein structure is important in protein engineering. Since it is not present on the determined structures, it is essential to automatically define the membrane embedded protein region in order to test mutation effects or to design potential drugs. beta-Barrel transmembrane proteins, present in nature as outer membrane proteins (OMPs), comprise one of the two transmembrane protein fold classes. Lately, the number of their determined structures has increased and this enables the implementation and evaluation of structure-based annotation methods and their more comprehensive study. In this paper, we propose two new algorithms for (i) the geometric modelling of beta-barrels and (ii) the detection of the transmembrane region of a beta-barrel transmembrane protein. The geometric modelling algorithm combines a non-linear least square minimization method and a genetic algorithm in order to find the characteristics (axis, radius) of a shape with axial symmetry which best models a beta-barrel. The transmembrane region is detected by profiling the external residues of the beta-barrel along its axis in terms of hydrophobicity and existence of aromatic and charged residues. TbB-Tool implements these algorithms and is available in . A non-redundant set of 22 OMPs is used in order to evaluate the algorithms implemented and the results are very satisfying. In addition, we quantify the abundance of all amino acids and the average hydrophobicity for external and internal beta-stranded residues along the axis of beta-barrel, thus confirming and extending other researchers' results.     

Precoloring extension on unit interval graphs

In the precoloring extension problem a graph is given with some of the vertices having preassigned colors and it has to be decided whether this coloring can be extended to a proper k-coloring of the graph. Answering an open question of Hujter and Tuza [Precoloring extension. III. Classes of perfect graphs, Combin. Probab. Comput. 5 (1) (1996) 35-56], we show that the precoloring extension problem is NP-complete on unit interval graphs.     

Generalized Navier-Stokes equations with initial data in local Q-type spaces

In this paper, we establish a link between Leray mollified solutions of the three-dimensional generalized Navier-Stokes equations and mild solutions for initial data in the adherence of the test functions for the norm of View the MathML source" title="View the MathML source" src="http://ars.sciencedirect.com/content/image/1-s2.0-S0022247X10002969-si1.gif">. This result applies to the usual incompressible Navier-Stokes equations.