Sparse shape functions for tetrahedral <Emphasis Type="Italic">p</Emphasis>-FEM using integrated Jacobi polynomials

Summary In this paper, we investigate the discretization of an elliptic boundary value problem in 3D by means of the hp-version of the finite element method using a mesh of tetrahedrons. We present several bases based on integrated Jacobi polynomials in which the element stiffness matrix has nonzero entries, where p denotes the polynomial degree. The proof of the sparsity requires the assistance of computer algebra software. Several numerical experiments show the efficiency of the proposed bases for higher polynomial degrees p.      

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

Coordination components for collaborative virtual environments

This paper deals with the behavior of virtual environments from the collaboration point-of-view, in which actors (human or virtual beings) interact and collaborate by means of interdependent tasks. In this sense, actors may realize tasks that are dependent on tasks performed by other actors, while the interdependencies between tasks (through resource management and temporal relations) delineate the overall behavior of a virtual environment. Our main goal is to propose an approach for the coordination of those behaviors. Initially a generic study of possible interdependencies between collaborative tasks is presented, followed by the formal modeling (using Petri Nets) of coordination mechanisms for those dependencies. In order to implement such mechanisms, an architecture of reusable and pluggable coordination components is also introduced. These components are used in an implementation of a multi-user videogame. The presented approach is a concrete step to create virtual societies of actors that collaborate to reach common goals without the risk of getting involved in conflicting or repetitive tasks.     

High-pressure plastic flow in silicon: A first-principles theoretical study

Summary Microindentation experiments have recently shown that silicon can exhibit plastic flow when subjected to high pressure. Assuming that under these conditions the relevant reference structure is the -Sn high-pressure phase of silicon, we apply the magic-strain concept to explore the space of configurations that could describe the observed behavior. We use first-principles total-energy calculations (including full relaxation of the atomic basis for every structure) to evaluate the relevance of strained configurations. Using this approach, we were able to identify a low-energy path that corresponds to planar flow of the atoms. The atomic configurations along this path provide insight into possible microscopic motions under high pressure that may be relevant to plastic flow in silicon.     

"Publishing opinions: A note on the usefulness of commentaries": Comment.

Comments on J. J. Christensen-Szalanski and L. R. Beach's (see record 1984-21471-001) conclusion that the attention given to commentaries and replies to articles did not justify the extra space and argues that citation indexes do not measure the major usefulness of these commentaries. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On the rate of heterogeneous catalytic reactions with ionic intermediates

A facile way to compute the rate law of a catalytic reaction with ionic intermediates is proposed, based on the theory of complex reactions. When the ionic nature of intermediates is taken into account it is necessary to add balance equations which correspond to the electroneutrality of the catalyst. Several mechanisms of the olefin hydrogenation were considered as examples.     

对油水乳浊液分离的研究

本文主要研究了操作条件的改变对分离效果的影响，在研究中还考察了NaCl和絮凝剂加入乳浊液后对分离过程产生的增效作用。得到了一个与实验数据相关联的数学方程，为估算油的去除率提供了一个有用的工具。在电浮选装置中采用不溶电极，为今后的分离技术提供了一个新思路。     

谈公共设施中的环境陶艺形态

探讨公共设施环境陶艺形态的类型、表现手法及特点,指出公共设施中的环境陶艺形态设计要强调实用与审美、环境相统一。     

小流域设计洪水计算方法的探讨

利用实例对各常用设计洪水流量计算方法进行比较分析,指出各方法的特点。