Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 9136 dokumen yang sesuai dengan query
cover
"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on robust multigrid, multilevel and multiscale, deterministic and stochastic methods for modeling highly heterogeneous media, advanced methods for transport, control and uncertain systems, applications of metaheuristics to large-scale problems, environmental modelling, large scale computing on many-core architectures, multiscale industrial, enviromental and biomedical problems, efficient algorithms of computational geometry, high performance Monte Carlo simulations, voxel based computations and contributed papers."
Berlin: Springer-Verlag, 2012
e20409843
eBooks  Universitas Indonesia Library
cover
"This book contains extended and revised versions of the best papers presented at the 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, held in Hong Kong, China, in October 2011. The 10 papers included in the book were carefully reviewed and selected from the 45 full papers and 16 special session papers presented at the conference. The papers cover a wide range of topics in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new challenges both at the physical and system-design levels, as well as in the test of theses systems."
Heidelberg: Springer, 2012
e20410025
eBooks  Universitas Indonesia Library
cover
"The 27 papers included (plus one invited paper) in this volume were carefully reviewed and selected from 57 full papers presented at the conference (out of 402 submissions). They reflect state-of-the-art research that is often driven by real-world applications, thus successfully relating the academic with the industrial community. The topics covered are: databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, and human-computer interaction."
Heidelberg: Springer-Verlag, 2012
e20409033
eBooks  Universitas Indonesia Library
cover
"The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on the following topics: cloud computing, HPC algorithms, HPC programming tools, HPC in meteorology, parallel numerical algorithms, parallel computing in physics, scientific computing tools, HPC software engineering, simulations of atomic scale systems, tools and environments for accelerator based computational biomedicine, GPU computing, high performance computing interval methods, real-time access and processing of large data sets, linear algebra algorithms and software for multicore and hybrid architectures in honor of Fred Gustavson on his 75th birthday, memory and multicore issues in scientific computing, theory and praxis, multicore algorithms and implementations for application problems, fast PDE solvers and a posteriori error estimates, and scalable tools for high performance computing."
Berlin : Springer-Verlag, 2012
e20410618
eBooks  Universitas Indonesia Library
cover
"The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on the following topics: cloud computing, HPC algorithms, HPC programming tools, HPC in meteorology, parallel numerical algorithms, parallel computing in physics, scientific computing tools, HPC software engineering, simulations of atomic scale systems, tools and environments for accelerator based computational biomedicine, GPU computing, high performance computing interval methods, real-time access and processing of large data sets, linear algebra algorithms and software for multicore and hybrid architectures in honor of Fred Gustavson on his 75th birthday, memory and multicore issues in scientific computing, theory and praxis, multicore algorithms and implementations for application problems, fast PDE solvers and a posteriori error estimates, and scalable tools for high performance computing."
Berlin : Springer-Verlag, 2012
e20410616
eBooks  Universitas Indonesia Library
cover
Pascal Bouvry, editor
"This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Information Systems, SIIS 2011, in Warsaw, Poland, in June 2011. The 29 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 60 initial submissions during two rounds of selection and improvement. The papers are organized in the following three thematic tracks: security and trust, data mining and machine learning, and natural language processing."
Berlin: Springer-Verlag, 2012
e20408078
eBooks  Universitas Indonesia Library
cover
"The 21 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on mobile systems in education, SOC for mobile Apps (SOC), networking platforms (NW), mobile execution frameworks (MFW), mobile cloud (MC) and distributed execution, and mobile sensor networks."
Heidelberg: Springer, 2012
e20409180
eBooks  Universitas Indonesia Library
cover
Edmund Clarke, editor
"This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering."
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks  Universitas Indonesia Library
cover
"This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design (BMSD 2011), held in Sofia, Bulgaria.
The theme of BMSD 2011 was "business models and advanced software Systems," and the related scientific areas of interest were: business models and requirements, business models and services, business models and software, and information systems architecture."
Berlin: Springer-Verlag, 2012
e20410493
eBooks  Universitas Indonesia Library
cover
"This book contains extended and revised versions of the best papers presented at the 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, held in Madrid, Spain, in September 2010. The 14 papers included in the book were carefully reviewed and selected from the 52 full papers presented at the conference. The papers cover a wide variety of excellence in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new challenges both at the physical and system-design levels, as well as in the test of theses systems."
Heidelberg: Springer-Verlag, 2012
e20410266
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>