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.
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNISA-996466355503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture of Computing Systems - ARCS 2007 [[electronic resource] ] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster
| Architecture of Computing Systems - ARCS 2007 [[electronic resource] ] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 297 p.) |
| Disciplina | 004.22 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Operating systems (Computers) Software engineering Application software Information storage and retrieval systems Computer Communication Networks Computer System Implementation Operating Systems Software Engineering Computer and Information Systems Applications Information Storage and Retrieval |
| ISBN |
1-280-90225-6
9786610902255 3-540-71270-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Reconfigurable Processor for Forward Error Correction -- FPGA-Accelerated Deletion-Tolerant Coding for Reliable Distributed Storage -- LIRAC: Using Live Range Information to Optimize Memory Access -- Optimized Register Renaming Scheme for Stack-Based x86 Operations -- A Customized Cross-Bar for Data-Shuffling in Domain-Specific SIMD Processors -- Customized Placement for High Performance Embedded Processor Caches -- A Multiprocessor Cache for Massively Parallel SoC Architectures -- Improving Resource Discovery in the Arigatoni Overlay Network -- An Effective Multi-hop Broadcast in Vehicular Ad-Hoc Network -- Functional Knowledge Exchange Within an Intelligent Distributed System -- Architecture for Collaborative Business Items -- Autonomic Management Architecture for Flexible Grid Services Deployment Based on Policies -- Variations and Evaluations of an Adaptive Accrual Failure Detector to Enable Self-healing Properties in Distributed Systems -- Self-organizing Software Components in Distributed Systems -- Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution -- Measurement and Control of Self-organised Behaviour in Robot Swarms -- Autonomous Learning of Load and Traffic Patterns to Improve Cluster Utilization -- Parametric Architecture for Function Calculation Improvement -- Design Space Exploration of Media Processors: A Generic VLIW Architecture and a Parameterized Scheduler -- Modeling of Interconnection Networks in Massively Parallel Processor Architectures -- Invited Talk: Expanding Software Product Families: From Integration to Composition. |
| Record Nr. | UNISA-996465601203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecture of Computing Systems - ARCS 2007 : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster
| Architecture of Computing Systems - ARCS 2007 : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 297 p.) |
| Disciplina | 004.22 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Operating systems (Computers) Software engineering Application software Information storage and retrieval systems Computer Communication Networks Computer System Implementation Operating Systems Software Engineering Computer and Information Systems Applications Information Storage and Retrieval |
| ISBN |
1-280-90225-6
9786610902255 3-540-71270-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Reconfigurable Processor for Forward Error Correction -- FPGA-Accelerated Deletion-Tolerant Coding for Reliable Distributed Storage -- LIRAC: Using Live Range Information to Optimize Memory Access -- Optimized Register Renaming Scheme for Stack-Based x86 Operations -- A Customized Cross-Bar for Data-Shuffling in Domain-Specific SIMD Processors -- Customized Placement for High Performance Embedded Processor Caches -- A Multiprocessor Cache for Massively Parallel SoC Architectures -- Improving Resource Discovery in the Arigatoni Overlay Network -- An Effective Multi-hop Broadcast in Vehicular Ad-Hoc Network -- Functional Knowledge Exchange Within an Intelligent Distributed System -- Architecture for Collaborative Business Items -- Autonomic Management Architecture for Flexible Grid Services Deployment Based on Policies -- Variations and Evaluations of an Adaptive Accrual Failure Detector to Enable Self-healing Properties in Distributed Systems -- Self-organizing Software Components in Distributed Systems -- Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution -- Measurement and Control of Self-organised Behaviour in Robot Swarms -- Autonomous Learning of Load and Traffic Patterns to Improve Cluster Utilization -- Parametric Architecture for Function Calculation Improvement -- Design Space Exploration of Media Processors: A Generic VLIW Architecture and a Parameterized Scheduler -- Modeling of Interconnection Networks in Massively Parallel Processor Architectures -- Invited Talk: Expanding Software Product Families: From Integration to Composition. |
| Record Nr. | UNINA-9910484176003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / / edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / / edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 820 p.) |
| Disciplina | 658.4/03 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Evolutionary biology
Software engineering Algorithms Numerical analysis Computer science—Mathematics Artificial intelligence Evolutionary Biology Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-540-36970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Objective Handling and Problem Decomposition -- The Maximin Fitness Function; Multi-objective City and Regional Planning -- Conflict, Harmony, and Independence: Relationships in Evolutionary Multi-criterion Optimisation -- Is Fitness Inheritance Useful for Real-World Applications? -- Use of a Genetic Heritage for Solving the Assignment Problem with Two Objectives -- Fuzzy Optimality and Evolutionary Multiobjective Optimization -- IS-PAES: A Constraint-Handling Technique Based on Multiobjective Optimization Concepts -- A Population and Interval Constraint Propagation Algorithm -- Multi-objective Binary Search Optimisation -- Covering Pareto Sets by Multilevel Evolutionary Subdivision Techniques -- An Adaptive Divide-and-Conquer Methodology for Evolutionary Multi-criterion Optimisation -- Multi-level Multi-objective Genetic Algorithm Using Entropy to Preserve Diversity -- Solving Hierarchical Optimization Problems Using MOEAs -- Multiobjective Meta Level Optimization of a Load Balancing Evolutionary Algorithm -- Algorithm Improvements -- Schemata-Driven Multi-objective Optimization -- A Real-Coded Predator-Prey Genetic Algorithm for Multiobjective Optimization -- Towards a Quick Computation of Well-Spread Pareto-Optimal Solutions -- Trade-Off between Performance and Robustness: An Evolutionary Multiobjective Approach -- Online Adaptation -- The Micro Genetic Algorithm 2: Towards Online Adaptation in Evolutionary Multiobjective Optimization -- Self-Adaptation for Multi-objective Evolutionary Algorithms -- MOPED: A Multi-objective Parzen-Based Estimation of Distribution Algorithm for Continuous Problems -- Test Problem Construction -- Instance Generators and Test Suites for the Multiobjective Quadratic Assignment Problem -- Dynamic Multiobjective Optimization Problems: Test Cases, Approximation, and Applications -- No Free Lunch and Free Leftovers Theorems for Multiobjective Optimisation Problems -- Performance Analysis and Comparison -- A New MOEA for Multi-objective TSP and Its Convergence Property Analysis -- Convergence Time Analysis for the Multi-objective Counting Ones Problem -- Niche Distributions on the Pareto Optimal Front -- Performance Scaling of Multi-objective Evolutionary Algorithms -- Searching under Multi-evolutionary Pressures -- Minimal Sets of Quality Metrics -- A Comparative Study of Selective Breeding Strategies in a Multiobjective Genetic Algorithm -- An Empirical Study on the Effect of Mating Restriction on the Search Ability of EMO Algorithms -- Alternative Methods -- Using Simulated Annealing and Spatial Goal Programming for Solving a Multi Site Land Use Allocation Problem -- Solving Multi-criteria Optimization Problems with Population-Based ACO -- A Two-Phase Local Search for the Biobjective Traveling Salesman Problem -- Implementation -- PISA — A Platform and Programming Language Independent Interface for Search Algorithms -- A New Data Structure for the Nondominance Problem in Multi-objective Optimization -- The Measure of Pareto Optima Applications to Multi-objective Metaheuristics -- Distributed Computing of Pareto-Optimal Solutions with Evolutionary Algorithms -- Applications -- Multiobjective Capacitated Arc Routing Problem -- Multi-objective Rectangular Packing Problem and Its Applications -- Experimental Genetic Operators Analysis for the Multi-objective Permutation Flowshop -- Modification of Local Search Directions for Non-dominated Solutions in Cellular Multiobjective Genetic Algorithms for Pattern Classification Problems -- Effects of Three-Objective Genetic Rule Selection on the Generalization Ability of Fuzzy Rule-Based Systems -- Identification of Multiple Gene Subsets Using Multi-objective Evolutionary Algorithms -- Non-invasive Atrial Disease Diagnosis Using Decision Rules: A Multi-objective Optimization Approach -- Intensity Modulated Beam Radiation Therapy Dose Optimization with Multiobjective Evolutionary Algorithms -- Multiobjective Evolutionary Algorithms Applied to the Rehabilitation of a Water Distribution System: A Comparative Study -- Optimal Design of Water Distribution System by Multiobjective Evolutionary Methods -- Evolutionary Multiobjective Optimization in Watershed Water Quality Management -- Different Multi-objective Evolutionary Programming Approaches for Detecting Computer Network Attacks -- Safety Systems Optimum Design by Multicriteria Evolutionary Algorithms -- Applications of a Multi-objective Genetic Algorithm to Engineering Design Problems -- A Real-World Test Problem for EMO Algorithms -- Genetic Methods in Multi-objective Optimization of Structures with an Equality Constraint on Volume -- Multi-criteria Airfoil Design with Evolution Strategies -- Visualization and Data Mining of Pareto Solutions Using Self-Organizing Map. |
| Record Nr. | UNISA-996466349103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary Multi-Criterion Optimization : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / / edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele
| Evolutionary Multi-Criterion Optimization : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / / edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 820 p.) |
| Disciplina | 658.4/03 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Evolutionary biology
Software engineering Algorithms Numerical analysis Computer science—Mathematics Artificial intelligence Evolutionary Biology Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-540-36970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Objective Handling and Problem Decomposition -- The Maximin Fitness Function; Multi-objective City and Regional Planning -- Conflict, Harmony, and Independence: Relationships in Evolutionary Multi-criterion Optimisation -- Is Fitness Inheritance Useful for Real-World Applications? -- Use of a Genetic Heritage for Solving the Assignment Problem with Two Objectives -- Fuzzy Optimality and Evolutionary Multiobjective Optimization -- IS-PAES: A Constraint-Handling Technique Based on Multiobjective Optimization Concepts -- A Population and Interval Constraint Propagation Algorithm -- Multi-objective Binary Search Optimisation -- Covering Pareto Sets by Multilevel Evolutionary Subdivision Techniques -- An Adaptive Divide-and-Conquer Methodology for Evolutionary Multi-criterion Optimisation -- Multi-level Multi-objective Genetic Algorithm Using Entropy to Preserve Diversity -- Solving Hierarchical Optimization Problems Using MOEAs -- Multiobjective Meta Level Optimization of a Load Balancing Evolutionary Algorithm -- Algorithm Improvements -- Schemata-Driven Multi-objective Optimization -- A Real-Coded Predator-Prey Genetic Algorithm for Multiobjective Optimization -- Towards a Quick Computation of Well-Spread Pareto-Optimal Solutions -- Trade-Off between Performance and Robustness: An Evolutionary Multiobjective Approach -- Online Adaptation -- The Micro Genetic Algorithm 2: Towards Online Adaptation in Evolutionary Multiobjective Optimization -- Self-Adaptation for Multi-objective Evolutionary Algorithms -- MOPED: A Multi-objective Parzen-Based Estimation of Distribution Algorithm for Continuous Problems -- Test Problem Construction -- Instance Generators and Test Suites for the Multiobjective Quadratic Assignment Problem -- Dynamic Multiobjective Optimization Problems: Test Cases, Approximation, and Applications -- No Free Lunch and Free Leftovers Theorems for Multiobjective Optimisation Problems -- Performance Analysis and Comparison -- A New MOEA for Multi-objective TSP and Its Convergence Property Analysis -- Convergence Time Analysis for the Multi-objective Counting Ones Problem -- Niche Distributions on the Pareto Optimal Front -- Performance Scaling of Multi-objective Evolutionary Algorithms -- Searching under Multi-evolutionary Pressures -- Minimal Sets of Quality Metrics -- A Comparative Study of Selective Breeding Strategies in a Multiobjective Genetic Algorithm -- An Empirical Study on the Effect of Mating Restriction on the Search Ability of EMO Algorithms -- Alternative Methods -- Using Simulated Annealing and Spatial Goal Programming for Solving a Multi Site Land Use Allocation Problem -- Solving Multi-criteria Optimization Problems with Population-Based ACO -- A Two-Phase Local Search for the Biobjective Traveling Salesman Problem -- Implementation -- PISA — A Platform and Programming Language Independent Interface for Search Algorithms -- A New Data Structure for the Nondominance Problem in Multi-objective Optimization -- The Measure of Pareto Optima Applications to Multi-objective Metaheuristics -- Distributed Computing of Pareto-Optimal Solutions with Evolutionary Algorithms -- Applications -- Multiobjective Capacitated Arc Routing Problem -- Multi-objective Rectangular Packing Problem and Its Applications -- Experimental Genetic Operators Analysis for the Multi-objective Permutation Flowshop -- Modification of Local Search Directions for Non-dominated Solutions in Cellular Multiobjective Genetic Algorithms for Pattern Classification Problems -- Effects of Three-Objective Genetic Rule Selection on the Generalization Ability of Fuzzy Rule-Based Systems -- Identification of Multiple Gene Subsets Using Multi-objective Evolutionary Algorithms -- Non-invasive Atrial Disease Diagnosis Using Decision Rules: A Multi-objective Optimization Approach -- Intensity Modulated Beam Radiation Therapy Dose Optimization with Multiobjective Evolutionary Algorithms -- Multiobjective Evolutionary Algorithms Applied to the Rehabilitation of a Water Distribution System: A Comparative Study -- Optimal Design of Water Distribution System by Multiobjective Evolutionary Methods -- Evolutionary Multiobjective Optimization in Watershed Water Quality Management -- Different Multi-objective Evolutionary Programming Approaches for Detecting Computer Network Attacks -- Safety Systems Optimum Design by Multicriteria Evolutionary Algorithms -- Applications of a Multi-objective Genetic Algorithm to Engineering Design Problems -- A Real-World Test Problem for EMO Algorithms -- Genetic Methods in Multi-objective Optimization of Structures with an Equality Constraint on Volume -- Multi-criteria Airfoil Design with Evolution Strategies -- Visualization and Data Mining of Pareto Solutions Using Self-Organizing Map. |
| Record Nr. | UNINA-9910143873803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings / / edited by Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele, Carlos Coello Coello, David Corne
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings / / edited by Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele, Carlos Coello Coello, David Corne |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIII, 714 p.) |
| Disciplina | 658.4/03 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical optimization
Software engineering Computers Algorithms Computer science—Mathematics Artificial intelligence Optimization Software Engineering/Programming and Operating Systems Theory of Computation Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-540-44719-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Some Methods for Nonlinear Multi-objective Optimization -- A Short Tutorial on Evolutionary Multiobjective Optimization -- Invited Talks -- An Overview in Graphs of Multiple Objective Programming -- Poor-Definition, Uncertainty, and Human Factors - Satisfying Multiple Objectives in Real-World Decision-Making Environments -- Algorithm Improvements -- Controlled Elitist Non-dominated Sorting Genetic Algorithms for Better Convergence -- Specification of Genetic Search Directions in Cellular Multi-objective Genetic Algorithms -- Adapting Weighted Aggregation for Multiobjective Evolution Strategies -- Incrementing Multi-objective Evolutionary Algorithms: Performance Studies and Comparisons -- A Micro-Genetic Algorithm for Multiobjective Optimization -- Evolutionary Algorithms for Multicriteria Optimization with Selecting a Representative Subset of Pareto Optimal Solutions -- Multi-objective Optimisation Based on Relation Favour -- Performance Assessment and Comparison -- Comparison of Evolutionary and Deterministic Multiobjective Algorithms for Dose Optimization in Brachytherapy -- On The Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization -- Global Multiobjective Optimization with Evolutionary Algorithms: Selection Mechanisms and Mutation Control -- Inferential Performance Assessment of Stochastic Optimisers and the Attainment Function -- A Statistical Comparison of Multiobjective Evolutionary Algorithms Including the MOMGA-II -- Performance of Multiple Objective Evolutionary Algorithms on a Distribution System Design Problem - Computational Experiment -- Constraint Handling and Problem Decomposition -- An Infeasibility Objective for Use in Constrained Pareto Optimization -- Reducing Local Optima in Single-Objective Problems by Multi-objectivization -- Constrained Test Problems for Multi-objective Evolutionary Optimization -- Constraint Method-Based Evolutionary Algorithm (CMEA) for Multiobjective Optimization -- Uncertainty and Noise -- Pareto-Front Exploration with Uncertain Objectives -- Evolutionary Multi-objective Ranking with Uncertainty and Noise -- Hybrid and Alternative Methods -- Tabu-Based Exploratory Evolutionary Algorithm for Effective Multi-objective Optimization -- Bi-Criterion Optimization with Multi Colony Ant Algorithms -- Multicriteria Evolutionary Algorithm with Tabu Search for Task Assignment -- A Hybrid Multi-objective Evolutionary Approach to Engineering Shape Design -- Fuzzy Evolutionary Hybrid Metaheuristic for Network Topology Design -- A Hybrid Evolutionary Approach for Multicriteria Optimization Problems: Application to the Flow Shop -- The Supported Solutions Used as a Genetic Information in a Population Heuristic -- Scheduling -- Multi-objective Flow-Shop: Preliminary Results -- Pareto-Optimal Solutions for Multi-objective Production Scheduling Problems -- Comparison of Multiple Objective Genetic Algorithms for Parallel Machine Scheduling Problems -- Applications -- A Bi-Criterion Approach for the Airlines Crew Rostering Problem -- Halftone Image Generation with Improved Multiobjective Genetic Algorithm -- Microchannel Optimization Using Multiobjective Evolution Strategies -- Multi-objective Optimisation of Cancer Chemotherapy Using Evolutionary Algorithms -- Application of Multi Objective Evolutionary Algorithms to Analogue Filter Tuning -- Multiobjective Design Optimization of Real-Life Devices in Electrical Engineering: A Cost-Effective Evolutionary Approach -- Application of Multiobjective Evolutionary Algorithms for Dose Optimization Problems in Brachytherapy -- Multiobjective Optimization in Linguistic Rule Extraction from Numerical Data -- Determining the Color-Efficiency Pareto Optimal Surface for Filtered Light Sources -- Multi-objective Design Space Exploration of Road Trains with Evolutionary Algorithms -- Multiobjective Optimization of Mixed Variable Design Problems -- Aerodynamic Shape Optimization of Supersonic Wings by Adaptive Range Multiobjective Genetic Algorithms -- Accurate, Transparent, and Compact Fuzzy Models for Function Approximation and Dynamic Modeling through Multi-objective Evolutionary Optimization -- Multi-objective Evolutionary Design of Fuzzy Autopilot Controller -- The Niched Pareto Genetic Algorithm 2 Applied to the Design of Groundwater Remediation Systems -- MOLeCS: Using Multiobjective Evolutionary Algorithms for Learning. |
| Record Nr. | UNISA-996465690403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary Multi-Criterion Optimization : First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings / / edited by Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele, Carlos Coello Coello, David Corne
| Evolutionary Multi-Criterion Optimization : First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings / / edited by Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele, Carlos Coello Coello, David Corne |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIII, 714 p.) |
| Disciplina | 658.4/03 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical optimization
Software engineering Computers Algorithms Computer science—Mathematics Artificial intelligence Optimization Software Engineering/Programming and Operating Systems Theory of Computation Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-540-44719-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Some Methods for Nonlinear Multi-objective Optimization -- A Short Tutorial on Evolutionary Multiobjective Optimization -- Invited Talks -- An Overview in Graphs of Multiple Objective Programming -- Poor-Definition, Uncertainty, and Human Factors - Satisfying Multiple Objectives in Real-World Decision-Making Environments -- Algorithm Improvements -- Controlled Elitist Non-dominated Sorting Genetic Algorithms for Better Convergence -- Specification of Genetic Search Directions in Cellular Multi-objective Genetic Algorithms -- Adapting Weighted Aggregation for Multiobjective Evolution Strategies -- Incrementing Multi-objective Evolutionary Algorithms: Performance Studies and Comparisons -- A Micro-Genetic Algorithm for Multiobjective Optimization -- Evolutionary Algorithms for Multicriteria Optimization with Selecting a Representative Subset of Pareto Optimal Solutions -- Multi-objective Optimisation Based on Relation Favour -- Performance Assessment and Comparison -- Comparison of Evolutionary and Deterministic Multiobjective Algorithms for Dose Optimization in Brachytherapy -- On The Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization -- Global Multiobjective Optimization with Evolutionary Algorithms: Selection Mechanisms and Mutation Control -- Inferential Performance Assessment of Stochastic Optimisers and the Attainment Function -- A Statistical Comparison of Multiobjective Evolutionary Algorithms Including the MOMGA-II -- Performance of Multiple Objective Evolutionary Algorithms on a Distribution System Design Problem - Computational Experiment -- Constraint Handling and Problem Decomposition -- An Infeasibility Objective for Use in Constrained Pareto Optimization -- Reducing Local Optima in Single-Objective Problems by Multi-objectivization -- Constrained Test Problems for Multi-objective Evolutionary Optimization -- Constraint Method-Based Evolutionary Algorithm (CMEA) for Multiobjective Optimization -- Uncertainty and Noise -- Pareto-Front Exploration with Uncertain Objectives -- Evolutionary Multi-objective Ranking with Uncertainty and Noise -- Hybrid and Alternative Methods -- Tabu-Based Exploratory Evolutionary Algorithm for Effective Multi-objective Optimization -- Bi-Criterion Optimization with Multi Colony Ant Algorithms -- Multicriteria Evolutionary Algorithm with Tabu Search for Task Assignment -- A Hybrid Multi-objective Evolutionary Approach to Engineering Shape Design -- Fuzzy Evolutionary Hybrid Metaheuristic for Network Topology Design -- A Hybrid Evolutionary Approach for Multicriteria Optimization Problems: Application to the Flow Shop -- The Supported Solutions Used as a Genetic Information in a Population Heuristic -- Scheduling -- Multi-objective Flow-Shop: Preliminary Results -- Pareto-Optimal Solutions for Multi-objective Production Scheduling Problems -- Comparison of Multiple Objective Genetic Algorithms for Parallel Machine Scheduling Problems -- Applications -- A Bi-Criterion Approach for the Airlines Crew Rostering Problem -- Halftone Image Generation with Improved Multiobjective Genetic Algorithm -- Microchannel Optimization Using Multiobjective Evolution Strategies -- Multi-objective Optimisation of Cancer Chemotherapy Using Evolutionary Algorithms -- Application of Multi Objective Evolutionary Algorithms to Analogue Filter Tuning -- Multiobjective Design Optimization of Real-Life Devices in Electrical Engineering: A Cost-Effective Evolutionary Approach -- Application of Multiobjective Evolutionary Algorithms for Dose Optimization Problems in Brachytherapy -- Multiobjective Optimization in Linguistic Rule Extraction from Numerical Data -- Determining the Color-Efficiency Pareto Optimal Surface for Filtered Light Sources -- Multi-objective Design Space Exploration of Road Trains with Evolutionary Algorithms -- Multiobjective Optimization of Mixed Variable Design Problems -- Aerodynamic Shape Optimization of Supersonic Wings by Adaptive Range Multiobjective Genetic Algorithms -- Accurate, Transparent, and Compact Fuzzy Models for Function Approximation and Dynamic Modeling through Multi-objective Evolutionary Optimization -- Multi-objective Evolutionary Design of Fuzzy Autopilot Controller -- The Niched Pareto Genetic Algorithm 2 Applied to the Design of Groundwater Remediation Systems -- MOLeCS: Using Multiobjective Evolutionary Algorithms for Learning. |
| Record Nr. | UNINA-9910143604703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / / Manfred Morari, Lothar Thiele (eds.)
| Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / / Manfred Morari, Lothar Thiele (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
MorariManfred
ThieleLothar |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Hybrid computers
Digital control systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. |
| Record Nr. | UNINA-9910483750303321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi
| Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Microprocessors Computer architecture Software engineering Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Software Engineering Computer Science Logic and Foundations of Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. |
| Record Nr. | UNISA-996465688803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||