INCF kicks off final day of @ebrains.bsky.social summit — Mathew Birdsall Abrams on growing and demonstrating the value standards bring to collaborations including #CONP and @bidsstandard.bsky.social
Cc
@incforg.bsky.social

Ranking Functions for Linear Loops Proven coNP‑Complete

Deciding if an integer‑valued loop has a linear or lexicographical‑linear ranking function is coNP‑complete, as shown in a JACM paper (vol 61, issue 4, 2014). Read more: getnews.me/ranking-functions-for-li... #rankingfunctions #coNP #termination

Looking forward to more great things from the second cycle of #CONP #openscience platform

#conp "Discours UMP sur le #djendeur pour reconquérir électeurs musulmans perdus avec débat identité nationale" #Réjouissant

#conp @GTabard "Je n'ai pas lu ces livres" Hahahahahaha #Crédible #OuPas

#conp @GTabard Vas-y rame pour défendre Copé #AOilpé

#conp Dis, @GTabard, t'écouter pique déjà les oreilles, tu pourrais arrêter de dire "Bon" tous les 2,5 mots ? Genre "Chuis d'ac avec moi" ?

#conp À l'époque du "Diner" sur Canal, la chronique de @GTabard s'appelait "Confit de Tabard" #Nostalgie #CEtaitBienTrouvé