{"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":68,"n_cols":5,"rows_kept":68,"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],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[38,2,38,3],[39,2,39,3],[43,2,43,3],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[48,4,48,5],[49,2,49,3],[50,2,50,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[60,2,60,3],[61,2,61,3],[65,2,65,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910452090003321"]
[null,null,"Autore",null,"Blackburn Simon R."]
[null,null,"Titolo",null,"Enumeration of finite groups / / Simon R. Blackburn, Peter M. Neumann, Geetha Venkataraman [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2007"]
[null,null,"ISBN",null,"1-107-18521-1"]
[{"$nulls":4},"1-281-15366-4"]
[{"$nulls":4},"9786611153663"]
[{"$nulls":4},"1-139-13345-4"]
[{"$nulls":4},"0-511-35537-8"]
[{"$nulls":4},"0-511-35487-8"]
[{"$nulls":4},"0-511-35429-0"]
[{"$nulls":4},"0-511-54275-5"]
[{"$nulls":4},"0-511-35589-0"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 281 pages) : digital, PDF file(s)"]
[null,null,"Collana",null,"Cambridge tracts in mathematics ; ; 173"]
[null,null,"Disciplina",null,"512.23"]
[null,null,"Soggetti",null,"Finite groups"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Some basic observations -- Preliminaries -- Enumerating p-groups: a lower bound -- Enumerating p-groups: upper bounds -- Some more preliminaries -- Group extensions and cohomology -- Some representation theory -- Primitive soluble linear groups -- The orders of groups -- Conjugacy classes of maximal soluble subgroups of symmetric groups -- Enumeration of finite groups with abelian Sylow subgroups -- Maximal soluble linear groups -- Conjugacy classes of maximal soluble subgroups of the general linear groups -- Pyber's theorem: the soluble case -- Pyber's theorem: the general case -- Enumeration within varieties of abelian groups -- Enumeration within small varieties of A-groups -- Enumeration within small varieties of p-groups."]
[null,null,null,"Sommario/riassunto","How many groups of order n are there? This is a natural question for anyone studying group theory, and this Tract provides an exhaustive and up-to-date account of research into this question spanning almost fifty years. The authors presuppose an undergraduate knowledge of group theory, up to and including Sylow's Theorems, a little knowledge "]
[{"$nulls":4},"of how a group may be presented by generators and relations, a very little representation theory from the perspective of module theory, and a very little cohomology theory - but most of the basics are expounded here and the book is more or less self-contained. Although it is principally devoted to a connected exposition of an agreeable theory, the book does also contain some material that has not hitherto been published. It is designed to be used as a graduate text but also as a handbook for established research workers in group theory."]
[null,"2.","Record Nr.",null,"UNISA996465821903316"]
[null,null,"Titolo",null,"Logical Aspects of Computational Linguistics [[electronic resource] ] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 366 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 3492"]
[null,null,"Disciplina",null,"410.285"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[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 bibliographic references and index."]
[null,null,"Nota di contenuto",null,"LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation Semantics -- A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars -- Large Scale Semantic Construction for Tree Adjoining Grammars -- A Compositional Approach Towards Semantic Representation and Construction of ARABIC -- Strict Deterministic Aspects of Minimalist Grammars -- A Polynomial Time Extension of Parallel Multiple Context-Free Grammar -- Learnable Classes of General Combinatory Grammars -- On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information -- Describing Lambda Terms in Context Unification -- Category Theoretical Semantics for Pregroup Grammars -- Feature Constraint Logic and Error Detection in ICALL Systems -- Linguistic Facts as Predicates over Ranges of the Sentence -- How to "]
[{"$nulls":4},"Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic -- When Categorial Grammars Meet Regular Grammatical Inference -- The Expressive Power of Restricted Fragments of English -- The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars -- More Algebras for Determiners."]
[null,null,null,"Sommario/riassunto","Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface."]
[null,"3.","Record Nr.",null,"UNINA9910789975003321"]
[null,null,"Autore",null,"Prince Stephen <1955-2020.>"]
[null,null,"Titolo",null,"Digital visual effects in cinema [[electronic resource] ] : the seduction of reality / / Stephen Prince"]
[null,null,"Pubbl/distr/stampa",null,"New Brunswick, N.J., : Rutgers University Press, c2012"]
[null,null,"ISBN",null,"1-78402-669-7"]
[{"$nulls":4},"1-283-86454-1"]
[{"$nulls":4},"0-8135-5218-4"]
[null,null,"Descrizione fisica",null,"1 online resource (270 p.)"]
[null,null,"Disciplina",null,"778.5/3"]
[null,null,"Soggetti",null,"Motion picture industry - Technological innovations"]
[{"$nulls":4},"Motion pictures - Aesthetics"]
[{"$nulls":4},"Digital cinematography"]
[{"$nulls":4},"Cinematography - Special effects"]
[{"$nulls":4},"Cinematography - Technological innovations"]
[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,"Introduction : beyond spectacle -- Through the looking glass -- Painting with digital light -- Actors and algorithms -- Digital environment creation -- Immersive aesthetics -- Conclusion : the pleasures of illusion."]
[null,null,null,"Sommario/riassunto","Avatar. Inception. Jurassic Park. Lord of the Rings. Ratatouille. Not only are these some of the highest-grossing films of all time, they are also prime examples of how digital visual effects have transformed Hollywood filmmaking. Some critics, however, fear that this digital revolution marks a radical break with cinematic tradition, heralding the death of serious realistic movies in favor of computer-generated pure spectacle. Digital Visual Effects in Cinema counters this alarmist reading, by showing how digital effects–driven films should be understood as a continuation of the narrative and stylistic traditions that have defined American cinema for decades. Stephen Prince argues for an understanding of digital technologies as an expanded toolbox, available to enhance both realist films and cinematic fantasies. He offers a detailed exploration of each of these tools, from lighting technologies to image capture to stereoscopic 3D. Integrating aesthetic, historical, and theoretical analyses of digital visual effects, Digital Visual Effects in Cinema is an essential guide for understanding "]
[{"$nulls":4},"movie-making today."]