LEADER 02842nam 2200565 a 450 001 9910459676403321 005 20200520144314.0 010 $a1-283-09226-3 010 $a9786613092267 010 $a0-12-383854-1 035 $a(CKB)2670000000082398 035 $a(EBL)686823 035 $a(OCoLC)726734702 035 $a(SSID)ssj0000492023 035 $a(PQKBManifestationID)12173786 035 $a(PQKBTitleCode)TC0000492023 035 $a(PQKBWorkID)10473870 035 $a(PQKB)10107672 035 $a(MiAaPQ)EBC686823 035 $a(PPN)152559094 035 $a(Au-PeEL)EBL686823 035 $a(CaPaEBR)ebr10467738 035 $a(CaONFJC)MIL309226 035 $a(EXLCZ)992670000000082398 100 $a20110121d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aPipeline planning and construction field manual$b[electronic resource] /$fE. Shashi Menon 210 $aAmsterdam ;$aBoston [Mass.] $cGulf Professional Pub.$dc2011 215 $a1 online resource (577 p.) 300 $aDescription based upon print version of record. 311 $a0-12-383867-3 320 $aIncludes bibliographical references and index. 327 $aDesign basis -- Route selection -- Pipeline regulatory and environmental permits -- Right of way -- Alignment sheets -- Overview of pipeline materials -- Pipe strength and wall thickness -- Pipeline hydraulic analysis -- Series and parallel piping and power required -- Valve stations -- Pump stations -- Compressor stations -- Corrosion protection -- Leak detection -- Pipeline pigging and inspection -- Pipeline construction -- Welding and NDT -- Hydrostatic testing -- Commissioning -- Specification writing, data sheet production, requisition development and bid analysis -- Operations and maintenance manuals. 330 $a The objective of this book is to provide engineers with the necessary tools and techniques for formulating plans, designs, cost estimates and specifications for pipeline construction and field maintenance and modernization programs. Packed with easy to read and understand tables, pipeline schematics, bullet lists and ""what to do next"" checklists. This easy to use book covers the design, construction, and operation of onshore pipeline systems. The incorporate construction methods, commissioning, pressure testing, and start up into the design of a pipeline system. The focus is on pipeline r 606 $aPipelines 608 $aElectronic books. 615 0$aPipelines. 676 $a621.8/672 701 $aMenon$b E. Shashi$0919161 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459676403321 996 $aPipeline planning and construction field manual$92061588 997 $aUNINA LEADER 01672nam 2200397Ia 450 001 996389381903316 005 20210104171913.0 035 $a(CKB)4940000000097368 035 $a(EEBO)2240860822 035 $a(OCoLC)ocn907645645e 035 $a(OCoLC)907645645 035 $a(EXLCZ)994940000000097368 100 $a20150420d1653 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn Easter-reckoning, or, A free-vvill offering$b[electronic resource] $e... by one whom the people of the world calls a Quaker, but is of the divine nature made partaker ... : April 1653, Yorkshire 210 $aLondon $cPrinted for Giles Calvert, at the Black spread-Eagle, at the West-end of Pauls$d1653 215 $a[6], 25, [1] p 300 $aSigned: Rich. Farnworth. 300 $aTwo-page title, A1r-v. The title words "by one whom the people of the world calls a Quaker, but is of the divine nature made partaker : April 1653, Yorkshire" and the imprint are from the verso. 300 $aReproduction of original in: York Minster. Library. 330 $aeebo-0199 606 $aSociety of Friends$zEngland$vPastoral letters and charges$vEarly works to 1800 606 $aChristian life$vEarly works to 1800 606 $aFamilies$xReligious life$vEarly works to 1800 615 0$aSociety of Friends 615 0$aChristian life 615 0$aFamilies$xReligious life 700 $aR. F$g(Richard Farnworth),$f-1666,$01002684 702 $aCalvert$b Giles$f-1664, 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996389381903316 996 $aAn Easter-reckoning, or, A free-vvill offering$92359482 997 $aUNISA LEADER 01140nam 2200325Ia 450 001 996396572803316 005 20221107204659.0 035 $a(CKB)4330000000349732 035 $a(EEBO)2248524354 035 $a(OCoLC)17012978 035 $a(EXLCZ)994330000000349732 100 $a19871123d1668 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aSome kindling sparks in matters of physick$b[electronic resource] $eto satisfie some physicians who are of opinion that spirits (which they call hot things) do burn and inflame the body /$fwritten formerly to a friend by Albertus Otto Faber 210 $aLondon printed $c[s.n.]$d1668 215 $a8 p 300 $aImperfect: stained, with slight loss of print. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 606 $aMedicine$vEarly works to 1800 615 0$aMedicine 700 $aFaber$b Albert Otto$f1612-1684.$01014813 801 0$bEAK 801 1$bEAK 801 2$bWaOLN 906 $aBOOK 912 $a996396572803316 996 $aSome kindling sparks in matters of physick$92407946 997 $aUNISA LEADER 01056nam a22002537i 4500 001 991000719839707536 008 041222s2004 it f 000 0 ita d 020 $a883484257X 035 $ab13262725-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 14$a345.40 100 1 $aBernardi, Alessandro$0361472 245 12$aL'europeizzazione del diritto e della scienza penale /$cAlessandro Bernardi 260 $aTorino :$bG. Giappichelli,$c2004 300 $avi, 108 p. ;$c23 cm 440 0$aItinerari di diritto penale.$pSez.: Saggi ;$v2 500 $aGiā pubbl. nel 2002 in Quaderni fiorentini, 31 (2002), tomo 2., ora riv. 650 4$aDiritto penale$xUnificazione$xPaesi della comunita europea 907 $a.b13262725$b02-04-14$c22-12-04 912 $a991000719839707536 945 $aLE027 345.40 BER01.01$g1$i2027000076727$lle027$o-$pE11.50$q-$rl$s- $t0$u7$v1$w7$x0$y.i13973216$z22-12-04 996 $aEuropeizzazione del diritto e della scienza penale$9951974 997 $aUNISALENTO 998 $ale027$b22-12-04$cm$da $e-$fita$git $h2$i0 LEADER 03909nam 22006495 450 001 9910144922803321 005 20200704215218.0 010 $a3-540-69049-2 024 7 $a10.1007/3-540-62927-0 035 $a(CKB)1000000000234637 035 $a(SSID)ssj0000323262 035 $a(PQKBManifestationID)11272573 035 $a(PQKBTitleCode)TC0000323262 035 $a(PQKBWorkID)10300111 035 $a(PQKB)10294479 035 $a(DE-He213)978-3-540-69049-8 035 $a(PPN)155200240 035 $a(EXLCZ)991000000000234637 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Inductive Logic Programming$b[electronic resource] /$fby Shan-Hwei Nienhuys-Cheng, Ronald de Wolf 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XVIII, 410 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1228 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62927-0 327 $aPropositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution -- Subsumption theorem and refutation completeness -- Linear and input resolution -- SLD-resolution -- SLDNF-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution -- Unfolding -- The lattice and cover structure of atoms -- The subsumption order -- The implication order -- Background knowledge -- Refinement operators -- PAC learning -- Further topics. 330 $aInductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area. In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems. 410 0$aLecture Notes in Artificial Intelligence ;$v1228 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 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 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a005.1/15 700 $aNienhuys-Cheng$b Shan-Hwei$4aut$4http://id.loc.gov/vocabulary/relators/aut$0743205 702 $aWolf$b Ronald de$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910144922803321 996 $aFoundations of inductive logic programming$91478054 997 $aUNINA LEADER 04398nam 22007695 450 001 9910552733703321 005 20250626164127.0 010 $a3-030-98457-5 024 7 $a10.1007/978-3-030-98457-1 035 $a(MiAaPQ)EBC6926788 035 $a(Au-PeEL)EBL6926788 035 $a(CKB)21403603400041 035 $a(PPN)261519581 035 $a(DE-He213)978-3-030-98457-1 035 $a(EXLCZ)9921403603400041 100 $a20220315d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computing Systems $e4th International Symposium, ISICS 2022, Santiago, Chile, March 23?25, 2022, Proceedings /$fedited by Carlos Brito-Loeza, Anabel Martin-Gonzalez, Victor Castaņeda-Zeman, Asad Safi 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (156 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1569 311 08$aPrint version: Brito-Loeza, Carlos Intelligent Computing Systems Cham : Springer International Publishing AG,c2022 9783030984564 320 $aIncludes bibliographical references and index. 327 $aCapable of classifying the tuples with wireless attacks detection using Machine Learning -- Fault Diagnosis of Combustion Engines in MTU 16VS4000-G81 Generator Sets Using Fuzzy Logic: An Approach to Normalize Specific Fuel Consumption -- DDoS attack preventing and detection with the artificial intelligence -- Iris Recognition using Supervised Learning based on Matching Features -- Convolutional Neural Network for Segmentation of Single Cell Gel Electrophoresis Assay -- Evaluation of Human SCD test by Digital Image Analysis -- Machine Vision-based Expert System for Automated Skin Cancer Detection -- AI Used to Identify Car Accident Morbidity and Mortality Risk Factors in Dubai UAE -- Toward automatic water pollution analysis: A machine learning approach for water-quality monitoring through pattern classification of water crystallization -- Evaluation of human pose estimation in 3D with monocular camara for clinical appli-cation -- On the performance of preconditioned methods to solve Lp-norm phase unwrapping. 330 $aThis book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1569 606 $aArtificial intelligence 606 $aImage processing$xDigital techniques 606 $aComputer vision 606 $aSocial sciences$xData processing 606 $aComputer engineering 606 $aComputer networks 606 $aEducation$xData processing 606 $aArtificial Intelligence 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics 606 $aComputer Application in Social and Behavioral Sciences 606 $aComputer Engineering and Networks 606 $aComputers and Education 606 $aComputer Communication Networks 615 0$aArtificial intelligence. 615 0$aImage processing$xDigital techniques. 615 0$aComputer vision. 615 0$aSocial sciences$xData processing. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aEducation$xData processing. 615 14$aArtificial Intelligence. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aComputer Application in Social and Behavioral Sciences. 615 24$aComputer Engineering and Networks. 615 24$aComputers and Education. 615 24$aComputer Communication Networks. 676 $a006.3 676 $a006.3 702 $aBrito-Loeza$b Carlos 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910552733703321 996 $aIntelligent Computing Systems$92804344 997 $aUNINA