{"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":73,"n_cols":5,"rows_kept":73,"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],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[37,2,37,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[48,2,48,3],[50,2,50,3],[50,4,50,5],[51,2,51,3],[51,4,51,5],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[66,2,66,3],[67,2,67,3],[70,2,70,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910459440803321"]
[null,null,"Titolo",null,"Rule-following and meaning / / edited by Alexander Miller and Crispin Wright"]
[null,null,"Pubbl/distr/stampa",null,"Abingdon, Oxon : , : Routledge, , 2014"]
[null,null,"ISBN",null,"1-317-48964-0"]
[{"$nulls":4},"1-317-48965-9"]
[{"$nulls":4},"1-315-71067-6"]
[{"$nulls":4},"1-282-92136-3"]
[{"$nulls":4},"9786612921360"]
[{"$nulls":4},"1-84465-335-8"]
[null,null,"Descrizione fisica",null,"1 online resource (313 p.)"]
[null,null,"Disciplina",null,"121.68"]
[null,null,"Soggetti",null,"Ethics"]
[{"$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 2002 by Acumen."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; Half Title; Title; Copyright; Contents; Acknowledgements; The Contributors; 1 Introduction; 2 Skepticism and Semantic Knowledge; 3 The Individual Strikes Back; 4 Wittgenstein on Following a Rule; 5 Wittgenstein, Kripke and Non-Reductionism about Meaning; 6 Kripke on Wittgenstein on Rules; 7 Critical Notice of Colin McGinn's Wittgenstein on Meaning; 8 Meaning and Intention as Judgement Dependent; 9 The Rule-Following Considerations; 10 The Reality of Rule-Following; 11 Truth Rules, Hoverflies, and the Kripke-Wittgenstein Paradox; 12 Kripke on Wittgenstein on Normativity"]
[{"$nulls":4},"13 Meaning, Use and Truth14 Kripke's Normativity Argument; Guide to Further Reading; Index"]
[null,null,null,"Sommario/riassunto","The rule-following debate, in its concern with the metaphysics and epistemology of linguistic meaning and mental content, goes to the heart of the most fundamental questions of contemporary philosophy of mind and language. This volume gathers together the most important contributions to the topic, including papers by Simon Blackburn, Paul Boghossian, Graeme Forbes, Warren Goldfarb, Paul Horwich, John McDowell, Colin McGinn, Ruth Millikan, Philip Pettit, George Wilson, Crispin Wright, and Jose Zalabardo. The debate has centred on Saul Kripke's reading of the rule-following sections in "]
[{"$nulls":4},"Wittgenst"]
[null,"2.","Record Nr.",null,"UNINA9910161649803321"]
[null,null,"Autore",null,"Sebastien Duplessis"]
[null,null,"Titolo",null,"Genomics Research on Non-Model Plant Pathogens: Delivering Novel Insights into Rust Fungus Biology"]
[null,null,"Pubbl/distr/stampa",null,"Frontiers Media SA, 2016"]
[null,null,"Descrizione fisica",null,"1 online resource (166 p.)"]
[null,null,"Collana",null,"Frontiers Research Topics"]
[null,null,"Soggetti",null,"Botany & plant sciences"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","Fungi of the order Pucciniales cause rust diseases on many plants including important crops and trees widely used in agriculture, forestry and bioenergy programs; these encompass gymnosperms and angiosperms, monocots and dicots, perennial and annual plant species. These fungi are obligate biotrophs and -except for a few cases- cannot be cultivated outside their hosts in a laboratory. For this reason, standard functional and molecular genetic approaches to study these pathogens are very challenging and the means to study their biology, i.e. how they infect, develop and reproduce on plant hosts, are rather limited, even though they rank among the most devastating pathogens. Among fungal plant pathogens, rust fungi display the most complex lifecycles with up to five different spore forms and for many rust fungi, unrelated alternate hosts on which sexual and clonal reproduction are achieved. The genomics revolution and particularly the application of new generation sequencing technologies have greatly changed the way we now address biological studies and has in particular accelerated and made feasible, molecular studies on non-model species, such as rust fungi. The goal of this research topic is to gather articles that present recent advances in the understanding of rust fungi biology, their complex lifecycles and obligate biotrophic interactions with their hosts, through the means of genomics. This includes genome sequencing and/or resequencing of isolates, RNA-Seq or large-scale transcriptome analyses, genome-scale detailed annotation of gene families, and comparative analyses among the various rust fungi and, where feasible, with other obligate biotrophs or fungi displaying distinct trophic "]
[{"$nulls":4},"modes. This Research Topic provides a great opportunity to provide an up-to-date account of rust fungus biology through the lens of genomics, including state-of-the-art technologies developed to achieve this knowledge."]
[null,"3.","Record Nr.",null,"UNINA9910975158503321"]
[null,null,"Titolo",null,"Knowledge, language, and interpretation : on the philosophy of Donald Davidson / / Maria Christina Amoretti, Nicla Vassallo (eds.)"]
[null,null,"Pubbl/distr/stampa",null,"Frankfurt, : Ontos Verlag, 2008"]
[null,null,"ISBN",null,"3-86838-000-0"]
[{"$nulls":4},"3-11-032252-8"]
[null,null,"Descrizione fisica",null,"1 online resource (227 p.)"]
[null,null,"Collana",null,"Epistemische Studien ; ; Bd. 14"]
[null,null,"Disciplina",null,"100"]
[null,null,"Soggetti",null,"Philosophy"]
[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."]
[null,null,"Nota di contenuto",null,"Frontmatter -- CONTENTS -- Introduction -- Fly Swatting: Davidsonian Truth Theories and Context / SAINSBURY, R. M. -- Frege and Davidson on Predication / Picardi, Eva -- Events and Conservativity: Clues towards Language Evolution / Piattelli Palmarini, Massimo -- Davidson and Dummett on the Social Character of Language / HORNSBY, Jennifer -- Davidson on Epistemic Norms / ENGEL, Pascal -- The Place of Ontology in Davidson's Theory of Interpretation / Bottani, Andrea C. -- Language and Conceptual Schemes / Marsonet, Michele -- Davidson's Naturalism / De Caro, Mario -- Davidson, Self-Knowledge, and Skepticism / AMORETTI, M. Cristina -- List of Contributors -- Backmatter"]
[null,null,null,"Sommario/riassunto","Thanks to their heterogeneity, the nine essays in this volume offer a clear testimony of Donald Davidson's authority, and they undoubtedly show how much his work - even if it has raised many doubts and criticisms - has been, and still is, highly influential and significant in contemporary analytical philosophy for a wide range of subjects. Moreover, the various articles not only critically and carefully analyze Davidson's theses and arguments (in particular those concerning language and knowledge), but they also illustrate how such theories and ideas, despite their unavoidable difficulties, are still alive and potentially fruitful. Davidon's work is indeed an important and provocative starting point for discussing the future progress of philosophy."]
[null,"4.","Record Nr.",null,"UNINA9910483633903321"]
[null,null,"Titolo",null,"Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"3-642-40206-2"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 359 p. 29 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8089"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Quantum computers"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Quantum Computing"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[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,"Nota di contenuto",null,"Invited Talks -- An Effect System for Algebraic Effects and Handlers -- Automata and Algebras for Infinite Words and Trees -- Positive Inductive-Recursive Definitions -- Coalgebraic up-to techniques -- Contributed Papers -- Exploiting Algebraic Laws to Improve Mechanized Axiomatization -- Positive Fragments of Coalgebraic Logics -- Many-valued Relation Lifting and Moss' Coalgebraic Logic -- Saturated Semantics for Coalgebraic Logic Programming -- Presenting Distributive Laws -- Interaction and observation: categorical semantics of reactive systems trough dialgebras -- Homomorphisms of coalgebras from predicate liftings -- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality -- Trace Semantics via Generic Observations -- Full abstraction for fair testing in CCS -- A simple case of rationality of escalation -- Coalgebras with Symmetries and Modelling Quantum Systems -- From Operational Chu Duality to Coalgebraic Quantum Symmetry -- Noninterfering Schedulers/When Possibilistic Noninterference Implies Probabilistic Noninterference -- Simulations and Bisimulations For Coalgebraic "]
[{"$nulls":4},"Modal Logics -- A Coalgebraic View of \"-Transitions -- Nets, relations and linking diagrams -- A Logic-Programming Semantics of Services -- CALCO-Tools Workshop -- Preface to CALCO-Tools -- Checking Conservativity With Hets -- The HI-Maude Tool -- Constructor-based Inductive Theorem Prover -- A Timed CTL Model Checker for Real-Time Maude -- Hybridisation at Work -- Penrose: Putting Compositionality to Work For Petri Net Reachability -- QStream: A Suite of Streams."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles."]