Layer structure estimation of three‐dimensional crystal and two‐dimensional molecular film for fluorinated comb copolymers

Comb copolymers containing both hydrogenated and fluorinated side‐chains were prepared by copolymerization using acrylic or methacrylic monomers in several ratios. The crystal structures of these copolymers and layer structures of their organized molecular films were investigated by wide‐angle X‐ray diffraction (WAXD), small‐angle X‐ray scattering (SAXS), and out‐of plane X‐ray diffraction. Further, to selectively estimate the regularity of shorter fluorocarbon side‐chains, organized molecular films of copolymers were investigated by polarized near‐edge X‐ray adsorption fine structure (NEXAFS) spectroscopy. From the results of these measurements, it was inferred that these copolymers formed highly ordered layer structures, and a long spacing was predominantly determined by the arrangement of hydrogenated side‐chains, except in copolymers having extremely high fluorocarbon contents. In the case of the organized molecular films, the fluorinated side‐chains of methacrylate copolymers cannot form a highly ordered arrangement, whereas those of acrylate copolymers were oriented on monolayers. However, in both cases, the hydrogenated side‐chains predominantly formed layer structures in the organized films, and the fluorinated side‐chains did not contribute to the formation of the layer structures. © 2008 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 46: 534–546, 2008     

$${\varvec{teaspoon}}$$ : solving the curriculum-based course timetabling problems with answer set programming

Annals of Operations Research - Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities....     

Integral Formulas for the Minimal Representation of O(p,2)

The minimal representation of O(p,q) (p+q: even) is realized on the Hilbert space of square integrable functions on the conical subvariety of R^p+q–2. This model presents a close resemblance of the Schrödinger model of the Segal–Shale–Weil representation of the metaplectic group. We shall give explicit integral formulas for the inversion together with the analytic continuation to a certain semigroup of O(p+2,C) of the minimal representation of O(p,2) by using Bessel functions.Mathematics Subject Classifications (2000) primary 22E30; secondary 22E46, 20M20, 43A80.     

Correlative Sparsity in Primal-Dual Interior-Point Methods for LP,SDP, and SOCP

Exploiting sparsity has been a key issue in solving large-scale optimization problems. The most time-consuming part of primal-dual interior-point methods for linear programs, second-order cone programs, and semidefinite programs is solving the Schur complement equation at each iteration, usually by the Cholesky factorization. The computational efficiency is greatly affected by the sparsity of the coefficient matrix of the equation which is determined by the sparsity of an optimization problem (linear program, semidefinite program or second-order cone program). We show if an optimization problem is correlatively sparse, then the coefficient matrix of the Schur complement equation inherits the sparsity, and a sparse Cholesky factorization applied to the matrix results in no fill-in. S. Kim’s research was supported by Kosef R01-2005-000-10271-0 and KRF-2006-312-C00062.     

Note on equivariant harmonic maps in complex projective spaces

We give a simple criterion for equivariant harmonic maps into complex projective spaces CP ⁿ . As an application of the criterion, we give examples of equivariant harmonic cylinders. We also give examples of non-equivariant harmonic cylinders as perturbations of equivariant harmonic cylinders.     

Low‐gain adaptive stabilization of semilinear second‐order hyperbolic systems

In this paper low‐gain adaptive stabilization of undamped semilinear second‐order hyperbolic systems is considered in the case where the input and output operators are collocated. The linearized systems have an infinite number of poles and zeros on the imaginary axis. The adaptive stabilizer is constructed by a low‐gain adaptive velocity feedback. The closed‐loop system is governed by a non‐linear evolution equation. First, the well‐posedness of the closed‐loop system is shown. Next, an energy‐like function and a multiplier function are introduced and the exponential stability of the closed‐loop system is analysed. Some examples are given to illustrate the theory. Copyright © 2004 John Wiley & Sons, Ltd.     

A vanishing theorem for modular symbols on locally symmetric spaces

A modular symbol is the fundamental class of a totally geodesic submanifold embedded in a locally Riemannian symmetric space , which is defined by a subsymmetric space . In this paper, we consider the modular symbol defined by a semisimple symmetric pair (G,G'), and prove a vanishing theorem with respect to the -component in the Matsushima-Murakami formula based on the discretely decomposable theorem of the restriction . In particular, we determine explicitly the middle Hodge components of certain totally real modular symbols on the locally Hermitian symmetric spaces of type IV. Received: December 8, 1996     

Pseudo-hyperbolic Gauss maps of Lorentzian surfaces in anti-de Sitter space

In this paper, we determine the type numbers of the pseudo-hyperbolic Gauss maps of all oriented Lorentzian surfaces of constant mean and Gaussian curvatures and non-diagonalizable shape operator in the 3-dimensional anti-de Sitter space. Also, we investigate the behavior of type numbers of the pseudo-hyperbolic Gauss map along the parallel family of such oriented Lorentzian surfaces in the 3-dimensional anti-de Sitter space. Furthermore, we investigate the type number of the pseudo-hyperbolic Gauss map of one of Lorentzian hypersurfaces of B-scroll type in a general dimensional anti-de Sitter space.     

Constructing finitely presented monoids which have no finite complete presentation

Squier (1987) showed that if a monoid is defined by a finite complete rewriting system, then it satisfies the homological finiteness condition FP₃, and using this fact he gave monoids (groups) which have solvable word problems but cannot be presented by finite complete systems. In the present paper we show that a monoid cannot have a finite complete presentation if it contains certain special elements. This observation enables us to construct monoids without finite complete presentation in a direct and elementary way. We give a finitely presented monoid which has (1) a word problem solvable in linear time and (2) linear growth but (3) no finite complete presentation. We also give a finitely presented monoid which has (1) a word problem solvable in linear time, (2) finite derivation type in the sense of Squier and (3) the property FP_∞, but (4) no finite complete presentation.