We prove that the propositional translations of the Kneser-Lovasz theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counting-based combinatorial proof of the Kneser-Lovasz theorem that avoids the topological arguments of prior proofs. We introduce a miniaturization of the octahedral Tucker lemma, called the truncated Tucker lemma. The propositional translations of the truncated Tucker lemma

  We investigate the dependence of steady-state properties of Schelling's segregation model on the agents' activation order. Our basic formalism is the Pollicott-Weiss version of Schelling's segregation model. Our main result modifies this baseline scenario by 1. employing a log-linear response rule 2. incorporating "contagion" in the decision to move: agents are connected by a second, "word-of-mouth", network. Agents' activation is specified by

Ca urmare a lansării în dezbatere publică a PHG privind modificarea și completarea Hotărârii Guvernului nr. 403 din 31 mai 2017 privind aprobarea Programului de granturi pentru cercetare-dezvoltare şi inovare "Grantul pentru tineri cercetători REGELE CAROL I” publicată în Monitorul Oficial nr. 441 din 14 iunie 2017, Asociația Ad Astra propune: 1. Abrogarea articolelor care condiționează acordarea acestor granturi de angajarea beneficiarilor