LEADER 04191nam 22007935 450 001 996466121303316 005 20200701070648.0 010 $a3-540-31363-X 024 7 $a10.1007/11615798 035 $a(CKB)1000000000232772 035 $a(SSID)ssj0000316397 035 $a(PQKBManifestationID)11275354 035 $a(PQKBTitleCode)TC0000316397 035 $a(PQKBWorkID)10264752 035 $a(PQKB)10707349 035 $a(DE-He213)978-3-540-31363-2 035 $a(MiAaPQ)EBC3068302 035 $a(PPN)123130670 035 $a(EXLCZ)991000000000232772 100 $a20100323d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry$b[electronic resource] $e5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /$fedited by Hoon Hong, Dongming Wang 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 213 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3763 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31332-X 320 $aIncludes bibliographical references and index. 327 $aMechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers? Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics. 410 0$aLecture Notes in Artificial Intelligence ;$v3763 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aComputer graphics 606 $aPattern recognition 606 $aConvex geometry  606 $aDiscrete geometry 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aConvex and Discrete Geometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21014 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aComputer graphics. 615 0$aPattern recognition. 615 0$aConvex geometry . 615 0$aDiscrete geometry. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Graphics. 615 24$aPattern Recognition. 615 24$aConvex and Discrete Geometry. 676 $a516.00285 702 $aHong$b Hoon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWang$b Dongming$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Automated Deduction in Geometry 906 $aBOOK 912 $a996466121303316 996 $aAutomated Deduction in Geometry$9772173 997 $aUNISA LEADER 01054nam 2200325Ia 450 001 996393157403316 005 20221108033238.0 035 $a(CKB)1000000000685036 035 $a(EEBO)2240897480 035 $a(UnM)99898463 035 $a(EXLCZ)991000000000685036 100 $a19990121d1621 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 10$aElementa logicæ$b[electronic resource] $ein gratiam studiosæ iuuentutis in Academia Oxoniensi. Authore Edovardo Brerevvood, olim Collegij Eneanasensis alumno dignissimo 210 $aLondini $cex officina Stationariorum$d1621 215 $a[22], 108 p 300 $aTitle page is A2. 300 $aReproduction of original in the British Library, London, England. 330 $aeebo-0018 606 $aLogic$vEarly works to 1800 615 0$aLogic 700 $aBrerewood$b Edward$f1565?-1613.$0793121 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996393157403316 996 $aElementa logicæ$92347713 997 $aUNISA LEADER 03787nam 22006015 450 001 9910568289303321 005 20260605210341.0 010 $a9783030972479$b(electronic bk.) 024 7 $a10.1007/978-3-030-97247-9 035 $a(MiAaPQ)EBC6986457 035 $a(Au-PeEL)EBL6986457 035 $a(CKB)22371876700041 035 $a(BIP)083059903 035 $a(DE-He213)978-3-030-97247-9 035 $a(EXLCZ)9922371876700041 100 $a20220512d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Collapse Frequency of Structures $eBridges - Dams - Tunnels - Retaining structures - Buildings /$fby Dirk Proske 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (149 pages) 311 08$aPrint version: Proske, Dirk The Collapse Frequency of Structures Cham : Springer International Publishing AG,c2022 9783030972462 327 $aIntroduction and Initial Position -- Preliminary Considerations -- Bridges -- Dams -- Tunnel -- Retaining Structures -- Buildings and Structures -- Stadiums -- Wind Turbines -- Nuclear Power Plants -- Concluding Remarks. 330 $aThe mathematical verification of the safety of structures can be done by determining the probability of failure or by using safety elements. Observed damages and collapses are usually assessed within the framework of expert reports, which seems reasonable due to the large number of unique structures in the construction industry. However, there should also be an examination of observed safety across all structures. Therefore, in this book the collapse frequencies are determined for different types of structures, such as bridges, dams, tunnels, retaining structures and buildings. The collapse frequency, like the failure probability, belongs to stochasticity. Therefore, the observed mean collapse frequencies and the calculated mean failure probabilities are compared. This comparison shows that the collapse frequencies are usually lower than the calculated failure probabilities. In addition, core damage frequencies and probabilities are given to extend the comparison toanother technical product. About the Author: Prof. (FH) Dr.-Ing. habil. Dirk Proske MSc. studied civil engineering in Dresden and London. He worked at various universities, such as the TU Dresden, the University of Natural Resources and Applied Life Sciences Vienna and the TU Delft. He has also worked for various engineering firms and on various construction sites, including in South Africa and Indonesia. Since 2018, he has been a professor of risk management at the Bern University of Applied Sciences. 606 $aBuildings$xDesign and construction 606 $aLightweight construction 606 $aBuilding, Iron and steel 606 $aLightweight construction 606 $aBuilding construction 606 $aBuilding Construction and Design 606 $aLight-weight Construction, Steel and Timber Construction 606 $aSolid Construction 615 0$aBuildings$xDesign and construction. 615 0$aLightweight construction. 615 0$aBuilding, Iron and steel. 615 0$aLightweight construction. 615 0$aBuilding construction. 615 14$aBuilding Construction and Design. 615 24$aLight-weight Construction, Steel and Timber Construction. 615 24$aSolid Construction. 676 $a624.171 676 $a624.171 700 $aProske$b Dirk$01062549 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910568289303321 996 $aThe Collapse Frequency of Structures$92851109 997 $aUNINA