Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures."

"ABSTRAKMasalah perpindahan dan perombakan pencemar dalam air tanah dapat dimodelkan dalam bentuk sistem persamaan diferensial parsial parabolik nonlinier. Perombakan yang dimaksud adalah menghilangkan atau mengurangi pencemar sehingga tidak membahayakan bagi lingkungannya. Variabel-variabel dalam sistem persamaan diferensial parsial tersebut terdiri dari pencemar, oksigen, dan mikroorganisme. Dalam sistem ini menunjukan adanya interaksi antara pencemar, oksigen dan mikroorganisme. Interaksinya adalah dengan adanya oksigen, mikroorganisme akan berkembang biak dan mendegradasi pencemar sehingga konsentrasi pencemar akan berkurang dari keadaan sebelumnya. Untuk menyelesaikan sistem persamaan diferensial parsial tersebut dilakukan diskritisasi. Diskritisasi ini menggunakan metoda beda hingga (finite difference). Diskritisasi dilakukan pada variabel spasial persamaan diferensial parsial, yang menghasilkan sistem persamaan diferensial biasa. Sistem persamaan diferensial biasa yang dihasilkan adalah sistem persamaan diferensial biasa nonlinier yang berukuran besar. Penyelesaian sistem persamaan diferensial biasa di atas dilakukan dengan pendekatan numerik. Integrator yang digunakan adalah metoda multistep, prediktorkorektor. leberapa nilai solusi awal yang diperlukan disediakan oleh metoda Runge-Kutta Implisit Diagonal dari Viz. Penyelesaian ini menggunakan besar langkah yang adaptif. Besar langkah adaptif diperlukan untuk mengatasi besar kesalahan iokal (local truncation error) yang berubah-ubah pada setiap langkahnya. Implementasi dilakukan dengan menggunakan bahasa pemrograman FORTRAN 77. Eksperimen dilakukan pada komputer pribadi dengan clock rate 120 Mhz, dengan nilai awal pencemar berkonsentrasi tinggi di bagian tengahnya yang ditunjukkan oleh ekspresi 4 *-?ill - x * x- y *_yl , oksigen dan mikroorganisme berkonsentrasi merata (homogen) pada seluruh penampang (aquifer). Konsentrasi oksigen dan mikroorganisme masing-masing adalah 4,5 dan 0,1. Waktu pengamatan selama 130 hari dan area terbagi atas grid 10x lO dengan toleransi 10-1. Hasil komputasi penyelesaian dengan metoda prediktor-korektor menunjukkan hasil yang efektif, dan waktu komputasi untuk menyelesaikan tiga titik pertama (metoda Runge-Kutta Implisit Diagonal) mendekati dua kali dari waktu yang digunakan oleh metoda prediktor-kcrektor untuk menyelesaikan titik berikutnya sampai titik terakhir (If)."

"Rain produces both,surface run off and base flow.In this journal , we will be discussing about developing a software for surface run off modelling based on the Saint Venant equation,using MacCormak 2D method

---

"

"ABSTRACTA problem of analytical-numerical modeling of the plane wave propagation from anocean surface to the atmosphere is considered. We are interested in the thermosphere impactof tsunami waves. We suppose that the transport of energy and the momentum from loweratmosphere to thermosphere heights is due to acoustic waves.A set of expressions for the atmosphere variables (pressure, velocity, entropy) as a functionof the atmosphere parameters, time and height is derived and illustrated by plots. Thesurface water wave parameters, typical for tsunami also enter final expressions for the atmosphereand ionosphere variables."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational studies and practical applications"

"This book presents the state of the art in parallel numerical algorithms, applications, architectures, and system software. The book examines various solutions for issues of concurrency, scale, energy efficiency, and programmability, which are discussed in the context of a diverse range of applications. Features : includes contributions from an international selection of world-class authorities, examines parallel algorithm-architecture interaction through issues of computational capacity-based codesign and automatic restructuring of programs using compilation techniques, reviews emerging applications of numerical methods in information retrieval and data mining, discusses the latest issues in dense and sparse matrix computations for modern high-performance systems, multicores, manycores and GPUs, and several perspectives on the Spike family of algorithms for solving linear systems, and presents outstanding challenges and developing technologies, and puts these in their historical context."

"This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The papers present original research at the intersection of algorithms and game theory and address various current topics such as solution concepts in game theory, efficiency of equilibria and price of anarchy, complexity classes in game theory, computational aspects of equilibria, computational aspects of fixed-point theorems, repeated games, evolution and learning in games, convergence of dynamics, coalitions, coordination and collective action; reputation, recommendation and trust systems, graph-theoretic aspects of social networks, network games; cost-sharing algorithms and analysis, computing with incentives, algorithmic mechanism design, computational social choice, decision theory, and pricing, auction algorithms and analysis, economic aspects of distributed computing, internet economics and computational advertising."

"This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for inclusion in this book. One of the main themes of the CASC workshop series, namely polynomial algebra, is represented by contributions devoted to new algorithms for computing comprehensive Gröbner and involutive systems, parallelization of the Gröbner bases computation, the study of quasi-stable polynomial ideals, new algorithms to compute the Jacobson form of a matrix of Ore polynomials, a recursive Leverrier algorithm for inversion of dense matrices whose entries are monic polynomials, root isolation of zero-dimensional triangular polynomial systems, optimal computation of the third power of a long integer, investigation of the complexity of solving systems with few independent monomials, the study of ill-conditioned polynomial systems, a method for polynomial root-finding via eigen-solving and randomization, an algorithm for fast dense polynomial multiplication with Java using the new opaque typed method, and sparse polynomial powering using heaps."

"The 26 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems."

"This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics, WABI 2012, held in Ljubljana, Slovenia, in September 2012. WABI 2012 is one of six workshops which, along with the European Symposium on Algorithms (ESA), constitute the ALGO annual meeting and focuses on algorithmic advances in bioinformatics, computational biology, and systems biology with a particular emphasis on discrete algorithms and machine-learning methods that address important problems in molecular biology. The 35 full papers presented were carefully reviewed and selected from 92 submissions. The papers include algorithms for a variety of biological problems including phylogeny, DNA and RNA sequencing and analysis, protein structure, and others."