{"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":39,"n_cols":5,"rows_kept":39,"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],[8,2,8,3],[9,2,9,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNIORUON00232350"]
[null,null,"Autore",null,"WALSH, Vivian"]
[null,null,"Titolo",null,"Classical and neoclassical Theories of General Equilibrium : Historical origins and Mathematical Structure / Vivian Walsh, Harvey Gram"]
[null,null,"Pubbl/distr/stampa",null,"Oxford, : Oxford University Press, 1980"]
[null,null,"Descrizione fisica",null,"426 p. ; 23 cm."]
[null,null,"Soggetti",null,"Economia - Modelli matematici"]
[{"$nulls":4},"Economia - Storia"]
[{"$nulls":4},"EQUILIBRIO ECONOMICO - Studi"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910557286503321"]
[null,null,"Autore",null,"Müller Rüdiger"]
[null,null,"Titolo",null,"Rheumatoid Arthritis Therapy Reappraisal : Strategies, Opportunities and Challenges"]
[null,null,"Pubbl/distr/stampa",null,"Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020"]
[null,null,"Descrizione fisica",null,"1 online resource (260 p.)"]
[null,null,"Soggetti",null,"Medicine and Nursing"]
[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","Rheumatoid Arthritis (RA) is a chronic inflammatory disease leading to joint inflammation and destruction. Treatment of RA includes the use of conventional (cs), biologic (b) disease-modifying anti-rheumatic drugs (DMARDs), and oral or intraarticular (IA) glucocorticoids (GCs). All different classes of drugs have shown to halt disease progression in clinical studies. In real life, a physician has more options than just adding or switching to a new ts/bDMARD if any kind of DMARDs has failed. They can modify or optimize the therapy with concomitant csDMARDs, and oral or IA-GC can be added to the treatment regimen. The EULAR states that therapeutic adjustment including the \"optimization of csDMARDs dose or route of administration or intra-articular injections of GCs\" is recommended. Thus, a new therapeutic agent can be embedded in a whole strategy with parallel optimization of the csDMARD and GC treatment. The idea of treating to target (T2T) for the treatment of RA patients has been around since the late 1990s. Many clinical studies (Ticora, BsSt, Camera) have demonstrated the superiority of a T2T approach. When I talk to physicians, I understand that most of them only rarely inject joints with GC. Therefore, I would like to create an issue on the T2T approach in reality including primary data, reviews, and real-life data demonstrating the general opinion and execution of T2T in treating RA."]
[null,"3.","Record Nr.",null,"UNINA9910768170803321"]
[null,null,"Titolo",null,"Verified software : theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions / / Bertrand Meyer, Jim Woodcock (eds.)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, : Springer, 2008"]
[null,null,"ISBN",null,"3-540-69149-9"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXIII, 546 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science, , 0302-9743 ; ; 4171"]
[{"$nulls":4},"LNCS sublibrary. SL 2, Programming and software engineering"]
[null,null,"Disciplina",null,"005.11"]
[null,null,"Soggetti",null,"Computer programs - Verification"]
[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,"Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project -- Verification Tools -- Towards a Worldwide Verification Technology -- It Is Time to Mechanize Programming Language Metatheory -- Methods and Tools for Formal Software Engineering -- Guaranteeing Correctness -- The Verified Software Challenge: A Call for a Holistic Approach to Reliability -- A Mini Challenge: Build a Verifiable Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets -- Some Interdisciplinary Observations about Getting the “Right” Specification -- Software Engineering Aspects -- Software Verification and Software Engineering a Practitioner’s Perspective -- Decomposing Verification Around End-User Features -- Verifying Object-Oriented Programming -- Automatic Verification of Strongly Dynamic Software Systems -- Reasoning about Object Structures Using Ownership -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges for Program Logic -- Programming Language and Methodology Aspects -- Lessons from the JML Project -- The Spec# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification -- Components -- Automated Test Generation and Verified Software -- Dependent Types, Theorem Proving, and Applications for a Verifying Compiler -- Generating Programs Plus Proofs by Refinement -- Static Analysis -- The Verification Grand Challenge and Abstract "]
[{"$nulls":4},"Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data Structure Consistency Checking System -- Towards the Integration of Symbolic and Numerical Static Analysis -- Design, Analysis and Tools -- Reliable Software Systems Design: Defect Prevention, Detection, and Containment -- Trends and Challenges in Algorithmic Software Verification -- Model Checking: Back and Forth between Hardware and Software -- Computational Logical Frameworks and Generic Program Analysis Technologies -- Formal Techniques -- A Mechanized Program Verifier -- Verifying Design with Proof Scores -- Integrating Theories and Techniques for Program Modelling, Design and Verification -- Eiffel as a Framework for Verification -- Position Papers -- Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges -- Verified Software: The Real Grand Challenge -- Linking the Meaning of Programs to What the Compiler Can Verify -- Scalable Software Model Checking Using Design for Verification -- Model-Checking Software Using Precise Abstractions -- Toasters, Seat Belts, and Inferring Program Properties -- On the Formal Development of Safety-Critical Software -- Verify Your Runs -- Specified Blocks -- A Case for Specification Validation -- Some Verification Issues at NASA Goddard Space Flight Center -- Performance Validation on Multicore Mobile Devices -- Tool Integration for Reasoned Programming -- Decision Procedures for the Grand Challenge -- The Challenge of Hardware-Software Co-verification -- From the How to the What -- An Overview of Separation Logic -- A Perspective on Program Verification -- Meta-Logical Frameworks and Formal Digital Libraries -- Languages, Ambiguity, and Verification -- The Importance of Non-theorems and Counterexamples in Program Verification -- Regression Verification - A Practical Way to Verify Programs -- Programming with Proofs: Language-Based Approaches to Totally Correct Software -- The Role of Model-Based Testing -- Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification -- Program Verification by Using DISCOVERER -- Constraint Solving and Symbolic Execution."]
[null,null,null,"Sommario/riassunto","This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the \"verifying compiler\". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques."]