Nuclear Science Abstracts

Nuclear Science Abstracts PDF Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1774

Get Book Here

Book Description

Nuclear Science Abstracts

Nuclear Science Abstracts PDF Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1774

Get Book Here

Book Description


Scientific Bulletin

Scientific Bulletin PDF Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 930

Get Book Here

Book Description


Organic Free Radicals

Organic Free Radicals PDF Author: Hanns Fischer
Publisher: Springer Science & Business Media
ISBN: 3642739636
Category : Science
Languages : en
Pages : 246

Get Book Here

Book Description


Energy Research Abstracts

Energy Research Abstracts PDF Author:
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 782

Get Book Here

Book Description


Algorithms - ESA 2003

Algorithms - ESA 2003 PDF Author: Giuseppe Di Battista
Publisher: Springer
ISBN: 3540396586
Category : Computers
Languages : en
Pages : 810

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 11th Annual European Symposium on Algorithms, ESA 2003, held in Budapest, Hungary, in September 2003. The 66 revised full papers presented were carefully reviewed and selected from 165 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical analysis issues to real-world applications, engineering, and experimental analysis of algorithms.

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation PDF Author: Manuel V Hermenegildo
Publisher: Springer
ISBN: 331963139X
Category : Computers
Languages : en
Pages : 365

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.

Vector and Parallel Processing - VECPAR'98

Vector and Parallel Processing - VECPAR'98 PDF Author: Jose M.L.M. Palma
Publisher: Springer
ISBN: 3540485163
Category : Computers
Languages : en
Pages : 721

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Vector and Parallel Processing, VECPAR'98, held in Porto, Portugal, in June 1998. The 41 revised full papers presented were carefully selected during two rounds of reviewing and revision. Also included are six invited papers and introductory chapter surveys. The papers are organized in sections on eigenvalue problems and solutions of linear systems; computational fluid dynamics, structural analysis, and mesh partitioning; computing in education; computer organization, programming and benchmarking; image analysis and synthesis; parallel database servers; and nonlinear problems.

Automata, Languages, and Programming

Automata, Languages, and Programming PDF Author: Magnús M. Halldórsson
Publisher: Springer
ISBN: 366247672X
Category : Computers
Languages : en
Pages : 1141

Get Book Here

Book Description
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

Current Pharmaceutical Design

Current Pharmaceutical Design PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 78

Get Book Here

Book Description


Research in Computational Molecular Biology

Research in Computational Molecular Biology PDF Author: Russell Schwartz
Publisher: Springer Nature
ISBN: 3030452573
Category : Computers
Languages : en
Pages : 293

Get Book Here

Book Description
This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.