{"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":69,"n_cols":5,"rows_kept":69,"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],[5,2,5,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],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[23,2,23,3],[33,2,33,3],[34,2,34,3],[36,2,36,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[42,2,42,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[60,2,60,3],[61,2,61,3],[65,2,65,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990008475450403321"]
[null,null,"Autore",null,"International Colloquium on Mycenaean Studies"]
[null,null,"Titolo",null,"Floreant Studia Mycenaea : Akten des 10. Internationalen Mykenologischen Colloquiums in Salzburg vom 1.-5. Mai 1995 / hrsg. von Sigrid Deger-Jalkotzy, Stefan Hiller, Oswald Panagl ; unter Mitarb. von Georg Nightingale und Thomas Lindner"]
[null,null,"Pubbl/distr/stampa",null,"Wien : Österreichischen Akademie der Wissenschaften, ©1999"]
[null,null,"ISBN",null,"3-7001-2787-1"]
[null,null,"Descrizione fisica",null,"2 v. (644 p., 1 c. ripieg.) : ill. ; 30 cm"]
[null,null,"Collana",null,"Veröffentlichungen der Mykenischen Kommission . 18 , Mykenische Studien / hrsg. von Sigrid Deger-Jalkotzy ; 22"]
[null,null,"Disciplina",null,"938.8"]
[null,null,"Locazione",null,"FLFBC"]
[null,null,"Collocazione",null,"938.8 MYK 2 (1-2)"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","In testa al front.: Österreichischen Akademie der Wissenschaften, Philosophish-Historische Klasse Denkschriften, 274. Bd"]
[null,"2.","Record Nr.",null,"UNINA9910357845703321"]
[null,null,"Titolo",null,"Reflections on the Foundations of Mathematics : Univalent Foundations, Set Theory and General Thoughts / / edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-15655-9"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (510 pages)"]
[null,null,"Collana",null,"Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, , 2542-8292 ; ; 407"]
[null,null,"Disciplina",null,"511.3"]
[{"$nulls":4},"511.322"]
[null,null,"Soggetti",null,"Mathematics - Philosophy"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Mathematical physics"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Philosophy of Mathematics"]
[{"$nulls":4},"Mathematics of Computing"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Theoretical, Mathematical and Computational Physics"]
[{"$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,"Nota di contenuto",null,"Part I: Current Challenges for the Set Theoretic Foundations -- 1. Neil Barton and Sy-David Friedman: Does set theory need an apology? -- 2. Laura Fontanella: The choice of new axioms in set theory -- 3. Michèle Friend: Pluralism in Foundations of Mathematics: Oxymoron, Paradox, Neither or Both? -- 4. Deborah Kant: A distinction between meta set theory and object set theory -- 5. Jan von Plato: The weaknesses of set theory -- 6. Claudio Ternullo: Multiversism and Naturalism -- 7. Philip Welch: Proving Theorems from Reflection: Global Reflection Theorems -- Part II: What are the Univalent Foundations? -- 8. Benedikt Ahrens and Paige North: Univalent foundations and the equivalence principle -- 9. Thorsten Altenkirch: A constructive justification of Homotopy Type Theory -- 10. Ulrik Buchholtz: Title: Higher structures in Homotopy Type Theory -- 11. Andrei Rodin: Models of HoTT and the "]
[{"$nulls":4},"Semantic View of Theories -- 12. Urs Schreiber: Modern Physics formalized in Modal Homotopy Type Theory -- 13. Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics -- Part III: Thoughts on the Foundations of Mathematics -- 14. Nathan Bowler: Foundations for the working mathematician, and for their computer -- 15. Merlin Carl: Formal and Natural Proof - A phenomenological approach -- 16. Stefania Centrone and Deniz Sarikaya: Thoughts on the Foundation of Mathematics: Logicism, Intuitionism and Formalism -- 17. Mirna Džamonja: A new foundational crisis in mathematics, is it really happening? -- 18. Penelope Maddy: What foundational jobs do we want done? -- 19. Giovanni Sambin: Dynamics in foundations: what does it mean in practice -- 20. Roy Wagner: Does mathematics need foundations?."]
[null,null,null,"Sommario/riassunto","This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics."]
[null,"3.","Record Nr.",null,"UNINA9910483440503321"]
[null,null,"Titolo",null,"Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II / / edited by Fu Lee Wang, Hepu Deng, Jingsheng Lei"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-280-39001-8"]
[{"$nulls":4},"9786613567932"]
[{"$nulls":4},"3-642-16527-3"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXII, 386 p. 149 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 6320"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[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,"Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A Method to Identify Damage of Roof Truss under Static Load Using Genetic Algorithm -- Non-linear Improvement on Hydraulic Pump and Motor Models Based on Parameter Optimization Algorithms -- Diurnal and Seasonal Changes in Stem Water Content of Single Yulan Magmolia Tree -- Reliability Analysis on Wing Structures under the Gust Load -- Prediction Interval on Spacecraft Telemetry Data Based on Modified Block Bootstrap Method -- Application of Sleep Scheduling Mechanism in Three-Dimensional Environment -- Dimensions of E-commerce Benefits as Perceived by "]
[{"$nulls":4},"Businesses -- Nonlinear Analysis of a Hybrid Optimal Velocity Model with Relative Velocity for Traffic Flow -- Biomedical Informatics and Computation -- Insertion Force of Acupuncture for a Computer Training System -- Classifying Motor Imagery EEG Signals by Iterative Channel Elimination according to Compound Weight -- Automatic Reference Selection for Quantitative EEG Component Interpretation: Cross Spectrum Analysis Based on Bipolar EEG -- Mixed Numerical Integral Algorithm for Deformation Simulation of Soft Tissues -- Multiple Sequence Alignment Based on ABC_SA -- TDMA Grouping Based RFID Network Planning Using Hybrid Differential Evolution Algorithm -- An Improved PSO-SVM Approach for Multi-faults Diagnosis of Satellite Reaction Wheel -- Research of Long-Term Runoff Forecast Based on Support Vector Machine Method -- Fuzzy Computation -- Application of Latin Hypercube Sampling in the Immune Genetic Algorithm for Solving the Maximum Clique Problem -- The Selection of Sales Managers in Enterprises by Fuzzy Multi-criteria Decision-Making -- Towards the Impact of the Random Sequence on Genetic Algorithms -- A New Pairwise Comparison Based Method of Ranking LR-fuzzy Numbers -- A Fuzzy Assessment Model for Traffic Safety in City: A Case Study in China -- Genetic Algorithms -- An Optimization Model of Site Batch Plant Layout for Infrastructure Project -- Damping Search Algorithm for Multi-objective Optimization Problems -- Pruned Genetic Algorithm -- Immune Computation -- A New Computational Algorithm for Solving Periodic Sevendiagonal Linear Systems -- Local Weighted LS-SVM Online Modeling and the Application in Continuous Processes -- Information Security -- A Cellular Automata Based Crowd Behavior Model -- A Novel Watermark Technique for Relational Databases -- Intelligent Agents and Systems -- A Cell-Phone Based Brain-Computer Interface for Communication in Daily Life -- DCISL: Dynamic Control Integration Script Language -- Mapping Multi-view Architecture Products to Multi-agent Software Architecture Style -- Nature Computation -- ID-Based Authenticated Multi-group Keys Agreement Scheme for Computing Grid -- Dynamic Path Planning of Mobile Robots Based on ABC Algorithm -- Urban Arterial Traffic Coordination Control System -- A Semiparametric Regression Ensemble Model for Rainfall Forecasting Based on RBF Neural Network -- Particle Swarm Optimization -- A Modified Particle Swarm Optimizer with a Novel Operator -- An AntiCentroid-oriented Particle Swarm Algorithm for Numerical Optimization -- Comparison of Four Decomposition Algorithms for Multidisciplinary Design Optimization -- Multilevel Image Thresholding Selection Using the Artificial Bee Colony Algorithm -- Automatic Rule Tuning of a Fuzzy Logic Controller Using Particle Swarm Optimisation -- An Efficient Differential Evolution Algorithm with Approximate Fitness Functions Using Neural Networks -- Probabilistic Reasoning -- Evaluate the Quality of Foundational Software Platform by BayesianNetwork -- Triangle Fuzzy Number Intuitionistic Fuzzy Aggregation Operators and Their Application to Group Decision Making -- Statistical Analysis of Wireless Fading Channels -- Discretization Method of Continuous Attributes Based on Decision Attributes -- Empirical Research of Price Discovery for Gold Futures Based on Compound Model Combing Wavelet Frame with Support Vector Regression."]
[null,null,null,"Sommario/riassunto","The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI 2010) was held October 23–24, 2010 in Sanya, China. The AICI 2010 received 1,216 submissions from 20 countries and regions. After rigorous reviews, 105 high-quality papers were selected for publication in the AICI 2010 proceedings. The acceptance rate was 8%. The aim of AICI 2010 was to bring together "]
[{"$nulls":4},"researchers working in many different areas of artificial intelligence and computational intelligence to foster the exchange of new ideas and promote international collaborations. In addition to the large number of submitted papers and invited sessions, there were several internationally well-known keynote speakers. On behalf of the Organizing Committee, we thank Hainan Province Institute of Computer and Qiongzhou University for its sponsorship and logistics support. We also thank the members of the Organizing Committee and the Program Committee for their hard work. We are very grateful to the keynote speakers, invited session organizers, session chairs, reviewers, and student helpers. Last but not least, we thank all the authors and participants for their great contributions that made this conference possible."]