LEADER 03311nam 2200709Ia 450 001 9910462543903321 005 20200520144314.0 010 $a1-59332-650-5 035 $a(CKB)2670000000271320 035 $a(EBL)1057814 035 $a(OCoLC)818819060 035 $a(SSID)ssj0000758139 035 $a(PQKBManifestationID)12306308 035 $a(PQKBTitleCode)TC0000758139 035 $a(PQKBWorkID)10771809 035 $a(PQKB)11758316 035 $a(MiAaPQ)EBC1057814 035 $a(Au-PeEL)EBL1057814 035 $a(CaPaEBR)ebr10622777 035 $a(EXLCZ)992670000000271320 100 $a20100510d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aJudicial power and institutional constraints$b[electronic resource] $ea comparison of Canadian and American courts /$fRyan Hurl 210 $aEl Paso $cLFB Scholarly Pub. LLC$d2010 215 $a1 online resource (312 p.) 225 1 $aLaw and society 300 $aDescription based upon print version of record. 311 $a1-59332-384-0 320 $aIncludes bibliographical references and index. 327 $aCONTENTS; List of Tables; Chapter One: Introduction; Chapter Two: The Institutional Limits of Judicial Politics; Chapter Three: Constitutional Constraints and IndIAN Law inCanada and the United States; Chapter FOUR: The Limits of Environmental LAW in Canadaand the United States; Chapter Five: Conclusion; Appendices; Bibliography; Index 330 $aHurl argues that the impact of law and politics on judicial decision making is dependent upon the broader institutional environments that courts operate within. Through an examination environmental and Indian law decisions, he explores how judicial power in Canada and the United States is shaped by the constitutional structure of the two regimes. His work is based on an analysis of environmental and Indian law decisions decided by the Supreme Courts of Canada and the United States between 1985 and 2008, supplemented by an analysis of environmental policy cases decided by American and Canadian 410 0$aLaw and society (New York, N.Y.) 606 $aJudicial power$zUnited States 606 $aPolitical questions and judicial power$zUnited States 606 $aIndians of North America$xLegal status, laws, etc 606 $aEnvironmental law$zUnited States 606 $aJudicial power$zCanada 606 $aPolitical questions and judicial power$zCanada 606 $aIndians of North America$xLegal status, laws, etc$zCanada 606 $aEnvironmental law$zCanada 608 $aElectronic books. 615 0$aJudicial power 615 0$aPolitical questions and judicial power 615 0$aIndians of North America$xLegal status, laws, etc. 615 0$aEnvironmental law 615 0$aJudicial power 615 0$aPolitical questions and judicial power 615 0$aIndians of North America$xLegal status, laws, etc. 615 0$aEnvironmental law 676 $a347.71/012 700 $aHurl$b Ryan$f1973-$0942738 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462543903321 996 $aJudicial power and institutional constraints$92127359 997 $aUNINA LEADER 02512nam 2200481 450 001 996418291303316 005 20210228122121.0 010 $a3-030-59152-2 024 7 $a10.1007/978-3-030-59152-6 035 $a(CKB)4100000011505452 035 $a(DE-He213)978-3-030-59152-6 035 $a(MiAaPQ)EBC6371098 035 $a(PPN)255227795 035 $a(EXLCZ)994100000011505452 100 $a20210228d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAutomated technology for verification and analysis $e11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /$fDang Van Hung, Oleg Sokolsky 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12302 300 $aIncludes index. 311 $a3-030-59151-4 327 $aNeural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. 330 $aThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems. 410 0$aProgramming and Software Engineering ;$v12302 606 $aArtificial intelligence 615 0$aArtificial intelligence. 676 $a006.333 702 $aSokolsky$b Oleg 702 $aDang$b Hung Van$f1950- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418291303316 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNISA LEADER 04245nam 2200721 a 450 001 9910779734903321 005 20200520144314.0 010 $a3-11-030179-2 024 7 $a10.1515/9783110301793 035 $a(CKB)2550000001096894 035 $a(EBL)1130308 035 $a(OCoLC)851970604 035 $a(SSID)ssj0000916704 035 $a(PQKBManifestationID)11466131 035 $a(PQKBTitleCode)TC0000916704 035 $a(PQKBWorkID)10877488 035 $a(PQKB)11593715 035 $a(DE-B1597)179444 035 $a(OCoLC)953308478 035 $a(OCoLC)990725657 035 $a(DE-B1597)9783110301793 035 $a(Au-PeEL)EBL1130308 035 $a(CaPaEBR)ebr10728884 035 $a(CaONFJC)MIL503428 035 $a(CaSebORM)9783110301731 035 $a(MiAaPQ)EBC1130308 035 $a(PPN)175495246 035 $a(EXLCZ)992550000001096894 100 $a20130419d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aComputer arithmetic and validity$b[electronic resource] $etheory, implementation, and applications /$fUlrich Kulisch 205 $a2nd ed. 210 $aBerlin $cDe Gruyter$d2013 215 $a1 online resource (434 p.) 225 0 $aDe Gruyter Studies in Mathematics ;$v33 225 0$aDe Gruyter studies in mathematics,$x0179-0986 ;$v33 300 $aDescription based upon print version of record. 311 $a3-11-030173-3 311 $a1-299-72177-X 320 $aIncludes bibliographical references and index. 327 $t Frontmatter -- $tForeword to the second edition -- $tPreface -- $tContents -- $tIntroduction -- $tPart I. Theory of computer arithmetic -- $tChapter 1. First concepts -- $tChapter 2. Ringoids and vectoids -- $tChapter 3. Definition of computer arithmetic -- $tChapter 4. Interval arithmetic -- $tPart II. Implementation of arithmetic on computers -- $tChapter 5. Floating-point arithmetic -- $tChapter 6. Implementation of floating-point arithmetic on a computer -- $tChapter 7. Hardware support for interval arithmetic -- $tChapter 8. Scalar products and complete arithmetic -- $tPart III. Principles of verified computing -- $tChapter 9. Sample applications -- $tAppendix A. Frequently used symbols -- $tAppendix B. On homomorphism -- $tBibliography -- $tList of figures -- $tList of tables -- $tIndex 330 $aThis is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics. 410 3$aDe Gruyter Studies in Mathematics 606 $aComputer arithmetic 606 $aComputer arithmetic and logic units 606 $aFloating-point arithmetic 615 0$aComputer arithmetic. 615 0$aComputer arithmetic and logic units. 615 0$aFloating-point arithmetic. 676 $a005.101/5113 686 $aSK 900$2rvk 700 $aKulisch$b Ulrich$01499431 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779734903321 996 $aComputer arithmetic and validity$93725447 997 $aUNINA