LEADER 01127nam 2200409 450 001 9910795028603321 005 20230308110421.0 010 $a84-9052-314-2 035 $a(CKB)4900000000555169 035 $a(MiAaPQ)EBC7098471 035 $a(Au-PeEL)EBL7098471 035 $a(EXLCZ)994900000000555169 100 $a20230308d2020 uy 0 101 0 $aspa 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aEl libro de la negociacio?n /$fLuis Puchol Moreno 205 $a5th ed. 210 1$aMadrid, Spain :$cEdiciones Di?az de Santos,$d[2020] 210 4$d©2020 215 $a1 online resource (284 pages) 311 $a84-9052-238-3 606 $aDecision making 606 $aNegotiation in business 615 0$aDecision making. 615 0$aNegotiation in business. 676 $a658.4052 700 $aPuchol$b Luis$01471037 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910795028603321 996 $aEl libro de la negociacio?n$93689248 997 $aUNINA LEADER 01918nam 2200577 a 450 001 9910779716203321 005 20230803021135.0 010 $a0-8139-3364-1 035 $a(CKB)2550000001102518 035 $a(OCoLC)828869769 035 $a(CaPaEBR)ebrary10642013 035 $a(SSID)ssj0000803536 035 $a(PQKBManifestationID)11518427 035 $a(PQKBTitleCode)TC0000803536 035 $a(PQKBWorkID)10809970 035 $a(PQKB)10824218 035 $a(MiAaPQ)EBC3444099 035 $a(MdBmJHUP)muse25544 035 $a(Au-PeEL)EBL3444099 035 $a(CaPaEBR)ebr10642013 035 $a(CaONFJC)MIL423729 035 $a(EXLCZ)992550000001102518 100 $a20120827d2013 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEarnestly contending$b[electronic resource] $ereligious freedom and pluralism in antebellum America /$fDickson D. Bruce Jr 210 $aCharlottesville $cUniversity of Virginia Press$d2013 215 $a1 online resource (222 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8139-3363-3 311 $a1-283-92479-X 320 $aIncludes bibliographical references and index. 606 $aFreedom of religion$zUnited States$xHistory$y19th century 606 $aReligious pluralism$zUnited States$xHistory$y19th century 606 $aChurch and state$zUnited States$xHistory$y19th century 607 $aUnited States$xChurch history$y19th century 615 0$aFreedom of religion$xHistory 615 0$aReligious pluralism$xHistory 615 0$aChurch and state$xHistory 676 $a277.5/081 700 $aBruce$b Dickson D.$f1946-$01508109 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779716203321 996 $aEarnestly contending$93739317 997 $aUNINA LEADER 05550nam 2200661 a 450 001 9910831081603321 005 20170815114003.0 010 $a1-280-27197-3 010 $a9786610271979 010 $a0-470-29983-5 010 $a0-470-86482-6 010 $a0-470-01415-6 035 $a(CKB)111087027099600 035 $a(EBL)163119 035 $a(OCoLC)55001806 035 $a(SSID)ssj0000266488 035 $a(PQKBManifestationID)11214752 035 $a(PQKBTitleCode)TC0000266488 035 $a(PQKBWorkID)10302098 035 $a(PQKB)10531548 035 $a(MiAaPQ)EBC163119 035 $a(PPN)17526208X 035 $a(EXLCZ)99111087027099600 100 $a20030806d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aValidation of communications systems with SDL$b[electronic resource] $ethe art of SDL simulation and reachability analysis /$fLaurent Doldi 210 $aChichester ;$aHoboken, NJ $cWiley$dc2003 215 $a1 online resource (312 p.) 300 $aDescription based upon print version of record. 311 $a0-470-85286-0 320 $aIncludes bibliographical references (p. [289]-291) and index. 327 $aValidation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition 327 $a2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 327 $a3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 327 $a4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 327 $a5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 327 $a5.3.6 More details on GOAL observers 330 $aValidation of Communications Systems with SDL provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. This volume guides you step by step through the validation of a simplified protocol layer, from interactive 606 $aWireless communication systems$xComputer simulation 606 $aMobile communication systems$xComputer simulation 606 $aSDL (Computer program language) 615 0$aWireless communication systems$xComputer simulation. 615 0$aMobile communication systems$xComputer simulation. 615 0$aSDL (Computer program language) 676 $a621.382 676 $a621.38450113 700 $aDoldi$b Laurent$01668851 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910831081603321 996 $aValidation of communications systems with SDL$94029734 997 $aUNINA LEADER 03434nam 22005655 450 001 9910483467703321 005 20251113185209.0 010 $a3-030-44207-1 024 7 $a10.1007/978-3-030-44207-1 035 $a(CKB)4100000011401193 035 $a(MiAaPQ)EBC6320905 035 $a(DE-He213)978-3-030-44207-1 035 $a(PPN)250215993 035 $a(MiAaPQ)EBC6320747 035 $a(EXLCZ)994100000011401193 100 $a20200827d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInterpretative Aspects of Quantum Mechanics $eMatteo Campanella's Mathematical Studies /$fby Matteo Campanella, David Jou, Maria Stella Mongiově 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (153 pages) $cillustrations 225 1 $aUNIPA Springer Series,$x2366-7524 300 $aIncludes index. 311 08$a3-030-44206-3 327 $a1 Fundamental assumptions -- 2 The state of a quantum system as a subsystem of a composite system -- 3 Relation between the state of a system as isolated and as open -- 4 Universality of the probability function -- 5 Appendix A -- 6 Appendix B -- 7 Appendix C -- 8 Appendix D. 330 $aThis book presents a selection of Prof. Matteo Campanella?s writings on the interpretative aspects of quantum mechanics and on a possible derivation of Born's rule ? one of the key principles of the probabilistic interpretation of quantum mechanics ? that is independent of any priori probabilistic interpretation. This topic is of fundamental interest, and as such is currently an active area of research. Starting from a natural method of defining such a state, Campanella found that it can be characterized through a partial density operator, which occurs as a consequence of the formalism and of a number of reasonable assumptions connected with the notion of a state. The book demonstrates that the density operator arises as an orbit invariant that has to be interpreted as probabilistic, and that its quantitative implementation is equivalent to Born's rule. The appendices present various mathematical details, which would have interrupted the continuity of the discussion if they had been included in the main text. For instance, they discuss baricentric coordinates, mapping between Hilbert spaces, tensor products between linear spaces, orbits of vectors of a linear space under the action of its structure group, and the class of Hilbert space as a category. 410 0$aUNIPA Springer Series,$x2366-7524 606 $aMathematical physics 606 $aQuantum physics 606 $aMathematical Physics 606 $aQuantum Physics 615 0$aMathematical physics. 615 0$aQuantum physics. 615 14$aMathematical Physics. 615 24$aQuantum Physics. 676 $a530.12 700 $aCampanella$b Matteo$4aut$4http://id.loc.gov/vocabulary/relators/aut$0977150 702 $aJou$b David$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMongiově$b Maria Stella$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483467703321 996 $aInterpretative Aspects of Quantum Mechanics$92226056 997 $aUNINA