ECOOP 2011--Object-Oriented Programming [[electronic resource] ] : 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings / / edited by Mira Mezini |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 660 p. 189 illus., 52 illus. in color.) |
Disciplina | 005.11 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Computer communication systems Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems |
ISBN | 3-642-22655-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465752403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP 2012 -- Object-Oriented Programming [[electronic resource] ] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / / edited by James Noble |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 766 p. 101 illus.) |
Disciplina | 005.11 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks |
ISBN | 3-642-31057-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910510602503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ECOOP 2012 -- Object-Oriented Programming [[electronic resource] ] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / / edited by James Noble |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 766 p. 101 illus.) |
Disciplina | 005.11 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks |
ISBN | 3-642-31057-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465287703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Embedded Systems [[electronic resource] ] : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler |
Edizione | [1st ed. 1987.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
Descrizione fisica | 1 online resource (VIII, 212 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Programming Techniques |
ISBN | 3-540-48021-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A note on the meaning of “Embedded systems” -- Design of VLSI systems -- Embedded system description using Petri nets -- Elements for the formal description of systems -- An introduction to system semantics -- Functional formalisms for system description: Current research topics -- Tools for protocols driven by formal specifications -- Functional programming languages as a software engineering tool -- Practical methods and tools for specification. |
Record Nr. | UNISA-996465795803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [[electronic resource] ] : International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings / / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 155 p.) |
Disciplina | 005.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Artificial intelligence—Data processing Data structures (Computer science) Information theory Information retrieval Computer architecture Algorithms Computer science Programming Techniques Data Science Data Structures and Information Theory Data Storage Representation Computer Science Logic and Foundations of Programming |
ISBN | 3-642-03751-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | High-Performance Local Search for Task Scheduling with Human Resource Allocation -- High-Performance Local Search for Task Scheduling with Human Resource Allocation -- On the Use of Run Time Distributions to Evaluate and Compare Stochastic Local Search Algorithms -- Estimating Bounds on Expected Plateau Size in MAXSAT Problems -- A Theoretical Analysis of the k-Satisfiability Search Space -- Loopy Substructural Local Search for the Bayesian Optimization Algorithm -- Running Time Analysis of ACO Systems for Shortest Path Problems -- Techniques and Tools for Local Search Landscape Visualization and Analysis -- Short Papers -- High-Performance Local Search for Solving Real-Life Inventory Routing Problems -- A Detailed Analysis of Two Metaheuristics for the Team Orienteering Problem -- On the Explorative Behavior of MAX–MIN Ant System -- A Study on Dominance-Based Local Search Approaches for Multiobjective Combinatorial Optimization -- A Memetic Algorithm for the Multidimensional Assignment Problem -- Autonomous Control Approach for Local Search -- EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms -- Adaptive Operator Selection for Iterated Local Search -- Improved Robustness through Population Variance in Ant Colony Optimization -- Mixed-Effects Modeling of Optimisation Algorithm Performance. |
Record Nr. | UNINA-9910485017403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [[electronic resource] ] : International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings / / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 155 p.) |
Disciplina | 005.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Artificial intelligence—Data processing Data structures (Computer science) Information theory Information retrieval Computer architecture Algorithms Computer science Programming Techniques Data Science Data Structures and Information Theory Data Storage Representation Computer Science Logic and Foundations of Programming Recursos electrònics en xarxa Cerca a Internet Programació estocàstica |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-642-03751-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | High-Performance Local Search for Task Scheduling with Human Resource Allocation -- High-Performance Local Search for Task Scheduling with Human Resource Allocation -- On the Use of Run Time Distributions to Evaluate and Compare Stochastic Local Search Algorithms -- Estimating Bounds on Expected Plateau Size in MAXSAT Problems -- A Theoretical Analysis of the k-Satisfiability Search Space -- Loopy Substructural Local Search for the Bayesian Optimization Algorithm -- Running Time Analysis of ACO Systems for Shortest Path Problems -- Techniques and Tools for Local Search Landscape Visualization and Analysis -- Short Papers -- High-Performance Local Search for Solving Real-Life Inventory Routing Problems -- A Detailed Analysis of Two Metaheuristics for the Team Orienteering Problem -- On the Explorative Behavior of MAX–MIN Ant System -- A Study on Dominance-Based Local Search Approaches for Multiobjective Combinatorial Optimization -- A Memetic Algorithm for the Multidimensional Assignment Problem -- Autonomous Control Approach for Local Search -- EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms -- Adaptive Operator Selection for Iterated Local Search -- Improved Robustness through Population Variance in Ant Colony Optimization -- Mixed-Effects Modeling of Optimisation Algorithm Performance. |
Record Nr. | UNISA-996465636503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ES6 for Humans [[electronic resource] ] : The Latest Standard of JavaScript: ES2015 and Beyond / / by Deepak Grover, Hanu Prateek Kunduru |
Autore | Grover Deepak |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 |
Descrizione fisica | 1 online resource (XVII, 137 p. 2 illus. in color.) |
Disciplina | 005.11 |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 1-4842-2623-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Getting Started with ES6 -- 2. New Syntax in ES6 -- 3. Destructuring -- 4. Classes in ES6 -- 5. Modules -- 6. Symbols -- 7.Arrays and Collections -- 8. Iterators and Generators -- 9. Promises In ES6 -- 10. Meta Programming -- 11. Beyond ES2016. |
Record Nr. | UNINA-9910254856603321 |
Grover Deepak | ||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ESOP 86 [[electronic resource] ] : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings / / edited by Bernard Robinet |
Edizione | [1st ed. 1986.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
Descrizione fisica | 1 online resource (VIII, 380 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computer logic Programming Techniques Logics and Meanings of Programs |
ISBN | 3-540-39782-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Compiler generation from relational semantics -- Correctness of code generation from a two-level meta-language -- A general approach to the optimization of function calls -- Lifetime analysis for procedure parameters -- Another implementation technique for applicative languages -- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine -- A safe approach to parallel combinator reduction (extended abstract) -- Reducing recursion to iteration by algebraic extension -- Design and implementation of a generic, logic and functional programming language -- Pragmatic aspects of two-level denotational meta-languages -- An experiment in practical semantics -- The choice of programming primitives for SETL-like programming languages -- Algebraic semantics of exception handling -- Data refinement refined resume -- Proving entailment between conceptual state specifications -- Automatic parallelization of fortran programs in the presence of procedure calls -- Parallelization by semantic detection of reductions -- Denotational semantics of nets with nondeterminism -- specification of a tool for viewing program text -- A classical implementation for Prolog-II -- Programs as collections of communicating Prolog units -- An and-parallel execution model of logic programs -- Compiling Extended Concurrent Prolog -single queue compilation- -- A very intelligent backtracking method for Logic Programs -- An application of abstract interpretation of logic programs: Occur check reduction -- Experiences with the RAP system — a specification interpreter combining term rewriting and resolution -- Rewriting with a nondeterministic choice operator : From algebra to proofs. |
Record Nr. | UNISA-996466131403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Essays on object-oriented softwareengineering / Edward V. Berard |
Autore | Berard, Edward V. |
Pubbl/distr/stampa | Englewood Cliffs (N.J.) : Prentice-Hall |
Disciplina | 005.11 |
Soggetto non controllato | programmazione oggetto-orientata |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000133790203316 |
Berard, Edward V. | ||
Englewood Cliffs (N.J.) : Prentice-Hall | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [[electronic resource] ] : Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / / edited by Juan Romero, James McDermott, João Correia |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 132 p. 55 illus.) |
Disciplina | 005.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Algorithms Artificial intelligence Digital humanities User Interfaces and Human Computer Interaction Artificial Intelligence Digital Humanities |
ISBN | 3-662-44335-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Table of Contents -- Probabilistic Decision Making for Interactive Evolution with Sensitivity Analysis -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 Sensitivity Analysis for Interactive Design with Parametric Models -- 3.2 Probabilistic Decision Making for the Genetic Operators -- 3.3 Sampling Modifications -- 4 Results -- 5 Conclusion -- References -- An Interface for Fitness Function Design -- 1 Introduction -- 2 State of the Art -- 3 The Framework -- 3.1 Ants' Simulation -- 3.2 Extracted Features -- 3.3 Evolutionary Engine -- 4 The Anatomy of a Fitness Function -- 5 Fitness Function Design Interface -- 6 Final Rendering Interface -- 7 Experimentation -- 8 Conclusions and Future Work -- References -- Balancing Act: Variation and Utility in Evolutionary Art -- 1 Introduction -- 1.1 Utility and Diversity -- 1.2 Related Work -- 2 Generative Mechanisms -- 2.1 Graph Interpretation -- 2.2 Animation and Sound -- 2.3 Evolution -- 3 Discussion -- 3.1 Composing Structure -- References -- Size Does Not Matter: Evolving Parameters for a Cayley Graph Visualiser Using 64 Bits -- 1 Introduction -- 2 Jenn3d -- 3 Methodology -- 3.1 Evolutionary Approach -- 3.2 Encoding -- 3.3 Fitness Evaluation -- 4 Results -- 4.1 More Efficient Encoding -- 5 Conclusions -- References -- A Complexity Approach for Identifying Aesthetic Composite Landscapes -- 1 Introduction -- 2 State of the Art -- 3 Complexity Metrics and Presented Features -- 4 Experimental Dataset for Aesthetic Composition -- 5 Classification Method and Results Obtained -- 5.1 An Expert Overview -- 6 Future Work -- References -- Feature Construction Using Genetic Programming for Classification of Images by Aesthetic Value -- 1 Introduction -- 1.1 Goals -- 2 Related Work -- 2.1 Genetic Programming for Image Classification -- 3 Methodology.
3.1 Genetic Programming Configuration -- 3.2 Data Sets -- 4 Experiments and Results -- 4.1 Implementation -- 4.2 Experiment with Imagene Evolved Art -- 4.3 Experiment with Photographs -- 4.4 Discussion -- 5 Conclusion -- References -- Authorship and Aesthetics Experiments:Comparison of Results between Human and Computational Systems -- 1 Introduction -- 2 Experiments Involving Humans -- 2.1 Authorship Experiments -- 2.2 Aesthetics Appreciation -- 3 Developed System -- 4 Results: Authorship Test -- 5 Results: Aesthetic Validation Test -- 6 Conclusions -- References -- An Indirect Fitness Scheme for Automated Evolution of Aesthetic Images -- 1 Introduction -- 2 On the Role of Novelty -- 3 Our Fitness Function -- 4 Evolved Images -- 5 Diversity or Plasticity? -- 6 Conclusion -- References -- A Novelty Search and Power-Law-Based Genetic Algorithm for Exploring Harmonic Spaces in J.S. Bach Chorales -- 1 Introduction -- 2 Background -- 3 Data Representation -- 3.1 Musical Corpora -- 3.2 Harmony Extraction -- 3.3 Harmony Representation -- 4 User Interface Design -- 5 Markov Model -- 6 Evolutionary Algorithm -- 6.1 Power-Law Metrics -- 6.2 Genotype Representation -- 6.3 Novelty Search -- 6.4 Melody Guided Fitness -- 7 Conclusion and Future Work -- References -- Genomic: Evolving Sound Treatments Using Genetic Algorithms -- 1 Motivation -- 2 Past Work: Evolutionary Systems -- 3 Genomic: An Evolutionary System for Sound Treatments -- 3.1 A Note on Terminology -- 3.2 Genotype and Phenotype -- 3.3 Running the GA -- 3.4 The Fitness Function -- 3.5 Implementation -- 4 Goals for Evolution -- 4.1 Evolving Novelty -- 4.2 Evolving towards a Target -- 5 Extending Genomic with CorpusDB -- 5.1 Developing a Corpus from Several Seed Sounds -- 5.2 Observations -- 6 Conclusion and Future Work -- References -- Evolving an Aircraft Using a Parametric Design System. 1 Introduction -- 2 Parametric Design -- 3 Computational Fluid Dynamics -- 4 Evolutionary Aircraft Optimisation -- 5 Optimisation of Blended Wing Body Design -- 5.1 Experimental Settings -- 6 Optimisation Results -- 7 Conclusions -- References -- Author Index. |
Record Nr. | UNISA-996202528303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|