L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De par leur nature concurrentielle, le bon fonctionnement de ces systèmes n'est assuré que lorsque leurs comportements ne dépendent pas d'un ordre d'exécution prédéterminé. En raison de cette caractéristique, il est particulièrement difficile de s'assurer qu'un système concurrent ne possède pas de faille. Dans cette thèse, nous étudions la vérification formelle, une approche algorithmique qui vise à automatiser la vérification du bon fonctionnement de systèmes concurrents en procédant par une abstraction vers des modèles mathématiques. Nous considérons deux de ces modèles, les réseaux de Petri et les systèmes d'addition de vecteurs, et les problèmes de vérification qui leur sont associés. Nous montrons que le problème d'accessibilité pour les systèmes d'addition de vecteurs (avec états) à deux compteurs est PSPACE-complet, c'est-à-dire complet pour la classe des problèmes solubles à l'aide d'une quantité polynomiale de mémoire. Nous établissons ainsi la complexité calculatoire précise de ce problème, répondant à une question demeurée ouverte depuis plus de trente ans. Nous proposons une nouvelle approche au problème de couverture pour les réseaux de Petri, basée sur un algorithme arrière guidé par une caractérisation logique de l'accessibilité dans les réseaux de Petri dits continus. Cette approche nous a permis de mettre au point un nouvel algorithme qui s'avère particulièrement efficace en pratique, tel que démontré par notre implémentation logicielle nommée QCover. Nous complétons ces résultats par une étude des systèmes de transitions bien structurés qui constituent une abstraction générale des systèmes d'addition de vecteurs et des réseaux de Petri. Nous considérons le cas des systèmes de transitions bien structurés à branchement infini, une classe qui inclut les réseaux de Petri possédant des arcs pouvant consommer ou produire un nombre arbitraire de jetons. Nous développons des outils mathématiques facilitant l'étude de ces systèmes et nous délimitons les frontières au-delà desquelles la décidabilité des problèmes de terminaison, de finitude, de maintenabilité et de couverture est perdue. / One fundamental aspect of computer systems, and in particular of critical systsems, is the ability to run simultaneously many processes sharing resources. Such concurrent systems only work correctly when their behaviours are independent of any execution ordering. For this reason, it is particularly difficult to ensure the correctness of concurrent systems.In this thesis, we study formal verification, an algorithmic approach to the verification of concurrent systems based on mathematical modeling. We consider two of the most prominent models, Petri nets and vector addition systems, and their usual verification problems considered in the literature.We show that the reachability problem for vector addition systems (with states) restricted to two counters is PSPACE-complete, that is, it is complete for the class of problems solvable with a polynomial amount of memory. Hence, we establish the precise computational complexity of this problem, left open for more than thirty years.We develop a new approach to the coverability problem for Petri nets which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. We demonstrate the effectiveness of our approach by implementing it in a tool named QCover.We complement these results with a study of well-structured transition systems which form a general abstraction of vector addition systems and Petri nets. We consider infinitely branching well-structured transition systems, a class that includes Petri nets with special transitions that may consume or produce arbitrarily many tokens. We develop mathematical tools in order to study these systems and we delineate the decidability frontier for the termination, boundedness, maintainability and coverability problems for these systems.

El objetivo de la investigación fue descubrir el significado y la transformación que tienen las máscaras y los trajes de La Diablada de Puno para sus artesanos, danzantes y pobladores. Para esto se emplearon técnicas etnográficas como asistir a la Octava de la Fiesta de la Candelaria de Puno (2018), a los talleres de Puno que confeccionan máscaras y trajes, y a un espectáculo de la Asociación Cultural Brisas del Titicaca. Del mismo modo, se entrevistó a danzantes, artesanos, pobladores y especialistas puneños en el tema. Además, se empleó el método visual para registrar y recopilar fotografías y videos de las máscaras y los trajes de esta danza y complementar el análisis realizado. Los resultados de la presente investigación mostraron que desde la perspectiva de la población estudiada, los personajes de La Diablada representan el bien y el mal (ángel y diablo); en cuanto a las máscaras, estas representan diversos elementos de la cosmovisión andina y la religión católica; y con respecto a los trajes, los elementos que los componen también tienen significados religiosos, y una gran influencia de la cultura oriental y la cultura Tiahuanaco. Finalmente, en cuanto a las transformaciones de las máscaras y los trajes, las principales variaciones han sido el cambio de materiales y el aumento de detalles y adornos; sin embargo, los entrevistados no reportan que se haya generado un cambio de significados en las máscaras y los trajes de la danza. En conclusión, el estudio muestra que la autenticidad de la tradición es una invención de discursos que varían y se construyen a lo largo del tiempo. / The objective of the research was to discover the meaning and transformation of the masks and costumes of the Puno’s Diablada for its artisans, dancers and residents. For this, ethnographic techniques were used, such as: attending the Octave of the Candelaria Festival of Puno (2018), the Puno’s workshops where make masks and costumes, and a show held by the Brisas del Titicaca Cultural Association. In the same way, it interviewed to Puno’s dancers, artisans, residents and specialists in the subject. In addition, the visual method was used to record and compile photographs and videos of the masks and costumes of this dance and complement the analysis made. The results of the present investigation showed that, from the perspective of the population studied, the characters of La Diablada represent the good and the evil (Angel and Devil); as for the masks, they represent different elements of the Andean cosmovision and the Catholic religion; and with respect to the costumes, the elements that compose them also have religious meanings, and a great influence of the oriental culture and the Tiahuanaco culture. Finally, regarding the transformations of the masks and costumes, the main variations have been, the change of materials and the increase of details and ornaments; however, the interviewees do not report that it has generated a change of meanings in the masks and costumes of the dance. In conclusion, the study shows that the authenticity of tradition is an invention of discourses that vary and are built over time.

La notoriété dont jouit l’apport de Gadamer à la tradition de l’herméneutique philosophique tend à éclipser la finesse et la complexité de ses réflexions dans le domaine de la philosophie pratique. Or, Gadamer souligne lui-même que, dès le début de sa carrière, sa principale préoccupation a été celle de comprendre à partir des Grecs ce que sont la praxis et la philosophie pratique qui l’étudie. C’est cette préoccupation qui l’a conduit à développer par la suite ses réflexions sur l’herméneutique – discipline qu’il comprend comme une philosophie pratique. Dans ses écrits éthico-politiques, Gadamer porte une attention particulière à la philosophie grecque, pour laquelle son intérêt est si puissant que, dès ses premiers écrits, il aspirait à en revitaliser certains éléments liés à l’exercice de la dialectique et représentés par le mode de vie dialogique de Socrate. La philía est l’un de ces concepts grecs que Gadamer vise à ranimer dans les esprits contemporains puisque, selon lui, la philía révèle des vérités sur l’existence humaine que les conceptions subjectivistes dominantes dans la modernité ne réussissent pas à expliquer. Contrairement à l’idée selon laquelle l’être humain serait fondamentalement un être individuel et seulement de manière secondaire un être social, l’appropriation gadamérienne de la philía met en évidence la nature sociale de l’être humain, c’est-à-dire son appartenance essentielle à la sphère sociale – dont les dimensions les plus fondamentales sont celles de la solidarité et l’amitié, selon Gadamer. Ce mémoire vise à montrer comment, en associant la notion grecque de philía aux phénomènes de l’amitié et de la solidarité, Gadamer comprend ces dernières comme reposant essentiellement sur le dialogue et la coexistence entre les êtres humains (par lesquels il leur est possible d’identifier le bien commun). Selon Gadamer, autant l’amitié que la solidarité consistent en l’orientation de l’agir de l’individu vers le bien des communautés auxquelles il appartient en vertu d’une reconnaissance du lien d’interdépendance qui l’unit à celles-ci. Dans la sphère de l’amitié, l’essence sociale des êtres humains se manifeste dans le partage de la tâche d’auto- connaissance qui est la leur : le dialogue et la coexistence des amis leur permettent de mieux se connaître qu’ils ne le feraient individuellement. Dans la sphère de la solidarité, l’essence sociale des êtres humains se manifeste dans le partage des tâches – comme la communication et la division du travail – qui rendent possible l’existence même de l’humanité. / The reputation of Gadamer’s contributions to the tradition of philosophical hermeneutics tends to eclipse the finesse and complexity of his reflections on practical philosophy. Gadamer himself states that, since the beginning of his career, his main concern has been understanding praxis and the practical philosophy that studies it. Gadamer’s ethical-political writings are heavily focused on Greek philosophy, his lifelong interest in which is evidenced in his attempts to revitalise certain elements related to the exercise of dialectics as represented by the dialogical life led by Socrates. The Greek notion of philía is one such concept that Gadamer aimed to revive in the minds of his contemporaries; he understood philia as revealing certain truths about human existence that the subjectivist conceptions dominating modern thought fail to grasp and explain. Unlike the idea that humans are fundamentally individual beings and only secondarily social, Gadamer’s appropriation of philia accentuates the social nature of human beings – that is, their essential belonging to the social sphere – whose most fundamental dimensions are those of solidarity and friendship. This thesis aims to highlight the ways in which Gadamer’s association of the Greek notion philia to the phenomena of friendship and solidarity leads him to characterise these phenomena as fundamentally relying on the dialogue and coexistence between human beings (through which they are capable of identifying the common good). Gadamer maintains that both friendship and solidarity entail individuals orienting their actions toward the well-being of the communities to which they belong in accordance with their recognition of the interdependence that unites them. In Gadamer’s conception of philia as friendship, the social nature of human beings manifests in the way they share the task of self-knowledge (a task obligatory to every human being): the dialogue and coexistence between friends is what allows humans to understand themselves better than they would individually. In Gadamer’s conception of philia as solidarity, the social essence of human beings manifests in the shared tasks that make the very existence of humanity possible – such as the task of communication and the division of labour.

The handbook presented in this paper summarises the results of the research initiative “International Water Research Alliance Saxony” (IWAS). The subproject “IWAS Vietnam” (Phase I, October 2008 – December 2010) focuses on the model region “South-East Asia” with emphasis on Vietnam. The project started as a joint research initiative between German and Vietnamese organisations and included contributions from academic, private and public sector in both countries. The handbook was compiled by the Technische Universität Dresden (project coordination), the Institute for Technical and Scientific Hydrology and Dresden Drainage and Sewerage Company, with substantial contributions from Vietnamese partners. / Sổ tay hướng dẫn trong bài viết này tóm lược các kết quả của sáng kiến nghiên cứu từ “Liên minh Nghiên cứu ngành nước quốc tế bang Saxony” (IWAS). Dự án nhánh “IWAS Việt Nam” (giai đoạn 1, 10/2008 - 12/2010) tập trung vào khu vực Đông Nam Á với trọng tâm là Việt Nam. Dự án khởi động như một sáng kiến liên kết nghiên cứu giữa các tổ chức của CHLB Đức và Việt Nam với sự đóng góp từ các đơn vị tư nhân, nhà nước và trường đại học của cả hai quốc gia. Quyển sổ tay này được biên soạn bởi Đại học Kỹ thuật Dresden (cơ quan điều phối dự án), Viện Công nghệ và Khoa học Thủy văn, và Công ty Thoát nước Dresden, cùng với sự đóng góp quan trọng của các đối tác Việt Nam.

Contexte : La gentrification, en transformant les environnements de vie, peut avoir un impact sur le bien-être des populations. Cependant, l’exposition à la gentrification peut être vécue et mesurée de plusieurs manières. À ce jour, les mesures existantes de ladite exposition sont uniquement fondées sur des critères objectifs déterminés à l’échelle populationnelle. Pourtant, la mesure de ce phénomène au niveau individuel incluant une dimension subjective à travers notamment la perception que l’on peut en ressentir pourrait permettre de mieux rendre compte de son impact sur le bien-être subjectif. Ce mémoire vise à faire progresser la recherche dans ce domaine, en considérant trois mesures d'exposition individuelle à la gentrification à base spatio-temporelle : l’exposition ponctuelle au domicile actuel, l’exposition moyenne aux lieux d’activités non résidentiels et l’exposition historique cumulée basée sur l’historique résidentiel. Méthode : Les données de 848 participants provenant de la première vague de la branche montréalaise de l’étude longitudinale INTERACT ont été analysées. Six modèles de régression linéaire multiple ont examiné la relation entre ces trois mesures et deux indicateurs de bien-être subjectif : l’Indice de Satisfaction de la Vie (ISV) et l’Indice du Bonheur Subjectif (IBS). Résultats : L’exposition historique à la gentrification (GentriHist) était la seule mesure d’exposition à la gentrification qui était positivement corrélée à la fois à la satisfaction de la vie (B ajusté =0,825; IC à 95% = [0,779 ; 0,836]) et au bonheur subjectif (B ajusté = 0,136; IC à 95% = [0,121 à 0,140]). Par ailleurs, l’effet d’interaction du niveau de revenu dans la relation entre la gentrification historique et la satisfaction de la vie montre que dans un contexte où les personnes à revenu suffisant (ISV moyen = 7,7) ont un niveau de satisfaction supérieur aux personnes à faible revenu (ISV moyen = 6,5), l’effet positif de l’exposition prolongée à la gentrification (plus de 3ans) est plus prononcé pour les populations défavorisées (ΔISV = 0,6) que chez les plus riches (ΔISV = 0,2). Conclusion : Nos résultats suggèrent l’intérêt de faire de la GentriHist un indicateur de référence en matière de mesure d’exposition individuelle à la gentrification ; afin de mieux en apprécier le lien avec le bien-être subjectif. / Context: Gentrification, by transforming living environments, can have an impact on people's wellbeing. However, exposure to gentrification can be experienced and measured in several ways. To date, existing measures of exposure to gentrification are solely based on population criteria, ignoring the fact that measuring this phenomenon at the individual level including its perception may better demonstrate its impact on subjective well-being. We advance the field by considering three spatiotemporal-based individual gentrification exposure measures: current home, non-residential activity places and historical gentrification. Method: Survey data from 848 adults in the Montreal-arm of the INTERACT longitudinal study were analyzed. Six multiple linear regression models examined the relationship between those three measures of gentrification exposure and two subjective well-being measures: the Life Satisfaction Index (LSI) and the Subjective Happiness Index (SHI). Results: Neither current home exposure nor site exposure were associated with the two subjective well-being indexes. Historical gentrification was positively associated with both life satisfaction (adjusted B =0,825; IC 95% = [0,779; 0,836]) and subjective happiness (adjusted B = 0,136; IC 95% = [0,121; 0,140]). Moreover, the interaction effect of income level in the relationship between historical gentrification and life satisfaction shows that in a context where people with sufficient income (average ISV = 7.7) have a level of satisfaction superior to low-income people (average ISV = 6.5), the positive effect of prolonged exposure to gentrification (more than 3 years) is more pronounced in disadvantaged populations (ΔISV = 0.6) than in the richest (ΔISV = 0 ,2). Conclusion: Our results suggest the interest of making the GentriHist a reference indicator for measuring individual exposure to gentrification, in order to better appreciate the link between gentrification and subjective well-being.

Le présent mémoire entend étudier le concept de l’anhypothétique dans l’oeuvre de Platon et d’Aristote. Plus exactement, nous examinons le Bien intelligible chez Platon ainsi que le principe de non-contradiction chez Aristote. Bien que ce sont des principes qui adoptent la même conceptualisation, ils ont chacun un contexte et des facteurs qui leur sont spécifiques. Cela s’explique notamment par le fait que les philosophes ont des divergences doctrinales par rapport à l’être, la théorie des formes, la dialectique, et cetera. Un tour d’horizon des philosophies respectives ainsi qu’une comparaison systématique des principes nous aideront à y voir plus clair. De plus, nous examinerons en quoi Aristote est redevable à Platon pour l’adoption du principe de non-contradiction. Cela dit, les deux principes à l’étude ont comme caractéristique fondamentale de ne pas être des hypothèses, c’est-à-dire qu’ils ne peuvent souffrir du statut de contingence qui est typique de l’hypothèse. En effet, l’anhypothétique cherche à neutraliser son alternative afin de s’ériger en tant que nécessité catégorique. Les raisons d’une telle nécessité s’expliquent entre autres parce que l’anhypothétique est condition de possibilité pour la connaissance des êtres. La potentialité de sa négation est donc nettement problématique sur le plan scientifique et ontologique, d’où son statut particulièrement éminent pour les philosophes. / This dissertation examines the concept of the anhypothetical in the works of Plato and Aristotle. More precisely, we examine the Intelligible Good in Plato and the principle of non-contradiction in Aristotle. Although these principles adopt the same conceptualization, they each have their own specific context and factors. This is because the philosophers have doctrinal differences with regard to being, the theory of forms, dialectics, etcetera. An overview of the respective philosophies, together with a systematic comparison of principles, will help us to get a clearer picture. We'll also examine how Aristotle is indebted to Plato for the adoption of the principle of non-contradiction. That said, the two principles under consideration have the fundamental characteristic of not being hypotheses, i.e. they cannot suffer from the status of contingency that is typical of hypothesis. Indeed, the anhypothetical seeks to neutralize its alternative in order to set itself up as a categorical necessity. The reasons for such a necessity include the fact that the anhypothetic is a condition of possibility for the knowledge of beings. The potentiality of its negation is therefore clearly problematic on a scientific and ontological level, hence its particularly eminent status for philosophers.

RESUMEN En el metabolismo bentónico de las zonas costeras y someras interactúan de forma compleja un gran número de procesos y factores tanto físicos como químicos y biológicos. La respiración bentónica y la regeneración de nutrientes en los fondos de arenas permeables del infralitoral han sido, tradicionalmente, poco estudiadas, sin embargo, éstas pueden tener una repercusión directa y transcendental en los ecosistemas costeros. Esta tesis tiene como propósito general la determinación de los flujos de oxígeno disuelto y nutrientes en la interfase sedimento-agua. Además, se plantea estudiar las posibles interacciones entre distintas variables ambientales e identificar aquellas más influyentes en el metabolismo bentónico sobre fondos de arenas finas y homogéneas. En este estudio se llevaron a cabo un total de ocho campañas de trabajo in situ en una estación de muestreo situada sobre fondos en los que se asienta la biocenosis de arenas finas bien calibradas y en cuya superficie se desarrollan tapices de microfitobentos. En estas campañas se tomaron muestras de la columna de agua, del sedimento y se instalaron trampas de sedimentación y cámaras de incubación bentónicas, tanto opacas como transparentes, sobre el sedimento a lo largo del ciclo anual. Además, se realizaron dos experimentos, bajo condiciones controladas en laboratorio, en los que se incubó la misma matriz granulométrica presente en la estación de muestreo y a la que se añadieron distintos niveles de materia orgánica y del bivalvo Spisula subtruncata respectivamente. La respiración bentónica de estas arenas finas infralitorales estuvo regulada por una pequeña fracción de materia orgánica presente en el sedimento, compuesta por carbono biopolimérico y pigmentos cloroplásticos, en condiciones de oscuridad. Ello supuso un consumo de oxígeno por parte del sedimento y una liberación de nitrógeno inorgánico disuelto y ácido ortosilícico hacia la columna de agua. En condiciones de luz, la correlación detectada entre la producción primaria neta y la irradiancia media incidente sobre la superficie del sedimento indicó que el microfitobentos tuvo un papel destacado en la producción de oxígeno y en el metabolismo de estos fondos. Las arenas finas bien calibradas, emplazadas en un ambiente meramente oligotrófico, se mostraron heterotróficas a lo largo del año, consumiendo oxígeno y liberando nitrógeno inorgánico disuelto y ácido ortosilícico a la columna de agua según los flujos diarios estimados, en los que se asumió que el intercambio ocurrido durante la fase diurna se corresponde con los flujos de las cámaras trasparentes y los de la fase nocturna a los flujos en oscuridad. Únicamente durante la primavera, estos fondos fueron autotróficos debido a la mayor irradiancia incidente en esta estación que estimuló la producción primaria realizada por el microfitobentos. Esta producción primaria bentónica fue superior a la producción planctónica en todas las campañas, realizadas todas ellas en circunstancias de estabilidad hidrodinámica sobre estos fondos someros. Los experimentos ex situ mostraron que la respiración bentónica respondió de forma más acusada en condiciones oligotróficas, lo que también conllevó un mayor incremento en la liberación de nitrógeno inorgánico disuelto, que en situaciones eutróficas o hipereutróficas. La presencia de S. subtruncata, una de las especies más abundantes en la estación de muestreo, también implicó incrementos del 60-75 % en el consumo de oxígeno y del 65-100 % en la liberación de nitrógeno inorgánico disuelto a densidades comprendidas entre los 400 y 850 ind m-2, debido a su metabolismo y actividad. / Sospedra Ciscar, J. (2014). Flujos de oxígeno y nutrientes entre sedimento y columna de agua: caso de las arenas finas infralitorales [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/48466

Este trabajo constituye una investigación sobre el mal radical tal como aparece en la primera parte de La religión dentro de los límites de la mera razón (en adelante, Religión). De lo que se trata es de presentar de forma crítica la tesis de Immanuel Kant que afirma una maldad innata en la naturaleza humana (R 6:32-39). Y si bien la tesis aparece de forma explícita y sistemática únicamente en dicha obra, nos preocuparemos en mostrar que, mutatis mutandis, atraviesa toda la filosofía moral kantiana, dado que articula una visión del ser humano que se hace presente en todas sus obras de moral, así como en sus escritos de antropología y de historia.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2009-2010 / Ce mémoire présente les résultats d'estimation de l'effet d'une réforme fiscale sur l'offre de travail et le bien-être des femmes célibataires. La réforme consiste en l'augmentation des seuils de la table d'imposition au Québec (Canada). Le comportement des femmes est modélisé à l'aide d'un modèle structurel d'offre de travail à choix discret (fonction d'utilité translog) qui inclut des coûts fixes. Le modèle est estimé à l'aide d'un logit mixte. Les résultats indiquent une faible augmentation globale du nombre d'heures travaillées à la suite de la réforme simulée. Celle-ci a un effet hétérogène selon la présence ou non d'enfants dans le ménage. Suite à l'estimation de la réaction d'offre de travail, le calcul des fonctions de dépenses permet l'évaluation de la variation équivalente dans un contexte de choix discret. Ainsi, il est possible d'affirmer que la réforme améliore l'efficience du marché du travail de manière générale. Une analyse distributive est effectuée à partir des mêmes fonctions de dépenses dans le but d'évaluer les variations dans la répartition du bien-être. Le coefficient de Gini et l'indice d'Atkinson révèlent un accroissement des inégalités.

Notre projet de recherche examine s'il est possible de mettre en place un accord volontaire (AV) stable, profitable à la fois pour les firmes et pour la société. Pour ce faire, nous comparons la possibilité d'amasser un montant donné par le biais d'une taxe unitaire (impliquant un coût fixe pour le régulateur) ou d'un AV, et vérifions sous quelles conditions l'AV est la meilleure option pour les deux parties. Afin de favoriser la formation de l'AV, le régulateur autorise les firmes participantes à colluder. Nous analysons deux structures de marché, soit Cournot et Stackelberg. L'analyse d'un cas numérique montre qu'il est possible qu'un AV avec cartel évoluant en concurrence à la Stackelberg soit plus profitable qu'une taxe à la fois pour les firmes et pour la société. Il n'en est pas de même pour le cartel en Cournot pour la valeur des paramètres utilisés, mais un coût fixe plus élevé associé à la taxe pourrait modifier ce résultat.