{"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":59,"n_cols":5,"rows_kept":59,"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],[20,2,20,3],[21,2,21,3],[25,2,25,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[51,2,51,3],[52,2,52,3],[56,2,56,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465400903316"]
[null,null,"Titolo",null,"Foundations of Information and Knowledge Systems [[electronic resource] ] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings / / edited by Thomas Eiter, Klaus-Dieter Schewe"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45758-5"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 294 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2284"]
[null,null,"Disciplina",null,"006.3/3"]
[null,null,"Soggetti",null,"Database management"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Data Structures and Information Theory"]
[{"$nulls":4},"Computer Engineering"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Artificial Intelligence"]
[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,"Modeling Paraconsistent Reasoning by Classical Logic -- Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations -- Controlled Query Evaluation for Known Policies by Combining Lying and Refusal -- A Logical Framework for Integrating Inconsistent Information in Multiple Databases -- Functional Dependencies in Presence of Errors -- A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic -- The Principle of Conditional Preservation in Belief Revision -- Query Rewriting with Symmetric Constraints -- A Privacy-Enhanced Microaggregation Method -- Towards a Tailored Theory of Consistency Enforcement in Databases -- "]
[{"$nulls":4},"Improving Supervised Learning by Feature Decomposition -- Extremal Theorems for Databases -- Relational Databases and Homogeneity in Logics with Counting -- Uniqueness of Update Strategies for Database Views -- Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects -- Minimal Sample Databases for Global Cardinality Constraints."]
[null,null,null,"Sommario/riassunto","This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems."]
[null,"2.","Record Nr.",null,"UNISA996465580603316"]
[null,null,"Titolo",null,"Ambient Intelligence : European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings / / edited by Manfred Tscheligi, Panos Markopoulos, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-05408-0"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 288 p.)"]
[null,null,"Collana",null,"Information Systems and Applications, incl. Internet/Web, and HCI ; ; 5859"]
[null,null,"Classificazione",null,"SS 4800"]
[null,null,"Disciplina",null,"004n/a"]
[null,null,"Soggetti",null,"User interfaces (Computer systems)"]
[{"$nulls":4},"Personal computers"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Computer organization"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[{"$nulls":4},"Personal Computing"]
[{"$nulls":4},"Information Systems and Communication Service"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Computer Systems Organization and Communication Networks"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Kongress."]
[{"$nulls":4},"Salzburg (2009)"]
[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,"Keynote -- Ambient Intelligence 2.0: Towards Synergetic Prosperity -- Sensing -- Behavior Analysis Based on Coordinates of Body Tags -- MobiDiC: Context Adaptive Digital Signage with Coupons -- Slice&Dice: Recognizing Food Preparation Activities Using Embedded Accelerometers -- Reasoning and Sensing -- The Ambient Tag Cloud: A New Concept for Topic-Driven Mobile Urban Exploration -- Constructing Topological Maps of Displays with 3-D Positioning Information -- Activity Recognition for Personal Time Management -- "]
[{"$nulls":4},"Getting Places: Collaborative Predictions from Status -- Ambient Technology -- Place Enrichment by Mining the Web -- Sensor-Based Human Activity Recognition in a Multi-user Scenario -- Amelie: A Recombinant Computing Framework for Ambient Awareness -- Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications -- Semi-automatic Story Creation System in Ubiquitous Sensor Environment -- SAGE: A Logical Agent-Based Environment Monitoring and Control System -- Using Video with Active Markers -- Ambient Assisted Living -- An Event-Driven Approach to Activity Recognition in Ambient Assisted Living -- EMon: Embodied Monitorization -- Interoperation Modeling for Intelligent Domotic Environments -- Intertwining Implicit and Explicit Awareness of Wellbeing to Support Peace of Mind and Connectedness -- NICA: Natural Interaction with a Caring Agent -- Applications and Studies -- Ambient Rabbits Likeability of Embodied Ambient Displays -- Contextual Interaction Design: The Case of Pause Buddy -- Creating a Development Support Bubble for Children -- I Bet You Look Good on the Wall: Making the Invisible Computer Visible -- AmIQuin - An Ambient Mannequin for the Shopping Environment -- Designing an Awareness Display for Senior Home Care Professionals -- Methods and Tools -- A Framework to Develop Persuasive Smart Environments -- Measuring the Response Bias Induced by an Experience and Application Research Center -- The Assisted User-Centred Generation and Evaluation of Pervasive Interfaces -- Reasoning and Adaptation -- Increased Robustness in Context Detection and Reasoning Using Uncertainty Measures: Concept and Application -- Synthetic Training Data Generation for Activity Monitoring and Behavior Analysis -- Adaptive User Profiles in Pervasive Advertising Environments."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the Third European Conference on Ambient Intelligence, AmI 2009, held in Salzburg, Austria, in November 2009. The 21 revised full papers and 10 short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on sensing, reasoning and sensing, ambient technology, ambient assisted living, applications and studies, methods and tools and reasoning and adaption."]