LEADER 01443oam  2200481   450 
001 9910716972503321
005 20220404101309.0
035   $a(CKB)5470000002526469
035   $a(OCoLC)1282169973
035   $a(OCoLC)995470000002526469
035   $a(EXLCZ)995470000002526469
100   $a20211103d2021      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAdvanced plastic recycling
210  1$a[Washington, D.C.] :$cGAO - Science, Technology Assessment, and Analytics,$d2021.
215   $a1 online resource (2 unnumbered pages) $ccolor illustrations
225 1 $aScience & tech spotlight
300   $a"September 2021."
300   $a"GAO-21-105317."
320   $aIncludes bibliographic references.
517 1 $aGAO-21-105317 advanced plastic recycling
606   $aPlastics$xRecycling$zUnited States
606   $aPlastic scrap$zUnited States
606   $aPlastic scrap$2fast
606   $aPlastics$xRecycling$2fast
607   $aUnited States$2fast
615  0$aPlastics$xRecycling
615  0$aPlastic scrap
615  7$aPlastic scrap.
615  7$aPlastics$xRecycling.
801  0$bGPO
801  1$bGPO
801  2$bOCLCF
801  2$bOCLCO
801  2$bGPO
906   $aBOOK
912   $a9910716972503321
996   $aAdvanced plastic recycling$93280111
997   $aUNINA

LEADER 02002nam  2200349   450 
001 9910255436303321
005 20231214073007.0
010   $a1-5044-4602-X
035   $a(CKB)4100000001797479
035   $a(NjHacI)994100000001797479
035   $a(EXLCZ)994100000001797479
100   $a20231214d2018      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIEEE Std 1788.1-2017:  $eIEEE Standard for Interval Arithmetic (Simplified) /$fIEEE
210  1$aNew York, USA :$cIEEE,$d2018.
215   $a1 online resource (38 pages)
330   $aThis standard is a simplified version and a subset of the IEEE Std 1788TM-2015 for Interval Arithmetic and includes those operations and features of the latter that in the the editors view are most commonly used in practice. IEEE Std 1788.1-2017 specifies interval arithmetic operations based on intervals whose endpoints are IEEE Std 754TM-2008 binary64 floating-point numbers and a decoration system for exception-free computations and propagation of properties of the computed results.A program built on top of an implementation of IEEE Std 1788.1-2017 should compile and run, and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former.Compared to IEEE Std 1788-2015, this standard aims to be minimalistic, yet to cover much of the functionality needed for interval computations. As such, it is more accessible and will be much easier to implement, and thus will speed up production of implementations.
517   $a1788.1-2017 - IEEE Standard for Interval Arithmetic 
517   $aIEEE Std 1788.1-2017
606   $aInterval analysis (Mathematics)
615  0$aInterval analysis (Mathematics)
676   $a511.42
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a9910255436303321
996   $aIEEE Std 1788.1-2017$93646812
997   $aUNINA