{"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":38,"n_cols":5,"rows_kept":38,"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],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[30,2,30,3],[31,2,31,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910346687003321"]
[null,null,"Autore",null,"Crocco Lorenzo"]
[null,null,"Titolo",null,"Electromagnetic Technologies for Medical Diagnostics. Fundamental Issues, Clinical Applications and Perspectives"]
[null,null,"Pubbl/distr/stampa",null,"MDPI - Multidisciplinary Digital Publishing Institute, 2019"]
[null,null,"Descrizione fisica",null,"1 online resource (240 p.)"]
[null,null,"Soggetti",null,"History of engineering and technology"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","The content of this Special Issue will highlight papers exploring non-commutative Fourier harmonic analysis, spectral properties of aperiodic order, the hypoelliptic heat equation, and the relativistic heat equation in the context of Information Theory and Geometric Science of Information."]
[null,"2.","Record Nr.",null,"UNINA9910143887203321"]
[null,null,"Titolo",null,"Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / / edited by Barry O'Sullivan"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-36607-5"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 210 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 2627"]
[null,null,"Disciplina",null,"005.1/15"]
[null,null,"Soggetti",null,"Computer industry"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"The Computer Industry"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Abstract Verification and Debugging of Constraint Logic Programs -- CGRASS: A System for Transforming Constraint Satisfaction Problems -- Interchangeability in Soft CSPs -- Towards Automated Reasoning on the Properties of Numerical Constraints -- Domain-Heuristics for Arc-Consistency Algorithms -- Computing Explanations and Implications in Preference-Based Configurators -- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems -- A Note on Redundant Rules in Rule-Based Constraint Programming -- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables -- A Local Search Algorithm for Balanced Incomplete Block "]
[{"$nulls":4},"Designs -- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms -- POOC — A Platform for Object-Oriented Constraint Programming -- A Coordination-Based Framework for Distributed Constraint Solving -- Visopt ShopFloor: Going Beyond Traditional Scheduling."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving."]