{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":40,"n_cols":5,"rows_kept":40,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[11,2,11,3],[12,2,12,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[32,2,32,3],[33,2,33,3],[37,2,37,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990001182600403321"]
[null,null,"Autore",null,"Martin-Löf, Per <1942- >"]
[null,null,"Titolo",null,"Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980"]
[null,null,"Pubbl/distr/stampa",null,"Napoli : Bibliopolis, 1984"]
[null,null,"ISBN",null,"88-7088-105-9"]
[null,null,"Descrizione fisica",null,"91 p. ; 24 cm"]
[null,null,"Collana",null,"Studies in proof theory ; 1"]
[null,null,"Locazione",null,"MA1"]
[{"$nulls":4},"FI1"]
[null,null,"Collocazione",null,"113-G-20"]
[{"$nulls":4},"7-321"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910483282503321"]
[null,null,"Titolo",null,"Multiobjective Optimization : Interactive and Evolutionary Approaches / / edited by Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008"]
[null,null,"ISBN",null,"3-540-88908-6"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XX, 470 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5252"]
[null,null,"Disciplina",null,"658.403"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Numerical analysis"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Discrete mathematics"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Numerical Analysis"]
[{"$nulls":4},"Discrete Mathematics in Computer Science"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"This [volume] originates from the International Seminar on Practical Approaches to Multiobjective Optimization, held in Dagstuhl Castle, Germany, in December 2006 ...\"--Cover p. [4]."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Basics on Multiobjective Optimization -- to Multiobjective Optimization: Noninteractive Approaches -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization -- Consideration of Partial User Preferences in Evolutionary Multiobjective Optimization -- Interactive Multiobjective Evolutionary Algorithms -- Visualization of Solutions -- Visualization in the Multiple Objective Decision-Making Framework -- Visualizing the Pareto Frontier -- Modelling, Implementation and Applications -- Meta-Modeling in Multiobjective Optimization -- Real-World Applications of Multiobjective Optimization -- Multiobjective "]
[{"$nulls":4},"Optimization Software -- Parallel Approaches for Multiobjective Optimization -- Quality Assessment, Learning, and Future Challenges -- Quality Assessment of Pareto Set Approximations -- Interactive Multiobjective Optimization from a Learning Perspective -- Future Challenges."]
[null,null,null,"Sommario/riassunto","Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support. This state-of-the-art survey originates from the International Seminar on Practical Approaches to Multiobjective Optimization, held in Dagstuhl Castle, Germany, in December 2006, which brought together leading experts from various contemporary multiobjective optimization fields, including evolutionary multiobjective optimization (EMO), multiple criteria decision making (MCDM) and multiple criteria decision aiding (MCDA). This book gives a unique and detailed account of the current status of research and applications in the field of multiobjective optimization. It contains 16 chapters grouped in the following 5 thematic sections: Basics on Multiobjective Optimization; Recent Interactive and Preference-Based Approaches; Visualization of Solutions; Modelling, Implementation and Applications; and Quality Assessment, Learning, and Future Challenges."]