{"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":44,"n_cols":5,"rows_kept":44,"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],[21,2,21,3],[22,2,22,3],[26,2,26,3],[29,2,29,3],[29,4,29,5],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[42,2,42,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910143886703321"]
[null,null,"Titolo",null,"Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / / edited by Harrie C.M. de Swart"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-36280-0"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 318 p. 31 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2561"]
[null,null,"Disciplina",null,"004"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Categories (Mathematics)"]
[{"$nulls":4},"Algebra, Homological"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[{"$nulls":4},"Category Theory, Homological Algebra"]
[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,"Invited Lecture -- A Relation-Algebraic Approach to Graph Structure Transformation -- Contributed Papers -- Emptiness Relations in Property Systems -- Pregroups: Models and Grammars -- Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View -- Interpretability of First—Order Dynamic Logic in a Relational Calculus -- Relations in GUHA Style Data Mining -- Groups in Allegories -- Distributed Conceptual Structures -- A Computer Algebra Approach to Relational Systems Using Gröbner Bases -- Fuzzy Relational Images in Computer Science -- A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in "]
[{"$nulls":4},"Dedekind Categories -- Double Residuated Lattices and Their Applications -- Interval Bilattices and Some Other Simple Bilattices -- Interactive Systems: From Folklore to Mathematics -- Relational Constructions in Goguen Categories -- A Subintuitionistic Logic and Some of Its Methods -- Implementation of Relational Algebra Using Binary Decision Diagrams -- Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs -- Calculating Church-Rosser Proofs in Kleene Algebra -- On the Definition and Representation of a Ranking -- Tangent Circle Algebras."]
[null,null,null,"Sommario/riassunto","This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in Computer Science held in: Schloss Dagstuhl, Germany, January1994;ParatinearRiodeJaneiro,September1995;Hammamet,Tunisia, January1997;theStefanBanachCenter,Warsaw,September1998;andQuebec, Canada, January 2000. The purpose of these conferences/workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics, and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work. Topics include, but are not limited to: relational, cylindric, fork, and Kleene algebras; relational proof theory and decidability issues; relational representation theorems; relational semantics; applications to programming, - tabases,andanalysisoflanguage;andcomputersystemsforrelationalknowledge representation. With respect to applications one can think of: relational spe- ?cations and modeling; relational software design and development techniques; programming with relations; and implementing relational algebra."]
[null,"2.","Record Nr.",null,"UNINA9911049211703321"]
[null,null,"Autore",null,"Miller Christopher W. T"]
[null,null,"Titolo",null,"Absolute Psychiatry Review : An Essential Question and Answer Study Guide for Trainees and Practitioners / / by Christopher W. T. Miller"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"3-032-13315-7"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (621 pages)"]
[null,null,"Collana",null,"Medicine Series"]
[null,null,"Disciplina",null,"616.89"]
[null,null,"Soggetti",null,"Psychiatry"]
[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,"Chapter 1. Psychiatric Assessment, Diagnosis, and Phenomenology -- Chapter 2. Psychopharmacology -- Chapter 3. Substance Use and Addiction -- Chapter 4. Neurosciences I -- Chapter 5. Neurosciences II -- Chapter 6. Psychoanalysis, Psychotherapy, and Behavioral Sciences."]
[null,null,null,"Sommario/riassunto","This book is a tool for serious learners who wish to gauge their knowledge base and for those who want to deepen their understanding of psychopathology and the mechanisms of psychopharmacologic and psychotherapeutic action. It will also give readers a vast “snapshot” of many domains within the psychiatric field, extending from the DSM to the mental status exam, from traditional antidepressants to novel medications, from genetics to neuromodulation, and from psychoanalysis to drug-assisted psychotherapies. The format is user-friendly, and detailed explanations are provided on many of the covered topics, helping readers better assimilate the information. The content is outlined entirely in question-and-answer format. Questions are presented in interesting and engaging ways, inviting deeper exploration and serving as a tool for classroom teaching. A strong emphasis is placed on mechanistic explanations relating to psychopharmacological effects, underpinnings of substances of abuse and addiction, and neurophenomenology of psychiatric illness. The target audience of Absolute Psychiatry Review is medical students with an interest in psychiatry, psychiatry residents, practicing psychiatrists (particularly those in educational or academic settings), and practitioners within allied disciplines who wish to expand their knowledge base of the field. ."]