Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced Parallel Processing Technologies [[electronic resource] ] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / / edited by Chenggang Wu, Albert Cohen
| Advanced Parallel Processing Technologies [[electronic resource] ] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / / edited by Chenggang Wu, Albert Cohen |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 410 p. 187 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Algorithms Computer networks Operating systems (Computers) Compilers (Computer programs) Software Engineering Computer Communication Networks Operating Systems Compilers and Interpreters |
| ISBN | 3-642-45293-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inference and Declaration of Independence in Task-Parallel Programs -- BDDT: Block-Level Dynamic Dependence Analysis for Task-Based -- A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine Performance -- Towards RTOS: A Preemptive Kernel Basing on Barrelfish -- Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets -- Pruning False Positives of Static Data-Race Detection via Thread Specialization -- G-Paradex: GPU-Based Parallel Indexing for Fast Data Deduplication -- Research on SPH Parallel Acceleration Strategies for Multi-GPU Platform -- Binarization-Based Human Detection for Compact FPGA Implementation -- HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix Encryption -- ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation Layer -- A Performance Study of Software Prefetching for Tracing Garbage Collectors -- Adaptive Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification -- Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor Networks -- An Efficient Parallel Mechanism for Highly-Debuggable Multicore Simulator -- Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip Multiprocessors -- Agent-Based Credibility Protection Model for Decentralized Network Computing Environment -- A Vectorized K-Means Algorithm for Intel Many Integrated Core Architecture -- Towards Eliminating Memory Virtualization Overhead -- An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler -- ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic Credit -- An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed Cloud -- Accelerating Software Model Checking Based on Program Backbone -- A Cloud Computing System for Snore Signals Processing -- Research on Optimum Checkpoint Interval for Hybrid Fault Tolerance -- Programming Real-Time Image Processing for Manycores in a High-Level Language -- Self-adaptive Retransmission for Network Coding with TCP. |
| Record Nr. | UNISA-996465333603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / / edited by Chenggang Wu, Albert Cohen
| Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / / edited by Chenggang Wu, Albert Cohen |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 410 p. 187 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Algorithms Computer networks Operating systems (Computers) Compilers (Computer programs) Software Engineering Computer Communication Networks Operating Systems Compilers and Interpreters |
| ISBN | 3-642-45293-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inference and Declaration of Independence in Task-Parallel Programs -- BDDT: Block-Level Dynamic Dependence Analysis for Task-Based -- A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine Performance -- Towards RTOS: A Preemptive Kernel Basing on Barrelfish -- Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets -- Pruning False Positives of Static Data-Race Detection via Thread Specialization -- G-Paradex: GPU-Based Parallel Indexing for Fast Data Deduplication -- Research on SPH Parallel Acceleration Strategies for Multi-GPU Platform -- Binarization-Based Human Detection for Compact FPGA Implementation -- HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix Encryption -- ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation Layer -- A Performance Study of Software Prefetching for Tracing Garbage Collectors -- Adaptive Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification -- Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor Networks -- An Efficient Parallel Mechanism for Highly-Debuggable Multicore Simulator -- Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip Multiprocessors -- Agent-Based Credibility Protection Model for Decentralized Network Computing Environment -- A Vectorized K-Means Algorithm for Intel Many Integrated Core Architecture -- Towards Eliminating Memory Virtualization Overhead -- An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler -- ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic Credit -- An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed Cloud -- Accelerating Software Model Checking Based on Program Backbone -- A Cloud Computing System for Snore Signals Processing -- Research on Optimum Checkpoint Interval for Hybrid Fault Tolerance -- Programming Real-Time Image Processing for Manycores in a High-Level Language -- Self-adaptive Retransmission for Network Coding with TCP. |
| Record Nr. | UNINA-9910484930803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture of Computing Systems – ARCS 2015 [[electronic resource] ] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte
| Architecture of Computing Systems – ARCS 2015 [[electronic resource] ] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 249 p. 19 illus.) |
| Disciplina | 004.22 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Operating systems (Computers) Software engineering Application software Algorithms Computer Communication Networks Computer System Implementation Operating Systems Software Engineering Computer and Information Systems Applications |
| ISBN | 3-319-16086-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hardware -- Design -- Applications -- Trust and privacy -- Real-time issues.- Best papers session. |
| Record Nr. | UNISA-996200348303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecture of Computing Systems – ARCS 2015 : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte
| Architecture of Computing Systems – ARCS 2015 : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 249 p. 19 illus.) |
| Disciplina | 004.22 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Operating systems (Computers) Software engineering Application software Algorithms Computer Communication Networks Computer System Implementation Operating Systems Software Engineering Computer and Information Systems Applications |
| ISBN | 3-319-16086-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hardware -- Design -- Applications -- Trust and privacy -- Real-time issues.- Best papers session. |
| Record Nr. | UNINA-9910484757103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compiler Construction [[electronic resource] ] : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Albert Cohen
| Compiler Construction [[electronic resource] ] : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Albert Cohen |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 251 p. 124 illus.) |
| Disciplina | 005.4/53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Operating systems (Computers) Software engineering Compilers and Interpreters Operating Systems Software Engineering |
| ISBN | 3-642-54807-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement Using Array SSA Form -- Recovery of Class Hierarchies and Composition Relationships from Machine Code -- Liveness-Based Garbage Collection -- deGoal a Tool to Embed Dynamic Code Generators into Applications -- Improving the Performance of X10 Programs by Clock Removal -- Taming Control Divergence in GPUs through Control Flow Linearization -- Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code -- A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler -- A First Step towards a Compiler for Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. |
| Record Nr. | UNISA-996203270303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Albert Cohen
| Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Albert Cohen |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 251 p. 124 illus.) |
| Disciplina | 005.4/53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Operating systems (Computers) Software engineering Compilers and Interpreters Operating Systems Software Engineering |
| ISBN | 3-642-54807-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement Using Array SSA Form -- Recovery of Class Hierarchies and Composition Relationships from Machine Code -- Liveness-Based Garbage Collection -- deGoal a Tool to Embed Dynamic Code Generators into Applications -- Improving the Performance of X10 Programs by Clock Removal -- Taming Control Divergence in GPUs through Control Flow Linearization -- Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code -- A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler -- A First Step towards a Compiler for Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. |
| Record Nr. | UNINA-9910483637903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Curves and Surfaces [[electronic resource] ] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker
| Curves and Surfaces [[electronic resource] ] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 492 p. 153 illus.) |
| Disciplina | 006.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer graphics
Computer simulation Algorithms Computer-aided engineering Computer science—Mathematics Discrete mathematics Computer Graphics Computer Modelling Computer-Aided Engineering (CAD, CAE) and Design Discrete Mathematics in Computer Science |
| ISBN | 3-319-22804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Finite Element Approximation with Hierarchical B-Splines -- Non-linear Local Polynomial Regression Multiresolution Methods using ℓ1-norm Minimization with Application to Signal Processing -- A New Class of Interpolatory L-splines with Adjoint End Conditions -- On a New Conformal Functional for Simplicial Surfaces -- Evaluation of Smooth Spline Blending Surfaces using GPU -- Implicit Equations of Non-degenerate Rational Bezier Quadric Triangles -- Support Vector Machines for Classification of Geometric Primitives in Point Clouds -- Computing Topology Preservation of RBF Transformations for Landmark-Based Image Registration -- New Bounds on the Lebesgue Constants of Leja Sequences on the Unit Disc and on ℜ-Leja Sequences -- A Curvature Smooth Lofting Scheme for Singular Point Treatments -- A Consistent Statistical Framework for Current-Based Representations of Surfaces -- Isotropic M¨obius geometry and i-M circles on singular isotropic Cyclides -- Symbolic Computation of Equi-affine Evolute for Plane B-spline Curves -- On-line CAD Reconstruction with Accumulated Means of Local Geometric Properties -- Analysis of Intrinsic Mode Functions Based on Curvature Motion-like PDEs -- Differential Geometry Revisited by Biquaternion Clifford Algebra -- Ridgelet Methods for Linear Transport Equations -- Basis Functions for Scattered Data Quasi-interpolation -- Optimality of a Gradient Bound for Polyhedral Wachspress Coordinates -- Mass Smoothers in Geometric Multigrid for Isogeometric Analysis -- On the Set of Trajectories of the Control Systems with Limited Control Resources -- High Order Reconstruction from Cross-sections -- Adaptive Atlas of Connectivity Maps -- Matrix Generation in Isogeometric Analysis by Low Rank Tensor Approximation -- Combination of Piecewise-geodesic Curves for Interactive Image Segmentation -- A Fully-nested Interpolatory Quadrature Based on Fej´er’s Second Rule -- CINPACT-splines: A Class of C1 Curves with Compact Support -- Error Estimates for Approximate Operator Inversion via Kernel-based Methods -- Boundary Controlled Iterated Function Systems -- Construction of Smooth Isogeometric Function Spaces on Singularly Parameterized Domains -- Reflexive Symmetry Detection in Single Image. |
| Record Nr. | UNISA-996199937203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Curves and Surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker
| Curves and Surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 492 p. 153 illus.) |
| Disciplina | 006.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer graphics
Computer simulation Algorithms Computer-aided engineering Computer science—Mathematics Discrete mathematics Computer Graphics Computer Modelling Computer-Aided Engineering (CAD, CAE) and Design Discrete Mathematics in Computer Science |
| ISBN | 3-319-22804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Finite Element Approximation with Hierarchical B-Splines -- Non-linear Local Polynomial Regression Multiresolution Methods using ℓ1-norm Minimization with Application to Signal Processing -- A New Class of Interpolatory L-splines with Adjoint End Conditions -- On a New Conformal Functional for Simplicial Surfaces -- Evaluation of Smooth Spline Blending Surfaces using GPU -- Implicit Equations of Non-degenerate Rational Bezier Quadric Triangles -- Support Vector Machines for Classification of Geometric Primitives in Point Clouds -- Computing Topology Preservation of RBF Transformations for Landmark-Based Image Registration -- New Bounds on the Lebesgue Constants of Leja Sequences on the Unit Disc and on ℜ-Leja Sequences -- A Curvature Smooth Lofting Scheme for Singular Point Treatments -- A Consistent Statistical Framework for Current-Based Representations of Surfaces -- Isotropic M¨obius geometry and i-M circles on singular isotropic Cyclides -- Symbolic Computation of Equi-affine Evolute for Plane B-spline Curves -- On-line CAD Reconstruction with Accumulated Means of Local Geometric Properties -- Analysis of Intrinsic Mode Functions Based on Curvature Motion-like PDEs -- Differential Geometry Revisited by Biquaternion Clifford Algebra -- Ridgelet Methods for Linear Transport Equations -- Basis Functions for Scattered Data Quasi-interpolation -- Optimality of a Gradient Bound for Polyhedral Wachspress Coordinates -- Mass Smoothers in Geometric Multigrid for Isogeometric Analysis -- On the Set of Trajectories of the Control Systems with Limited Control Resources -- High Order Reconstruction from Cross-sections -- Adaptive Atlas of Connectivity Maps -- Matrix Generation in Isogeometric Analysis by Low Rank Tensor Approximation -- Combination of Piecewise-geodesic Curves for Interactive Image Segmentation -- A Fully-nested Interpolatory Quadrature Based on Fej´er’s Second Rule -- CINPACT-splines: A Class of C1 Curves with Compact Support -- Error Estimates for Approximate Operator Inversion via Kernel-based Methods -- Boundary Controlled Iterated Function Systems -- Construction of Smooth Isogeometric Function Spaces on Singularly Parameterized Domains -- Reflexive Symmetry Detection in Single Image. |
| Record Nr. | UNINA-9910484757903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Curves and Surfaces [[electronic resource] ] : 7th International Conference, Avignon, France, June 24-30, 2010, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Patrick Chenin, Albert Cohen, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry Schumaker
| Curves and Surfaces [[electronic resource] ] : 7th International Conference, Avignon, France, June 24-30, 2010, Revised Selected Papers / / edited by Jean-Daniel Boissonnat, Patrick Chenin, Albert Cohen, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry Schumaker |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 748 p. 355 illus.) |
| Disciplina | 511/.4 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Image processing—Digital techniques
Computer vision Computer graphics Computer simulation Computer-aided engineering Computer science—Mathematics Discrete mathematics Computer Imaging, Vision, Pattern Recognition and Graphics Computer Graphics Computer Modelling Computer-Aided Engineering (CAD, CAE) and Design Computer Vision Discrete Mathematics in Computer Science |
| ISBN | 3-642-27413-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465994203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiscale Problems and Methods in Numerical Simulations [[electronic resource] ] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 9-15, 2001 / / by James H. Bramble, Albert Cohen, Wolfgang Dahmen ; edited by Claudio Canuto
| Multiscale Problems and Methods in Numerical Simulations [[electronic resource] ] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 9-15, 2001 / / by James H. Bramble, Albert Cohen, Wolfgang Dahmen ; edited by Claudio Canuto |
| Autore | Bramble James H |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 170 p.) |
| Disciplina | 530.13 |
| Collana | C.I.M.E. Foundation Subseries |
| Soggetto topico |
Fourier analysis
Approximation theory Numerical analysis Fourier Analysis Approximations and Expansions Numerical Analysis |
| ISBN | 3-540-39810-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- A. Cohen: Theoretical Applied and Computational Aspects of Nonlinear Approximation -- W. Dahmen: Multiscale and Wavelet Methods for Operator Equations -- J. H. Bramble: Multilevel Methods in Finite Elements. |
| Record Nr. | UNISA-996466771803316 |
Bramble James H
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
