Search Results for "40"

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope. Stellarium is a free open source planetarium for your computer. It shows a realistic sky in 3D, just like what you see with the naked eye, binoculars or a telescope. Plugin system adding artifical satellites, ocular simulation, telescope control and more....

...The new hosting is at https://github.com/federicocerutti/ArgSemSAT In particular, the source code for the publication: Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, How we designed winning algorithms for abstract argumentation and which insight we attained, Artificial Intelligence, Volume 276, 2019, Pages 1-40, ISSN 0004-3702, https://doi.org/10.1016/j.artint.2019.08.001. (http://www.sciencedirect.com/science/article/pii/S0004370218302650) is available at https://github.com/federicocerutti/ArgSemSAT/releases/tag/1.0.5 Solving argumentation problems in Dung's AFs. Authors: Federico Cerutti <federico.cerutti@acm.org> Mauro Vallati <m.vallati@hud.ac.uk> Massimiliano Giacomin <massimiliano.giacomin@unibs.it> Credits for porting to MacOSX: Roman Kutlak <r.kutlak@abdn.ac.uk>