{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":76,"n_cols":5,"rows_kept":76,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[13,2,13,3],[17,2,17,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[26,2,26,3],[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],[40,2,40,3],[44,2,44,3],[48,2,48,3],[48,4,48,5],[49,2,49,3],[49,4,49,5],[50,2,50,3],[51,2,51,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[68,2,68,3],[69,2,69,3],[73,2,73,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910464019703321"]
[null,null,"Autore",null,"Baudouin Charles <1893-1963., >"]
[null,null,"Titolo",null,"Contemporary studies / / Charles Baudouin ; translated from the French by Eden and Cedar Paul"]
[null,null,"Pubbl/distr/stampa",null,"Hove [England] : , : Routledge, , 2015"]
[null,null,"ISBN",null,"1-138-82904-8"]
[{"$nulls":4},"1-315-73905-4"]
[{"$nulls":4},"1-317-57556-3"]
[null,null,"Descrizione fisica",null,"1 online resource (291 p.)"]
[null,null,"Collana",null,"Collected Works of Charles Baudouin ; ; Volume 3"]
[null,null,"Disciplina",null,"809.03"]
[null,null,"Soggetti",null,"Literature, Modern - History and criticism"]
[{"$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","First published in 1924."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; Half Title; Title Page; Copyright Page; Original Title Page; Original Copyright Page; Table of Contents; Part One: The Liberators of the Mind; Tolstoy's Diary; Tolstoy as Educationist; Tolstoy and the Realist Faith; Nietzsche's Letters; Nietzsche as Forerunner in Psychoanalysis; Carl Spitteler; Romain Rolland; Han Ryner; Part Two: The War and the Peace; Appeal for the Foundation of \"\"Le Carmel\"\"; Nicolai and the Biology of War; In Favour of Peace (1916); A Message to the Berne Conference of 1917; A Message to the Berne Conference of 1919; The East against the West"]
[{"$nulls":4},"Part Three: Education and SocietyBahaism, a Movement towards the Community of Mankind; The Linguistic International (Esperanto); William James' \"\"Talks to Teachers on Psychology\"\"; Father Christmas; Part Four: Art and Criticism; The Coming Poetry; 1. Whitmanesque Realism; 2 The Symbolist Revival; 3. Towards a Synthesis: Dynamism; Marcel Martinet; P. J. Jouve; The Diary of a French Private; Jean-Bard and Dynamism; Dynamic Drawing; 1. Movement; 2. The Fusion of the Arts; 3. The Meaning of Forms; 4. Simple Forms; 5. Personification and Internalisation; The Dynamic Interpretation of Poetry"]
[{"$nulls":4},"BibliographyIndex"]
[null,null,null,"Sommario/riassunto","Originally published in 1924, this title is divided into four parts, each looking at contemporary issues. Beginning with 'The Liberators of the Mind', the author discusses important thinkers of the time, such as Tolstoy and Nietzsche. The second part looks at 'The War and the "]
[{"$nulls":4},"Peace', which refers to the recently fought First World War. He then moves on to 'Education and Society', where discussions include Bahaism and Father Christmas. The final part looks at 'Art and Criticism', discussing the trends of French post-war poetry - realism, symbolism and dynamism - followed by a look at dynamic dr"]
[null,"2.","Record Nr.",null,"UNISALENTO991002476939707536"]
[null,null,"Titolo",null,"Archivio di tipologia analitica / Università degli Studi, Siena. Istituto di Antropologia e Paleontologia Umana. - 1973-"]
[null,null,"Pubbl/distr/stampa",null,"Siena, 1973-"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,"3.","Record Nr.",null,"UNINA9910830381603321"]
[null,null,"Titolo",null,"Angiogenesis assays [[electronic resource] ] : a critical appraisal of current techniques / / [edited by] Carolyn A. Staton, Claire Lewis, Roy Bicknell"]
[null,null,"Pubbl/distr/stampa",null,"Chichester, England ; ; Hoboken, NJ, : J. Wiley & Sons, c2006"]
[null,null,"ISBN",null,"1-280-73958-4"]
[{"$nulls":4},"9786610739585"]
[{"$nulls":4},"0-470-02935-8"]
[{"$nulls":4},"0-470-02934-X"]
[null,null,"Descrizione fisica",null,"1 online resource (420 p.)"]
[null,null,"Disciplina",null,"612.130724"]
[null,null,"Soggetti",null,"Blood-vessels - Growth"]
[{"$nulls":4},"Neovascularization"]
[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,"Endothelial cell biology / Femke Hillen, Veerie Meloote, Judy R. van Beijnum and Arjan W. Griffioen -- Endothelial cell proliferation assays / Wen-Sen Lee -- Endothelial cell migration assays / Christos Polytarchou, Maria Hatziapostolou and Evangelia Papadimitriou -- Tubule formation assays / Ewen J. Smith and Carolyn A. Staton -- Modelling the effects of the haemodynamic environment on endothelial cell responses relevant to angiogenesis / Gerard B. Nash and Stuart Egginton -- Whole or partial vessel outgrowth assays / Cindy H. Chau and William D. Figg -- Assaying endothelial mural cell interactions / Melissa K. Nix and Karen K. Hirschi -- Assays for membrane and intracellular signalling events / Vittorio Tomasi, Cristiana Griffoni, Spartaco Santi, Patrizia Lenaz, Rosa Anna Iorio, Antonio Strillacci and Enzo Spisni -- Implantation of sponges and polymers / Silvia P. Andrade, Monica A. N. D. Ferreira, and Tai-Ping Fan -- Angiogenesis assays in the chick / Andries Zijlstra, David Mikolon and Dwayne G. Stupack -- Corneal angiogenesis assay / Siqing Shan and Mark W. Dewhirst --"]
[{"$nulls":4},"Dorsal air sac model / Sei Yonezawa, Tomohiro Asai and Naoto Oku -- Chamber assays / Michael D. Menger, Matthias W. Laschke and Brigitte Vollmar -- Tumour models : analysis of angiogenesis in vivo / Sven A. Lang and Oliver Stoeltzing -- Angiomouse : imageable models of "]
[{"$nulls":4},"angiogenesis / Robert M. Hoffman -- Techniques and advances in vascular imaging in Danio rerio / Kenna R. Mills Shaw and Brant M. Weinstein -- Biological and clinical implications of recruitment of stem cells into angiogenesis / Gianluigi Castoldi, Antonio Cuneo and Gian Matteo Rigolin -- Methods for monitoring of the anti-angiogenic activity of agents in patients : novel trial design / Shannon Smiley, Michael K. K. Wong and Shaker A. Mousa -- An overview of current angiogenesis assays : choice of assay, precautions in interpretation, future requirements and directions / Robert Auerbach."]
[null,null,null,"Sommario/riassunto","Angiogenesis, the development of new blood vessels from the existing vasculature, is essential for physiological growth and over 18,000 research articles have been published describing the role of angiogenesis in over 70 different diseases, including cancer, diabetic retinopathy, rheumatoid arthritis and psoriasis. One of the most important technical challenges in such studies has been finding suitable methods for assessing the effects of regulators of eh angiogenic response. While increasing numbers of angiogenesis assays are being described both in vitro and in vivo, it is often still necess"]
[null,"4.","Record Nr.",null,"UNINA9910144160903321"]
[null,null,"Titolo",null,"Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / / edited by Maurice Bruynooghe"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"1-280-30782-X"]
[{"$nulls":4},"9786610307821"]
[{"$nulls":4},"3-540-25938-4"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 238 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 3018"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Artificial Intelligence"]
[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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talk -- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce -- Specification and Synthesis -- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures -- Correct OO Systems in Computational Logic -- Specification and Synthesis of Hybrid Automata for Physics-Based Animation -- Adding Concrete Syntax to a Prolog-Based Program Synthesis System -- Verification -- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables -- Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 -- Analysis -- A Program Transformation for Backwards Analysis of Logic Programs -- An Efficient Staging Algorithm for Binding-Time "]
[{"$nulls":4},"Analysis -- Proving Termination with Adornments -- Transformation and Specialisation -- Constructively Characterizing Fold and Unfold -- Deterministic Higher-Order Patterns for Program Transformation -- From Interpreter to Logic Engine by Defunctionalization -- Linearization by Program Transformation -- Continuation Semantics as Horn Clauses -- Constraints -- Simplification of Database Integrity Constraints Revisited: A Transformational Approach -- Integration and Optimization of Rule-Based Constraint Solvers -- Introducing esra, a Relational Language for Modelling Combinatorial Problems."]
[null,null,null,"Sommario/riassunto","This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002)."]