LEADER 00956nam a2200265 i 4500 001 991000760249707536 005 20020503201646.0 008 951212s1989 us ||| | eng 035 $ab10125061-39ule_inst 035 $aLE02521814$9ExL 040 $aFac. Economia$bita 082 0 $a519.5 100 1 $aIman, Ronald L$0460737 245 10$aStudy guide to accompany modern business statistics /$cRonald L. Iman and W.J. Conover ; prepared by W.J. Conover 250 $a2. ed 260 $aNew York :$bWiley,$cc1989 300 $a239 p. ;$c28 cm 650 4$aStatistica 700 1 $aConover, W. J. 907 $a.b10125061$b09-02-16$c27-06-02 912 $a991000760249707536 945 $aLE025 ECO 519.5 IMA01.03$g1$i2025000019935$lle025$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10146969$z27-06-02 996 $aStudy guide to accompany modern business statistics$9198639 997 $aUNISALENTO 998 $ale025$b01-01-95$cm$da $e-$feng$gus $h0$i1 LEADER 05468nam 2200709Ia 450 001 9910780961203321 005 20160316090743.0 010 $a1-282-50008-2 010 $a9786612500084 010 $a1-84950-773-2 035 $a(CKB)2520000000009538 035 $a(EBL)483207 035 $a(OCoLC)605024207 035 $a(SSID)ssj0000414010 035 $a(PQKBManifestationID)11248779 035 $a(PQKBTitleCode)TC0000414010 035 $a(PQKBWorkID)10385723 035 $a(PQKB)10079574 035 $a(MiAaPQ)EBC483207 035 $a(Au-PeEL)EBL483207 035 $a(CaPaEBR)ebr10367684 035 $a(CaONFJC)MIL250008 035 $a(UtOrBLW)bslw09406025 035 $a(PPN)170243281 035 $a(EXLCZ)992520000000009538 100 $a20160316d2010 uy 0 101 0 $aeng 135 $aurun||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aChoice modelling$b[electronic resource] $ethe state-of-the-art and the state-of-practice : proceedings from the inaugural International Choice Modelling Conference /$fedited by Stephane Hess, Andrew Daly 210 $aBingley $cEmerald Group Publ$d2010 215 $a1 online resource (638 p.) 225 1 $aProceedings from the Inaugural International Choice Modelling Conference 300 $aDescription based upon print version of record. 311 $a1-84950-772-4 320 $aIncludes bibliographical references. 327 $aSociality, rationality, and the ecology of choice / Daniel McFadden -- Planning and action in a model of choice / Moshe Ben-Akiva -- Attribute processing, heuristics, and preference construction in choice analysis / David A. Hensher -- The multiple discrete-continuous extreme value (MDCEV) model : formulation and applications / Chandra R. Bhat, Naveen Eluru -- Capturing human perception of facial expressions by discrete choice modelling / Matteo Sorci ... [et al.] -- Serial choice conjoint analysis for estimating discrete choice models / Michiel C.J. Bliemer, John M. Rose -- Observed efficiency of a D-optimal design in an interactive agency choice experiment / Sean M. Puckett, John M. Rose -- Effects of stated choice design dimensions on model estimates / Phani Kumar Chintakayala ... [et al.] -- Stated choice experimental designs for scheduling models / Paul Koster, Yin-Yen Tseng -- Systematically heterogeneous covariance in network GEV models / Jeffrey P. Newman -- 327 $aWhat do we really know about travellers' response to unreliability? / Yaron Hollander -- Optimizing product portfolios using discrete choice modeling and TURF / Thomas J. Adler, Colin Smith, Jeffrey Dumont -- Preference stability : modelling how consumer preferences shift after receiving new product information / Harmen Oppewal ... [et al.] -- Investigating willingness to pay -willingness to accept asymmetry in choice experiments / Bruno Lanz ... [et al.] -- Clustering ranked preference data using sociodemographic covariates / Isobel Claire Gormley, Thomas Brendan Murphy -- Continuous versus discrete representation of investing firm heterogeneity in modelling FDI location decisions / Simona Rasciute, Eric J. Pentecost -- Development of integrated choice and latent variable (ICLV) models for the residential relocation decision in island areas / Eleni Kitrinou, Amalia Polydoropoulou, Denis Bolduc. 330 $aThis book contains a selection of the best theoretical and applied papers from the inaugural International Choice Modelling Conference. The conference was organised by the Institute for Transport Studies at the University of Leeds and held in Harrogate, North Yorkshire on 30 March to 1 April 2009. The conference brought together leading researchers and practitioners from across the many different areas in which choice modelling is a key technique for understanding behaviour and evaluating policy. The diversity of the field was reflected in presentations by both academics and practitioners, coming from six continents and a variety of fields including transport and economics. Key contributions include papers from Professor Daniel McFadden, from the University of California, Berkeley - Nobel Prize laureate in Economics and chief architect of random utility modelling. The conference also included keynote presentations by five other leading choice modellers, namely Professor Moshe Ben-Akiva, Professor Chandra Bhat, Professor Michel Bierlaire, Professor David Hensher, and Professor Riccardo Scarpa. 410 0$aProceedings from the Inaugural International Choice Modelling Conference 606 $aTransportation$xGeneral$2bisacsh 606 $aTransport industries$2bicssc 606 $aEconomics$xMathematical models$vCongresses 606 $aDecision making$xMathematical models$vCongresses 606 $aTransportation$xMathematical models$vCongresses 606 $aChoice of transportation$xMathematical models$vCongresses 615 7$aTransportation$xGeneral. 615 7$aTransport industries. 615 0$aEconomics$xMathematical models 615 0$aDecision making$xMathematical models 615 0$aTransportation$xMathematical models 615 0$aChoice of transportation$xMathematical models 676 $a330.015196 701 $aHess$b Stephane$0798921 701 $aDaly$b Andrew John$0750205 801 0$bUtOrBLW 906 $aBOOK 912 $a9910780961203321 996 $aChoice modelling$93728491 997 $aUNINA LEADER 06509nam 22007695 450 001 9910144204403321 005 20200702122052.0 010 $a1-280-30726-9 010 $a9786610307265 010 $a3-540-24756-4 024 7 $a10.1007/b96106 035 $a(CKB)1000000000212336 035 $a(DE-He213)978-3-540-24756-2 035 $a(SSID)ssj0000180270 035 $a(PQKBManifestationID)11179435 035 $a(PQKBTitleCode)TC0000180270 035 $a(PQKBWorkID)10148695 035 $a(PQKB)10387039 035 $a(MiAaPQ)EBC3087795 035 $a(PPN)155232975 035 $a(EXLCZ)991000000000212336 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntegrated Formal Methods $e4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings /$fedited by Eerke Boiten, John Derrick, Graeme Smith 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 548 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2999 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21377-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions. 330 $aThe fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4?7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2999 606 $aComputers 606 $aComputer logic 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aComputers. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers) 615 14$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1015113 702 $aBoiten$b Eerke$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDerrick$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSmith$b Graeme$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Integrated Formal Methods 906 $aBOOK 912 $a9910144204403321 996 $aIntegrated Formal Methods$92860239 997 $aUNINA