Future Climate Rhetorics of Belize: A Counter-Apocalyptic Inquiry into Belize’s Possible, Probable, and Preferable Futures

This dissertation investigates future climate rhetorics of Belize through a variety of methods in order to mediate the various conceptions of the future professed in climate policy, experiential phenomenology, and acoustic ecologies of agroecology. Chapter one considers the values embedded in climate change policy documents, specifically the Nation Communications documents composed by Belize’s various ministries since the country signed to the Paris Agreement in 2016. Using the People’s Agreement of Cochamba as an alternative lens, the chapter explores how people-centered, as opposed to market-centered, attunements informing climate policy can potentially lead to a more just, equitable future that does not rely on technocratic knowledge and the maintenance of colonial relations. Chapter two delves into a case study undertaken by the researcher at the Trio Farms Cacao Association’s cacao agroforestry concession to glean how the farmers working in this system conceive of changes in their labors as a result of increased temperatures, increased rainfall volatility, and increased incidents of natural disasters, proposing the ‘rhetoric of hope’ to discuss the futures projected by the farmers in spite of the industry’s bleak outlook. Chapter three builds from the case study through a sonic rhetoric performance writing experiment using passive acoustic monitoring (PAM) devices deployed in the concession to discuss audible perceptions of biodiversity and harmony in order to demonstrate mediations rhetoricians can provide to discussions about the role of human ‘ear ring’ amid the rise in machine ‘listening.’ The fourth chapter uses the insights of the previous chapters to develop a narrative in the method of what Aja Martinez’s terms ‘counter story’ in order to conceive of alternate futures wherein Belizeans might alter their political trajectory towards equity and wellbeing during a time of extreme heating events and collapsed global supply chains. The dissertation then concludes by discussing insights about the methods used in the dissertation that might be improved for repeatability as well as how aspects of the researcher’s life as an environmental activist have informed the work herein

Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité

National audienceCet article présente un algorithme de recherche locale guidée par l'analyse de conflits pour résoudre le problème SAT. L'usage d'une telle analyse, permettrait d'exploiter les dépendances entre les variables particulièrement présentes dans des instances structurées et d'accroître l'effet de la propagation unitaire. Les premiers résultats expérimentaux sont prometteurs

Conflict History based Search for Constraint Satisfaction Problem

International audienc

Voisinage consistant pour le problème de satisfaisabilité

La plupart des méthodes de recherche locale pour le problème de satisfaisabilité traitent une interprétation complète et souvent inconsistante des variables du problème, et essaient de la réparer en changeant la valeur de vérité de certaines variables jusqu'à atteindre une solution. Nous proposons une nouvelle méthode de recherche locale qui gère des interprétations incomplètes, mais toujours consistantes, au lieu de complètes et inconsistantes. Cette méthode tente de prolonger l'interprétation partielle courante comme le ferait une méthode complète. Cependant, au lieu de déclencher un retour arrière (backtrack) lorsqu'un conflit sur vient, elle libère au moins une variable impliqué dans chaque clause falsifiée a in de restaurer la consistance. Ainsi, le voisinage exploré est toujours consistant alors que ce n'est pas le cas pour les algorithmes de recherche locale classiques. Notre méthode peut aussi tirer profit de certaines techniques efficaces issues des méthodes complètes comme la propagation unitaire et les heuristiques de choix de variables. Les résultats expérimentaux montrent la compétitivité de notre méthode par rapport à d'autres méthodes de recherche locale

Consistency checking within local search applied to the frequency assignment with polarization problem

International audienceWe present a hybrid approach for the Frequency Assignment Problem with Polarization. This problem, viewed as Max-CSP, is treated as a sequence of decision problems, CSP like. The proposed approach combines the Arc-Consistency techniques with a performed Tabu Search heuristic. The resulting algorithm gives some high quality solutions and has proved its robustness on instances with approximately a thousand variables and nearly ten thousand constraints

Conflict History Based Branching Heuristic for CSP Solving

International audienceAn important feature in designing algorithms to solve Constraint Satisfaction Problems (CSP) is the definition of a branching heuristic to explore efficiently the search space and exploit the problem structure. We propose Conflict-History Search (CHS), a new dynamic and adaptive branching heuristic for CSP solving. It is based on the search history by considering the temporality of search failures. To achieve that, we use the exponential recency weighted average to estimate the evolution of the hardness of constraints throughout the search. The experimental evaluation on XCSP3 instances shows that integrating CHS to solvers based on MAC obtains competitive results and can improve those obtained through other heuristics of the state of the art

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

International audienceNon disponibl

Combining VSIDS and CHB Using Restarts in SAT

Conflict Driven Clause Learning (CDCL) solvers are known to be efficient on structured instances and manage to solve ones with a large number of variables and clauses. An important component in such solvers is the branching heuristic which picks the next variable to branch on. In this paper, we evaluate different strategies which combine two state-of-the-art heuristics, namely the Variable State Independent Decaying Sum (VSIDS) and the Conflict History-Based (CHB) branching heuristic. These strategies take advantage of the restart mechanism, which helps to deal with the heavy-tailed phenomena in SAT, to switch between these heuristics thus ensuring a better and more diverse exploration of the search space. Our experimental evaluation shows that combining VSIDS and CHB using restarts achieves competitive results and even significantly outperforms both heuristics for some chosen strategies

Une heuristique basée sur l'historique des conflits pour les problèmes de satisfaction de contraintes

National audienceL’heuristique de choix de variables est une brique importante pour les algorithmes de résolution du problème de satisfaction de contraintes (CSP). Elle a une influence souvent considérable sur l’efficacité de la recherche et permet, d’une certaine manière, d’exploiter la structure des instances. Dans cet article, nous proposons l’heuristique CHS (pour Conflict-History Search) qui est une heuristique dynamique et adaptative pour la résolution d’instances CSP. Elle repose sur les échecs rencontrés durant la recherche et considère leur temporalité tout au long de la résolution. Une technique d’apprentissage par renforcement est exploitée pour estimer l’évolution de la difficulté des contraintes durant la recherche. Les expérimentations réalisées sur des instances au format XCSP3 permettent de montrer que l’intégration de CHS au sein d’un solveur basé sur l’algorithme MAC s’avère pertinente, conduisant notamment à des résultats meilleurs que ceux obtenusavec des heuristiques de l’état de l’art comme dom/wdeg et ABS