{"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":51,"n_cols":5,"rows_kept":51,"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],[14,2,14,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[39,2,39,3],[43,2,43,3],[44,2,44,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454516203321"]
[null,null,"Autore",null,"Edmonds Jeff <1963->"]
[null,null,"Titolo",null,"How to think about algorithms / / Jeff Edmonds [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2008"]
[null,null,"ISBN",null,"1-107-17584-4"]
[{"$nulls":4},"0-511-64579-1"]
[{"$nulls":4},"9786612390289"]
[{"$nulls":4},"1-282-39028-7"]
[{"$nulls":4},"1-139-63726-6"]
[{"$nulls":4},"0-511-80824-0"]
[{"$nulls":4},"0-511-64988-6"]
[{"$nulls":4},"0-511-41278-9"]
[{"$nulls":4},"0-511-56800-2"]
[{"$nulls":4},"0-511-41370-X"]
[null,null,"Descrizione fisica",null,"1 online resource (xiii, 448 pages) : digital, PDF file(s)"]
[null,null,"Disciplina",null,"518/.1"]
[null,null,"Soggetti",null,"Algorithms - Study and teaching"]
[{"$nulls":4},"Loops (Group theory) - Study and teaching"]
[{"$nulls":4},"Invariants - Study and teaching"]
[{"$nulls":4},"Recursion theory - Study and teaching"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,"Nota di contenuto",null,"Iterative algorithms: measures of progress and loop invariants -- Examples using more-of-the-input loop invariants -- Abstract data types -- Narrowing the search space: binary search -- Iterative sorting algorithms -- Euclid's GCD algorithm -- The loop invariant for lower bounds -- Abstractions, techniques, and theory -- Some simple examples of recursive algorithms -- Recursion on trees -- Recursive images -- Parsing with context-free grammars -- Definition of optimization problems -- Graph search algorithms -- Network flows and linear programming -- Greedy algorithms -- Recursive backtracking -- Dynamic programming algorithms -- Examples of dynamic programs -- Reductions and NP-completeness -- Randomized algorithms -- Existential and universal quantifiers -- Time complexity -- Logarithms and exponentials -- Asymptotic growth -- Adding-made-easy approximations -- Recurrence relations -- A formal proof "]
[{"$nulls":4},"of correctness."]
[null,null,null,"Sommario/riassunto","This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Solutions to many problems are provided to let students check their progress, while class-tested PowerPoint slides are on the web for anyone running the course. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author guides students around the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. The book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a careful and clear way, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems."]
[null,"2.","Record Nr.",null,"UNINA9910140873303321"]
[null,null,"Autore",null,"Kocatürk Tuba"]
[null,null,"Titolo",null,"Distributed intelligence in design [[electronic resource] /] / edited by Tuba Kocatürk, Benachir Medjdoub"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : Blackwell, 2011"]
[null,null,"ISBN",null,"1-282-94451-7"]
[{"$nulls":4},"9786612944512"]
[{"$nulls":4},"1-4443-9239-5"]
[{"$nulls":4},"1-4443-9237-9"]
[null,null,"Edizione",null,"[1st edition]"]
[null,null,"Descrizione fisica",null,"1 online resource (281 p.)"]
[null,null,"Disciplina",null,"624.0285"]
[{"$nulls":4},"720.285/63"]
[null,null,"Soggetti",null,"Building - Information services"]
[{"$nulls":4},"Architecture - Information services"]
[{"$nulls":4},"Distributed artificial intelligence"]
[{"$nulls":4},"Electronic books."]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"pt. 1. 1. Of sails and sieves and sticky tape / Bryan Lawson ; 2. Distributed perspectives for intelligent conceptual design / Volker Mueller ; 3. Distributed intelligence or a simple coherent mental model? / Chris J.K. Williams and Roly Hudson ; 4. Sharing intelligence : the problem of knowledge atrophy / Peter Brandon -- pt. 2. 5. Pedagogical frameworks for emergent digital practices in architecture / Brent Allpress ; pt. 6. Emergence and convergence of knowledge in building production : knowledge-based design and digital manufacturing / Eduardo Lyon ; pt. 7. Artifact and affect : open-ended strata of communication / Matias del Campo and Sandra Manninger ; pt. 9. Digital tools for creative hinges / Sean Hanna -- pt. 3. 9. Th effects of integrated BIM in processes and business models / Arto Kiviniemi ; 10. Integrated building design for production management systems / Rita Cristina Ferreira ; 11. Flexibility, semantics and standards / Robin Drogemuller and John H. Frazer ; 12. Examples of distributed intelligence on large-scale building lifecycle projects / Martin Riese -- pt. 4. 13. Rapid practice expansion through strategic design computation / Cristiano Ceccato ; 14. Algorithmic modellign, parametric thinking / Neil Katz ; 15. Interview with the Specialist "]
[{"$nulls":4},"Modeling Group (SMG) : the dynamic coordination of distributed intelligence at Foster and Partners / High Whitehead ... [et al.] ; 16. Interview with Lars Hesselgren, Director PLP research / Lars Hesselgren and Benachir Medjdoub ; 17. Geometry, topology, materiality : the structural parameters in the collaborative design approach / Manfred Grohmann and Oliver Tessmann."]
[null,null,null,"Sommario/riassunto","The book contains the papers developed from the presentations at the Distributed Intelligence in Design Symposium, held in Salford in May 2009. In this context, Distributed Intelligence refers to the interdisciplinary knowledge of a range of different individuals in different organisations, with different backgrounds and experience, and the symposium discussed the media, technologies and behaviours required to support their successful collaboration. The book focusses on: how parametric and generative design media can be coupled with and managed alongside Build"]