{"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":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],[3,2,3,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[23,2,23,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],[30,2,30,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[47,2,47,3],[48,2,48,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910782594003321"]
[null,null,"Titolo",null,"The many roots of medieval logic [[electronic resource] ] : the aristotelian and the non-aristotelian traditions : special offprint of Vivarium 45, 2-3 (2007) / / edited by John Marenbon"]
[null,null,"Pubbl/distr/stampa",null,"Leiden ; ; Boston, : Brill, 2007"]
[null,null,"ISBN",null,"1-281-93729-0"]
[{"$nulls":4},"9786611937294"]
[{"$nulls":4},"90-474-2294-5"]
[null,null,"Descrizione fisica",null,"1 online resource (268 p.)"]
[null,null,"Collana",null,"Brill eBook titles 2007"]
[null,null,"Disciplina",null,"160.9/02"]
[null,null,"Soggetti",null,"Logic, Medieval"]
[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","\"Originally published as Volume 45, No. 2-3 (2007) of Brill's Journal Vivarium.\"--T.p. verso."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. [244]-262)."]
[null,null,"Nota di contenuto",null,"Roots, traditions and the multiplicity of medieval logic -- The traditions of ancient logic-cum-grammar in the Middle Ages : what's the problem? / Sten Ebbesen -- Stoic logic and linguistics -- Denying conditionals : Abaelard and the failure of Boethius' account of the hypothetical syllogism / Christopher J. Martin -- Are thoughts and sentences compositional? : a controversy between Abelard and a pupil of Alberic on the reconciliation of ancient theses on mind and language / Martin Lenz -- Res meaning a thing thought : the influence of the Ars Donati / Anne Grondeux -- Platonism in logic and semantics -- The logic of being : Eriugena's dialectical ontology / Christophe Erismann -- Priscian on divine ideas and mental conceptions : the discussions in the Glosulae in Priscianum, the Notae Dunelmenses, William of Champeaux and Abelard / Irène Rosier-Catach -- Symbolism and linguistic semantics : some questions (and confusions) from late antique neoplatonism up to Eriugena / Stefania Bonfiglioli and Costantino Marmo -- Aristotle, Augustine and stoicism -- \"Utrum idem sint dicere et intelligere sive videre in mente\" : Robert Kilwardby, Quaestiones in librum primum sententiarum / Mary Sirridge -- Mental language and tradition encounters in medieval philosophy : Anselm, Albert and Ockham / Claude Albert -- Intentionality and truth-making : Augustine's influence on Burley and Wyclif's propositional semantics / Laurent Cesalli -- Aristotelian traditions in medieval logic -- Names that can be said of everything : Porphyrian tradition and "]
[{"$nulls":4},"'transcendental' terms in twelfth-century logic / Luisa Valente -- Metaphor and the logicians from Aristotle to Cajetan / E. Jennifer Ashworth -- Scepticism, demonstration and the infinite regress argument  (Nicholas of Autrecourt and John Buridan) / Christophe Grellard --  Theory of supposition vs. theory of fallacies in Ockham / Catarina Dutilh Novaes -- Richard Billingham's Speculum puerorum, some medieval commentaries and Aristotle / Egbert P. Bos."]
[null,null,null,"Sommario/riassunto","Medieval logic is usually divided into the branches that derived from Aristotle's organon - the 'logica vetus' and 'logica nova', and those invented in the Middle Ages, the 'logica modernorum'. In this volume, a group of distinguished specialists asks whether the ancient roots of medieval logic were not in fact more varied. Stoic logic was mostly lost, but were some of its themes transmitted, even in distorted form, through Boethius and through the grammatical tradition? And did other schools, such as the sceptics and the Platonists, contribute in their own ways to medieval logic?"]
[null,"2.","Record Nr.",null,"UNISALENTO991003069469707536"]
[null,null,"Autore",null,"Leonardo da Vinci <1452-1519.>"]
[null,null,"Titolo",null,"Characaturas by Leonardo da Vinci from drawings by Winceslaus Hollar out of the Portland Museum"]
[null,null,"Pubbl/distr/stampa",null,"[S.l.]John Clarke, 1786"]
[null,null,"Descrizione fisica",null,"[1] p. : ant. (ritr.), [13] tav.; 29 cm."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Microfilm"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Riproduzione in microfiche dell'originale conservato presso la Biblioteca Apostolica Vaticana"]
[null,"3.","Record Nr.",null,"UNINA9910483505403321"]
[null,null,"Titolo",null,"Self-Organizing Architectures : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-280-38797-1"]
[{"$nulls":4},"9786613565891"]
[{"$nulls":4},"3-642-14412-8"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 301 p. 110 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 6090"]
[null,null,"Disciplina",null,"003.7"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[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","\"SOAR 2009 was organized in conjunction with the Working IEEE/IFIP Conference on Software Architecture (WICSA) and the European Conference on Softward Architecture (ECSA), Cambridge, UK, September 14, 2009\"--P. [vii]."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Self-adaptive Approaches -- Elements of Self-adaptive Systems – A Decentralized Architectural Perspective -- Improving Architecture-Based Self-adaptation Using Preemption -- Weaving the Fabric of the Control Loop through Aspects -- Self-organizing Approaches -- Self-organisation for Survival in Complex Computer Architectures -- Self-organising Sensors for Wide Area Surveillance Using the Max-sum Algorithm -- Multi-policy Optimization in Self-organizing Systems -- A Bio-inspired Algorithm for Energy Optimization in a Self-organizing "]
[{"$nulls":4},"Data Center -- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services -- Hybrid Approaches -- Self-adaptive Architectures for Autonomic Computational Science -- Modelling the Asynchronous Dynamic Evolution of Architectural Types -- A Self-organizing Architecture for Traffic Management -- On the Modeling, Refinement and Integration of Decentralized Agent Coordination -- A Self-organizing Architecture for Pervasive Ecosystems."]
[null,null,null,"Sommario/riassunto","Self-adaptability has been proposed as an e'ective approach to automate the complexity associated with the management of modern-day software systems. Self-adaptability endows a software system with the capability to adapt itself at runtime to deal with changing operating conditions or user requirements. Researchersinself-adaptivesystemsmostlytakeanarchitecture-centricfocus on developing top-down solutions. In this approach, the system is monitored to maintain an explicit (architectural) representation of the system and based on a set of (possibly dynamic) goals, the system's structure or behavior is adapted. Researchersofself-organizingsystemsmostlytakeanalgorithmic/organizational focus on developing bottom-up solutions. In this approach, the system com- nentsadapttheir localbehaviororpatternsofinteractiontochangingconditions and cooperatively realize system adaptation. Self-organizing approaches are - ten inspired by biological or natural phenomena. With the term \"self-organizing architectures\" (SOAR) we refer to an engineering approachfor self-adaptive s- tems that combinesarchitecturalapproachesforself-adaptability withprinciples and techniques from self-organization. Whereas both lines of research have been successful at alleviating some of the associated challenges of constructing self-adaptive systems, persistent ch- lenges remain, in particular for building complex distributed self-adaptive s- tems. Among the hard challenges in the architectural-centric approach are h- dling uncertainty and providing decentralized scalable solutions. Some of the hard challenges in the self-organizing approach are connecting local interactions with global system behavior, and accommodating a disciplined engineering - proach. The awarenessgrows that for building complex distributed self-adaptive systems, principles from both self-adaptive systems and self-organizing systems have to be combined."]