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 Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken
| Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Electronics Microelectronics Circuits and Systems Logic Design Electronics and Microelectronics, Instrumentation |
| ISBN | 3-030-20323-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. |
| Record Nr. | UNINA-9910366584903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Logic Synthesis / / edited by André Inácio Reis, Rolf Drechsler
| Advanced Logic Synthesis / / edited by André Inácio Reis, Rolf Drechsler |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 232 p. 118 illus., 48 illus. in color.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Microprocessors Signal processing Image processing Speech processing systems Circuits and Systems Processor Architectures Signal, Image and Speech Processing |
| ISBN | 3-319-67295-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299889003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Evolutionary Computation [[electronic resource] ] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / / edited by Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, W.B. Langdon, Juan-J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea Tettamanzi, Julian Togelius, Neil Urquhart, Sima Uyar, Georgios N. Yannakakis
| Applications of Evolutionary Computation [[electronic resource] ] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / / edited by Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, W.B. Langdon, Juan-J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea Tettamanzi, Julian Togelius, Neil Urquhart, Sima Uyar, Georgios N. Yannakakis |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (xxv, 550 pages) : illustrations |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Computer networks Computer science—Mathematics Computer vision Artificial intelligence Theory of Computation Programming Techniques Computer Communication Networks Mathematical Applications in Computer Science Computer Vision Artificial Intelligence |
| ISBN | 3-642-29178-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Optimizing Energy Consumption in Heterogeneous Wireless Sensor Networks by Means of Evolutionary Algorithms / José Manuel Lanza-Gutiérrez, Juan Antonio Gómez-Pulido, Miguel A. Vega-Rodríguez and Juan Manuel Sánchez-Pérez -- Network Protocol Discovery and Analysis via Live Interaction / Patrick LaRoche, A. Nur Zincir-Heywood and Malcolm I. Heywood -- Evolutionary Design of Active Free Space Optical Networks Based on Digital Mirror Devices / Steffen Limmer, Dietmar Fey, Ulrich Lohmann and Jürgen Jahns -- Frequency Robustness Optimization with Respect to Traffic Distribution for LTE System / Nourredine Tabia, Alexandre Gondran, Oumaya Baala and Alexandre Caminada -- Small-World Optimization Applied to Job Scheduling on Grid Environments from a Multi-Objective Perspective / María Arsuaga-Ríos, Francisco Prieto-Castrillo and Miguel A. Vega-Rodríguez -- Testing Diversity-Enhancing Migration Policies for Hybrid On-Line Evolution of Robot Controllers / Pablo García-Sánchez, A. E. Eiben, Evert Haasdijk, Berend Weel and Juan-Julián Merelo-Guervós -- Evolutionary Optimization of Pheromone-Based Stigmergic Communication / Tüze Kuyucu, Ivan Tanev and Katsunori Shimohara -- Hyperparameter Tuning in Bandit-Based Adaptive Operator Selection / Maciej Pacula, Jason Ansel, Saman Amarasinghe and Una-May O'Reilly -- $t Analyzing Dynamic Fitness Landscapes of the Targeting Problem of Chaotic Systems / Hendrik Richter --
Self-organization and Specialization in Multiagent Systems through Open-Ended Natural Evolution / Pedro Trueba, Abraham Prieto, Francisco Bellas, Pilar Caamaño and Richard J. Duro -- An Empirical Tool for Analysing the Collective Behaviour of Population-Based Algorithms / Mikdam Turkey and Riccardo Poli -- Sales Potential Optimization on Directed Social Networks: A Quasi-Parallel Genetic Algorithm Approach / Crown Guan Wang and Kwok Yip Szeto -- The Emergence of Multi-cellular Robot Organisms through On-Line On-Board Evolution / Berend Weel, Evert Haasdijk and A. E. Eiben -- Evolving Seasonal Forecasting Models with Genetic Programming in the Context of Pricing Weather-Derivatives / Alexandros Agapitos, Michael O'Neill and Anthony Brabazon -- Steepest Ascent Hill Climbing for Portfolio Selection / Jonathan Arriaga and Manuel Valenzuela-Rendón -- A Neuro-evolutionary Approach to Intraday Financial Modeling / Antonia Azzini, Mauro Dragoni and Andrea G. B. Tettamanzi -- A Comparative Study of Multi-objective Evolutionary Algorithms to Optimize the Selection of Investment Portfolios with Cardinality Constraints / Feijoo E. Colomine Duran, Carlos Cotta and Antonio J. Fernández-Leiva -- A GA Combining Technical and Fundamental Analysis for Trading the Stock Market / Iván Contreras, José Ignacio Hidalgo and Laura Núñez-Letamendia -- Evolutionary Data Selection for Enhancing Models of Intraday Forex Time Series / Michael Mayo -- Initial Results from Co-operative Co-evolution for Automated Platformer Design / Michael Cook, Simon Colton and Jeremy Gow -- Evolving Third-Person Shooter Enemies to Optimize Player Satisfaction in Real-Time / José M. Font -- Why Simulate? Hybrid Biological-Digital Games / Maarten H. Lamers and Wim van Eck -- Spicing Up Map Generation / Tobias Mahlmann, Julian Togelius and Georgios N. Yannakakis -- Dealing with Noisy Fitness in the Design of a RTS Game Bot / Antonio M. Mora, Antonio Fernández-Ares, Juan-Julián Merelo-Guervós and Pablo García-Sánchez -- On Modeling, Evaluating and Increasing Players' Satisfaction Quantitatively: Steps towards a Taxonomy / Mariela Nogueira, Carlos Cotta and Antonio J. Fernández-Leiva -- Monte-Carlo Tree Search for the Physical Travelling Salesman Problem / Diego Perez, Philipp Rohlfshagen and Simon M. Lucas -- Diversified Virtual Camera Composition / Mike Preuss, Paolo Burelli and Georgios N. Yannakakis -- Digging Deeper into Platform Game Level Design: Session Size and Sequential Features / Noor Shaker, Georgios N. Yannakakis and Julian Togelius -- Robot Base Disturbance Optimization with Compact Differential Evolution Light / Giovanni Iacca, Fabio Caraffini, Ferrante Neri and Ernesto Mininno -- Electrocardiographic Signal Classification with Evolutionary Artificial Neural Networks / Antonia Azzini, Mauro Dragoni and Andrea G. B. Tettamanzi -- A Genetic Fuzzy Rules Learning Approach for Unseeded Segmentation in Echography / Leonardo Bocchi and Francesco Rogai -- Object Recognition with an Optimized Ventral Stream Model Using Genetic Programming / Eddie Clemente, Gustavo Olague, León Dozal and Martín Mancilla -- Evolving Visual Attention Programs through EVO Features / León Dozal, Gustavo Olague, Eddie Clemente and Marco Sánchez -- Evolutionary Purposive or Behavioral Vision for Camera Trajectory Estimation / Daniel Hernández, Gustavo Olague, Eddie Clemente and León Dozal -- On Evolutionary Approaches to Unsupervised Nearest Neighbor Regression / Oliver Kramer -- Evolutionary Regression Machines for Precision Agriculture / Heikki Salo, Ville Tirronen and Ferrante Neri -- A Generic Approach to Parameter Control / Giorgos Karafotias, S. K. Smit and A. E. Eiben -- Applying (Hybrid) Metaheuristics to Fuel Consumption Optimization of Hybrid Electric Vehicles / Thorsten Krenek, Mario Ruthmair, Günther R. Raidl and Michael Planer -- Improved Topological Niching for Real-Valued Global Optimization / Mike Preuss -- Towards a Deeper Understanding of Trade-offs Using Multi-objective Evolutionary Algorithms / Pradyumn Kumar Shukla, Christian Hirsch and Hartmut Schmeck -- OpenCL Implementation of Particle Swarm Optimization: A Comparison between Multi-core CPU and GPU Performances / Stefano Cagnoni, Alessandro Bacchini and Luca Mussi -- A Library to Run Evolutionary Algorithms in the Cloud Using MapReduce / Pedro Fazenda, James McDermott and Una-May O'Reilly -- A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark / Jiri Jaros and Petr Pospichal -- Validating a Peer-to-Peer Evolutionary Algorithm / Juan Luis Jiménez Laredo, Pascal Bouvry, Sanaz Mostaghim and Juan-Julián Merelo-Guervós -- Pool-Based Distributed Evolutionary Algorithms Using an Object Database / Juan-Julián Merelo-Guervós, Antonio Mora, J. Albert Cruz and Anna I. Esparcia -- Migration and Replacement Policies for Preserving Diversity in Dynamic Environments / David Millán-Ruiz and José Ignacio Hidalgo -- Distributed Simulated Annealing with MapReduce / Atanas Radenski -- Flex-GP: Genetic Programming on the Cloud / Dylan Sherry, Kalyan Veeramachaneni, James McDermott and Una-May O'Reilly -- Customized Normalcy Profiles for the Detection of Targeted Attacks / Victor Skormin, Tomas Nykodym, Andrey Dolgikh and James Antonakos -- A Novel Multiobjective Formulation of the Robust Software Project Scheduling Problem / Francisco Chicano, Alejandro Cervantes, Francisco Luna and Gustavo Recio -- Optimizing the Unlimited Shift Generation Problem / Nico Kyngäs, Dries Goossens, Kimmo Nurmi and Jari Kyngäs -- Ant Colony Optimization with Immigrants Schemes for the Dynamic Vehicle Routing Problem / Michalis Mavrovouniotis and Shengxiang Yang -- Evolving Communication in Robotic Swarms Using On-Line, On-Board, Distributed Evolutionary Algorithms / Luis E. Pineda, A. E. Eiben and Marteen van Steen -- Virtual Loser Genetic Algorithm for Dynamic Environments / Anabela Simões and Ernesto Costa. |
| Record Nr. | UNISA-996465989803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Rolf Drechsler, Aniko Ekart, Anna I. Esparcia-Alcazar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Sima Uyar, Shengxiang Yang
| Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Rolf Drechsler, Aniko Ekart, Anna I. Esparcia-Alcazar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Sima Uyar, Shengxiang Yang |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XXV, 704 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer science Computer programming Computers Computer networks Computer science—Mathematics Artificial Intelligence Theory of Computation Programming Techniques Computer Hardware Computer Communication Networks Mathematical Applications in Computer Science |
| ISBN | 3-540-78761-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoCOMNET Contributions -- New Research in Nature Inspired Algorithms for Mobility Management in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs PBIL to Solve a Real-World Frequency Assignment Problem in GSM Networks -- Reconstruction of Networks from Their Betweenness Centrality -- A Self-learning Optimization Technique for Topology Design of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro Fuzzy Inference Systems for Portscan Detection -- EvoFIN Contributions -- Evolutionary Single-Position Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating Investment Strategies -- Horizontal Generalization Properties of Fuzzy Rule-Based Trading Models -- Particle Swarm Optimization for Tackling Continuous Review Inventory Models -- Option Model Calibration Using a Bacterial Foraging Optimization Algorithm -- A SOM and GP Tool for Reducing the Dimensionality of a Financial Distress Prediction Problem -- Quantum-Inspired Evolutionary Algorithms for Financial Data Analysis -- EvoHOT Contributions -- Analysis of Reconfigurable Logic Blocks for Evolvable Digital Architectures -- Analogue Circuit Control through Gene Expression -- Discovering Several Robot Behaviors through Speciation -- Architecture Performance Prediction Using Evolutionary Artificial Neural Networks -- Evolving a Vision-Driven Robot Controller for Real-World Indoor Navigation -- Evolving an Automatic Defect Classification Tool -- Deterministic Test Pattern Generator Design -- An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction -- Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors -- EvoIASP Contributions -- Evolutionary Object Detection by Means of Naïve Bayes Models Estimation -- An Evolutionary Framework for Colorimetric Characterization of Scanners -- Artificial Creatures for Object Tracking and Segmentation -- Automatic Recognition of Hand Gestures with Differential Evolution -- Optimizing Computed Tomographic Angiography Image Segmentation Using Fitness Based Partitioning -- A GA-Based Feature Selection Algorithm for Remote Sensing Images -- An Evolutionary Approach for Ontology Driven Image Interpretation -- Hybrid Genetic Algorithm Based on Gene Fragment Competition for Polyphonic Music Transcription -- Classification of Seafloor Habitats Using Genetic Programming -- Selecting Local Region Descriptors with a Genetic Algorithm for Real-World Place Recognition -- Object Detection Using Neural Networks and Genetic Programming -- Direct 3D Metric Reconstruction from Multiple Views Using Differential Evolution -- Discrete Tomography Reconstruction through a New Memetic Algorithm -- A Fuzzy Hybrid Method for Image Decomposition Problem -- Triangulation Using Differential Evolution -- Fast Multi-template Matching Using a Particle Swarm Optimization Algorithm for PCB Inspection -- EvoMUSART Contributions -- A Generative Representation for the Evolution of Jazz Solos -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial Ecosystems -- Evolved Diffusion Limited Aggregation Compositions -- Scaffolding for Interactively Evolving Novel Drum Tracks for Existing Songs -- AtomSwarm: A Framework for Swarm Improvisation -- Using DNA to Generate 3D Organic Art Forms -- Towards Music Fitness Evaluation with the Hierarchical SOM -- Evolutionary Pointillist Modules: Evolving Assemblages of 3D Objects -- An Artificial-Chemistry Approach to Generating Polyphonic Musical Phrases -- Implicit Fitness Functions for Evolving a Drawing Robot -- Free Flight in Parameter Space: A Dynamic Mapping Strategy for Expressive Free Impro -- Modelling Video Games’ Landscapes by Means of Genetic Terrain Programming - A New Approach for Improving Users’ Experience -- Virtual Constructive Swarm Compositions and Inspirations -- New-Generation Methods in an Interpolating EC Synthesizer Interface -- Composing Music with Neural Networks and Probabilistic Finite-State Machines -- TransFormer #13: Exploration and Adaptation of Evolution Expressed in a Dynamic Sculpture -- EvoNUM Contributions -- Multiobjective Tuning of Robust PID Controllers Using Evolutionary Algorithms -- Truncation Selection and Gaussian EDA: Bounds for Sustainable Progress in High-Dimensional Spaces -- Scalable Continuous Multiobjective Optimization with a Neural Network–Based Estimation of Distribution Algorithm -- Cumulative Step Length Adaptation for Evolution Strategies Using Negative Recombination Weights -- Computing Surrogate Constraints for Multidimensional Knapsack Problems Using Evolution Strategies -- A Critical Assessment of Some Variants of Particle Swarm Optimization -- An Evolutionary Game-Theoretical Approach to Particle Swarm Optimisation -- A Hybrid Particle Swarm Optimization Algorithm for Function Optimization -- EvoSTOC Contributions -- Memory Based on Abstraction for Dynamic Fitness Functions -- A Memory Enhanced Evolutionary Algorithm for Dynamic Scheduling Problems -- Compound Particle Swarm Optimization in Dynamic Environments -- An Evolutionary Algorithm for Adaptive Online Services in Dynamic Environment -- EvoTHEORY Contributions -- A Study of Some Implications of the No Free Lunch Theorem -- Negative Slope Coefficient and the Difficulty of Random 3-SAT Instances -- EvoTRANSLOG Contributions -- A Memetic Algorithm for the Team Orienteering Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation of Road Network Design and Pricing Stackelberg Games with Multi-class Users -- Constrained Local Search Method for Bus Fleet Scheduling Problem with Multi-depot with Line Change -- Evolutionary System with Precedence Constraints for Ore Harbor Schedule Optimization. |
| Record Nr. | UNISA-996466344303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi
| Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XXIV, 816 p.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Computers Computer networks Computer science—Mathematics Computer vision Theory of Computation Programming Techniques Computer Hardware Computer Communication Networks Mathematical Applications in Computer Science Computer Vision |
| ISBN | 3-540-33238-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoBIO Contributions -- EvoCOMNET Contributions -- EvoHOT Contributions -- EvoIASP Contributions -- EvoINTERACTION Contributions -- EvoMUSART Contributions -- EvoSTOC Contributions. |
| Record Nr. | UNISA-996465792503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero
| Applications of Evolutionary Computing [[electronic resource] ] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XX, 631 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Computers Computer networks Computer science—Mathematics Computer vision Theory of Computation Programming Techniques Computer Hardware Computer Communication Networks Mathematical Applications in Computer Science Computer Vision |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio Protein Structure Prediction -- Neural Networks and Temporal Gene Expression Data -- Bayesian Learning with Local Support Vector Machines for Cancer Classification with Gene Expression Data -- Genes Related with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches -- Syntactic Approach to Predict Membrane Spanning Regions of Transmembrane Proteins -- An Evolutionary Approach for Motif Discovery and Transmembrane Protein Classification -- Differential Evolution and Its Application to Metabolic Flux Analysis -- GEMPLS: A New QSAR Method Combining Generic Evolutionary Method and Partial Least Squares -- EvoCOMNET Contributions -- A Performance Evaluation Framework for Nature Inspired Routing Algorithms -- Empirical Models Based on Hybrid Intelligent Systems for Assessing the Reliability of Complex Networks -- A Study of an Iterated Local Search on the Reliable Communication Networks Design Problem -- Unsupervised Anomaly Detection Based n an Evolutionary Artificial Immune Network -- Evolutionary Algorithms for Location Area Management -- EvoHOT Contributions -- Evolutionary Design of Gate-Level Polymorphic Digital Circuits -- A Biological Development Model for the Design of Robust Multiplier -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm for VLSI Floorplanning Using O-Tree Representation -- Evolving Reversible Circuits for the Even-Parity Problem -- Counter-Based Ant Colony Optimization as a Hardware-Oriented Meta-heuristic -- Use of an Evolutionary Tool for Antenna Array Synthesis -- EvoIASP Contributions -- A Coevolutionary Approach for Clustering with Feature Weighting Application to Image Analysis -- A New Evolutionary Algorithm for Image Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision Using a Robust Genetic Algorithm -- An Evolutionary Infection Algorithm for Dense Stereo Correspondence -- Automatic Image Enhancement Driven by Evolution Based on Ridgelet Frame in the Presence of Noise -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven by Immune Clonal Algorithm -- Sensory-Motor Coordination in Gaze Control -- Region Merging for Severe Oversegmented Images Using a Hierarchical Social Metaheuristic -- Automated Photogrammetric Network Design Using the Parisian Approach -- Design of Fast Multidimensional Filters Using Genetic Algorithms -- Genetic-Fuzzy Optimization Algorithm for Adaptive Learning of Human Vocalization in Robotics -- Evolving Parameters of Surveillance Video Systems for Non-overfitted Learning -- A Multistage Approach to Cooperatively Coevolving Feature Construction and Object Detection -- An Implicit Context Representation for Evolving Image Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition -- EvoMUSART Contributions -- Open Problems in Evolutionary Music and Art -- Genetic Paint: A Search for Salient Paintings -- Artificial Life, Death and Epidemics in Evolutionary, Generative Electronic Art -- The Electric Sheep Screen-Saver: A Case Study in Aesthetic Evolution -- Swarm Tech-Tiles Tim -- Evolutionary Methods for Ant Colony Paintings -- Evolutionary Search for Musical Parallelism -- Developing Fitness Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music Performance Using Genetic Algorithms -- Toward User-Directed Evolution of Sound Synthesis Parameters -- Playing in the Pheromone Playground: Experiences in Swarm Painting -- Convergence Synthesis of Dynamic Frequency Modulation Tones Using an Evolution Strategy -- Granular Sampling Using a Pulse-Coupled Network of Spiking Neurons -- Growing Music: Musical Interpretations of L-Systems -- Exploring Rhythmic Automata -- Extra-Music(ologic)al Models for Algorithmic Composition -- EvoSTOC Contributions -- The Memory Indexing Evolutionary Algorithm for Dynamic Environments -- Dynamic Decentralized Packet Clustering in Networks -- MOEA-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic Controlled Observation in Dynamic Environments -- A Hierarchical Evolutionary Algorithm with Noisy Fitness in Structural Optimization Problems -- Assortative Mating in Genetic Algorithms for Dynamic Problems -- A Hybrid Approach Based on Evolutionary Strategies and Interval Arithmetic to Perform Robust Designs. |
| Record Nr. | UNISA-996465677403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David W. Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero
| Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David W. Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XX, 568 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer hardware Computer communication systems Computer programming Optical data processing Artificial Intelligence Computation by Abstract Devices Computer Hardware Computer Communication Networks Programming Techniques Image Processing and Computer Vision |
| ISBN |
1-280-30727-7
9786610307272 3-540-24653-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoBIO Contributions -- A Memetic Algorithm for Protein Structure Prediction in a 3D-Lattice HP Model -- An Improved Genetic Algorithm for the Sequencing by Hybridization Problem -- Evolutionary Search of Thresholds for Robust Feature Set Selection: Application to the Analysis of Microarray Data -- Evolving Regular Expression-Based Sequence Classifiers for Protein Nuclear Localisation -- Analysis of Proteomic Pattern Data for Cancer Detection -- Self-Adaptive Scouting—Autonomous Experimentation for Systems Biology -- An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems -- Two-Step Genetic Programming for Optimization of RNA Common-Structure -- Evolutionary Algorithms for Optimal Control in Fed-Batch Fermentation Processes -- Discrete Branch Length Representations for Genetic Algorithms in Phylogenetic Search -- Iteratively Inferring Gene Regulatory Networks with Virtual Knockout Experiments -- Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators -- Constructing Microbial Consortia with Minimal Growth Using a Genetic Algorithm -- EvoCOMNET Contributions -- 2-Objective Optimization of Cells Overlap and Geometry with Evolutionary Algorithms -- A Genetic Algorithm for Telecommunication Network Design -- A GA/Heuristic Hybrid Technique for Routing and Wavelength Assignment in WDM Networks -- Ant Colony Optimization for the Maximum Edge-Disjoint Paths Problem -- Using Genetic Programming to Design Broadcasting Algorithms for Manhattan Street Networks -- A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques -- EvoHOT Contributions -- A Slicing Structure Representation for the Multi-layer Floorplan Layout Problem -- Disjoint Sum of Product Minimization by Evolutionary Algorithms -- Genetic Algorithms to Improve Mask and Illumination Geometries in Lithographic Imaging Systems -- Multi-objective Genetic Manipulator Trajectory Planner -- Exploiting HW Acceleration for Classifying Complex Test Program Generation Problems -- Evolutionary Design Space Exploration for Median Circuits -- EvoIASP Contributions -- Genetic Optimization of Morphological Filters with Applications in Breast Cancer Detection -- Image Segmentation by a Genetic Fuzzy c-Means Algorithm Using Color and Spatial Information -- Bond-Issuer Credit Rating with Grammatical Evolution -- Using GAs to Create a Waveguide Model of the Oral Vocal Tract -- Vision-Based Hand Motion Capture Using Genetic Algorithm -- Top-Down Evolutionary Image Segmentation Using a Hierarchical Social Metaheuristic -- Multi-objective Sensor Planning for Efficient and Accurate Object Reconstruction -- An Algorithm for Segmenting Gaseous Objects on Images -- Evolution Strategies Approach for the Solution of an Inverse Problem in Near-Field Optics -- A Watermark Sharing Scheme to High Quality Halftone Images with Genetic Algorithms -- Using Genetic Programming for Character Discrimination in Damaged Documents -- Evolutionary Algorithm-Based Local Structure Modeling for Improved Active Shape Model -- Multiclass Object Classification Using Genetic Programming -- Program Size and Pixel Statistics in Genetic Programming for Object Detection -- Intrinsic Evolvable Hardware in Digital Filter Design -- EvoMUSART Contributions -- Swarm Granulator -- Aesthetic Video Filter Evolution in an Interactive Real-Time Framework -- Generative Art: Fuzzy Polygon Clipping in Program Generated Line Oriented Drawings -- Tilings of Sequences of Co-evolved Images -- Adaptive Critics for Evolutionary Artists -- Automated Aesthetic Selection of Evolutionary Art by Distance Based Classification of Genomes and Phenomes Using the Universal Similarity Metric -- Improvisational Media Space: Architecture and Strategies for Evolution -- The Virtual Ecosystem as Generative Electronic Art -- Aesthetic Evolution of L-Systems Revisited -- EvoSTOC Contributions -- Multi-swarm Optimization in Dynamic Environments -- Evolutionary Algorithms for Stochastic Arc Routing Problems -- A Hierarchical Particle Swarm Optimizer for Dynamic Optimization Problems -- Constructing Dynamic Optimization Test Problems Using the Multi-objective Optimization Concept -- Competitive Goal Coordination in Automatic Parking -- Evolutionary Bayesian Network Dynamic Planner for Game RISK. |
| Record Nr. | UNISA-996465530803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computing : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David W. Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero
| Applications of Evolutionary Computing : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David W. Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XX, 568 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer hardware Computer networks Computer programming Optical data processing Artificial Intelligence Computation by Abstract Devices Computer Hardware Computer Communication Networks Programming Techniques Image Processing and Computer Vision |
| ISBN |
1-280-30727-7
9786610307272 3-540-24653-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoBIO Contributions -- A Memetic Algorithm for Protein Structure Prediction in a 3D-Lattice HP Model -- An Improved Genetic Algorithm for the Sequencing by Hybridization Problem -- Evolutionary Search of Thresholds for Robust Feature Set Selection: Application to the Analysis of Microarray Data -- Evolving Regular Expression-Based Sequence Classifiers for Protein Nuclear Localisation -- Analysis of Proteomic Pattern Data for Cancer Detection -- Self-Adaptive Scouting—Autonomous Experimentation for Systems Biology -- An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems -- Two-Step Genetic Programming for Optimization of RNA Common-Structure -- Evolutionary Algorithms for Optimal Control in Fed-Batch Fermentation Processes -- Discrete Branch Length Representations for Genetic Algorithms in Phylogenetic Search -- Iteratively Inferring Gene Regulatory Networks with Virtual Knockout Experiments -- Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators -- Constructing Microbial Consortia with Minimal Growth Using a Genetic Algorithm -- EvoCOMNET Contributions -- 2-Objective Optimization of Cells Overlap and Geometry with Evolutionary Algorithms -- A Genetic Algorithm for Telecommunication Network Design -- A GA/Heuristic Hybrid Technique for Routing and Wavelength Assignment in WDM Networks -- Ant Colony Optimization for the Maximum Edge-Disjoint Paths Problem -- Using Genetic Programming to Design Broadcasting Algorithms for Manhattan Street Networks -- A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques -- EvoHOT Contributions -- A Slicing Structure Representation for the Multi-layer Floorplan Layout Problem -- Disjoint Sum of Product Minimization by Evolutionary Algorithms -- Genetic Algorithms to Improve Mask and Illumination Geometries in Lithographic Imaging Systems -- Multi-objective Genetic Manipulator Trajectory Planner -- Exploiting HW Acceleration for Classifying Complex Test Program Generation Problems -- Evolutionary Design Space Exploration for Median Circuits -- EvoIASP Contributions -- Genetic Optimization of Morphological Filters with Applications in Breast Cancer Detection -- Image Segmentation by a Genetic Fuzzy c-Means Algorithm Using Color and Spatial Information -- Bond-Issuer Credit Rating with Grammatical Evolution -- Using GAs to Create a Waveguide Model of the Oral Vocal Tract -- Vision-Based Hand Motion Capture Using Genetic Algorithm -- Top-Down Evolutionary Image Segmentation Using a Hierarchical Social Metaheuristic -- Multi-objective Sensor Planning for Efficient and Accurate Object Reconstruction -- An Algorithm for Segmenting Gaseous Objects on Images -- Evolution Strategies Approach for the Solution of an Inverse Problem in Near-Field Optics -- A Watermark Sharing Scheme to High Quality Halftone Images with Genetic Algorithms -- Using Genetic Programming for Character Discrimination in Damaged Documents -- Evolutionary Algorithm-Based Local Structure Modeling for Improved Active Shape Model -- Multiclass Object Classification Using Genetic Programming -- Program Size and Pixel Statistics in Genetic Programming for Object Detection -- Intrinsic Evolvable Hardware in Digital Filter Design -- EvoMUSART Contributions -- Swarm Granulator -- Aesthetic Video Filter Evolution in an Interactive Real-Time Framework -- Generative Art: Fuzzy Polygon Clipping in Program Generated Line Oriented Drawings -- Tilings of Sequences of Co-evolved Images -- Adaptive Critics for Evolutionary Artists -- Automated Aesthetic Selection of Evolutionary Art by Distance Based Classification of Genomes and Phenomes Using the Universal Similarity Metric -- Improvisational Media Space: Architecture and Strategies for Evolution -- The Virtual Ecosystem as Generative Electronic Art -- Aesthetic Evolution of L-Systems Revisited -- EvoSTOC Contributions -- Multi-swarm Optimization in Dynamic Environments -- Evolutionary Algorithms for Stochastic Arc Routing Problems -- A Hierarchical Particle Swarm Optimizer for Dynamic Optimization Problems -- Constructing Dynamic Optimization Test Problems Using the Multi-objective Optimization Concept -- Competitive Goal Coordination in Automatic Parking -- Evolutionary Bayesian Network Dynamic Planner for Game RISK. |
| Record Nr. | UNINA-9910144199803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications / / by Mehran Goli, Rolf Drechsler
| Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications / / by Mehran Goli, Rolf Drechsler |
| Autore | Goli Mehran |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXI, 166 p. 53 illus.) |
| Disciplina |
005.1028
620.0042 |
| Soggetto topico |
Electronic circuits
Computer engineering Internet of things Embedded computer systems Microprocessors Circuits and Systems Cyber-physical systems, IoT Processor Architectures |
| ISBN | 3-030-44282-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology -- Chapter 4. Application I: Verification -- Chapter 5. Application II: Security Validation -- Chapter 6. Application III: Design Space Exploration -- Chapter 7. Conclusion. |
| Record Nr. | UNINA-9910403768303321 |
Goli Mehran
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler |
| Autore | Przigoda Nils |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 255 p. 16 illus., 5 illus. in color.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-72814-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299580103321 |
|
Przigoda Nils
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||