{"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":51,"n_cols":5,"rows_kept":51,"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],[18,2,18,3],[19,2,19,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],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[36,2,36,3],[43,2,43,3],[44,2,44,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465485803316"]
[null,null,"Titolo",null,"Algebraic and Logic Programming [[electronic resource] ] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / / edited by Helene Kirchner, Giorgio Levi"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992"]
[null,null,"ISBN",null,"3-540-47302-5"]
[null,null,"Edizione",null,"[1st ed. 1992.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 460 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 632"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[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,"Outline of an object-oriented calculus of higher type -- High-level-replacement systems for equational algebraic specifications -- Termination of rewrite systems by elementary interpretations -- Termination of order-sorted rewriting -- Generalized sufficient conditions for modular termination of rewriting -- A theory of first-order built-in's of prolog -- Fixpoint semantics for partial computed answer substitutions and call patterns -- Oracle semantics for Prologa -- On the relation between primitive recursion, schematization, and divergence -- Term rewriting with sharing and memoïzation -- Definitional trees -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general scheme for constraint functional logic programming -- Incremental rewriting in narrowing derivations -- Counterexamples to completeness results for basic narrowing (extended abstract) -- Uniform narrowing strategies -- Proof by consistency in constructive systems with final algebra "]
[{"$nulls":4},"semantics -- A fast algorithm for ground normal form analysis -- Eta-conversion for the languages of explicit substitutions -- Serialisation analysis of concurrent logic programs -- Implementation of a toolset for prototyping algebraic specifications of concurrent systems -- Axiomatizing permutation equivalence in the ?-calculus -- A CLP view of logic programming -- Partial deduction of logic programs WRT well-founded semantics -- The finiteness of logic programming derivations -- Theorem proving for hierarchic first-order theories -- A goal oriented strategy based on completion -- On n-syntactic equational theories."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues."]
[null,"2.","Record Nr.",null,"UNINA9910299481003321"]
[null,null,"Autore",null,"Alippi Cesare"]
[null,null,"Titolo",null,"Intelligence for Embedded Systems : A Methodological Approach / / by Cesare Alippi"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-05278-0"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (296 p.)"]
[null,null,"Disciplina",null,"004.6"]
[{"$nulls":4},"006.22"]
[{"$nulls":4},"006.3"]
[{"$nulls":4},"620"]
[null,null,"Soggetti",null,"Electronics"]
[{"$nulls":4},"Microelectronics"]
[{"$nulls":4},"Computational intelligence"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Electronics and Microelectronics, Instrumentation"]
[{"$nulls":4},"Computational Intelligence"]
[{"$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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Introduction -- From Metrology to Digital Data -- Uncertainty, Informatton and Learning Mechanisms -- Randomized Algorithms -- Robustness Analysis -- Emotional Cognitive Mechanisms for Embedded Systems -- Performance Estimation and Probably Approximately Correct Computation -- Intelligent Mechanisms in Embedded Systems -- Learning in Nonstationary and Evolving Environments -- Fault Diagnosis Systems."]
[null,null,null,"Sommario/riassunto","Addressing current issues of which any engineer or computer scientist should be aware, this monograph is a response to the need to adopt a new computational paradigm as the methodological basis for designing pervasive embedded systems with sensor capabilities. The requirements of this paradigm are to control complexity, to limit cost and energy consumption, and to provide adaptation and cognition abilities allowing the embedded system to interact proactively with the real world. The quest for such intelligence requires the formalization of "]
[{"$nulls":4},"a new generation of intelligent systems able to exploit advances in digital architectures and in sensing technologies. The book sheds light on the theory behind intelligence for embedded systems with specific focus on: robustness (the robustness of a computational flow and its evaluation); intelligence (how to mimic the adaptation and cognition abilities of the human brain the capacity to learn in non-stationary and evolving environments by detecting changes and reacting accordingly); and a new paradigm that, by accepting results that are correct in probability, allows the complexity of the embedded application the be kept under control. Theories, concepts and methods are provided to motivate researchers in this exciting and timely interdisciplinary area. Applications such as porting a neural network from a high-precision platform to a digital embedded system and evaluating its robustness level are described. Examples show how the methodology introduced can be adopted in the case of cyber-physical systems to manage the interaction between embedded devices and physical world.. Researchers and graduate students in computer science and various engineering-related disciplines will find the methods and approaches propounded in Intelligence for Embedded Systems of great interest. The book will also be an important resource for practitioners working on embedded systems and applications."]