Amorphous Spherical Carbon with Nitrogen (SCN) active carbon has been prepared by carbonization of poly(vinylpyridine-divinylbenzene) (PVPDVB) copolymer. The PVPDVB dehydrogenation copolymer has been quantum chemically (QC) simulated using cluster and periodic models. Scanning electron microscopy (SEM), transmission electron microscopy (TEM) and energy dispersive X-ray (EDX) studies of the resu...

Recension av: Touching Things. Ethnological Aspects of Modern Material Culture. 2008 Red. Pirjo Korkiakangas, Tiina-Riitta Lappi & Heli Niskanen. (Studia Fennica Ethnologica 11.) Helsinki: SKS, 277 s.

Sistem pembayaran merupakan sebuah sistem yang berhubungan dengan pemindahan sejumlah uang dari satu pihak ke lainnya, Oleh karena itu, diperlukan solusi tepat guna memodifikasi aktivitas masih manual menjadi otomatis. Maka perlunya membuat suatu informasi untuk memecahkan permasalahan tersebut .Tujuan penelitian ini yakni mrancang tagihan SPP dan SKS lebih efisien efektif. berfungsi sebagai fa...

The present work introduces a modified scheme for the solution of compressible 2-D full Navier-Stokes equations, using Flux Vector Splitting method. As a result of this modification, numerical diffusion is reduced. The computer code which is developed based on this algorithm can be used easily and accurately to analyze complex flow fields with discontinuity in properties, in cases such as shock...

Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy deene in 9] the sequentiality of a predicate P on partially evaluated terms. We show ...

Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has been complied with by mainstream separation kernels. Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification wit...

S. Kramer-Schadt ([email protected]), N. Fernández, D. Eisinger, V. Grimm, and H.-H. Thulke, UFZ, Helmholtz Centre for Environmental Research − UFZ, Dept of Ecological Modelling (OESA), Permoser Str. 15, DE−04318 Leipzig, Germany. SKS also at: Dept of Biology, Univ. of Bergen, Thormøhlensgate 55, NO−5008 Bergen, Norway. NF also at: Dept of Applied Biology, Estación Biológica de...