{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":78,"n_cols":5,"rows_kept":78,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[19,2,19,3],[20,2,20,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],[32,2,32,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[47,2,47,3],[52,2,52,3],[52,4,52,5],[53,2,53,3],[53,4,53,5],[54,2,54,3],[54,4,54,5],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[59,2,59,3],[63,2,63,3],[70,2,70,3],[71,2,71,3],[75,2,75,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465640903316"]
[null,null,"Titolo",null,"Static Analysis [[electronic resource] ] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / / edited by Hanne Riis Nielson, Gilberto Filé"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007"]
[null,null,"ISBN",null,"3-540-74061-9"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 469 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 4634"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Techniques"]
[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 and index."]
[null,null,"Nota di contenuto",null,"Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification -- Compositional Verification and 3-Valued Abstractions Join Forces -- Formalised Inductive Reasoning in the Logic of Bunched Implications -- Optimal Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic -- A Framework for End-to-End Verification and Evaluation of Register Allocators -- A New Algorithm for Identifying Loops in Decompilation -- Accelerated Data-Flow "]
[{"$nulls":4},"Analysis -- Abstract Error Projection -- Precise Thread-Modular Verification -- Modular Safety Checking for Fine-Grained Concurrency -- Static Analysis of Dynamic Communication Systems by Partner Abstraction -- Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis -- Hierarchical Pointer Analysis for Distributed Programs -- Semantics-Based Transformation of Arithmetic Expressions -- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware -- Fixpoint-Guided Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis with Structural Invariant Checkers -- Footprint Analysis: A Shape Analysis That Discovers Preconditions -- Arithmetic Strengthening for Shape Analysis -- Astrée: From Research to Industry -- Magic-Sets Transformation for the Analysis of Java Bytecode."]
[null,null,null,"Sommario/riassunto","The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support."]
[null,"2.","Record Nr.",null,"UNINA9910702845803321"]
[null,null,"Autore",null,"Parker James N"]
[null,null,"Titolo",null,"Saw Palmetto - A Medical Dictionary, Bibliography, and Annotated Research Guide to Internet References"]
[null,null,"Pubbl/distr/stampa",null,"ICON Group International Inc., 2004"]
[{"$nulls":4},"[Bethesda, Md.] : , : National Center for Complementary and Alternative Medicine, , [2008]"]
[null,null,"ISBN",null,"9786611200558"]
[{"$nulls":4},"9781281200556"]
[{"$nulls":4},"1281200557"]
[{"$nulls":4},"9781417512188"]
[{"$nulls":4},"1417512180"]
[null,null,"Edizione",null,"[Updated Mar. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (136 p.)"]
[null,null,"Collana",null,"Herbs at a glance"]
[null,null,"Disciplina",null,"615.3245"]
[null,null,"Soggetti",null,"Saw palmetto-- Health aspects-- Computer network resources"]
[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 (page [2])."]
[null,null,"Nota di contenuto",null,"\"\"Forward\"\"; \"\"Chapter 1. Studies on Saw Palmetto\"\"; \"\"Overview\"\"; \"\"The Combined Health Information Database\"\"; \"\"Federally Funded Research on Saw Palmetto\"\"; \"\"The National Library of Medicine: PubMed\"\"; \"\"Chapter 2. Nutrition and Saw Palmetto\"\"; \"\"Overview\"\"; \"\"Finding Nutrition Studies on Saw Palmetto\"\"; \"\"Federal Resources on Nutrition\"\"; \"\"Additional Web Resources\"\"; \"\"Chapter 3. Alternative Medicine and Saw Palmetto\"\"; \"\"Overview\"\"; \"\"The Combined Health Information Database\"\"; \"\"National Center for Complementary and Alternative Medicine\"\"; \"\"Additional Web Resources\"\""]
[{"$nulls":4},"\"\"General References\"\"\"\"Chapter 4. Clinical Trials and Saw Palmetto\"\"; \"\"Overview\"\"; \"\"Recent Trials on Saw Palmetto\"\"; \"\"Keeping Current on Clinical Trials\"\"; \"\"Chapter 5. Patents on Saw Palmetto\"\"; \"\"Overview\"\"; \"\"Patents on Saw Palmetto\"\"; \"\"Patent Applications on Saw Palmetto\"\"; \"\"Keeping Current\"\"; \"\"Chapter 6. Books on Saw Palmetto\"\"; \"\"Overview\"\"; \"\"Book Summaries: Federal Agencies\"\"; \"\"Book Summaries: Online Booksellers\"\"; \"\"Chapters on Saw Palmetto\"\"; \"\"Chapter 7. Periodicals and News on Saw Palmetto\"\"; \"\"Overview\"\"; \"\"News Services and Press Releases\"\"; \"\"Newsletter Articles\"\""]
[{"$nulls":4},"\"\"Academic Periodicals covering Saw Palmetto\"\"\"\"Appendix A. Physician Resources\"\"; \"\"Overview\"\"; \"\"NIH Guidelines\"\"; \"\"NIH Databases\"\"; \"\"Other "]
[{"$nulls":4},"Commercial Databases\"\"; \"\"Appendix B. Patient Resources\"\"; \"\"Overview\"\"; \"\"Patient Guideline Sources\"\"; \"\"Finding Associations\"\"; \"\"Appendix C. Finding Medical Libraries\"\"; \"\"Overview\"\"; \"\"Preparation\"\"; \"\"Finding a Local Medical Library\"\"; \"\"Medical Libraries in the U.S. and Canada\"\"; \"\"ONLINE GLOSSARIES\"\"; \"\"Online Dictionary Directories\"\"; \"\"SAW PALMETTO DICTIONARY\"\"; \"\"INDEX\"\""]
[null,null,null,"Sommario/riassunto","This is a 3-in-1 reference book. It gives a complete medical dictionary covering hundreds of terms and expressions relating to saw palmetto. It also gives extensive lists of bibliographic citations. Finally, it provides information to users on how to update their knowledge using various Internet resources. The book is designed for physicians, medical students preparing for Board examinations, medical researchers, and patients who want to become familiar with research dedicated to saw palmetto. If your time is valuable, this book is for you. First, you will not waste time searching the Internet"]
[null,"3.","Record Nr.",null,"UNINA9910298649403321"]
[null,null,"Autore",null,"Blum Udo"]
[null,null,"Titolo",null,"Plant-Plant Allelopathic Interactions II : Laboratory Bioassays for Water-Soluble Compounds with an Emphasis on Phenolic Acids / / by Udo Blum"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-04732-9"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (337 p.)"]
[null,null,"Disciplina",null,"54"]
[{"$nulls":4},"571.95"]
[{"$nulls":4},"572572"]
[{"$nulls":4},"581.7"]
[null,null,"Soggetti",null,"Biotechnology"]
[{"$nulls":4},"Botanical chemistry"]
[{"$nulls":4},"Plant ecology"]
[{"$nulls":4},"Environmental toxicology"]
[{"$nulls":4},"Plant Biochemistry"]
[{"$nulls":4},"Plant Ecology"]
[{"$nulls":4},"Ecotoxicology"]
[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 at the end of each chapters and indexes."]
[null,null,"Nota di contenuto",null,"1 Background for Designing Laboratory Bioassays -- 2 Introduction to the Fundamentals of Laboratory Bioassays -- 3 Some Issues and Challenges When Designing Laboratory Bioassays -- 4 Hypothetical Standard Screening Bioassays -- 5 Effects, Modifiers and Modes of Action of Allelopathic Compounds Using Phenolic Acids as Model Compounds -- 6 Hypothetical Cause and Effect Bioassays -- 7 Laboratory Model Systems and Field Systems: Some Final Thoughts -- Author Index -- Subject Index."]
[null,null,null,"Sommario/riassunto","In the first volume the author suggested that we could improve our understanding of plant-plant allelopathic interactions in the field by making laboratory bioassays more holistic.  Reflections after the volume was published lead the author to conclude that a more detailed analysis of the factors making up laboratory bioassays was needed in the hope that such an analysis would provide clearer and more useful "]
[{"$nulls":4},"directions on how to design more holistic or more relevant laboratory bioassay systems.  The more holistic being a theoretical goal and the more relevant being a more pragmatic goal.  This volume has been written specifically for researchers and their graduate students who are interested in studying plant-plant allelopathic interactions.  The author hopes that this retrospective and at times critical analysis of laboratory bioassays will provide a foundation for better and more field-relevant laboratory designs in the future.  This volume has 7 chapters describing: 1. background for designing plant-plant allelopathic laboratory bioassays, 2. the fundamentals of laboratory bioassays, 3. the issues and challenges associated with designing more relevant laboratory bioassays, 4. a set of hypothetical standard screening laboratory bioassays, 5. the known effects of putative allelopathic compounds such as phenolic acids, the physicochemical and biotic factors that modify their effects, and their modes of action, 6. a set of standard hypothetical cause and effect laboratory bioassays, and 7. the differences between field systems and laboratory bioassay systems, ways to minimize the impacts of atypical factors in laboratory bioassays, and future directions."]