{"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":47,"n_cols":5,"rows_kept":47,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[15,2,15,3],[16,2,16,3],[19,2,19,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[40,2,40,3],[41,2,41,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910254342403321"]
[null,null,"Titolo",null,"Advances in Mechanical Engineering : Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2016 / / edited by Alexander N. Evgrafov"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-53363-0"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 189 p. 114 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Mechanical Engineering, , 2195-4364"]
[null,null,"Disciplina",null,"621"]
[null,null,"Soggetti",null,"Machinery"]
[{"$nulls":4},"Mechanics, Applied"]
[{"$nulls":4},"Solids"]
[{"$nulls":4},"Mathematics - Data processing"]
[{"$nulls":4},"Machinery and Machine Elements"]
[{"$nulls":4},"Solid Mechanics"]
[{"$nulls":4},"Computational Science and Engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"The Combined Cold Axial Rotary Forging of Thick Hollow Flanges -- Bench Tests of Vibroacoustic Effects -- Stability of Walking Algorithms -- Deleting Objects Algorithm for the Optimization of Orthogonal Packing Problems -- Computational Technique of Plotting Campbell Diagrams for Turbine Blades -- Computer Simulation of Mechanisms -- Principle of Compatibility of Heterogeneous Additives in Triboactive Metalworking Fluids for Edge Cutting of Metals -- Some Ways of Stable Counterbalancing in Respect to Moving Masses on Centrifuges -- Self-Oscillations of Machines and Mechanisms -- Analysis of Machine Tool Installation on the Base -- About the Nature Of Dissipative Processes in Cutting Treatments of Titanium vanes -- The Model of the Elastic–Plastic Deformation of a Structural Member -- Parametric Vibrations Excitation in Cyclic Mechanisms -- Theoretical and Practical Conditions of Fully-Reversible Rotation in Bennett Mechanisms -- Dislocation-phonon Mechanism and Interpolation Dependence of Fatigue-Damaged Structural Steel -- Calculation of Shells of Revolution with Arbitrary Meridian Oscillations."]
[null,null,null,"Sommario/riassunto","This book draws together the most interesting recent results to emerge in mechanical engineering in Russia, providing a fascinating overview of the state of the art in the field in that country which will be of interest to a wide readership. A broad range of topics and issues in modern engineering are discussed, including dynamics of machines, materials engineering, structural strength and tribological behavior, transport technologies, machinery quality and innovations. The book comprises selected papers presented at the conference \"Modern Engineering: Science and Education\", held at the Saint Petersburg State Polytechnic University in 2016 with the support of the Russian Engineering Union. The authors are experts in various fields of engineering, and all of the papers have been carefully reviewed. The book will be of interest to mechanical engineers, lecturers in engineering disciplines and engineering graduates."]
[null,"2.","Record Nr.",null,"UNINA9910483966103321"]
[null,null,"Titolo",null,"Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / / edited by Sébastien Ferré, Sebastian Rudolph"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-01815-7"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 341 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 5548"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Algebra"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Data mining"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Data Mining and Knowledge Discovery"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[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 -- Usability Issues in Description Logic Knowledge Base Completion -- Concept Lattice Orbifolds – First Steps -- The Advent of Formal Diagrammatic Reasoning Systems -- The Logic of Learning -- What Can Formal Concept Analysis Do for Data Warehouses? -- Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts -- Can Ontology Inform Ontologies? -- Theory -- Factor Analysis of Incidence Data via Novel Decomposition of Matrices -- A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules -- Robust Elements in Rough Set Abstractions -- Some Computational Problems Related to Pseudo-intents -- Algorithms -- Exploring Finite Models in the Description Logic  -- Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice -- Context Graphs — Representing Formal Concepts by Connected "]
[{"$nulls":4},"Subgraphs -- Handling Large Formal Context Using BDD – Perspectives and Limitations -- Applications -- A Novel Approach to Cell Formation -- Identifying Ecological Traits: A Concrete FCA-Based Approach -- A Concept Lattice-Based Kernel for SVM Text Classification -- Two FCA-Based Methods for Mining Gene Expression Data -- Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS -- Revisiting the Potentialities of a Mechanical Thesaurus -- FCA-Based Two Dimensional Pattern Matching -- History -- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. The 15 revised full papers presented were carefully reviewed and selected from 29 submissions for inclusion in the book. The papers comprise state of the art research and present new results in Formal Concept Analysis and related fields. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA such as data visualization, information retrieval, machine learning, data analysis and knowledge management."]