{"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":48,"n_cols":5,"rows_kept":48,"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],[4,2,4,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[42,2,42,3],[46,2,46,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910480420103321"]
[null,null,"Titolo",null,"Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland / / Alexandre V. Borovik, editor"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society, , [2005]"]
[{"$nulls":4},"©2005"]
[null,null,"ISBN",null,"0-8218-7968-5"]
[{"$nulls":4},"0-8218-3618-8"]
[null,null,"Descrizione fisica",null,"1 online resource (360 p.)"]
[null,null,"Collana",null,"Contemporary mathematics, , 0271-4132 ; ; 378"]
[null,null,"Disciplina",null,"512/.2"]
[null,null,"Soggetti",null,"Group theory"]
[{"$nulls":4},"Finite groups"]
[{"$nulls":4},"Infinite groups"]
[{"$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."]
[null,null,"Nota di contenuto",null,"\"\"Contents\"\"; \"\"Preface\"\"; \"\"Formal languages and their application to combinatorial group theory\"\"; \"\"1. Introduction\"\"; \"\"2. Notation and definitions\"\"; \"\"3. Regular languages\"\"; \"\"4. Rational sets\"\"; \"\"5. Context free languages\"\"; \"\"7. Other language classes\"\"; \"\"References\"\"; \"\"Regular free length functions on Lyndon's free Z[t]-group FZ[t]\"\"; \"\"1. Introduction\"\"; \"\"2. Preliminaries\"\"; \"\"3. A-words\"\"; \"\"4. A free Lyndon length function on CDR(A, X)\"\"; \"\"5. Lyndon's Exponentiation\"\"; \"\"6. Extensions of centralizers\"\"; \"\"7. Embedding of Fz[t] into CDR(Z[t], X)\"\""]
[{"$nulls":4},"\"\"8. Algorithmic problems for FZ[t]\"\"\"\"References\"\"; \"\"A-free groups and tree-free groups\"\"; \"\"Effective JSJ decompositions\"\"; \"\"Introduction\"\"; \"\"1. Preliminaries\"\"; \"\"2. Splittings\"\"; \"\"3. Algorithms over fully residually free groups\"\"; \"\"4. Generalized equations over free groups\"\"; \"\"5. Elimination process: construction of T(â??)\"\"; \"\"6. Elimination process: periodic structures\"\"; \"\"7. Elimination process: splittings of coordinate groups\"\"; \"\"8. Structure of solutions, the solution tree Tsol(â??, A)\"\"; \"\"9. Maximal standard quotients and canonical embeddings of F-groups\"\""]
[{"$nulls":4},"\"\"10. Effective free decompositions\"\"\"\"11. Homomorphisms of finitely generated groups into fully residually free groups\"\"; \"\"12. Free Lyndon length functions on NTQ groups.\"\"; \"\"13. Effective construction of JSJ "]
[{"$nulls":4},"decompositions of groups from F.\"\"; \"\"14. Homomorphisms into NTQ groups\"\"; \"\"15. Some applications to equations in F-groups\"\"; \"\"References\"\"; \"\"Algebraic geometry over free groups: Lifting solutions into generic points\"\"; \"\"Introduction\"\"; \"\"1. Scheme of the proof\"\"; \"\"2. Elementary properties of liftings\"\"; \"\"3. Cut equations\"\""]
[{"$nulls":4},"\"\"4. Basic automorphisms of orientable quadratic equations\"\"\"\"5. Generic solutions of orientable quadratic equations\"\"; \"\"6. Small cancellation solutions of standard orientable equations\"\"; \"\"7. Implicit function theorem for quadratic equations\"\"; \"\"8. Implicit function theorem for NTQ systems\"\"; \"\"9. Groups that are elementary equivalent to a free group\"\"; \"\"References\"\"; \"\"Divisibility theory and complexity of algorithms for free partially commutative groups\"\"; \"\"1. Introduction\"\"; \"\"2. Free partially commutative groups\"\"; \"\"3. Divisibility Theory\"\""]
[{"$nulls":4},"\"\"4. Normal forms arising from H N N extensions\"\"\"\"5. Conjugacy problem\"\"; \"\"6. Complexity of algorithms: some estimates\"\"; \"\"References\"\""]
[null,"2.","Record Nr.",null,"UNINA9910971539203321"]
[null,null,"Titolo",null,"Ballistic imaging / / Committee to Assess the Feasibility, Accuracy, and Technical Capability of a National Ballistics Database ; Daniel L. Cork ... [et al.], editors"]
[null,null,"Pubbl/distr/stampa",null,"Washington, D.C., : National Academies Press, 2008"]
[null,null,"ISBN",null,"9786611726751"]
[{"$nulls":4},"9780309134316"]
[{"$nulls":4},"0309134315"]
[{"$nulls":4},"9781281726759"]
[{"$nulls":4},"1281726753"]
[{"$nulls":4},"9780309117258"]
[{"$nulls":4},"0309117259"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (345 p.)"]
[null,null,"Disciplina",null,"363.25/62"]
[null,null,"Soggetti",null,"Forensic ballistics - Atlases - Data processing - Government policy - United States"]
[{"$nulls":4},"Bullets - Identification"]
[{"$nulls":4},"Images, Photographic"]
[{"$nulls":4},"Electronic records - United States - Management - Data processing"]
[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,"pt. 1. Context for ballistic imaging analysis -- pt. 2. Current ballistic imaging and databases -- pt. 3. Implications for a national reference ballistic image database -- pt. 4. Future directions."]
[null,null,null,"Sommario/riassunto","Ballistic Imaging assesses the state of computer-based imaging technology in forensic firearms identification. The book evaluates the current law enforcement database of images of crime-related cartridge cases and bullets and recommends ways to improve the usefulness of the technology for suggesting leads in criminal investigations. It also advises against the construction of a national reference database that would include images from test-fires of every newly manufactured or imported firearm in the United States. The book also suggests further research on an alternate method for generating an investigative lead to the location where a gun was first sold: \"microstamping,\" the direct imprinting of unique identifiers on firearm parts or ammunition."]