Contact: psw12@inf.puc-rio.brPROGRAM COMMITTEE---Alexander Paar, TWT Science and InnovationAndy Gordon, Microsoft ResearchAxel Polleres, SiemensDaniel Oberle, SAPDon Syme, Microsoft ResearchGerd Gröner, University of Koblenz-LandauHaym Hirsh, Rutgers University...
Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 735)) 151 Accesses Abstract The work presented here has its focus on the formal construction of programs out of non-constructive specifications involving quantifiers. This is accomplished by means of an extended abstract alg...
s that my tail happilyPwutrtiignggletdhientaislabsehtawye,eanlmmoystlselgisghptulyt abgogdrileyssriveael,it"yloaonkdatsumbes"ta, nccaet-liinkteomthaennexerp.ression of Puctotwinagrdtihcee atanidl sbheatwmeee. nI cmouyldlefgeeslpmuyt fbaocdeiclryurmeabllietyinatonad ssaudbesmtabnacr...
Versions Notes Abstract The high-temperature thermodynamical properties for the actinide monocarbides and mononitrides ThC, ThN, UC, UN, PuC, and PuN are calculated from first-principles electronic-structure theory. The electronic structure is modeled with density-functional theory (DFT) and is fully...