tag:joss.theoj.org,2005:/papers/tagged/satireJournal of Open Source Software2022-03-03T16:44:19ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/30942022-03-03T16:44:19Z2022-03-04T00:01:13Zgym-saturation: an OpenAI Gym environment for saturation proversacceptedv0.1.02021-10-01 16:31:20 UTC712022-03-03 16:44:19 UTC720223849BorisShminkeLaboratoire J.A. Dieudonné, CNRS and Université Côte d'Azur, France0000-0002-1291-989610.21105/joss.03849https://doi.org/10.5281/zenodo.6324282Python, OpenEdge ABLhttps://joss.theoj.org/papers/10.21105/joss.03849.pdfOpenAI Gym, automated theorem prover, saturation prover, reinforcement learningtag:joss.theoj.org,2005:Paper/31042022-01-29T01:00:18Z2022-01-30T19:09:58ZDelve: Neural Network Feature Variance Analysisacceptedv0.1.482021-10-08 17:58:31 UTC692022-01-29 01:00:18 UTC720223992JustinShenkVisioLab, Berlin, Germany, Institute of Cognitive Science, University of Osnabrueck, Osnabrueck, Germany0000-0002-0664-7337MatsL.RichterInstitute of Cognitive Science, University of Osnabrueck, Osnabrueck, Germany0000-0002-9525-9730WolfByttnerRapid Health, London, England, United Kingdom0000-0002-9525-973010.21105/joss.03992https://doi.org/10.5281/zenodo.5865465Pythonhttps://joss.theoj.org/papers/10.21105/joss.03992.pdfdeep learning, machine learning, saturation, pytorch, AItag:joss.theoj.org,2005:Paper/23872021-03-31T15:42:57Z2021-04-02T12:27:09ZMetatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturationacceptedv0.1.02021-02-12 14:39:29 UTC592021-03-31 15:42:57 UTC620213078AlessandroCheliUniversity of Pisa, Pisa, Italy0000-0002-8122-946910.21105/joss.03078https://doi.org/10.5281/zenodo.4646136Juliahttps://joss.theoj.org/papers/10.21105/joss.03078.pdfcompiler, symbolic, algebra, rewriting, optimizationtag:joss.theoj.org,2005:Paper/7502019-03-09T19:20:54Z2021-02-15T11:32:44ZA News Verification Browser for the Detection of Clickbait, Satire, and Falsified Newsacceptedv0.12.0.02018-12-12 20:51:21 UTC352019-03-09 19:20:54 UTC420191208VictoriaL.RubinLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada.0000-0003-3610-9967ChrisBroglyLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada.0000-0001-5688-0287NadiaConroyLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada., Media Sonar Technologies, London, Ontario, Canada.0000-0003-4826-4489YiminChenLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada.0000-0002-0924-3661SarahE.CornwellLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada.0000-0002-2367-3668ToluwaseV.AsubiaroLanguage and Information Technology Research Lab (LiT.RL), Faculty of Information and Media Studies, The University of Western Ontario, London, Ontario, Canada., E. Latunde Odeku Medical Library, College of Medicine, University of Ibadan, Ibadan, Nigeria0000-0003-0718-773910.21105/joss.01208https://doi.org/10.5281/zenodo.2588566Python, C#https://joss.theoj.org/papers/10.21105/joss.01208.pdfclickbait, satire, fake news, misinformation, disinformation