{"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":55,"n_cols":5,"rows_kept":55,"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],[10,2,10,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[47,2,47,3],[48,2,48,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454047003321"]
[null,null,"Autore",null,"Lewis Ricki"]
[null,null,"Titolo",null,"Discovery [[electronic resource] ] : windows on the life sciences / / by Ricki Lewis"]
[null,null,"Pubbl/distr/stampa",null,"Malden, MA, : Blackwell Science, c2001"]
[null,null,"ISBN",null,"1-282-13975-4"]
[{"$nulls":4},"9786612139758"]
[{"$nulls":4},"1-4443-1313-4"]
[null,null,"Descrizione fisica",null,"1 online resource (251 p.)"]
[null,null,"Disciplina",null,"500"]
[{"$nulls":4},"572.8"]
[null,null,"Soggetti",null,"Molecular biology"]
[{"$nulls":4},"Biology, Experimental"]
[{"$nulls":4},"Biochemistry"]
[{"$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,"DISCOVERY: WINDOWS ON THE LIFE SCIENCES; TABLE OF CONTENTS; PREFACE; CHAPTER 1: ON DISCOVERY; SERENDIPITY; FOLLOWING A HUNCH: THE ROAD TO CISPLATIN; SEEING CONNECTIONS: FROM LETHARGIC GUINEA PIGS TO LITHIUM; SYSTEMATIC SEARCHES; NATURAL PRODUCTS CHEMISTRY; SYNTHETIC VERSUS COMBINATORIAL CHEMISTRY; Sequencing GENOMES; THE HUMAN GENOME PROJECT; CHAPTER 2: THE ORIGIN OF LIFE: WHEN CHEMISTRY BECAME BIOLOGY; SIDESTEPPING THE QUESTION OF HOW LIFE BEGAN; DEBUNKING SPONTANEOUS GENERATION; DISPROVING VITALISM; LIFE FROM SPACE: PERHAPS SOME EVIDENCE; SETTING THE SCENE; WHEN MIGHT LIFE HAVE ORIGINATED?"]
[{"$nulls":4},"WHERE COULD LIFE HAVE ARISEN PREBIOTIC SIMULATIONS; THE MILLER EXPERIMENT; OTHER PREBIOTlC SIMULATIONS; AFTER THE BUILDING BLOCKS FORM: POLYMERIZATION; PRELUDE TO AN RNA World; WHY RNA?; EVOLUTION IN A TEST TUBE; A PRE-RNA WORLD?; BETWEEN THE RNA World AND THE FIRST ORGANISM; A FINAL WORD ON CONTROVERSY; CHAPTER 3: GOING OUT ON A LIMB FOR THE TREE OF LIFE; IN THE LEGACY OF GALILEO; INSPIRATION FROM THE GENETIC CODE; ENTER EVOLUTION; THE EXPERIMENTS; THE ARKIES' DEBUT, IN PRINT; MAKING THE CASE; DETAILS EMERGE; ARKlES AFFECT "]
[{"$nulls":4},"BIOLOGICAL CLASSIFICATION; HISTORY OF BIOLOGICAL CLASSIFICATION"]
[{"$nulls":4},"DOMAINS ARRIVE-FOR SOME IT'S A SMALL WORLD AFTER ALL; A FINAL NOTE ON PERSPECTIVE; CHAPTER 4: IN PURSUIT OF PRIONS; EARLY CLUES: SCRAPIE, RIDA, AND CREUTZFELDT-JAKOB DISEASE; OF KURU AND CANNIBALS; INTO THE LAB TO ISOLATE THE AGENT; IATROGENIC CREUTZFELDT-JAKOB DISEASE ARISES; HUMAN GROWTH HORMONE FROM CADAVERS CAUSES A PRION DISEASE; PRUSINER AND PRIONS; THE BRITISH BEEF SCARE; 1985 TO 1987: 420 NEW BSE CASES; 1988: 3072 NEW BSE CASES; 1989: 7627 NEW BSE CASES; 1990: 14,371 NEW BSE CASES; 1991 TO 1992: THE NUMBERS OF NEW BSE CASES PEAK AT 25,644 AND 36,924"]
[{"$nulls":4},"1993: THE NUMBER OF NEW BSE CASES BEGINS TO FALL (33,574)1994; 1995; 1996; 1997; 1998; 1999; FATAL INSOMNIA; VISUALIZING PRIONS; THE YEAST CONNECTION; WHAT'S NEXT?; CHAPTER 5: THE TALE OF TELOMERES; DISCOVERING STICKY ENDS; THE HAYFLICK LIMIT; THE END REPLICATION PROBLEM; THE HAYFLICK LIMIT MEETS THE END REPLICATION PROBLEM; CLUES FROM CILIATES; PROBING HUMAN TELOMERES; THE PUZZLE PIECES ASSEMBLE; TRACKING TELOMERASE IN DIFFERENT CELL TYPES; MANIPULATING TELOMERASE; SHUTTING TELOMERASE OFF; TURNING TELOMERASE ON; THE FUTURE: TELOMERE MEDICINE?"]
[{"$nulls":4},"CHAPTER 6: STEM CELLS: THE SCIENCE OF SELF-RENEWAL FROM BONE MARROW TO BRAIN MARROW; A CELL'S POTENTIAL GONE HAYWIRE: TERATOMAS; STRAIN 129 LEADS TO IDENTIFYING STEM CELLS; TRACING THE ORIGIN OF A TERATOMA; A SURPRISE ANNOUNCEMENT CATALYZES CELL CULTURE; KNOCKOUTS BEGIN WITH EMBRYONIC STEM CELLS; ENTER EMBRYONIC GERM CELLS; BEYOND THE MOUSE; FINALLY-HUMAN EMBRYONIC STEM CELLS; ENTER ETHICS AND POLITICS; ADULT STEM CELLS: BONE MARROW TO BRAIN, LIVER, MUSCLE, AND BEYOND; BRAIN MARROW REVISITED; MORE QUESTIONS THAN ANSWERS; CHAPTER 7: THE ROOTS OF CLONING; THE AMPHIBIAN YEARS; THE MOUSE, TAKE 1"]
[{"$nulls":4},"OF BOVINES AND OVINES-COWS AND SHEEP"]
[null,null,null,"Sommario/riassunto","The goal of Discovery: Science as a Window to the World is to relay the excitement of science by exploring selected topics in biology and medicine in a way that reveals the process of discovery. Each chapter will focus on the curiosity and creativity that drives scientists to wonder, observe, question and experiment.  One impetus for this project is the recognition of a growing demand among instructors for a book that departs from fact-stuffed textbooks and instead engages students in the discovery process at a personal level. Emphasizes the process of discovery through"]
[null,"2.","Record Nr.",null,"UNISA996465875103316"]
[null,null,"Titolo",null,"Theorem Proving in Higher Order Logics [[electronic resource] ] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / / edited by Richard J. Boulton, Paul B. Jackson"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-44755-5"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 402 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2152"]
[null,null,"Disciplina",null,"004/.01/51"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[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 Talks -- JavaCard Program Verification -- View from the Fringe of the Fringe -- Using Decision Procedures with a Higher-Order Logic -- Regular Contributions -- Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS -- An Irrational Construction of ? from ? -- HELM and the Semantic Math-Web -- Calculational Reasoning Revisited An Isabelle/Isar Experience -- Mechanical Proofs about a Non-repudiation Protocol -- Proving Hybrid Protocols Correct -- Nested General Recursion and Partiality in Type Theory -- A Higher-Order Calculus for Categories -- Certifying the Fast Fourier Transform with Coq -- A Generic Library for Floating-Point "]
[{"$nulls":4},"Numbers and Its Application to Exact Computing -- Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain -- Abstraction and Refinement in Higher Order Logic -- A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL -- Representing Hierarchical Automata in Interactive Theorem Provers -- Refinement Calculus for Logic Programming in Isabelle/HOL -- Predicate Subtyping with Predicate Sets -- A Structural Embedding of Ocsid in PVS -- A Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2 -- The HOL/NuPRL Proof Translator -- Formalizing Convex Hull Algorithms -- Experiments with Finite Tree Automata in Coq -- Mizar Light for HOL Light."]
[null,null,null,"Sommario/riassunto","This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001). This was held 4–7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banquet in the Playfair Library of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have been p- lished as volume 2144 of Springer-Verlag’s Lecture Notes in Computer Science series, with Tiziana Margaria and Tom Melham as editors. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee. Of these submissions, 23 were accepted for presentation at the conference and publication in this volume. In keeping with tradition, TPHOLs 2001 also o?ered a venue for the presentation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the Division of Informatics at the University of Edinburgh."]