Languages and Compilers for Parallel Computing [[electronic resource] ] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 278 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Artificial intelligence—Data processing Artificial intelligence Computer science Computer networks Compilers and Interpreters Programming Techniques Data Science Artificial Intelligence Models of Computation Computer Communication Networks |
ISBN | 3-642-19595-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465929003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / / edited by Guang R. Gao, Lori Pollock, John Cavazos, Xiaoming Li |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 426 p. 186 illus.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN |
1-280-38685-1
9786613564771 3-642-13374-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto-Tuning -- MIMD Interpretation on a GPU -- TL-DAE: Thread-Level Decoupled Access/Execution for OpenMP on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement -- OSCAR API for Real-Time Low-Power Multicores and Its Performance on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency Support for Multi-core Architectures with On-Chip Local Memories -- Synchronization-Free Automatic Parallelization: Beyond Affine Iteration-Space Slicing -- Automatic Data Distribution for Improving Data Locality on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph Framework to Minimise Kernel Loop Unrolling for Scheduled Loops -- Efficient Tiled Loop Generation: D-Tiling -- Effective Source-to-Source Outlining to Support Whole Program Empirical Optimization -- Speculative Optimizations for Parallel Programs on Multicores -- Fastpath Speculative Parallelization -- PSnAP: Accurate Synthetic Address Streams through Memory Profiles -- Enforcing Textual Alignment of Collectives Using Dynamic Checks -- A Code Generation Approach for Auto-Vectorization in the Spade Compiler -- Portable Just-in-Time Specialization of Dynamically Typed Scripting Languages -- Reducing Training Time in a One-Shot Machine Learning-Based Compiler -- Optimizing Local Memory Allocation and Assignment through a Decoupled Approach -- Unrolling Loops Containing Task Parallelism. |
Record Nr. | UNISA-996465608603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / / edited by Guang R. Gao, Lori Pollock, John Cavazos, Xiaoming Li |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 426 p. 186 illus.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN |
1-280-38685-1
9786613564771 3-642-13374-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto-Tuning -- MIMD Interpretation on a GPU -- TL-DAE: Thread-Level Decoupled Access/Execution for OpenMP on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement -- OSCAR API for Real-Time Low-Power Multicores and Its Performance on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency Support for Multi-core Architectures with On-Chip Local Memories -- Synchronization-Free Automatic Parallelization: Beyond Affine Iteration-Space Slicing -- Automatic Data Distribution for Improving Data Locality on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph Framework to Minimise Kernel Loop Unrolling for Scheduled Loops -- Efficient Tiled Loop Generation: D-Tiling -- Effective Source-to-Source Outlining to Support Whole Program Empirical Optimization -- Speculative Optimizations for Parallel Programs on Multicores -- Fastpath Speculative Parallelization -- PSnAP: Accurate Synthetic Address Streams through Memory Profiles -- Enforcing Textual Alignment of Collectives Using Dynamic Checks -- A Code Generation Approach for Auto-Vectorization in the Spade Compiler -- Portable Just-in-Time Specialization of Dynamically Typed Scripting Languages -- Reducing Training Time in a One-Shot Machine Learning-Based Compiler -- Optimizing Local Memory Allocation and Assignment through a Decoupled Approach -- Unrolling Loops Containing Task Parallelism. |
Record Nr. | UNINA-9910484844303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / / edited by Vikram Adve, María Jesús Garzarán, Paul Petersen |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XV, 354 p.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN | 3-540-85261-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reliability -- Compiler-Enhanced Incremental Checkpointing -- Techniques for Efficient Software Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental Evaluation of the New OpenMP Tasking Model -- Language Extensions in Support of Compiler Parallelization -- Parallel Compiler Technology I -- Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers -- Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications -- A Novel Asynchronous Software Cache Implementation for the Cell-BE Processor -- Pillar: A Parallel Implementation Language -- Associative Parallel Containers in STAPL -- Explicit Dependence Metadata in an Active Visual Effects Library -- Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster -- Modeling Relations between Inputs and Dynamic Behavior for General Programs -- Evaluation of RDMA Opportunities in an Object-Oriented DSM -- Automatic Communication Performance Debugging in PGAS Languages -- Parallel Compiler Technology II -- Exploiting SIMD Parallelism with the CGiS Compiler Framework -- Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture -- Languages II -- Capsules: Expressing Composable Computations in a Parallel Programming Model -- Communicating Multiprocessor-Tasks -- An Effective Automated Approach to Specialization of Code -- Flow-Sensitive Loop-Variant Variable Classification in Linear Time -- Using ZBDDs in Points-to Analysis. |
Record Nr. | UNISA-996465576403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / / edited by José Nelson Amaral |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (IX, 358 p.) |
Disciplina | 004.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN | 3-540-89740-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | CUDA-Lite: Reducing GPU Programming Complexity -- MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs -- Automatic Pre-Fetch and Modulo Scheduling Transformations for the Cell BE Architecture -- Efficient Set Sharing Using ZBDDs -- Register Bank Assignment for Spatially Partitioned Processors -- Smashing: Folding Space to Tile through Time -- Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models -- On the Scalability of an Automatically Parallelized Irregular Application -- Statistically Analyzing Execution Variance for Soft Real-Time Applications -- Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections -- Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) -- Thread Safety through Partitions and Effect Agreements -- P-Ray: A Software Suite for Multi-core Architecture Characterization -- Scalable Implementation of Efficient Locality Approximation -- P-OPT: Program-Directed Optimal Cache Management -- Compiler-Driven Dependence Profiling to Guide Program Parallelization -- gluepy: A Simple Distributed Python Programming Framework for Complex Grid Environments -- A Fully Parallel LISP2 Compactor with Preservation of the Sliding Properties -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs for Relaxed Synchronization -- Design for Interoperability in stapl: pMatrices and Linear Algebra Algorithms -- Implementation of Sensitivity Analysis for Automatic Parallelization -- Just-In-Time Locality and Percolation for Optimizing Irregular Applications on a Manycore Architecture -- Exploring the Optimization Space of Dense Linear Algebra Kernels. |
Record Nr. | UNISA-996466359203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / / edited by Vikram Adve, María Jesús Garzarán, Paul Petersen |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XV, 354 p.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN | 3-540-85261-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reliability -- Compiler-Enhanced Incremental Checkpointing -- Techniques for Efficient Software Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental Evaluation of the New OpenMP Tasking Model -- Language Extensions in Support of Compiler Parallelization -- Parallel Compiler Technology I -- Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers -- Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications -- A Novel Asynchronous Software Cache Implementation for the Cell-BE Processor -- Pillar: A Parallel Implementation Language -- Associative Parallel Containers in STAPL -- Explicit Dependence Metadata in an Active Visual Effects Library -- Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster -- Modeling Relations between Inputs and Dynamic Behavior for General Programs -- Evaluation of RDMA Opportunities in an Object-Oriented DSM -- Automatic Communication Performance Debugging in PGAS Languages -- Parallel Compiler Technology II -- Exploiting SIMD Parallelism with the CGiS Compiler Framework -- Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture -- Languages II -- Capsules: Expressing Composable Computations in a Parallel Programming Model -- Communicating Multiprocessor-Tasks -- An Effective Automated Approach to Specialization of Code -- Flow-Sensitive Loop-Variant Variable Classification in Linear Time -- Using ZBDDs in Points-to Analysis. |
Record Nr. | UNINA-9910485028703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Languages and Compilers for Parallel Computing [[electronic resource] ] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / / edited by José Nelson Amaral |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (IX, 358 p.) |
Disciplina | 004.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer networks Artificial intelligence—Data processing Artificial intelligence Computer science Compilers and Interpreters Programming Techniques Computer Communication Networks Data Science Artificial Intelligence Models of Computation |
ISBN | 3-540-89740-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | CUDA-Lite: Reducing GPU Programming Complexity -- MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs -- Automatic Pre-Fetch and Modulo Scheduling Transformations for the Cell BE Architecture -- Efficient Set Sharing Using ZBDDs -- Register Bank Assignment for Spatially Partitioned Processors -- Smashing: Folding Space to Tile through Time -- Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models -- On the Scalability of an Automatically Parallelized Irregular Application -- Statistically Analyzing Execution Variance for Soft Real-Time Applications -- Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections -- Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) -- Thread Safety through Partitions and Effect Agreements -- P-Ray: A Software Suite for Multi-core Architecture Characterization -- Scalable Implementation of Efficient Locality Approximation -- P-OPT: Program-Directed Optimal Cache Management -- Compiler-Driven Dependence Profiling to Guide Program Parallelization -- gluepy: A Simple Distributed Python Programming Framework for Complex Grid Environments -- A Fully Parallel LISP2 Compactor with Preservation of the Sliding Properties -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs for Relaxed Synchronization -- Design for Interoperability in stapl: pMatrices and Linear Algebra Algorithms -- Implementation of Sensitivity Analysis for Automatic Parallelization -- Just-In-Time Locality and Percolation for Optimizing Irregular Applications on a Manycore Architecture -- Exploring the Optimization Space of Dense Linear Algebra Kernels. |
Record Nr. | UNINA-9910484904303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics [[electronic resource] ] : Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers / / edited by Thomas Stützle |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 273 p.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer science Computers, Special purpose Data mining Information storage and retrieval systems Artificial Intelligence Models of Computation Special Purpose and Application-Based Systems Data Mining and Knowledge Discovery Information Storage and Retrieval |
ISBN | 3-642-11169-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Evolutionary Dynamics of Extremal Optimization -- Evolutionary Dynamics of Extremal Optimization -- A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing -- Expeditive Extensions of Evolutionary Bayesian Probabilistic Neural Networks -- New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory -- Beam-ACO Based on Stochastic Sampling: A Case Study on the TSP with Time Windows -- Flexible Stochastic Local Search for Haplotype Inference -- A Knowledge Discovery Approach to Understanding Relationships between Scheduling Problem Structure and Heuristic Performance -- Fitness Landscape Analysis for the Resource Constrained Project Scheduling Problem -- An ACO-Based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems -- Selection of Heuristics for the Job-Shop Scheduling Problem Based on the Prediction of Gaps in Machines -- Position-Guided Tabu Search Algorithm for the Graph Coloring Problem -- Corridor Selection and Fine Tuning for the Corridor Method -- Dynamic Multi-Armed Bandits and Extreme Value-Based Rewards for Adaptive Operator Selection in Evolutionary Algorithms -- Comparison of Coarsening Schemes for Multilevel Graph Partitioning -- Cooperative Strategies and Reactive Search: A Hybrid Model Proposal -- Study of the Influence of the Local Search Method in Memetic Algorithms for Large Scale Continuous Optimization Problems -- MALIOB Workshop Papers -- Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment -- A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps -- Substitution Matrices and Mutual Information Approaches to Modeling Evolution. |
Record Nr. | UNISA-996466313603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics [[electronic resource] ] : Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers / / edited by Thomas Stützle |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 273 p.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer science Computers, Special purpose Data mining Information storage and retrieval systems Artificial Intelligence Models of Computation Special Purpose and Application-Based Systems Data Mining and Knowledge Discovery Information Storage and Retrieval |
ISBN | 3-642-11169-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Evolutionary Dynamics of Extremal Optimization -- Evolutionary Dynamics of Extremal Optimization -- A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing -- Expeditive Extensions of Evolutionary Bayesian Probabilistic Neural Networks -- New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory -- Beam-ACO Based on Stochastic Sampling: A Case Study on the TSP with Time Windows -- Flexible Stochastic Local Search for Haplotype Inference -- A Knowledge Discovery Approach to Understanding Relationships between Scheduling Problem Structure and Heuristic Performance -- Fitness Landscape Analysis for the Resource Constrained Project Scheduling Problem -- An ACO-Based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems -- Selection of Heuristics for the Job-Shop Scheduling Problem Based on the Prediction of Gaps in Machines -- Position-Guided Tabu Search Algorithm for the Graph Coloring Problem -- Corridor Selection and Fine Tuning for the Corridor Method -- Dynamic Multi-Armed Bandits and Extreme Value-Based Rewards for Adaptive Operator Selection in Evolutionary Algorithms -- Comparison of Coarsening Schemes for Multilevel Graph Partitioning -- Cooperative Strategies and Reactive Search: A Hybrid Model Proposal -- Study of the Influence of the Local Search Method in Memetic Algorithms for Large Scale Continuous Optimization Problems -- MALIOB Workshop Papers -- Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment -- A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps -- Substitution Matrices and Mutual Information Approaches to Modeling Evolution. |
Record Nr. | UNINA-9910484556403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model Validation and Uncertainty Quantification, Volume 3 [[electronic resource] ] : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 / / edited by Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette |
Autore | Platz Roland |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (207 pages) |
Disciplina | 624.171 |
Altri autori (Persone) |
FlynnGarrison
NealKyle OuelletteScott |
Collana | Conference Proceedings of the Society for Experimental Mechanics Series |
Soggetto topico |
Engineering mathematics
Engineering - Data processing Computer science Civil engineering Model theory Mathematical statistics - Data processing Mathematical and Computational Engineering Applications Models of Computation Civil Engineering Model Theory Statistics and Computing |
ISBN | 3-031-37003-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910760298303321 |
Platz Roland | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|