LEADER 03597nam 2200793 a 450 001 9910959598503321 005 20240513165954.0 010 $a9786613058607 010 $a9781283058605 010 $a128305860X 010 $a9780226789583 010 $a0226789586 024 7 $a10.7208/9780226789583 035 $a(CKB)2670000000067042 035 $a(EBL)648122 035 $a(OCoLC)695991319 035 $a(SSID)ssj0000519201 035 $a(PQKBManifestationID)12179585 035 $a(PQKBTitleCode)TC0000519201 035 $a(PQKBWorkID)10494892 035 $a(PQKB)10721285 035 $a(SSID)ssj0000471588 035 $a(PQKBManifestationID)12159912 035 $a(PQKBTitleCode)TC0000471588 035 $a(PQKBWorkID)10427936 035 $a(PQKB)11105925 035 $a(StDuBDS)EDZ0000113825 035 $a(MiAaPQ)EBC648122 035 $a(DE-B1597)523212 035 $a(OCoLC)1135611154 035 $a(DE-B1597)9780226789583 035 $a(Au-PeEL)EBL648122 035 $a(CaPaEBR)ebr10438639 035 $a(CaONFJC)MIL305860 035 $a(Perlego)1842602 035 $a(EXLCZ)992670000000067042 100 $a20040213d2004 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe nature of scientific evidence $estatistical, philosophical and empirical considerations /$fedited by Mark L. Taper and Subhash R. Lele 205 $a1st ed. 210 $aChicago $cUniversity of Chicago Press$d2004 215 $a1 online resource (586 p.) 300 $aDescription based upon print version of record. 311 08$a9780226789576 311 08$a0226789578 311 08$a9780226789552 311 08$a0226789551 320 $aIncludes bibliographical references and index. 327 $apt. 1. Scientific process -- pt. 2. Logics of evidence -- pt. 3. Realities of nature -- pt. 4. Science, opinion and evidence -- pt. 5. Models, realities and evidence -- pt. 6. Conclusion. 330 $aAn exploration of the statistical foundations of scientific inference, The Nature of Scientific Evidence asks what constitutes scientific evidence and whether scientific evidence can be quantified statistically. Mark Taper, Subhash Lele, and an esteemed group of contributors explore the relationships among hypotheses, models, data, and inference on which scientific progress rests in an attempt to develop a new quantitative framework for evidence. Informed by interdisciplinary discussions among scientists, philosophers, and statisticians, they propose a new "evidential" approach, which may be more in keeping with the scientific method. The Nature of Scientific Evidence persuasively argues that all scientists should care more about the fine points of statistical philosophy because therein lies the connection between theory and data. Though the book uses ecology as an exemplary science, the interdisciplinary evaluation of the use of statistics in empirical research will be of interest to any reader engaged in the quantification and evaluation of data. 606 $aScience$xStatistical methods 606 $aScience$xMethodology 615 0$aScience$xStatistical methods. 615 0$aScience$xMethodology. 676 $a507/.2 686 $aWC 7600$qSEPA$2rvk 701 $aTaper$b Mark L.$f1952-$01813208 701 $aLele$b Subhash$0308817 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910959598503321 996 $aThe nature of scientific evidence$94366092 997 $aUNINA LEADER 01637oam 2200421zu 450 001 9910872670903321 005 20241212214847.0 035 $a(CKB)111026746717226 035 $a(SSID)ssj0000455053 035 $a(PQKBManifestationID)12147511 035 $a(PQKBTitleCode)TC0000455053 035 $a(PQKBWorkID)10399314 035 $a(PQKB)10683450 035 $a(NjHacI)99111026746717226 035 $a(EXLCZ)99111026746717226 100 $a20160829d1997 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a1997 IEEE 47th Vehicular Technology Conference 210 31$a[Place of publication not identified]$cIEEE$d1997 215 $a1 online resource (2000 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780780336599 311 08$a0780336593 330 $aMobile communications needs and design methods for components, circuits, and systems that satisfy these needs are described in these papers, Mobility between cells of a cellular communications network with smooth transfers of a continuing call are analyzed. Traffic interference and signal separation problems are considered with solutions described. 606 $aArtificial satellites in telecommunication$vCongresses 606 $aElectronics in transportation$vCongresses 615 0$aArtificial satellites in telecommunication 615 0$aElectronics in transportation 676 $a621.382 801 0$bPQKB 906 $aBOOK 912 $a9910872670903321 996 $a1997 IEEE 47th Vehicular Technology Conference$92501725 997 $aUNINA LEADER 06048nam 22006255 450 001 996630862603316 005 20250626164010.0 010 $a9783031757785$b(electronic bk.) 010 $z9783031757778 024 7 $a10.1007/978-3-031-75778-5 035 $a(MiAaPQ)EBC31785852 035 $a(Au-PeEL)EBL31785852 035 $a(CKB)36601351600041 035 $a(DE-He213)978-3-031-75778-5 035 $a(EXLCZ)9936601351600041 100 $a20241118d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Verification: Cycling the Probabilistic Landscape $eEssays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /$fedited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (509 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15262 311 08$aPrint version: Jansen, Nils Principles of Verification: Cycling the Probabilistic Landscape Cham : Springer,c2024 9783031757778 327 $aFormal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems ? A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access. 330 $aThis Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter?s main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, and the North Rhine-Westphalian Academy of Science, Humanities and the Arts; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15262 606 $aComputer science 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aJansen$b Nils$0474398 701 $aJunges$b Sebastian$01782751 701 $aKaminski$b Benjamin Lucien$01782752 701 $aMatheja$b Christoph$01782753 701 $aNoll$b Thomas$01740248 701 $aQuatmann$b Tim$01782754 701 $aStoelinga$b Marie?lle$0851742 701 $aVolk$b Matthias$01782755 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996630862603316 996 $aPrinciples of Verification: Cycling the Probabilistic Landscape$94309253 997 $aUNISA