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.
Applications of Chaos and Nonlinear Dynamics in Science and Engineering - Vol. 4 / / edited by Santo Banerjee, Lamberto Rondoni
| Applications of Chaos and Nonlinear Dynamics in Science and Engineering - Vol. 4 / / edited by Santo Banerjee, Lamberto Rondoni |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (VIII, 304 p. 144 illus., 102 illus. in color.) |
| Disciplina | 620 |
| Collana | Understanding Complex Systems |
| Soggetto topico |
Statistical physics
Vibration Dynamical systems Dynamics Electrical engineering Electronic circuits Computational complexity Applications of Nonlinear Dynamics and Chaos Theory Vibration, Dynamical Systems, Control Communications Engineering, Networks Electronic Circuits and Devices Complexity |
| ISBN | 3-319-17037-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: Nonlinearity in Transport, Mechanical Models and Hydrodynamics -- Microscopic models for vibrations in mechanical systems under equilibrium and non-equilibrium conditions -- Chaos, Transport and Diffusion -- From Boltzmann Equation to exact hydrodynamics -- Section 2: Chaos, Synchronization and Complex Networks -- Dynamics of Cluster Synchronization in Modular Networks: Implications for Structural and Functional Networks -- Synchronous motions across the instrumental climate record -- Application of random matrix theory to complex networks. -- Section 3: Attractor reconstructions and Ecology/Biological Patterns -- Time-delay finding measures and attractor Reconstruction -- Turing and non-Turing patterns in two-dimensional prey-predator models. Malay Banerjee -- Section 4: Chaos and Field Programmable Gate Array -- An Introduction to Field Programmable Gate Arrays using Chaotic Systems. |
| Record Nr. | UNINA-9910300409503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink
| Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 522 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Optical data processing Computational complexity Information technology Business—Data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematics of Computing Image Processing and Computer Vision Complexity IT in Business |
| ISBN | 3-540-45365-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoCOP Papers Graph Problems -- The Link and Node Biased Encoding Revisited: Bias and Adjustment of Parameters -- An Effective Implementation of a Direct Spanning Tree Representation in GAs -- An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem -- Application of GRASP to the Multiconstraint Knapsack Problem? -- Knapsack Problems -- Path Tracing in Genetic Algorithms Applied to the Multiconstrained Knapsack Problem -- On the Feasibility Problem of Penalty-Based Evolutionary Algorithms for Knapsack Problems -- Coloured Ant System and Local Search to Design Local Telecommunication Networks -- Ant Algorithms -- Cooperative Ant Colonies for Optimizing Resource Allocation in Transportation -- An ANTS Algorithm for Optimizing the Materialization of Fragmented Views in Data Warehouses: Preliminary Results -- Miscellaneous Applications -- A Genetic Algorithm for the Group-Technology Problem -- Generation of Optimal Unit Distance Codes for Rotary Encoders through Simulated Evolution -- On the Efficient Construction of Rectangular Grids from Given Data Points -- Assignment Problems -- An Evolutionary Annealing Approach to Graph Coloring -- A Constructive Evolutionary Approach to School Timetabling -- A Co-evolutionist Meta-heuristic for the Assignment of the Frequencies in Cellular Networks -- A Simulated Annealing Algorithm for Extended Cell Assignment Problem in a Wireless ATM Network -- Analysis of Evolutionary Algorithms -- On Performance Estimates for Two Evolutionary Algorithms -- A Contribution to the Study of the Fitness Landscape for a Graph Drawing Problem -- Evolutionary Game Dynamics in Combinatorial Optimization: An Overview -- Permutation Problems -- A Parallel Hybrid Heuristic for the TSP -- Effective Local and Guided Variable Neighbourhood Search Methods for the Asymmetric Travelling Salesman Problem -- Pheromone Modification Strategies for Ant Algorithms Applied to Dynamic TSP -- Conventional and Multirecombinative Evolutionary Algorithms for the Parallel Task Scheduling Problem -- EvoFlight Papers -- Two-Sided, Genetics-Based Learning to Discover Novel Fighter Combat Maneuvers -- Generation of Time-Delay Algorithms for Anti-air Missiles Using Genetic Programming -- Surface Movement Radar Image Correlation Using Genetic Algorithm -- A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms -- EvoIASP Papers -- Genetic Snakes for Color Images Segmentation -- A Distributed Genetic Algorithm for Parameters Optimization to Detect Microcalcifications in Digital Mammograms -- Dynamic Flies: Using Real-Time Parisian Evolution in Robotics -- ARPIA: A High-Level Evolutionary Test Signal Generator -- A Pursuit Architecture for Signal Analysis -- Genetic Algorithm Based Heuristic Measure for Pattern Similarity in Kirlian Photographs -- Evolutionary Signal Enhancement Based on Hölder Regularity Analysis -- Building ARMA Models with Genetic Algorithms -- Evolving Market Index Trading Rules Using Grammatical Evolution -- Autonomous Photogrammetric Network Design Using Genetic Algorithms -- The Biological Concept of Neoteny in Evolutionary Color Image Segmentation - Simple Experiments in Simple Non-memetic Genetic Algorithms -- Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression -- EvoLearn Papers -- Selection of Behavior in Social Situations Application to the Development of Coordinated Movements -- Clustering Moving Data with a Modified Immune Algorithm -- Belief Revision by Lamarckian Evolution -- A Study on the Effect of Cooperative Evolution on Concept Learning -- The Influence of Learning in the Evolution of Busy Beavers -- EvoSTIM Papers -- Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results -- Design of Iterated Local Search Algorithms -- An Evolutionary Algorithm for Solving the School Time-Tabling Problem -- Optimizing Employee Schedules by a Hybrid Genetic Algorithm -- A Genetic Algorithm for the Capacitated Arc Routing Problem and Its Extensions -- A New Approach to Solve Permutation Scheduling Problems with Ant Colony Optimization -- Street-Based Routing Using an Evolutionary Algorithm -- Investigation of Different Seeding Strategies in a Genetic Planner. |
| Record Nr. | UNINA-9910143597503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink
| Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 522 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Optical data processing Computational complexity Information technology Business—Data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematics of Computing Image Processing and Computer Vision Complexity IT in Business |
| ISBN | 3-540-45365-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoCOP Papers Graph Problems -- The Link and Node Biased Encoding Revisited: Bias and Adjustment of Parameters -- An Effective Implementation of a Direct Spanning Tree Representation in GAs -- An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem -- Application of GRASP to the Multiconstraint Knapsack Problem? -- Knapsack Problems -- Path Tracing in Genetic Algorithms Applied to the Multiconstrained Knapsack Problem -- On the Feasibility Problem of Penalty-Based Evolutionary Algorithms for Knapsack Problems -- Coloured Ant System and Local Search to Design Local Telecommunication Networks -- Ant Algorithms -- Cooperative Ant Colonies for Optimizing Resource Allocation in Transportation -- An ANTS Algorithm for Optimizing the Materialization of Fragmented Views in Data Warehouses: Preliminary Results -- Miscellaneous Applications -- A Genetic Algorithm for the Group-Technology Problem -- Generation of Optimal Unit Distance Codes for Rotary Encoders through Simulated Evolution -- On the Efficient Construction of Rectangular Grids from Given Data Points -- Assignment Problems -- An Evolutionary Annealing Approach to Graph Coloring -- A Constructive Evolutionary Approach to School Timetabling -- A Co-evolutionist Meta-heuristic for the Assignment of the Frequencies in Cellular Networks -- A Simulated Annealing Algorithm for Extended Cell Assignment Problem in a Wireless ATM Network -- Analysis of Evolutionary Algorithms -- On Performance Estimates for Two Evolutionary Algorithms -- A Contribution to the Study of the Fitness Landscape for a Graph Drawing Problem -- Evolutionary Game Dynamics in Combinatorial Optimization: An Overview -- Permutation Problems -- A Parallel Hybrid Heuristic for the TSP -- Effective Local and Guided Variable Neighbourhood Search Methods for the Asymmetric Travelling Salesman Problem -- Pheromone Modification Strategies for Ant Algorithms Applied to Dynamic TSP -- Conventional and Multirecombinative Evolutionary Algorithms for the Parallel Task Scheduling Problem -- EvoFlight Papers -- Two-Sided, Genetics-Based Learning to Discover Novel Fighter Combat Maneuvers -- Generation of Time-Delay Algorithms for Anti-air Missiles Using Genetic Programming -- Surface Movement Radar Image Correlation Using Genetic Algorithm -- A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms -- EvoIASP Papers -- Genetic Snakes for Color Images Segmentation -- A Distributed Genetic Algorithm for Parameters Optimization to Detect Microcalcifications in Digital Mammograms -- Dynamic Flies: Using Real-Time Parisian Evolution in Robotics -- ARPIA: A High-Level Evolutionary Test Signal Generator -- A Pursuit Architecture for Signal Analysis -- Genetic Algorithm Based Heuristic Measure for Pattern Similarity in Kirlian Photographs -- Evolutionary Signal Enhancement Based on Hölder Regularity Analysis -- Building ARMA Models with Genetic Algorithms -- Evolving Market Index Trading Rules Using Grammatical Evolution -- Autonomous Photogrammetric Network Design Using Genetic Algorithms -- The Biological Concept of Neoteny in Evolutionary Color Image Segmentation - Simple Experiments in Simple Non-memetic Genetic Algorithms -- Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression -- EvoLearn Papers -- Selection of Behavior in Social Situations Application to the Development of Coordinated Movements -- Clustering Moving Data with a Modified Immune Algorithm -- Belief Revision by Lamarckian Evolution -- A Study on the Effect of Cooperative Evolution on Concept Learning -- The Influence of Learning in the Evolution of Busy Beavers -- EvoSTIM Papers -- Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results -- Design of Iterated Local Search Algorithms -- An Evolutionary Algorithm for Solving the School Time-Tabling Problem -- Optimizing Employee Schedules by a Hybrid Genetic Algorithm -- A Genetic Algorithm for the Capacitated Arc Routing Problem and Its Extensions -- A New Approach to Solve Permutation Scheduling Problems with Ant Colony Optimization -- Street-Based Routing Using an Evolutionary Algorithm -- Investigation of Different Seeding Strategies in a Genetic Planner. |
| Record Nr. | UNISA-996465775703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applied Parallel Computing. Large Scale Scientific and Industrial Problems [[electronic resource] ] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings / / edited by Bo Kagström, Jack Dongarra, Erik Elmroth, Jerzy Wasniewski
| Applied Parallel Computing. Large Scale Scientific and Industrial Problems [[electronic resource] ] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings / / edited by Bo Kagström, Jack Dongarra, Erik Elmroth, Jerzy Wasniewski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 598 p.) |
| Disciplina | 004/.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Algorithms Computer science—Mathematics Computer mathematics Computational complexity Computer System Implementation Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Mathematics of Computing Computational Mathematics and Numerical Analysis Complexity |
| ISBN | 3-540-49261-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communications latency hiding techniques for a reconfigurable optical interconnect: Benchmark studies -- Multifrontal solvers within the PARASOL environment -- Parallelization of a 3D FD-TD code for the Maxwell equations using MPI -- Advanced calculations and visualization of enzymatic reactions with the combined quantum classical molecular dynamics code -- Memory access profiling tools for alpha-based architectures -- Parallelized block-structured Newton-type methods in dynamic process simulation -- Tuning the performance of parallel programs on NOW’s using performance analysis tool -- Numerical simulation of 3D fully nonlinear water waves on parallel computers -- Fluctuations in the defect creation by ion beam irradiation -- Parallelisation of an industrial hydrodynamics application using the PINEAPL library -- Hyper-rectangle selection strategy for parallel adaptive numerical integration -- Parallilising fuzzy queries for spatial data modelling on a cray T3D -- Hyper-systolic implementation of BLAS-3 routines on the APE100/Quadrics machine -- Resource management for ultra-scale computational grid applications -- A ScaLAPACK-style algorithm for reducing a regular matrix pair to block Hessenberg-triangular form -- Parallel tight-binding molecular dynamics code based on integration of HPF and optimized parallel libraries -- Parallel computation of multidimensional scattering wavefunctions for Helmholtz/Schroedinger equations -- New serial and parallel recursive QR factorization algorithms for SMP systems -- Visualization of CFD computations -- Improving the performance of scientific parallel applications in a cluster of workstations -- On the parallelisation of non-linear optimisation algorithms for ophthalmical lens design -- Modelica—A language for equation-based physical modeling and high performance simulation -- Distributed georeferring of remotely sensed Landsat-TM imagery using MPI -- Parallel test pattern generation using circuit partitioning in a shared-memory multiprocessor -- Parallel adaptive mesh refinement for large eddy simulation using the finite element method -- WSSMP: A high-performance serial and parallel symmetric sparse linear solver -- Recursive blocked data formats and BLAS’s for dense linear algebra algorithms -- Superscalar GEMM-based level 3 BLAS—The on-going evolution of a portable and high-performance library -- Parallel solution of some large-scale eigenvalue problems arising in chemistry and physics -- An embarrassingly parallel ab initio MD method for liquids -- A new parallel preconditioner for the Euler equations -- Partitioning sparse rectangular matrices for parallel computations of Ax and A T v -- NetLink: A modern data distribution approach applied to transparent access of high performance software libraries -- Modernization of legacy application software -- Parallel methods for fluid-structure interaction -- Parallel computing tests on large-scale convex optimization -- Parallel sparse matrix computations in the industrial strength PINEAPL library -- Massively parallel linear stability analysis with P_ARPACK for 3D fluid flow modeled with MPSalsa -- Parallel molecular dynamics simulations of biomolecular systems -- A parallel solver for animal genetics -- Scheduling of a parallel workload: Implementation and use of the argonne easy scheduler at PDC -- An algorithm to evaluate spectral densities of high-dimensional stationary diffusion stochastic processes with non-linear coefficients: The general scheme and issues on implementation with PVM -- High-performance simulation of evolutionary aspects of epidemics -- A parallel algorithm for computing the extremal eigenvalues of very large sparse matrices -- Technologies for teracomputing: A European option -- High Performance Fortran: Status and prospects -- PAVOR—Parallel adaptive volume rendering system -- Simulation steering with SCIRun in a distributed environment -- Addressing the requirements of ASCI-class systems -- A parallel genetic algorithm for the graphs mapping problem -- Parallel wavelet transforms -- Writing a multigrid solver using co-array fortran -- Exploiting visualization and direct manipulation to make parallel tools more communicative -- Deploying fault-tolerance and task migration with NetSolve -- Comparison of implicit and explicit parallel programming models for a finite element simulation algorithm -- Parallel algorithms for triangular sylvester equations: Design, scheduling and scalability issues -- Fast and quantitative analysis of 4D cardiac images using a SMP architecture -- Ab initio electronic structure methods in parallel computers -- Iterative solution of dense linear systems arising from integral equations -- Comparison of partitioning strategies for PDE solvers on multiblock grids -- Ship design optimization -- parallelization strategies for the VMEC Program -- Rational Krylov algorithms for eigenvalue computation and model reduction -- Solution of distributed sparse linear systems using PSPARSLIB -- Parallelization of the DAO atmospheric general circulation model -- Dynamic performance callstack sampling: Merging TAU and DAQV -- A parallel rational Krylov algorithm for eigenvalue computations -- Portable implementation of real-time signal processing benchmarks on HPC platforms -- Large scale active networks simulation -- Forward dependence folding as a method of communication optimization in SPMD Programs -- A parallel genetic clustering for inverse problems -- A parallel hierarchical solver for finite element applications -- Parallel computation and visualization of 3D, time-dependent, thermal convective flows -- Recursive formulation of Cholesky algorithm in Fortran 90 -- High performance linear algebra package for FORTRAN 90. |
| Record Nr. | UNINA-9910144147303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Parallel Computing. Large Scale Scientific and Industrial Problems [[electronic resource] ] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings / / edited by Bo Kagström, Jack Dongarra, Erik Elmroth, Jerzy Wasniewski
| Applied Parallel Computing. Large Scale Scientific and Industrial Problems [[electronic resource] ] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings / / edited by Bo Kagström, Jack Dongarra, Erik Elmroth, Jerzy Wasniewski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 598 p.) |
| Disciplina | 004/.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Algorithms Computer science—Mathematics Computer mathematics Computational complexity Computer System Implementation Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Mathematics of Computing Computational Mathematics and Numerical Analysis Complexity |
| ISBN | 3-540-49261-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communications latency hiding techniques for a reconfigurable optical interconnect: Benchmark studies -- Multifrontal solvers within the PARASOL environment -- Parallelization of a 3D FD-TD code for the Maxwell equations using MPI -- Advanced calculations and visualization of enzymatic reactions with the combined quantum classical molecular dynamics code -- Memory access profiling tools for alpha-based architectures -- Parallelized block-structured Newton-type methods in dynamic process simulation -- Tuning the performance of parallel programs on NOW’s using performance analysis tool -- Numerical simulation of 3D fully nonlinear water waves on parallel computers -- Fluctuations in the defect creation by ion beam irradiation -- Parallelisation of an industrial hydrodynamics application using the PINEAPL library -- Hyper-rectangle selection strategy for parallel adaptive numerical integration -- Parallilising fuzzy queries for spatial data modelling on a cray T3D -- Hyper-systolic implementation of BLAS-3 routines on the APE100/Quadrics machine -- Resource management for ultra-scale computational grid applications -- A ScaLAPACK-style algorithm for reducing a regular matrix pair to block Hessenberg-triangular form -- Parallel tight-binding molecular dynamics code based on integration of HPF and optimized parallel libraries -- Parallel computation of multidimensional scattering wavefunctions for Helmholtz/Schroedinger equations -- New serial and parallel recursive QR factorization algorithms for SMP systems -- Visualization of CFD computations -- Improving the performance of scientific parallel applications in a cluster of workstations -- On the parallelisation of non-linear optimisation algorithms for ophthalmical lens design -- Modelica—A language for equation-based physical modeling and high performance simulation -- Distributed georeferring of remotely sensed Landsat-TM imagery using MPI -- Parallel test pattern generation using circuit partitioning in a shared-memory multiprocessor -- Parallel adaptive mesh refinement for large eddy simulation using the finite element method -- WSSMP: A high-performance serial and parallel symmetric sparse linear solver -- Recursive blocked data formats and BLAS’s for dense linear algebra algorithms -- Superscalar GEMM-based level 3 BLAS—The on-going evolution of a portable and high-performance library -- Parallel solution of some large-scale eigenvalue problems arising in chemistry and physics -- An embarrassingly parallel ab initio MD method for liquids -- A new parallel preconditioner for the Euler equations -- Partitioning sparse rectangular matrices for parallel computations of Ax and A T v -- NetLink: A modern data distribution approach applied to transparent access of high performance software libraries -- Modernization of legacy application software -- Parallel methods for fluid-structure interaction -- Parallel computing tests on large-scale convex optimization -- Parallel sparse matrix computations in the industrial strength PINEAPL library -- Massively parallel linear stability analysis with P_ARPACK for 3D fluid flow modeled with MPSalsa -- Parallel molecular dynamics simulations of biomolecular systems -- A parallel solver for animal genetics -- Scheduling of a parallel workload: Implementation and use of the argonne easy scheduler at PDC -- An algorithm to evaluate spectral densities of high-dimensional stationary diffusion stochastic processes with non-linear coefficients: The general scheme and issues on implementation with PVM -- High-performance simulation of evolutionary aspects of epidemics -- A parallel algorithm for computing the extremal eigenvalues of very large sparse matrices -- Technologies for teracomputing: A European option -- High Performance Fortran: Status and prospects -- PAVOR—Parallel adaptive volume rendering system -- Simulation steering with SCIRun in a distributed environment -- Addressing the requirements of ASCI-class systems -- A parallel genetic algorithm for the graphs mapping problem -- Parallel wavelet transforms -- Writing a multigrid solver using co-array fortran -- Exploiting visualization and direct manipulation to make parallel tools more communicative -- Deploying fault-tolerance and task migration with NetSolve -- Comparison of implicit and explicit parallel programming models for a finite element simulation algorithm -- Parallel algorithms for triangular sylvester equations: Design, scheduling and scalability issues -- Fast and quantitative analysis of 4D cardiac images using a SMP architecture -- Ab initio electronic structure methods in parallel computers -- Iterative solution of dense linear systems arising from integral equations -- Comparison of partitioning strategies for PDE solvers on multiblock grids -- Ship design optimization -- parallelization strategies for the VMEC Program -- Rational Krylov algorithms for eigenvalue computation and model reduction -- Solution of distributed sparse linear systems using PSPARSLIB -- Parallelization of the DAO atmospheric general circulation model -- Dynamic performance callstack sampling: Merging TAU and DAQV -- A parallel rational Krylov algorithm for eigenvalue computations -- Portable implementation of real-time signal processing benchmarks on HPC platforms -- Large scale active networks simulation -- Forward dependence folding as a method of communication optimization in SPMD Programs -- A parallel genetic clustering for inverse problems -- A parallel hierarchical solver for finite element applications -- Parallel computation and visualization of 3D, time-dependent, thermal convective flows -- Recursive formulation of Cholesky algorithm in Fortran 90 -- High performance linear algebra package for FORTRAN 90. |
| Record Nr. | UNISA-996465932303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [[electronic resource] ] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings / / edited by Tor Sorevik, Fredrik Manne, Randi Moe, Assefaw H. Gebremedhin
| Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [[electronic resource] ] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings / / edited by Tor Sorevik, Fredrik Manne, Randi Moe, Assefaw H. Gebremedhin |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Computer science—Mathematics Algorithms Computer communication systems Computational complexity Computer System Implementation Software Engineering/Programming and Operating Systems Mathematics of Computing Algorithm Analysis and Problem Complexity Computer Communication Networks Complexity |
| ISBN | 3-540-70734-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speaker Information -- Industrial Applications: Challenges in Modeling and Computing -- Data Grids for Next Generation Problems in Science and Engineering -- High-Performance Computers: Yesterday, Today, and Tomorrow -- The Evolution of OpenMP -- JavaGrande— High Performance Computing with Java -- Ocean and Climate Prediction on Parallel Super Computers -- LAWRA Linear Algebra with Recursive Algorithms -- Solving CFD Problems with Open Source Parallel Libraries -- High-Performance Library Software for QR Factorization -- Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking -- On the Efficiency of Scheduling Algorithms for Parallel Gaussian Elimination with Communication Delays -- High Performance Cholesky Factorization via Blocking and Recursion That Uses Minimal Storage -- Parallel Two-Stage Reduction of a Regular Matrix Pair to Hessenberg-Triangular Form -- A Fast Minimal Storage Symmetric Indefinite Solver -- A Scalable Parallel Assembly for Irregular Meshes Based on a Block Distribution for a Parallel Block Direct Solver -- MUMPS: A General Purpose Distributed Memory Sparse Solver -- Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments -- A Local Refinement Algorithm for Data Partitioning -- Feedback Guided Scheduling of Nested Loops -- A Comparison of Partitioning Schemes for Blockwise Parallel SAMR Algorithms -- Parallelizing an Adaptive Dynamical Grid Generator in a Climatological Trace Gas Transport Application -- Optimal Parameter Values for a Parallel Structured Adaptive Mesh Refinement Algorithm -- Partition of Unstructured Finite Element Meshes by a Multilevel Approach -- GRISK: An Internet Based Search for K-Optimal Lattice Rules -- Parallel and Distributed Document Overlap Detection on the Web -- A Parallel Implementation of a Job Shop Scheduling Heuristic -- Restructuring Irregular Computations for Distributed Systems Using Mobile Agents -- An Information System for Long-Distance Cooperation in Medicine -- Hydra - Decentralized and Adaptative Approach to Distributed Computing -- Object-Oriented Approach to Finite Element Modeling on Clusters -- An Object Oriented Framework for Parallel Multiple Optimizations -- Experiments in Separating Computational Algorithm from Program Distribution and Communication -- Performance Tuning on Parallel Systems: All Problems Solved? -- Performance Measurement Support for MPI Applications with PATOP -- A Parallel Volume Visualization Using Extended Space Leaping Method -- Hands-On Training for Undergraduates in High-Performance Computing Using Java -- A Parallel 3-D FFT Algorithm on Clusters of Vector SMPs -- High-End Computing on SHV Workstations Connected with High Performance Network -- From the Big Bang to Massive Data Flow: Parallel Computing in High Energy Physics Experiments -- A Data Parallel Formulation of the Barnes-Hut Method for N-Body Simulations -- Par-T: A Parallel Relativistic Fully 3D Electromagnetic Particle-in-Cell Code -- Evaluation of MPI’s One-Sided Communication Mechanism for Short-Range Molecular Dynamics on the Origin2000 -- Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory -- Domain Decomposition Solvers for Large Scale Industrial Finite Element Problems -- A High Parallel Procedure to Initialize the Output Weights of a Radial Basis Function or BP Neural Network -- High-Performance Computing in Geomechanics by a Parallel Finite Element Approach. |
| Record Nr. | UNINA-9910143610603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [[electronic resource] ] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings / / edited by Tor Sorevik, Fredrik Manne, Randi Moe, Assefaw H. Gebremedhin
| Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [[electronic resource] ] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings / / edited by Tor Sorevik, Fredrik Manne, Randi Moe, Assefaw H. Gebremedhin |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Computer science—Mathematics Algorithms Computer communication systems Computational complexity Computer System Implementation Software Engineering/Programming and Operating Systems Mathematics of Computing Algorithm Analysis and Problem Complexity Computer Communication Networks Complexity |
| ISBN | 3-540-70734-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speaker Information -- Industrial Applications: Challenges in Modeling and Computing -- Data Grids for Next Generation Problems in Science and Engineering -- High-Performance Computers: Yesterday, Today, and Tomorrow -- The Evolution of OpenMP -- JavaGrande— High Performance Computing with Java -- Ocean and Climate Prediction on Parallel Super Computers -- LAWRA Linear Algebra with Recursive Algorithms -- Solving CFD Problems with Open Source Parallel Libraries -- High-Performance Library Software for QR Factorization -- Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking -- On the Efficiency of Scheduling Algorithms for Parallel Gaussian Elimination with Communication Delays -- High Performance Cholesky Factorization via Blocking and Recursion That Uses Minimal Storage -- Parallel Two-Stage Reduction of a Regular Matrix Pair to Hessenberg-Triangular Form -- A Fast Minimal Storage Symmetric Indefinite Solver -- A Scalable Parallel Assembly for Irregular Meshes Based on a Block Distribution for a Parallel Block Direct Solver -- MUMPS: A General Purpose Distributed Memory Sparse Solver -- Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments -- A Local Refinement Algorithm for Data Partitioning -- Feedback Guided Scheduling of Nested Loops -- A Comparison of Partitioning Schemes for Blockwise Parallel SAMR Algorithms -- Parallelizing an Adaptive Dynamical Grid Generator in a Climatological Trace Gas Transport Application -- Optimal Parameter Values for a Parallel Structured Adaptive Mesh Refinement Algorithm -- Partition of Unstructured Finite Element Meshes by a Multilevel Approach -- GRISK: An Internet Based Search for K-Optimal Lattice Rules -- Parallel and Distributed Document Overlap Detection on the Web -- A Parallel Implementation of a Job Shop Scheduling Heuristic -- Restructuring Irregular Computations for Distributed Systems Using Mobile Agents -- An Information System for Long-Distance Cooperation in Medicine -- Hydra - Decentralized and Adaptative Approach to Distributed Computing -- Object-Oriented Approach to Finite Element Modeling on Clusters -- An Object Oriented Framework for Parallel Multiple Optimizations -- Experiments in Separating Computational Algorithm from Program Distribution and Communication -- Performance Tuning on Parallel Systems: All Problems Solved? -- Performance Measurement Support for MPI Applications with PATOP -- A Parallel Volume Visualization Using Extended Space Leaping Method -- Hands-On Training for Undergraduates in High-Performance Computing Using Java -- A Parallel 3-D FFT Algorithm on Clusters of Vector SMPs -- High-End Computing on SHV Workstations Connected with High Performance Network -- From the Big Bang to Massive Data Flow: Parallel Computing in High Energy Physics Experiments -- A Data Parallel Formulation of the Barnes-Hut Method for N-Body Simulations -- Par-T: A Parallel Relativistic Fully 3D Electromagnetic Particle-in-Cell Code -- Evaluation of MPI’s One-Sided Communication Mechanism for Short-Range Molecular Dynamics on the Origin2000 -- Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory -- Domain Decomposition Solvers for Large Scale Industrial Finite Element Problems -- A High Parallel Procedure to Initialize the Output Weights of a Radial Basis Function or BP Neural Network -- High-Performance Computing in Geomechanics by a Parallel Finite Element Approach. |
| Record Nr. | UNISA-996466363103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence and Symbolic Mathematical Computation [[electronic resource] ] : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings / / edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
| Artificial Intelligence and Symbolic Mathematical Computation [[electronic resource] ] : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings / / edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 384 p.) |
| Disciplina | 006.3/01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Algorithms Mathematical logic Computational complexity Artificial Intelligence Theory of Computation Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Complexity |
| ISBN | 3-540-70740-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic computation and teaching -- Analytica — An experiment in combining theorem proving and symbolic computation -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software -- Compromised updates in labelled databases -- An inference engine for propositional two-valued logic based on the radical membership problem -- Programming by demonstration: A machine learning approach to support skill acquision for robots -- Knowledge-based information processing in manufacturing cells — The present and the future -- Calculi for qualitative spatial reasoning -- Combining local consistency, symbolic rewriting and interval methods -- Proof transformation for non-compatible rewriting -- PATCH Graphs: An efficient data structure for completion of finitely presented groups -- Measuring the likely effectiveness of strategies -- A new approach on solving 3-satisfiability -- Geometry machines: From AI to SMC -- Interactive Theorem Proving and finite projective planes -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation -- Solving geometrical constraint systems using CLP based on linear constraint solver -- Towards a sheaf semantics for cooperating agents scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras -- Backward reasoning in systems with cut -- Soundness and completeness versus lifting property -- Reasoning with preorders and dynamic sorts using free variable tableaux. |
| Record Nr. | UNISA-996465858403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Structural Engineering [[electronic resource] ] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / / edited by Ian Smith
| Artificial Intelligence in Structural Engineering [[electronic resource] ] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / / edited by Ian Smith |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 502 p.) |
| Disciplina | 624.1/0285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Buildings—Design and construction Building Construction Engineering, Architectural Software engineering Control engineering Robotics Mechatronics Computational complexity Artificial Intelligence Building Construction and Design Software Engineering Control, Robotics, Mechatronics Complexity |
| ISBN | 3-540-68593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Structural monitoring of civil structures using vibration measurement Current practice and future -- Object-oriented software patterns for engineering design standards processing -- Design and verification of real-time systems -- Using knowledge nodes for knowledge discovery and collaboration -- Heating system design support -- Collaborative desktop engineering -- Towards personalized structural engineering tools -- Complex systems: Why do they need to evolve and how can evolution be supported -- Formalizing product model transformations: Case examples and applications -- Internet-based web-mediated collaborative design and learning environment -- Wearable computers for field inspectors: Delivering data and knowledge-based support in the field -- Conceptual designing as a sequence of situated acts -- Some personal experience in computer aided engineering research -- Knowledge discovery from multimedia case libraries -- Customisable knowledge bases for conceptual design -- Articulate design of free-form structures -- Applying quantitative constraint satisfaction in preliminary design -- Agents in computer-assisted collaborative design -- A collaborative negotiation methodology for large scale civil engineering and architectural projects -- An investigation into the integration of neural networks with the structured genetic algorithm to aid conceptual design -- Finding the right model for bridge diagnosis -- Knowledge-based assistants in collaborative engineering -- CAD modelling in multidisciplinary design domains -- A family of software components to deliver solutions for the interpretation of monitoring data -- AI methods in concurrent engineering -- A new collaborative design environment for engineers and architects -- Intelligent structures: A new direction in structural control -- Integration of expert systems in a structural design office -- Teaching knowledge engineering: Experiences -- Design support for viaducts -- Converting function into object -- Software agent techniques in design -- Case-based design process facilitating collaboration and information evolution -- Shared experiences: Management of experiential knowledge in the building industry -- Dam safety: Improving management -- Integrating virtual reality and telepresence to remotely monitor construction sites: A ViRTUE project -- Proposal for 4.5 dimensional design via product models and expert system -- A product information system based on dynamic classification -- Structural monitoring: Decision-support through multiple data interpretations -- Augmented reality applications to structural monitoring -- Analysis and design of the as-built model -- On theoretical backgrounds of CAD. |
| Record Nr. | UNISA-996466358303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Structural Engineering [[electronic resource] ] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / / edited by Ian Smith
| Artificial Intelligence in Structural Engineering [[electronic resource] ] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / / edited by Ian Smith |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 502 p.) |
| Disciplina | 624.1/0285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Buildings—Design and construction Building Construction Engineering, Architectural Software engineering Control engineering Robotics Mechatronics Computational complexity Artificial Intelligence Building Construction and Design Software Engineering Control, Robotics, Mechatronics Complexity |
| ISBN | 3-540-68593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Structural monitoring of civil structures using vibration measurement Current practice and future -- Object-oriented software patterns for engineering design standards processing -- Design and verification of real-time systems -- Using knowledge nodes for knowledge discovery and collaboration -- Heating system design support -- Collaborative desktop engineering -- Towards personalized structural engineering tools -- Complex systems: Why do they need to evolve and how can evolution be supported -- Formalizing product model transformations: Case examples and applications -- Internet-based web-mediated collaborative design and learning environment -- Wearable computers for field inspectors: Delivering data and knowledge-based support in the field -- Conceptual designing as a sequence of situated acts -- Some personal experience in computer aided engineering research -- Knowledge discovery from multimedia case libraries -- Customisable knowledge bases for conceptual design -- Articulate design of free-form structures -- Applying quantitative constraint satisfaction in preliminary design -- Agents in computer-assisted collaborative design -- A collaborative negotiation methodology for large scale civil engineering and architectural projects -- An investigation into the integration of neural networks with the structured genetic algorithm to aid conceptual design -- Finding the right model for bridge diagnosis -- Knowledge-based assistants in collaborative engineering -- CAD modelling in multidisciplinary design domains -- A family of software components to deliver solutions for the interpretation of monitoring data -- AI methods in concurrent engineering -- A new collaborative design environment for engineers and architects -- Intelligent structures: A new direction in structural control -- Integration of expert systems in a structural design office -- Teaching knowledge engineering: Experiences -- Design support for viaducts -- Converting function into object -- Software agent techniques in design -- Case-based design process facilitating collaboration and information evolution -- Shared experiences: Management of experiential knowledge in the building industry -- Dam safety: Improving management -- Integrating virtual reality and telepresence to remotely monitor construction sites: A ViRTUE project -- Proposal for 4.5 dimensional design via product models and expert system -- A product information system based on dynamic classification -- Structural monitoring: Decision-support through multiple data interpretations -- Augmented reality applications to structural monitoring -- Analysis and design of the as-built model -- On theoretical backgrounds of CAD. |
| Record Nr. | UNINA-9910767579603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computational complexity
(828)
- Complexity (487)
- Statistical physics (151)
- Artificial intelligence (105)
- Artificial Intelligence (100)