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.
Evolution in Action: Past, Present and Future [[electronic resource] ] : A Festschrift in Honor of Erik D. Goodman / / edited by Wolfgang Banzhaf, Betty H.C. Cheng, Kalyanmoy Deb, Kay E. Holekamp, Richard E. Lenski, Charles Ofria, Robert T. Pennock, William F. Punch, Danielle J. Whittaker
| Evolution in Action: Past, Present and Future [[electronic resource] ] : A Festschrift in Honor of Erik D. Goodman / / edited by Wolfgang Banzhaf, Betty H.C. Cheng, Kalyanmoy Deb, Kay E. Holekamp, Richard E. Lenski, Charles Ofria, Robert T. Pennock, William F. Punch, Danielle J. Whittaker |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XX, 607 p. 138 illus., 88 illus. in color.) |
| Disciplina | 575 |
| Collana | Genetic and Evolutionary Computation |
| Soggetto topico |
Artificial intelligence
Evolutionary biology Computational intelligence Artificial Intelligence Evolutionary Biology Computational Intelligence |
| ISBN | 3-030-39831-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I, The BEACON Center for Evolution in Action -- 2010: A BEACON Odyssey -- A Strong Director Facilitates the Successes of All BEACON Members: A Personal Example -- BEACON: Using Diversity as an Evolutionary Tool for a High-Performing Science and Technology Center -- Threading Together a Successful NSF-Funded Science and Technology Center: The Impact of Dr. Erik Goodman -- How BEACON Shaped My Research and Career Trajectory -- The Man Behind the Leader -- Part II – Evolution of Genomes and Evolvability -- Limits to Predicting Evolution: Insights from a Long-Term Experiment with Escherichia coli -- A Test of the Repeatability of Measurements of Relative Fitness in the Long-Term Evolution Experiment with Escherichia coli -- Experimental Evolution of Metal Resistance in Bacteria -- Probing the Deep Genetic Basis of a Novel Trait in Escherichia coli -- Fitness Costs and Benefits of Resistance to Phage Lambda in Experimentally Evolved Escherichia coli -- Experimental Evolution of Human Rhinovirus Strains Adapting to Mouse Cells -- Normed Phase Space Model of Natural Variation in Bacterial Chromosomes -- Genome Size and the Extinction of Small Populations -- Part III – Evolution of Behavior and Intelligence -- Temporal Niche Evolution and the Sensory Brain -- Time Makes You Older, Parasites Make You Bolder – Toxoplasma Gondii Infections Predict Hyena Boldness Toward Definitive Lion Hosts -- Behavioral Strategy Chases Promote the Evolution of Prey Intelligence -- A Hologenomic Approach to Animal Behavior -- Creative AI Through Evolutionary Computation -- Part IV – Evolution of Communities and Collective Dynamics -- Subtle Environmental Differences have Cascading Effects on the Ecology and Evolution of a Model Microbial Community -- Ecological Context Influences Evolution in Host-Parasite Interactions: Insights from the Daphnia-Parasite Model System -- Toward a Model of Investigating “Coordinated Stasis” Through Habitat Tracking in Communities of Digital Organisms -- Major Transitions in Digital Evolution -- Part V, Evolutionary Applications -- Rise of Evolutionary Multi-criterion Optimization: A Brief History of Time with Key Contributions -- Doing Research at the Intersection of Arts and Science -- Making Better Use of Repair Templates in Automated Program Repair: A Multi-objective Approach -- From Biological to Computational Arms Races – Studying Cyber Security Dynamics -- Small Implementation Differences Can Have Large Effects on Evolvability -- Surrogate Model-Driven Evolutionary Algorithms: Theory and Applications -- Mechatronic Design Automation: A Short Review -- Evolving SNP Panels for Genomic Prediction -- Part VI, Evolution Education -- Overcoming Classroom Skepticism with Evolution in Action -- How to Increase Creativity in Research -- Student Learning Across Course Instruction in Genetics and Evolution -- The Evolution of the Scientific Virtues Toolbox Approach to Responsible Conduct of Research Training -- The Influence of Instructor Technological Pedagogical Content Knowledge on Implementation and Student Affective Outcomes -- Exploring Evolution in Action in the Classroom, Through Human Genetic Diversity and Patterns -- Part VII, The Evolution of Erik Goodman -- Academic Biography of Erik D. Goodman. . |
| Record Nr. | UNISA-996465369603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolution in Action: Past, Present and Future : A Festschrift in Honor of Erik D. Goodman / / edited by Wolfgang Banzhaf, Betty H.C. Cheng, Kalyanmoy Deb, Kay E. Holekamp, Richard E. Lenski, Charles Ofria, Robert T. Pennock, William F. Punch, Danielle J. Whittaker
| Evolution in Action: Past, Present and Future : A Festschrift in Honor of Erik D. Goodman / / edited by Wolfgang Banzhaf, Betty H.C. Cheng, Kalyanmoy Deb, Kay E. Holekamp, Richard E. Lenski, Charles Ofria, Robert T. Pennock, William F. Punch, Danielle J. Whittaker |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XX, 607 p. 138 illus., 88 illus. in color.) |
| Disciplina | 575 |
| Collana | Genetic and Evolutionary Computation |
| Soggetto topico |
Artificial intelligence
Evolutionary biology Computational intelligence Artificial Intelligence Evolutionary Biology Computational Intelligence |
| ISBN | 3-030-39831-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I, The BEACON Center for Evolution in Action -- 2010: A BEACON Odyssey -- A Strong Director Facilitates the Successes of All BEACON Members: A Personal Example -- BEACON: Using Diversity as an Evolutionary Tool for a High-Performing Science and Technology Center -- Threading Together a Successful NSF-Funded Science and Technology Center: The Impact of Dr. Erik Goodman -- How BEACON Shaped My Research and Career Trajectory -- The Man Behind the Leader -- Part II – Evolution of Genomes and Evolvability -- Limits to Predicting Evolution: Insights from a Long-Term Experiment with Escherichia coli -- A Test of the Repeatability of Measurements of Relative Fitness in the Long-Term Evolution Experiment with Escherichia coli -- Experimental Evolution of Metal Resistance in Bacteria -- Probing the Deep Genetic Basis of a Novel Trait in Escherichia coli -- Fitness Costs and Benefits of Resistance to Phage Lambda in Experimentally Evolved Escherichia coli -- Experimental Evolution of Human Rhinovirus Strains Adapting to Mouse Cells -- Normed Phase Space Model of Natural Variation in Bacterial Chromosomes -- Genome Size and the Extinction of Small Populations -- Part III – Evolution of Behavior and Intelligence -- Temporal Niche Evolution and the Sensory Brain -- Time Makes You Older, Parasites Make You Bolder – Toxoplasma Gondii Infections Predict Hyena Boldness Toward Definitive Lion Hosts -- Behavioral Strategy Chases Promote the Evolution of Prey Intelligence -- A Hologenomic Approach to Animal Behavior -- Creative AI Through Evolutionary Computation -- Part IV – Evolution of Communities and Collective Dynamics -- Subtle Environmental Differences have Cascading Effects on the Ecology and Evolution of a Model Microbial Community -- Ecological Context Influences Evolution in Host-Parasite Interactions: Insights from the Daphnia-Parasite Model System -- Toward a Model of Investigating “Coordinated Stasis” Through Habitat Tracking in Communities of Digital Organisms -- Major Transitions in Digital Evolution -- Part V, Evolutionary Applications -- Rise of Evolutionary Multi-criterion Optimization: A Brief History of Time with Key Contributions -- Doing Research at the Intersection of Arts and Science -- Making Better Use of Repair Templates in Automated Program Repair: A Multi-objective Approach -- From Biological to Computational Arms Races – Studying Cyber Security Dynamics -- Small Implementation Differences Can Have Large Effects on Evolvability -- Surrogate Model-Driven Evolutionary Algorithms: Theory and Applications -- Mechatronic Design Automation: A Short Review -- Evolving SNP Panels for Genomic Prediction -- Part VI, Evolution Education -- Overcoming Classroom Skepticism with Evolution in Action -- How to Increase Creativity in Research -- Student Learning Across Course Instruction in Genetics and Evolution -- The Evolution of the Scientific Virtues Toolbox Approach to Responsible Conduct of Research Training -- The Influence of Instructor Technological Pedagogical Content Knowledge on Implementation and Student Affective Outcomes -- Exploring Evolution in Action in the Classroom, Through Human Genetic Diversity and Patterns -- Part VII, The Evolution of Erik Goodman -- Academic Biography of Erik D. Goodman. . |
| Record Nr. | UNINA-9910413444403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Globalizing Domain-Specific Languages [[electronic resource] ] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
| Globalizing Domain-Specific Languages [[electronic resource] ] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 89 p. 17 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer communication systems Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-26172-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Dismantling the "Tower of Babel" -- Preface -- Organization -- Contents -- On the Globalization of Domain-Specific Languages -- 1 Introduction -- 2 Domain-Specific (Modeling) Languages -- 3 A Grand Challenge of the Globalization of DSLs: Looking Ahead -- 4 Motivating Scenarios for the Globalization of DSLs -- References -- Conceptual Model of the Globalization for Domain-Specific Languages -- 1 Towards a Conceptual Model of Globalization -- 2 Basic Terms -- 3 DSL Integration -- 4 Language Components and Interfaces -- 5 Globalization -- 6 Language Relations -- 7 Composition -- 8 Language Coordination -- 9 Language Integration -- 10 Towards the Conceptualisation of the Globalization of DSLs -- References -- Motivating Use Cases for the Globalization of DSLs -- 1 Introduction -- 2 Command and Control Wind Tunnel (C2WT) -- 2.1 Application: Evaluation of Command and Control Architectures in Mission Scenarios -- 2.2 Technical Challenges -- 2.3 Model Integration Challenge -- 2.4 A Model Integration Language Solution for C2WT -- 3 Smart Emergency Response System (SERS) -- 3.1 SERS as a Cyber-Physical System -- 3.2 SERS Design -- 3.3 A Smart Intersection -- 3.4 Formalism Integration -- 4 Research Challenges -- 4.1 Software Engineering Challenges Related to the Formal Foundation of Languages -- 4.2 Challenges Related to the (Re-) Construction of Domain-Specific Concepts -- 4.3 Thoughts on Possible Future Directions to Pursue -- References -- Globalized Domain Specific Language Engineering -- 1 Problem Statement -- 2 Motivating Examples -- 2.1 Complementary City Maps -- 2.2 House Building -- 2.3 The A380 Wiring Issue -- 2.4 Tool Bug Fixes -- 3 Basic Notions of Language Integration -- 3.1 Correspondences by Level -- 3.2 Language Relationships -- 3.3 Frames of Reference -- 4 Approaches to Language Composition.
5 Dimensions for Language and Tool Integration -- 5.1 Referencing/Explicit Frames of Reference (Based on the Same Infrastructure/Meta Meta Model) -- 5.2 Language Embedding -- 5.3 Language Extension (Adding New Language Constructs) -- 5.4 Externally Defined Correspondences (with Associated Constraints and Consistency Checks) -- 5.5 All in One Tool vs. Different Tools -- 5.6 Process Aspects: Maybe We Should Stick with the Same Tool -- 5.7 Tool/IDE Integration (Without Language Integration) -- 5.8 Interactivity: Realtime Sync, File Exchange, Shared DB -- 5.9 Collaborative Modeling -- 6 Language Variants (i.e., Parallel Globalization) -- 6.1 Dialects vs. Related Languages -- 6.2 Variability Management -- 6.3 Challenges in Languages Variability Management -- 7 Language Evolution, Refactoring, Retirement (i.e., Sequential Globalization) -- References -- Domain Globalization: Using Languages to Support Technical and Social Coordination -- 1 Context -- 2 State of Art -- 2.1 Tool Composition Frameworks -- 2.2 Model Composition Frameworks -- 2.3 Language Composition Frameworks -- 3 Open Challenges -- 3.1 Composition of Multiple DSLs -- 3.2 Collaboration in a Globalized Environment -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996466443803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
| Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 89 p. 17 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer communication systems Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-26172-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Dismantling the "Tower of Babel" -- Preface -- Organization -- Contents -- On the Globalization of Domain-Specific Languages -- 1 Introduction -- 2 Domain-Specific (Modeling) Languages -- 3 A Grand Challenge of the Globalization of DSLs: Looking Ahead -- 4 Motivating Scenarios for the Globalization of DSLs -- References -- Conceptual Model of the Globalization for Domain-Specific Languages -- 1 Towards a Conceptual Model of Globalization -- 2 Basic Terms -- 3 DSL Integration -- 4 Language Components and Interfaces -- 5 Globalization -- 6 Language Relations -- 7 Composition -- 8 Language Coordination -- 9 Language Integration -- 10 Towards the Conceptualisation of the Globalization of DSLs -- References -- Motivating Use Cases for the Globalization of DSLs -- 1 Introduction -- 2 Command and Control Wind Tunnel (C2WT) -- 2.1 Application: Evaluation of Command and Control Architectures in Mission Scenarios -- 2.2 Technical Challenges -- 2.3 Model Integration Challenge -- 2.4 A Model Integration Language Solution for C2WT -- 3 Smart Emergency Response System (SERS) -- 3.1 SERS as a Cyber-Physical System -- 3.2 SERS Design -- 3.3 A Smart Intersection -- 3.4 Formalism Integration -- 4 Research Challenges -- 4.1 Software Engineering Challenges Related to the Formal Foundation of Languages -- 4.2 Challenges Related to the (Re-) Construction of Domain-Specific Concepts -- 4.3 Thoughts on Possible Future Directions to Pursue -- References -- Globalized Domain Specific Language Engineering -- 1 Problem Statement -- 2 Motivating Examples -- 2.1 Complementary City Maps -- 2.2 House Building -- 2.3 The A380 Wiring Issue -- 2.4 Tool Bug Fixes -- 3 Basic Notions of Language Integration -- 3.1 Correspondences by Level -- 3.2 Language Relationships -- 3.3 Frames of Reference -- 4 Approaches to Language Composition.
5 Dimensions for Language and Tool Integration -- 5.1 Referencing/Explicit Frames of Reference (Based on the Same Infrastructure/Meta Meta Model) -- 5.2 Language Embedding -- 5.3 Language Extension (Adding New Language Constructs) -- 5.4 Externally Defined Correspondences (with Associated Constraints and Consistency Checks) -- 5.5 All in One Tool vs. Different Tools -- 5.6 Process Aspects: Maybe We Should Stick with the Same Tool -- 5.7 Tool/IDE Integration (Without Language Integration) -- 5.8 Interactivity: Realtime Sync, File Exchange, Shared DB -- 5.9 Collaborative Modeling -- 6 Language Variants (i.e., Parallel Globalization) -- 6.1 Dialects vs. Related Languages -- 6.2 Variability Management -- 6.3 Challenges in Languages Variability Management -- 7 Language Evolution, Refactoring, Retirement (i.e., Sequential Globalization) -- References -- Domain Globalization: Using Languages to Support Technical and Social Coordination -- 1 Context -- 2 State of Art -- 2.1 Tool Composition Frameworks -- 2.2 Model Composition Frameworks -- 2.3 Language Composition Frameworks -- 3 Open Challenges -- 3.1 Composition of Multiple DSLs -- 3.2 Collaboration in a Globalized Environment -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910484507103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models@run.time [[electronic resource] ] : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann
| Models@run.time [[electronic resource] ] : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 319 p. 89 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Management information systems Computer science Computer simulation Software Engineering Programming Techniques Management of Computing and Information Systems Simulation and Modeling |
| ISBN | 3-319-08915-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Reference Architecture and Roadmap for Models@run.time Systems -- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software -- Living with Uncertainty in the Age of Runtime Models -- Using Models at Runtime to Address Assurance for Self-Adaptive Systems -- Model-Driven, Moving-Target Defense for Enterprise Network Security -- ModelLAND: Where Do Models Come from? -- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process Models at Runtime -- Fine-Grained Semi-automated Runtime Evolution -- Evolution as «Reflections on the Design» -- Safety Assurance of Open Adaptive Systems. |
| Record Nr. | UNISA-996213697803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models@run.time : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann
| Models@run.time : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 319 p. 89 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Management information systems Computer science Computer simulation Software Engineering Programming Techniques Management of Computing and Information Systems Simulation and Modeling |
| ISBN | 3-319-08915-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Reference Architecture and Roadmap for Models@run.time Systems -- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software -- Living with Uncertainty in the Age of Runtime Models -- Using Models at Runtime to Address Assurance for Self-Adaptive Systems -- Model-Driven, Moving-Target Defense for Enterprise Network Security -- ModelLAND: Where Do Models Come from? -- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process Models at Runtime -- Fine-Grained Semi-automated Runtime Evolution -- Evolution as «Reflections on the Design» -- Safety Assurance of Open Adaptive Systems. |
| Record Nr. | UNINA-9910484594503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||