{"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":53,"n_cols":5,"rows_kept":53,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[13,2,13,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[34,2,34,3],[35,2,35,3],[39,2,39,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910674354103321"]
[null,null,"Autore",null,"Atif Muhammad"]
[null,null,"Titolo",null,"Understanding behaviour of distributed systems using mCRL2 / / Muhammad Atif and Jan Friso Groote"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2023]"]
[{"$nulls":4},"©2023"]
[null,null,"ISBN",null,"3-031-23008-6"]
[null,null,"Edizione",null,"[1st ed. 2023.]"]
[null,null,"Descrizione fisica",null,"1 online resource (241 pages)"]
[null,null,"Collana",null,"Studies in Systems, Decision and Control, , 2198-4190 ; ; 458"]
[null,null,"Disciplina",null,"004.36"]
[null,null,"Soggetti",null,"Electronic data processing - Distributed processing"]
[{"$nulls":4},"System analysis"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Introducing mCRL2 -- Automata to Represent Behaviour -- Communicating processes -- Behavioural Equivalences -- Data Types and Data-dependent Behaviour -- Model-Checking -- The Modal µ-Calculus -- Linear Processes and Parameterised Boolean Equation Systems -- Applications: Puzzles and Games -- Applications: Distributed Algorithms."]
[null,null,null,"Sommario/riassunto","This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks."]
[null,"2.","Record Nr.",null,"UNINA9910300425703321"]
[null,null,"Autore",null,"Wall Michael L"]
[null,null,"Titolo",null,"Quantum Many-Body Physics of Ultracold Molecules in Optical Lattices : Models and Simulation Methods / / by Michael L. Wall"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015"]
[null,null,"ISBN",null,"3-319-14252-6"]
[null,null,"Edizione",null,"[1st ed. 2015.]"]
[null,null,"Descrizione fisica",null,"1 online resource (391 p.)"]
[null,null,"Collana",null,"Springer Theses, Recognizing Outstanding Ph.D. Research, , 2190-5053"]
[null,null,"Disciplina",null,"530.1"]
[null,null,"Soggetti",null,"Phase transformations (Statistical physics)"]
[{"$nulls":4},"Condensed matter"]
[{"$nulls":4},"Physics"]
[{"$nulls":4},"Atoms"]
[{"$nulls":4},"Quantum Gases and Condensates"]
[{"$nulls":4},"Numerical and Computational Physics, Simulation"]
[{"$nulls":4},"Atoms and Molecules in Strong Fields, Laser Matter Interaction"]
[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."]
[null,null,"Nota di contenuto",null,"Part I: Introduction -- General Introduction -- Models for Strongly Correlated Lattice Physics -- Part II: The Molecular Hubbard Hamiltonian -- Emergent Timescales in Entangled Quantum Dynamics of Ultracold Molecules in Optical Lattices -- Hyperfine Molecular Hubbard Hamiltonian -- Part III: The Fermi Resonance Hamiltonian -- Microscopic Model for Feshbach Interacting Fermions in an Optical Lattice with Arbitrary Scattering Length and Resonance Width -- Part IV: Matrix Product States -- Matrix Product States: Foundations -- Out-of-Equilibrium Dynamics with Matrix Product States -- The Infinite Size Variational Matrix Product State Algorithm -- Finite Temperature Matrix Product State Algorithms and Applications -- Part V: Open Source Code and Educational Materials -- Open Source Code Development -- Educational Materials -- Part VI: Conclusions and Appendices -- Conclusions and Suggestions for Future Research -- Appendix A: Documentation for ALPS V2.0 TEBD Code -- Appendix B: Educational Materials: A Gentle Introduction to Time Evolving Block Decimation (TEBD) -- Appendix C: Educational Materials: Introduction to MPS Algorithms."]
[null,null,null,"Sommario/riassunto","This thesis investigates ultracold molecules as a resource for novel quantum many-body physics, in particular by utilizing their rich internal structure and strong, long-range dipole-dipole interactions. In addition, numerical methods based on matrix product states are analyzed in detail, and general algorithms for investigating the static and dynamic properties of essentially arbitrary one-dimensional quantum many-body systems are put forth. Finally, this thesis covers open-source implementations of matrix product state algorithms, as well as educational material designed to aid in the use of understanding such methods."]
[null,"3.","Record Nr.",null,"UNISA996688777403316"]
[null,null,"Autore",null,"GUGLIELMETTI, Giannantonio"]
[null,null,"Titolo",null,"Le direttive della C.E.E. in materia di società e l'interpretazione dell'art. 54.3 G del trattato / Giannantonio Guglielmetti"]
[null,null,"Pubbl/distr/stampa",null,"Milano, : Giuffrè, 1966"]
[null,null,"Descrizione fisica",null,"11 p. ; 25 cm"]
[null,null,"Disciplina",null,"343.24074"]
[null,null,"Soggetti",null,"Aziende - Diritto comunitario"]
[null,null,"Collocazione",null,"XVI.7.Misc. 645"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Estratto da: Rivista delle società, convegno internazionale di studi sulla riforma della società per azioni : 6-7-8 ottobre 1966, Fondazione Giorgio Cini, Venezia"]