LEADER 02053nam 2200625Ia 450 001 9910700145303321 005 20110321164615.0 035 $a(CKB)5470000002407514 035 $a(OCoLC)707937848 035 $a(EXLCZ)995470000002407514 100 $a20110321d2010 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPeak wind tool for general forecasting, phase II$b[electronic resource] /$fJoe H. Barrett Ill 210 1$aKennedy Space Center, Fla. :$cNational Aeronautics and Space Administration, Kennedy Space Center,$d[2010] 215 $a1 online resource (53 pages) $cillustrations, color map 225 1 $aNASA/CR-2010-216289 300 $aTitle from title screen (viewed on March 21, 2011). 300 $a"September 2010." 320 $aIncludes bibliographical references (page 51). 606 $aClassifications$2nasat 606 $aData systems$2nasat 606 $aWind velocity$2nasat 606 $aWind shear$2nasat 606 $aWind direction$2nasat 606 $aTemperature inversions$2nasat 606 $aStatic stability$2nasat 606 $aProbability theory$2nasat 606 $aMeteorological parameters$2nasat 606 $aMesoscale phenomena$2nasat 606 $aInterpolation$2nasat 606 $aForecasting$2nasat 615 7$aClassifications. 615 7$aData systems. 615 7$aWind velocity. 615 7$aWind shear. 615 7$aWind direction. 615 7$aTemperature inversions. 615 7$aStatic stability. 615 7$aProbability theory. 615 7$aMeteorological parameters. 615 7$aMesoscale phenomena. 615 7$aInterpolation. 615 7$aForecasting. 700 $aBarrett$b Joe H$01404541 712 02$aJohn F. Kennedy Space Center. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700145303321 996 $aPeak wind tool for general forecasting, phase II$93479339 997 $aUNINA LEADER 01498oam 2200397 450 001 9910703631103321 005 20150416101421.0 035 $a(CKB)5470000002433402 035 $a(OCoLC)906597827 035 $a(EXLCZ)995470000002433402 100 $a20150406d1998 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMineral-resource and environmental geochemistry of the Coconino National Forest, Coconino, Gila, and Yavapai counties, Arizona /$fby Maurice A. Chaffee and Harley D. King 210 1$aDenver, Colorado :$cU.S. Department of the Interior, U.S. Geological Survey,$d[1998] 215 $a1 online resource (iv, 60 pages) $cillustrations 225 1 $aOpen-file report ;$v98-112 300 $aTitle from title screen (viewed Mar. 10, 2015). 320 $aIncludes bibliographical references (pages 26-29). 606 $aGeochemical prospecting$zArizona 606 $aEnvironmental geochemistry$zArizona 615 0$aGeochemical prospecting 615 0$aEnvironmental geochemistry 700 $aChaffee$b Maurice A.$01396256 702 $aKing$b Harley D. 712 02$aGeological Survey (U.S.), 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910703631103321 996 $aMineral-resource and environmental geochemistry of the Coconino National Forest, Coconino, Gila, and Yavapai counties, Arizona$93457787 997 $aUNINA LEADER 04497nam 22007935 450 001 9910768449103321 005 20251226202225.0 010 $a3-540-39730-2 024 7 $a10.1007/11856290 035 $a(CKB)1000000000283738 035 $a(SSID)ssj0000316350 035 $a(PQKBManifestationID)11224852 035 $a(PQKBTitleCode)TC0000316350 035 $a(PQKBWorkID)10263919 035 $a(PQKB)10727101 035 $a(DE-He213)978-3-540-39730-4 035 $a(MiAaPQ)EBC3068240 035 $a(PPN)123138108 035 $a(BIP)34164261 035 $a(BIP)13618446 035 $a(EXLCZ)991000000000283738 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArtificial Intelligence and Symbolic Computation $e8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /$fedited by Jaques Calmet, Tetsuo Ida, Dongming Wang 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIII, 269 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4120 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-39728-0 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Interactive Mathematical Documents -- Algebra and Geometry -- An Inductive Inference System and Its Rationality -- Semantic Guidance for Saturation Provers -- Contributed Papers -- Labeled @-Calculus: Formalism for Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory Inclusions -- Extension of First-Order Theories into Trees -- The Confluence Problem for Flat TRSs -- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer -- A New Definition for Passivity and Its Relation to Coherence -- A Full System of Invariants for Third-Order Linear Partial Differential Operators -- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial -- Quantifier Elimination for Quartics -- On the Mixed Cayley-Sylvester Resultant Matrix -- Implicitization of Rational Curves -- Operator Calculus Approach to Solving Analytic Systems -- Solving Dynamic Geometric Constraints Involving Inequalities -- Constraints for Continuous Reachability in the Verification of Hybrid Systems -- Using Hajós? Construction to Generate Hard Graph 3-Colorability Instances -- Finding Relations Among Linear Constraints -- A Search Engine for Mathematical Formulae -- Hierarchical Representations with Signatures for Large Expression Management. 330 $aHere are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4120 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aNumerical analysis 606 $aDiscrete mathematics 606 $aMachine theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aNumerical Analysis 606 $aDiscrete Mathematics in Computer Science 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aNumerical analysis. 615 0$aDiscrete mathematics. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aNumerical Analysis. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aFormal Languages and Automata Theory. 676 $a006.3 701 $aCalmet$b Jacques$042373 701 $aIda$b Tetsuo$0913663 701 $aWang$b Dongming$f1961-$0738655 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768449103321 996 $aArtificial intelligence and symbolic computation$94199359 997 $aUNINA