Inicio > > Programación informática/desarrollo de software > Computational Science - ICCS 2009
Computational Science - ICCS 2009

Computational Science - ICCS 2009

 

203,99 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2009
Materia
Programación informática/desarrollo de software
ISBN:
9783642019692
203,99 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

e-Science Applications and Systems.- Electronic Structure Calculations and Adaptation Scheme in Multi-core Computing Environments.- A Fuzzy Logic Fish School Model.- An Open Domain-Extensible Environment for Simulation-Based Scientific Investigation (ODESSI).- Pattern-Based Genetic Algorithm Approach to Coverage Path Planning for Mobile Robots.- Economic Models with Chaotic Money Exchange.- Knowledge Aware Bisimulation and Anonymity.- A Parallel High-Order Discontinuous Galerkin Shallow Water Model.- CelOWS: A Service Oriented Architecture to Define, Query and Reuse Biological Models.- Benefits of Parallel I/O in Ab Initio Nuclear Physics Calculations.- A Population-Based Approach for Diversified Protein Loop Structure Sampling.- Parameter Space Exploration Using Scientific Workflows.- Interactive Parallel Analysis on the ALICE Grid with the PROOF Framework.- A Comparison of Performance of Sequential Learning Algorithms on the Task of Named Entity Recognition for Indian Languages.- Managing Multi-concern Application Complexity in AspectSBASCO.- Balancing Scientist Needs and Volunteer Preferences in Volunteer Computing Using Constraint Optimization.- Scheduling and Load Balancing.- Hiding Communication Latency with Non-SPMD, Graph-Based Execution.- New Optimal Load Allocation for Scheduling Divisible Data Grid Applications.- Dynamic Resizing of Parallel Scientific Simulations: A Case Study Using LAMMPS.- Performance Evaluation of Collective Write Algorithms in MPI I/O.- A Scalable Non-blocking Multicast Scheme for Distributed DAG Scheduling.- On the Origin of Grid Species: The Living Application.- Applying Processes Rescheduling over Irregular BSP Application.- Software Services and Tools.- Support for Urgent Computing Based on Resource Virtualization.- Dynamic Software Updates for Accelerating Scientific Discovery.- Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes.- Automated Provenance Collection for CCA Component Assemblies.- Modular, Fine-Grained Adaptation of Parallel Programs.- Evaluating Algorithms for Shared File Pointer Operations in MPI I/O.- Computer Networks.- Load Balancing Scheme Based on Real Time Traffic in Wibro.- Hybrid Retrieval Mechanisms in Vehicle-Based P2P Networks.- An Algorithm for Unrestored Flow Optimization in Survivable Networks Based on p-Cycles.- Unrestored Flow Optimization in Survivable Networks Based on p-Cycles.- Simulation of Complex Systems.- Hierarchical Modelling and Model Adaptivity for Gas Flow on Networks.- A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.- GRID Resource Searching on the GridSim Simulator.- Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.- Comparing Genetic Algorithms and Newton-Like Methods for the Solution of the History Matching Problem.- Complex System Simulations with QosCosGrid.- Geostatistical Computing in PSInSAR Data Analysis.- Improving the Scalability of SimGrid Using Dynamic Routing.- Image Processing and Visualization.- Semantic Visual Abstraction for Face Recognition.- High Frequency Assessment from Multiresolution Analysis.- Virtual Human Imaging.- Interactive Visualization of Network Anomalous Events.- Numerical Algorithms.- Towards Low-Cost, High-Accuracy Classifiers for Linear Solver Selection.- Testing Line Search Techniques for Finite Element Discretizations for Unsaturated Flow.- Non-splitting Tridiagonalization of Complex Symmetric Matrices.- Parallel MLEM on Multicore Architectures.- Experience with Approximations in the Trust-Region Parallel Direct Search Algorithm.- A 3D Vector-Additive Iterative Solver for the Anisotropic Inhomogeneous Poisson Equation in the Forward EEG problem.- Hash Functions Based on Large Quasigroups.- Second Derivative Approximation for Origin-Based Algorithm.- Evaluation of Hierarchical Mesh Reorderings.- Minkowski Functionals Study of Random Number Sequences.- Autonomous Leaves Graph Applied to the Boundary ...

Artículos relacionados

  • SPARK 2014 Reference Manual
    AdaCore / Altran UK Ltd
    SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification.This manual is available online for free at ...
    Disponible

    19,91 €

  • Software and Intelligent Sciences
    Yingxu Wang
    The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering, and conceptual thought. Software and Intelligent Sciences: New Transdisciplinary Findings sits at a crossroads and informs advanced researchers, students, and practitioners on the developments in computer science, theor...
  • Power System Planning Technologies and Applications
    Fawwaz Elkarmi / Nazih Abu Shikhah / Nazih Abu-Shikhah
    Planning is an important function of the management of any business, providing knowledge of future prospects and enabling prudent and appropriate decision-making. Planning is especially critical for power systems, since electricity is a fundamental part of modern societies and many conventional electrical energy resources currently in use are limited. Power System Planning Tech...
  • Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery
    Masha Etkind / Uri Shafrir
    Text analysis tools aid in extracting meaning from digital content. As digital text becomes more and more complex, new techniques are needed to understand conceptual structure. Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities provides an innovative perspective on the application of algorithmic tools to study unstructured d...
  • Model-Based Design for Effective Control System Development
    Wei Wu
    Control systems are an integral aspect of modern society and exist across numerous domains and applications. As technology advances more and more, the complexity of such systems continues to increase exponentially. Model-Based Design for Effective Control System Development is a critical source of scholarly information on model-centric approaches and implementations for control...
  • Verification, Validation and Testing in Software Engineering
    ...