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.
Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland
| Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 183 p. 59 illus.) |
| Disciplina | 004.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Logic design Operating systems (Computers) Computer programming Computer engineering Computer networks Computer science Compilers and Interpreters Logic Design Operating Systems Programming Techniques Computer Engineering and Networks Models of Computation |
| ISBN |
9783319748962
3319748963 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Applications -- An Example of Porting PETSc Applications to Heterogeneous Platforms with OpenACC -- Abstract -- 1 Introduction -- 2 Workflow and System Description -- 2.1 Workflow -- 2.2 System -- 3 Results and Discussion -- 3.1 Profiling with Score-P -- 3.2 The Most Expensive Kernel: MatMult_SeqAIJ -- 3.3 Four Steps Toward the Final Version of OpenACC Kernel -- 4 Speedups and Strong Scaling -- 5 Conclusion -- Acknowledgement -- References -- Hybrid Fortran: High Productivity GPU Porting Framework Applied to Japanese Weather Prediction Model -- 1 Introduction -- 1.1 ASUCA on GPU -- 1.2 Parallelization Granularity -- 1.3 Memory Layout -- 1.4 Related Work -- 1.5 Problem Summary -- 2 Hybrid Fortran Language Extension and Code Transformation -- 2.1 Parallel Loop Abstraction -- 2.2 Compile-Time Defined Memory Layout and Device Data Region -- 2.3 Transformed Code -- 3 Code Transformation Method -- 4 Productivity- and Performance Results -- 5 Conclusion and Future Work -- References -- Implicit Low-Order Unstructured Finite-Element Multiple Simulation Enhanced by Dense Computation Using OpenACC -- 1 Introduction -- 2 Finite-Element Earthquake Simulation Designed for the K Computer -- 3 Proposed Solver for GPUs Using OpenACC -- 3.1 Modification of Algorithm for GPUs -- 3.2 Introduction of OpenACC -- 4 Performance Measurements -- 5 Application Example -- 6 Concluding Remarks -- References -- Runtime Environments -- The Design and Implementation of OpenMP 4.5 and OpenACC Backends for the RAJA C++ Performance Portability Layer -- 1 Introduction -- 2 RAJA -- 2.1 Basic Execution Policies -- 2.2 RAJA::NestedPolicy and Loop Transformations -- 3 Embedding Directives in the C++ Type System -- 3.1 Defining Policy Tags for a Backend -- 3.2 Constructing Explicit Execution Policy Types.
3.3 Implement forall Specializations -- 4 Case Study: OpenMP 4.5 -- 5 Case Study: OpenACC -- 6 Evaluation -- 6.1 Test Set -- 6.2 Goals and Non-Goals -- 6.3 Compilation Overhead -- 6.4 Runtime Overhead -- 7 Future Work and Conclusion -- References -- Enabling GPU Support for the COMPSs-Mobile Framework -- 1 Introduction -- 2 Related Work -- 3 Programming Model -- 3.1 Extension for GPU Support -- 4 Runtime Support Implementation -- 4.1 COMPSs-Mobile Runtime Architecture -- 4.2 OpenCL Platform -- 5 Performance Evaluation -- 5.1 OpenCL Platform Performance -- 5.2 Load Balancing Policies -- 6 Conclusions and Future Work -- References -- Concurrent Parallel Processing on Graphics and Multicore Processors with OpenACC and OpenMP -- Abstract -- 1 Introduction -- 2 MBFLO3 Application -- 2.1 Mathematical Formulation -- 2.2 Numerical Method -- 3 Heterogeneous Multiblock Computing Strategy -- 3.1 Multicore Host Parallelism -- 3.2 Manycore Accelerator Parallelism -- 3.3 Heterogeneous Host-Device Parallelism -- 4 Performance Results and Analysis -- 5 Conclusions -- Acknowledgements -- References -- Program Evaluation -- Exploration of Supervised Machine Learning Techniques for Runtime Selection of CPU vs. GPU Execution in Java Programs -- 1 Introduction -- 2 Motivation -- 3 Compiling Java to GPUs -- 3.1 Java Parallel Stream API -- 3.2 JIT Compilation for GPUs -- 4 Exploring Supervised Machine Learning Algorithms -- 4.1 Supervised Machine Learning -- 4.2 Generating Subsets of Features -- 4.3 Constructing Prediction Models -- 4.4 Integrating Prediction Models -- 5 Experimental Results -- 5.1 Experimental Protocol -- 5.2 Overall Summary -- 5.3 Accuracies on the Full Set of Features -- 5.4 Exploring ML Algorithms by Feature Subsetting -- 5.5 Lessons Learned -- 6 Related Work -- 6.1 GPU Code Generation from High-Level Languages -- 6.2 Offline Model Construction. 7 Conclusions -- A Appendix -- References -- Automatic Testing of OpenACC Applications -- 1 Introduction -- 2 Testing a GPU Port of a Numerical Application -- 3 Autocompare with OpenACC -- 4 Autocompare Implementation -- 5 Experiments -- 6 Related Work -- 7 Future Work -- 8 Conclusion -- References -- Evaluation of Asynchronous Offloading Capabilities of Accelerator Programming Models for Multiple Devices -- 1 Introduction -- 2 Related Work -- 3 Accelerator Programming Models -- 3.1 CUDA -- 3.2 OpenCL -- 3.3 OpenACC -- 3.4 OpenMP -- 4 Implementing the Conjugate Gradient Method -- 5 Performance Results on NVIDIA GPUs -- 5.1 Data Transfers with the Host -- 5.2 Single Device -- 5.3 Two Devices -- 6 Performance Results on Intel Xeon Phi Coprocessors -- 6.1 Single Device -- 6.2 Two Devices -- 7 Summary -- References -- Author Index. |
| Record Nr. | UNINA-9910349261003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development / / edited by Peter P. Chen, Leah Y. Wong
| Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development / / edited by Peter P. Chen, Leah Y. Wong |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 227 p.) |
| Disciplina | 006.3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Artificial intelligence
Data mining Application software Machine theory Computer science Software engineering Artificial Intelligence Data Mining and Knowledge Discovery Computer and Information Systems Applications Formal Languages and Automata Theory Models of Computation Software Engineering |
| ISBN | 3-540-77503-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings of Active Conceptual Modeling-Learning (ACM-L) Workshop, November 8, 2006, Tucson, Arizona, USA -- Overview of Papers in 2006 Active Conceptual Modeling of Learning (ACM-L) Workshop -- Architecture for Active Conceptual Modeling of Learning -- Understanding the Semantics of Data Provenance to Support Active Conceptual Modeling -- Adaptive and Context-Aware Reconciliation of Reactive and Pro-active Behavior in Evolving Systems -- A Common Core for Active Conceptual Modeling for Learning from Surprises -- Actively Evolving Conceptual Models for Mini-World and Run-Time Environment Changes -- Achievements and Problems of Conceptual Modelling -- Metaphor Modeling on the Semantic Web -- Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems -- Using Active Modeling in Counterterrorism -- To Support Emergency Management by Using Active Modeling: A Case of Hurricane Katrina -- Using Ontological Modeling in a Context-Aware Summarization System to Adapt Text for Mobile Devices -- Accommodating Streams to Support Active Conceptual Modeling of Learning from Surprises -- Invited Paper -- Approaches to the Active Conceptual Modelling of Learning -- Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling -- Postponing Schema Definition: Low Instance-to-Entity Ratio (LItER) Modelling -- Research Issues in Active Conceptual Modeling of Learning: Summary of Panel Discussions in Two Workshops (May 2006) and (November 2006). |
| Record Nr. | UNINA-9910483619003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Spiking Neural P Systems : Models and Applications / / by Hong Peng, Jun Wang
| Advanced Spiking Neural P Systems : Models and Applications / / by Hong Peng, Jun Wang |
| Autore | Peng Hong |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (304 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) | WangJun |
| Collana | Computational Intelligence Methods and Applications |
| Soggetto topico |
Artificial intelligence
Computer science Image processing Natural language processing (Computer science) Machine learning Artificial Intelligence Models of Computation Theory of Computation Image Processing Natural Language Processing (NLP) Machine Learning |
| ISBN | 981-9752-80-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Spiking Neural P Systems and Variants -- Chapter 3. Computational Completeness -- Chapter 4. Fuzzy Spiking Neural P Systems -- Chapter 5.Time Series Forecasting -- Chapter 6. Image Processing -- Chapter 7. Sentiment Analysis -- Chapter 8. Fault Diagnosis. |
| Record Nr. | UNINA-9910882888003321 |
Peng Hong
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Topics in Shannon Sampling and Interpolation Theory / / edited by Robert J.II Marks
| Advanced Topics in Shannon Sampling and Interpolation Theory / / edited by Robert J.II Marks |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XIII, 360 p.) |
| Disciplina | 621.3 |
| Collana | Springer Texts in Electrical Engineering |
| Soggetto topico |
Electrical engineering
Computer science Chemometrics Computational intelligence Electrical and Electronic Engineering Models of Computation Mathematical Applications in Chemistry Computational Intelligence |
| ISBN | 1-4613-9757-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Gabor’s Signal Expansion and Its Relation to Sampling of the Sliding-Window Spectrum -- 1.1 Introduction -- 1.2 Sliding-Window Spectrum -- 1.3 Sampling Theorem for the Sliding-Window Spectrum -- 1.4 Examples of Window Functions -- 1.5 Gabor’s Signal Expansion -- 1.6 Examples of Elementary Signals -- 1.7 Degrees of Freedom of a Signal -- 1.8 Optical Generation of Gabor’s Expansion Coefficients for Rastered Signals -- 1.9 Conclusion -- 2 Sampling in Optics -- 2.1 Introduction -- 2.2 Historical Background -- 2.3 The von Laue Analysis -- 2.4 Degrees of Freedom of an Image -- 2.5 Superresolving Pupils -- 2.6 Fresnel SampHng -- 2.7 Exponential SampHng -- 2.8 Partially Coherent Fields -- 2.9 Optical Processing -- 2.10 Conclusion -- 3 A Multidimensional Extension of Papoulis’ Generalized Sampling Expansion with the Application in Minimum Density Sampling -- I: A Multidimensional Extension of Papoulis’ Generalized Sampling Expansion -- 3.1 Introduction -- 3.2 GSE Formulation -- 3.3 M-D Extension -- 3.4 Extension Generalization -- 3.5 Conclusion -- II: Sampling Multidimensional Band-Limited Functions At Minimum Densities -- 3.6 Sample Interdependency -- 3.7 Sampling Density Reduction Using M-D GSE -- 3.8 Computational Complexity of the Two Formulations -- 3.9 Sampling at the Minimum Density -- 3.10 Discussion -- 3.11 Conclusion -- 4 Nonuniform Sampling -- 4.1 Preliminary Discussions -- 4.2 General Nonuniform Sampling Theorems -- 4.3 Spectral Analysis of Nonuniform Samples and Signal Recovery -- 4.4 Discussion on Reconstruction Methods -- 5 Linear Prediction by Samples from the Past -- 5.1 Preliminaries -- 5.2 Prediction of Deterministic Signals -- 5.3 Prediction of Random Signals -- 6 Polar, Spiral, and Generalized Sampling and Interpolation -- 6.1 Introduction -- 6.2 Sampling in Polar Coordinates -- 6.3 SpiralSampling -- 6.4 Reconstruction from Non-Uniform Samples by Convex Projections -- 6.5 Experimental Results -- 6.6 Conclusions -- Appendix A -- Appendix B -- 7 Error Analysis in Application of Generalizations of the Sampling Theorem -- Foreword: Welcomed General Sources for the Sampling Theorems -- 7.1 Introduction — Sampling Theorems -- 7.2 Error Bounds of the Present Extension of the Sampling Theorem -- 7.3 Applications -- Appendix A -- A.1 Analysis of Gibbs’ Phenomena. |
| Record Nr. | UNINA-9910958624903321 |
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso
| Advances in Artificial Intelligence : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 396 p. 86 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science - Mathematics Discrete mathematics Artificial intelligence - Data processing Computer vision Computer science Artificial Intelligence Discrete Mathematics in Computer Science Data Science Computer Vision Models of Computation |
| ISBN | 3-030-00374-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence -- Fuzzy Sets and Systems -- Evolutionary Algorithms -- Data Mining -- Applications. |
| Record Nr. | UNINA-9910349399303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence - IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David
| Advances in Artificial Intelligence - IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 462 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer programming
Computer simulation Natural language processing (Computer science) Artificial intelligence Computer science Programming Techniques Computer Modelling Natural Language Processing (NLP) Artificial Intelligence Models of Computation |
| ISBN |
9783540883098
3540883096 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Representation -- Topology and Knowledge of Multiple Agents -- A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning -- Quantum-Based Belief Merging -- Planning and Scheduling -- A Study of Schedule Robustness for Job Shop with Uncertainty -- A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition -- Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A Heuristic Method for Balanced Graph Partitioning: An Application for the Demarcation of Preventive Police Patrol Areas -- Using Indexed Finite Set Variables for Set Bounds Propagation -- Probabilistic Reasoning -- Extension of Bayesian Network Classifiers to Regression Problems -- Transfer Learning for Bayesian Networks -- Machine Learning -- A Dipolar Competitive Neural Network for Video Segmentation -- Geodesic Generative Topographic Mapping -- Rough Evolutionary Fuzzy System Based on Interactive T-Norms -- K-Means Initialization Methods for Improving Clustering by Simulated Annealing -- Data Reduction Method for Categorical Data Clustering -- A Multi-measure Nearest Neighbor Algorithm for Time Series Classification -- Detection of Anomalies in Large Datasets Using an Active Learning Scheme Based on Dirichlet Distributions -- The SKM Algorithm: A K-Means Algorithm for Clustering Sequential Data -- Multiagent Systems -- Ensuring Time in Real-Time Commitments -- Hybrid Multi-agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes -- Mixing Greedy and Evolutive Approaches to Improve Pursuit Strategies -- The Evolution of Negotiation and Impasse in Two-Party Multi-issue Bargaining -- Characters with Character -- Natural Language Processing -- Automatic Generalizationof a QA Answer Extraction Module Based on Semantic Roles -- A Multilingual Application for Automated Essay Scoring -- Combining Frequent and Discriminating Attributes in the Generation of Definite Descriptions -- A Machine Learning Approach to Portuguese Pronoun Resolution -- Text Classification on Embedded Manifolds -- An Improved Connectionist Translator between Natural Languages -- Intelligent Information Systems and NLP -- A Framework for Information Retrieval Based on Fuzzy Relations and Multiple Ontologies -- Recommendation System for Automatic Recovery of Broken Web Links -- Conceptual Subtopic Identification in the Medical Domain -- Real-Time Open-Domain QA on the Portuguese Web -- Hyponymy Extraction and Web Search Behavior Analysis Based on Query Reformulation -- Semantics of Place: Ontology Enrichment -- Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System -- Text Retrieval through Corrupted Queries -- Robotics -- Dynamic Velocity Field Angle Generation for Obstacle Avoidance in Mobile Robots Using Hydrodynamics -- Motion Planning for Cooperative Multi-robot Box-Pushing Problem -- Multi-robot Exploration and Mapping Using Self Biddings -- Coordinated Multi-robot Exploration with SRT-Radial -- On the Selection of a Classification Technique for the Representation and Recognition of Dynamic Gestures -- Applications -- A Fuzzy Hybrid Intelligent System for Human Semen Analysis -- Genetic Programming for Predicting Protein Networks -- Fragmentation and Frontier Evolution for Genetic Algorithms Optimization in Music Transcription -- Applying Genetic Programming to Civil Engineering in the Improvement of Models, Codes and Norms. |
| Record Nr. | UNINA-9910767585803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computation and Intelligence [[electronic resource] ] : 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings / / edited by Zhenhua Li
| Advances in Computation and Intelligence [[electronic resource] ] : 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings / / edited by Zhenhua Li |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 554 p.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer simulation Application software Computer science Artificial Intelligence Computer Vision Computer Modelling Computer and Information Systems Applications Theory of Computation Models of Computation |
| ISBN | 3-642-04843-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Analysis of Genetic Algorithms -- A Novel Online Test-Sheet Composition Approach Using Genetic Algorithm -- A Route System Based on Genetic Algorithm for Coarse-Grain Reconfigurable Architecture -- Building Trade System by Genetic Algorithm -- Implementation of Parallel Genetic Algorithm Based on CUDA -- Moitf GibbsGA: Sampling Transcription Factor Binding Sites Coupled with PSFM Optimization by GA -- Network Model and Optimization of Medical Waste Reverse Logistics by Improved Genetic Algorithm -- SGEGC: A Selfish Gene Theory Based Optimization Method by Exchanging Genetic Components -- Section II: Computational Intelligence in Engineer Design -- A Novel RM-Based Algorithm for Reversible Circuits -- A Novel Transformation-Based Algorithm for Reversible Logic Synthesis -- Estimation of Distribution Algorithms for the Machine-Part Cell Formation -- Global Exponential Stability of Delayed Neural Networks with Non-lipschitz Neuron Activations and Impulses -- Modeling and Verification of Zhang Neural Networks for Online Solution of Time-Varying Quadratic Minimization and Programming -- New Product Design Based Target Cost Control with BP Neural Network and Genetic Algorithm - A Case Study in Chinese Automobile Industry -- Hard Real Time Task Oriented Power Saving Scheduling Algorithm Based on DVS -- Section III: Optimization and Learning -- A Globally Convergent Smoothing Method for Symmetric Conic Linear Programming -- A New Optimizaiton Algorithm for Function Optimization -- A Point Symmetry-Based Automatic Clustering Approach Using Differential Evolution -- Balanced Learning for Ensembles with Small Neural Networks -- Estimating Geostatistics Variogram Parameters Based on Hybrid Orthogonal Differential Evolution Algorithm -- Memetic Strategies for Global Trajectory Optimisation -- Effects of Similarity-Based Selection on WBMOIA: A Weight-Based Multiobjective Immune Algorithm -- Section IV: Representations and Operators -- A Novel Evolutionary Algorithm Based on Multi-parent Crossover and Space Transformation Search -- An Evolutionary Algorithm and Kalman Filter Hybrid Approach for Integrated Navigation -- Clonal and Cauchy-mutation Evolutionary Algorithm for Global Numerical Optimization -- Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations -- Evaluation of Cobalt-Rich Crust Resources Based on Fractal Characteristics of Seamount Terrain -- Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems -- Novel Associative Memory Retrieving Strategies for Evolutionary Algorithms in Dynamic Environments -- Section V: Robust Classification -- An Algorithm of Mining Class Association Rules -- An Empirical Study on Several Classification Algorithms and Their Improvements -- Classification of Imbalanced Data Sets by Using the Hybrid Re-sampling Algorithm Based on Isomap -- Detecting Network Anomalies Using CUSUM and EM Clustering -- Multiobjective Optimization in Mineral Resources Exploitation: Models and Case Studies -- Robust and Efficient Eye Location and Its State Detection -- Section VI: Statistical Learning -- A Neural Network Architecture for Perceptual Grouping, Attention Modulation and Boundary-Surface Interaction -- Adaptive Neighborhood Select Based on Local Linearity for Nonlinear Dimensionality Reduction -- Anti-spam Filters Based on Support Vector Machines -- Multi-attribute Weight Allocation Based on Fuzzy Clustering Analysis and Rough Sets -- Spatio-temporal Model Based on Back Propagation Neural Network for Regional Data in GIS -- Subject Integration and Applications of Neural Networks -- The Convergence Control to the ACO Metaheuristic Using Annotated Paraconsistent Logic -- The Research of Artificial Neural Network on Negative Correlation Learning -- Section VII: Swarm Intelligence -- A Discrete PSO for Multi-objective Optimization in VLSI Floorplanning -- Applying Chaotic Particle Swarm Optimization to the Template Matching Problem -- Cellular PSO: A PSO for Dynamic Environments -- Constrained Layout Optimization Based on Adaptive Particle Swarm Optimizer -- Multi-swarm Particle Swarm Optimizer with Cauchy Mutation for Dynamic Optimization Problems -- Optimization of the Damping of the Rectangular 3-D Braided Composite Based on PSO Algorithm -- Parallel Hybrid Particle Swarm Optimization and Applications in Geotechnical Engineering -- Storage-Based Intrusion Detection Using Artificial Immune Technique -- Section VIII: System Design -- A New Method for Optimal Configuration of Weapon System -- A Secure Routing Algorithm for MANET -- Detection and Defense of Identity Attacks in P2P Network -- License Plate Multi-DSP and Multi-FPGA Design and Realization in Highway Toll System -- QoS Routing Algorithm for Wireless Multimedia Sensor Networks -- Realization of Fingerprint Identification on DSP -- Localization Algorithm of Beacon-Free Node in WSN Based on Probability -- The Method of Knowledge Processing in Intelligent Design System of Products. |
| Record Nr. | UNISA-996465649103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computation and Intelligence : 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings / / edited by Zhenhua Li
| Advances in Computation and Intelligence : 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings / / edited by Zhenhua Li |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 554 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | CaiZhihua |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer simulation Application software Computer science Artificial Intelligence Computer Vision Computer Modelling Computer and Information Systems Applications Theory of Computation Models of Computation |
| ISBN | 3-642-04843-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Analysis of Genetic Algorithms -- A Novel Online Test-Sheet Composition Approach Using Genetic Algorithm -- A Route System Based on Genetic Algorithm for Coarse-Grain Reconfigurable Architecture -- Building Trade System by Genetic Algorithm -- Implementation of Parallel Genetic Algorithm Based on CUDA -- Moitf GibbsGA: Sampling Transcription Factor Binding Sites Coupled with PSFM Optimization by GA -- Network Model and Optimization of Medical Waste Reverse Logistics by Improved Genetic Algorithm -- SGEGC: A Selfish Gene Theory Based Optimization Method by Exchanging Genetic Components -- Section II: Computational Intelligence in Engineer Design -- A Novel RM-Based Algorithm for Reversible Circuits -- A Novel Transformation-Based Algorithm for Reversible Logic Synthesis -- Estimation of Distribution Algorithms for the Machine-Part Cell Formation -- Global Exponential Stability of Delayed Neural Networks with Non-lipschitz Neuron Activations and Impulses -- Modeling and Verification of Zhang Neural Networks for Online Solution of Time-Varying Quadratic Minimization and Programming -- New Product Design Based Target Cost Control with BP Neural Network and Genetic Algorithm - A Case Study in Chinese Automobile Industry -- Hard Real Time Task Oriented Power Saving Scheduling Algorithm Based on DVS -- Section III: Optimization and Learning -- A Globally Convergent Smoothing Method for Symmetric Conic Linear Programming -- A New Optimizaiton Algorithm for Function Optimization -- A Point Symmetry-Based Automatic Clustering Approach Using Differential Evolution -- Balanced Learning for Ensembles with Small Neural Networks -- Estimating Geostatistics Variogram Parameters Based on Hybrid Orthogonal Differential Evolution Algorithm -- Memetic Strategies for Global Trajectory Optimisation -- Effects of Similarity-Based Selection on WBMOIA: A Weight-Based Multiobjective Immune Algorithm -- Section IV: Representations and Operators -- A Novel Evolutionary Algorithm Based on Multi-parent Crossover and Space Transformation Search -- An Evolutionary Algorithm and Kalman Filter Hybrid Approach for Integrated Navigation -- Clonal and Cauchy-mutation Evolutionary Algorithm for Global Numerical Optimization -- Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations -- Evaluation of Cobalt-Rich Crust Resources Based on Fractal Characteristics of Seamount Terrain -- Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems -- Novel Associative Memory Retrieving Strategies for Evolutionary Algorithms in Dynamic Environments -- Section V: Robust Classification -- An Algorithm of Mining Class Association Rules -- An Empirical Study on Several Classification Algorithms and Their Improvements -- Classification of Imbalanced Data Sets by Using the Hybrid Re-sampling Algorithm Based on Isomap -- Detecting Network Anomalies Using CUSUM and EM Clustering -- Multiobjective Optimization in Mineral Resources Exploitation: Models and Case Studies -- Robust and Efficient Eye Location and Its State Detection -- Section VI: Statistical Learning -- A Neural Network Architecture for Perceptual Grouping, Attention Modulation and Boundary-Surface Interaction -- Adaptive Neighborhood Select Based on Local Linearity for Nonlinear Dimensionality Reduction -- Anti-spam Filters Based on Support Vector Machines -- Multi-attribute Weight Allocation Based on Fuzzy Clustering Analysis and Rough Sets -- Spatio-temporal Model Based on Back Propagation Neural Network for Regional Data in GIS -- Subject Integration and Applications of Neural Networks -- The Convergence Control to the ACO Metaheuristic Using Annotated Paraconsistent Logic -- The Research of Artificial Neural Network on Negative Correlation Learning -- Section VII: Swarm Intelligence -- A Discrete PSO for Multi-objective Optimization in VLSI Floorplanning -- Applying Chaotic Particle Swarm Optimization to the Template Matching Problem -- Cellular PSO: A PSO for Dynamic Environments -- Constrained Layout Optimization Based on Adaptive Particle Swarm Optimizer -- Multi-swarm Particle Swarm Optimizer with Cauchy Mutation for Dynamic Optimization Problems -- Optimization of the Damping of the Rectangular 3-D Braided Composite Based on PSO Algorithm -- Parallel Hybrid Particle Swarm Optimization and Applications in Geotechnical Engineering -- Storage-Based Intrusion Detection Using Artificial Immune Technique -- Section VIII: System Design -- A New Method for Optimal Configuration of Weapon System -- A Secure Routing Algorithm for MANET -- Detection and Defense of Identity Attacks in P2P Network -- License Plate Multi-DSP and Multi-FPGA Design and Realization in Highway Toll System -- QoS Routing Algorithm for Wireless Multimedia Sensor Networks -- Realization of Fingerprint Identification on DSP -- Localization Algorithm of Beacon-Free Node in WSN Based on Probability -- The Method of Knowledge Processing in Intelligent Design System of Products. |
| Record Nr. | UNINA-9910482974403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computation and Intelligence [[electronic resource] ] : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / / edited by Xuesong Yan
| Advances in Computation and Intelligence [[electronic resource] ] : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / / edited by Xuesong Yan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVIII, 866 p.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer science Data mining Computer simulation Image processing—Digital techniques Computer vision Bioinformatics Artificial Intelligence Models of Computation Data Mining and Knowledge Discovery Computer Modelling Computer Imaging, Vision, Pattern Recognition and Graphics Computational and Systems Biology |
| ISBN | 3-540-92137-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Computational Intelligence -- Section II: Evolutionary Computation -- Section III: Evolutionary Multi-objective and Dynamic Optimization -- Section IV: Evolutionary Learning Systems -- Section V: Neural Networks -- Section VI: Classification and Recognition -- Section VII: Bioinformatics and Bioengineering -- Section VIII: Evolutionary Data Mining and Knowledge Discovery -- Section IX: Intelligent GIS and Control -- Section X: Theory of Intelligent Computation -- Section XI: Combinational and Numerical Optimization -- Section XII: Real-World Applications. |
| Record Nr. | UNISA-996465528303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computation and Intelligence : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / / edited by Xuesong Yan
| Advances in Computation and Intelligence : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / / edited by Xuesong Yan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVIII, 866 p.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer science Data mining Computer simulation Image processing - Digital techniques Computer vision Bioinformatics Artificial Intelligence Models of Computation Data Mining and Knowledge Discovery Computer Modelling Computer Imaging, Vision, Pattern Recognition and Graphics Computational and Systems Biology |
| ISBN | 3-540-92137-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Computational Intelligence -- Section II: Evolutionary Computation -- Section III: Evolutionary Multi-objective and Dynamic Optimization -- Section IV: Evolutionary Learning Systems -- Section V: Neural Networks -- Section VI: Classification and Recognition -- Section VII: Bioinformatics and Bioengineering -- Section VIII: Evolutionary Data Mining and Knowledge Discovery -- Section IX: Intelligent GIS and Control -- Section X: Theory of Intelligent Computation -- Section XI: Combinational and Numerical Optimization -- Section XII: Real-World Applications. |
| Record Nr. | UNINA-9910483230803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Computer science (236)
-
Models of Computation
(236)
- Artificial Intelligence (100)
- Artificial intelligence (100)
- Software Engineering (62)