Deterministic Rendezvous at a Node of Agents with Arbitrary Velocities

We consider the task of rendezvous in networks modeled as undirected graphs. Two mobile agents with different labels, starting at different nodes of an anonymous graph, have to meet. This task has been considered in the literature under two alternative scenarios: weak and strong. Under the weak scenario, agents may meet either at a node or inside an edge. Under the strong scenario, they have to meet at a node, and they do not even notice meetings inside an edge. Rendezvous algorithms under the strong scenario are known for synchronous agents. For asynchronous agents, rendezvous under the strong scenario is impossible even in the two-node graph, and hence only algorithms under the weak scenario were constructed. In this paper we show that rendezvous under the strong scenario is possible for agents with restricted asynchrony: agents have the same measure of time but the adversary can arbitrarily impose the speed of traversing each edge by each of the agents. We construct a deterministic rendezvous algorithm for such agents, working in time polynomial in the size of the graph, in the length of the smaller label, and in the largest edge traversal time.Comment: arXiv admin note: text overlap with arXiv:1704.0888

Asynchronous approach in the plane: A deterministic polynomial algorithm

In this paper we study the task of approach of two mobile agents having the same limited range of vision and moving asynchronously in the plane. This task consists in getting them in finite time within each other's range of vision. The agents execute the same deterministic algorithm and are assumed to have a compass showing the cardinal directions as well as a unit measure. On the other hand, they do not share any global coordinates system (like GPS), cannot communicate and have distinct labels. Each agent knows its label but does not know the label of the other agent or the initial position of the other agent relative to its own. The route of an agent is a sequence of segments that are subsequently traversed in order to achieve approach. For each agent, the computation of its route depends only on its algorithm and its label. An adversary chooses the initial positions of both agents in the plane and controls the way each of them moves along every segment of the routes, in particular by arbitrarily varying the speeds of the agents. A deterministic approach algorithm is a deterministic algorithm that always allows two agents with any distinct labels to solve the task of approach regardless of the choices and the behavior of the adversary. The cost of a complete execution of an approach algorithm is the length of both parts of route travelled by the agents until approach is completed. Let $\Delta$ and $l$ be the initial distance separating the agents and the length of the shortest label, respectively. Assuming that $\Delta$ and $l$ are unknown to both agents, does there exist a deterministic approach algorithm always working at a cost that is polynomial in $\Delta$ and $l$? In this paper, we provide a positive answer to the above question by designing such an algorithm

Visual Secrets : A recognition-based security primitive and its use for boardroom voting

This paper presents and evaluates a new security primitive in the form of non-transferable “visual secrets”. We show how they can be used in the design of voting systems. More specifically, we introduce a receipt-free low-tech visually verifiable boardroom voting system which is built for simplicity and can serve as a teaching tool to introduce people to verifiable voting

Byzantine Gathering in Polynomial Time

We study the task of Byzantine gathering in a network modeled as a graph. Despite the presence of Byzantine agents, all the other (good) agents, starting from possibly different nodes and applying the same deterministic algorithm, have to meet at the same node in finite time and stop moving. An adversary chooses the initial nodes of the agents and assigns a different label to each of them. The agents move in synchronous rounds and communicate with each other only when located at the same node. Within the team, f of the agents are Byzantine. A Byzantine agent acts in an unpredictable way: in particular it may forge the label of another agent or create a completely new one. Besides its label, which corresponds to a local knowledge, an agent is assigned some global knowledge GK that is common to all agents. In literature, the Byzantine gathering problem has been analyzed in arbitrary n-node graphs by considering the scenario when GK=(n,f) and the scenario when GK=f. In the first (resp. second) scenario, it has been shown that the minimum number of good agents guaranteeing deterministic gathering of all of them is f+1 (resp. f+2). For both these scenarios, all the existing deterministic algorithms, whether or not they are optimal in terms of required number of good agents, have a time complexity that is exponential in n and L, where L is the largest label belonging to a good agent. In this paper, we seek to design a deterministic solution for Byzantine gathering that makes a concession on the proportion of Byzantine agents within the team, but that offers a significantly lower complexity. We also seek to use a global knowledge whose the length of the binary representation is small. Assuming that the agents are in a strong team i.e., a team in which the number of good agents is at least some prescribed value that is quadratic in f, we give positive and negative results

Effets du poids d'abattage, de la vitesse de croissance et des sexes sur les caractéristiques musculaires et les relations avec la qualité de la viande

L'objectif du projet était d'évaluer l'effet du poids d'abattage (PA), de la vitesse de croissance (VC) et des sexes sur la qualité du longissimus dorsi du porc et d'en établir la relation avec certains aspects du métabolisme musculaire. Les caractéristiques histologiques du psoas major ont également été comparées avec celles du longissimus dorsi pour ces traitements. Pour réaliser l'étude, 118 porcs commerciaux du Québec ont été regroupés selon deux VC, rapide (Indice de potentiel génétique moyens des pères de -7 jours) et lente (Indice de potentiel génétique moyens des pères de + 2 jours), trois PA (107 kg, 115 kg, 125 kg) et deux sexes (castrats et femelles). Les mesures de qualité physico-chimiques, d'activités enzymatiques énergétiques (citrate synthase et lactate déshydrogénase) et protéolytique (calpaïnes), ainsi que le profil histochimique et immunohistochimique du muscle ont été effectuées. Le PA et la VC n'ont pas influencé les principales mesures de qualité telles que la couleur, le pH du muscle, 48 heures après l'abattage, les forces de cisaillement, l'indice de fragmentation myofibrillaire, la solubilité des protéines et la teneur en myoglobine Les femelles ont montré des pertes en eau plus élevées et un p H u plus faible que les castrats. Par contre, une VC plus rapide a entraîné une augmentation du pourcentage de fibres de type I ainsi qu'une diminution de la taille de ces mêmes fibres. L'augmentation du poids d'abattage a favorisé l'activité de la citrate synthase et de la lactate déshydrogénase. Les femelles ont présenté un potentiel glycolytique plus élevé, une valeur de pHu inférieure et une plus grande perte en eau que les castrats. Malgré certains effets observés sur l'activité métabolique et les caractéristiques histochimiques du muscle, les effets des traitements sur la qualité de la viande sont très limités. Des différences ont été observées entre les effets des traitements sur les caractéristiques histologiques du psoas major et celle du longissimus dorsi. Les résultats suggèrent l'implication de la croissance longitudinale des fibres comme facteur pouvant expliquer ces différences

Humanimalité et indignation : apports de la fiction romanesque à la question philosophique du rôle de l'animalité dans le devenir humain de l'homme après Darwin

Thèse en cotutelle, Doctorat en études littéraires, Université Laval Québec, Canada et Université de Rouen Mont-Saint-Aignan, France.Depuis la théorie de l’évolution de Darwin, la science ne représente plus l’homme au-dessus du règne animal, elle l’y inscrit : c’est un animal, de la classe des mammifères, de l’ordre des primates, de la famille des hominidés, du genre homo et de l’espèce sapiens. Pour nommer cette nouvelle fraternité entre l’homme et l’animal, nous proposons le néologisme d’humanimalité, qui postule, par sa graphie même, un lien indéfectible entre humanité et animalité. De L’étrange cas du Dr Jekyll et M. Hyde de Robert Louis Stevenson (1886) à La planète des singes de Pierre Boulle (1963), en passant par Les racines du ciel de Romain Gary (1956) — où le mot « écologie » apparaît pour la première fois dans un roman —, les romanciers explorent cette nouvelle fraternité en mettant en scène des êtres, des créatures et des situations qui n’existent pas dans la réalité. Ce faisant, ils déploient des perspectives de réflexion que la réalité ne met pas toujours à notre portée. Dans la série des quinze romans réunis ici, qui composent le corpus à l’étude, une « voix », celle du narrateur ou du protagoniste, invite le lecteur à s’indigner du fait que l’hominisation ne se soit jamais complétée par une humanisation. Si l’ancêtre animal de l’homme est effectivement devenu homo faber, erectus, puis sapiens, il est toutefois douteux de croire qu’il soit parvenu jusqu’à l’homo humanus (l’homme authentiquement humain). Les raisons de cet écueil s’articulent toutes autour du thème de l’« animalité », qui renvoie tantôt à la part animale en l’homme, tantôt aux rapports que l’homme entretient avec les animaux. Aborder, ainsi que nous le faisons, les romans retenus dans l’ordre chronologique de leur publication permet d’esquisser une petite histoire de l’évolution du thème de l’animalité dans la littérature européenne, de découvrir que, passé le choc de la « hantise des origines » suscitée par la théorie de Darwin, les romanciers nous encouragent à nous réconcilier avec notre propre animalité et à reconnaître la dignité des animaux. En un siècle où l’homme est responsable de deux guerres mondiales, la barbarie ne peut plus être pensée comme la marque d’une « bête » en l’homme, mais plutôt comme l’un de ses propres : l’homme, un animal inhumain. Des romanciers suggèrent même que l’homo humanus ne serait pas l’une des prochaines étapes de l’évolution de sapiens, mais une simple « fiction », une histoire que l’humanité se raconte sur elle-même et qui n’aura jamais d’incarnation réelle en ce monde. Seul gage d’espoir, cette faculté que nous avons de nous indigner contre ce qui outrage cette fiction d’une espèce appelée à devenir plus humaine. Romans analysés : L’étrange cas du Dr Jekyll et M. Hyde de Robert Louis Stevenson (1886), La Machine à explorer le temps et L’île du docteur Moreau de Herbert George Wells (1895 et 1896), L’étalon de David Herbert Lawrence (1925), Le loup des steppes de Hermann Hesse (1927), Morwyn de John Cowper Powys (1937), Kaputt de Malaparte (1944), 1984 d’Orwell (1949), Molloy de Samuel Beckett (1951), La peau et les os (1949) et Le wagon à vaches de Georges Hyvernaud (1953), Sa Majesté des Mouches de William Golding (1954), Les racines du ciel de Romain Gary (1956), Sylva de Vercors (1961) et La planète des singes de Pierre Boulle (1963)

Les couples dont la femme souffre d'un trouble sévère de la personnalité : fonctionnement conjugal et attitudes à l'égard de la sexualité

Les couples dont la femme souffre d'un trouble de la personnalité limite (TPL) représentent un groupe à haut risque de problèmes psychosociaux, et la stabilité des relations amoureuses d'une personne est intimement associée à sa santé mentale. L'objectif de la présente thèse est de décrire le fonctionnement d'un échantillon de trente-cinq couples dont la femme présente un diagnostic de TPL. Une première étude évalue les principales dimensions du fonctionnement conjugal de ces couples. Une deuxième étude s'intéresse aux activités et attitudes à l'égard de la sexualité des femmes souffrant d'un TPL. La présence d'un trouble de la personnalité chez chacun des membres du couple est évaluée a l'aide d'une d'entrevue semi-structurée. Des questionnaires ont évalué les variables suivantes: satisfaction conjugale, patrons de communication, représentations d'attachement, violence conjugale, détresse psychologique, activités sexuelles et attitudes à l'égard de la sexualité. Les résultats ont montré que près de la moitié des hommes engagés dans une relation amoureuse avec une femme présentant un TPL répondent aux critères diagnostiques d'au moins un trouble de la personnalité. Comparativement aux couples d' un groupe contrôle, les couples dont un membre présente un TPL démontrent moins de satisfaction conjugale, plus d'insécurité dans l'attachement, plus de problèmes de communication et plus de violence conjugale. Enfin, en comparaison aux femmes d'un groupe contrôle, les femmes présentant un diagnostic de TPL n'ont pas rapporté significativement plus d'activités sexuelles dans la dernière année que les autres, mais elles ont plus fortement l'impression d'être pressées à s'engager dans des rapports sexuels. L'attachement anxieux serait un facteur de médiation du lien entre le TPL et ce sentiment de pression. Cette thèse a permis de mieux documenter la gravité des difficultés éprouvées au sein des couples dont un membre présente un TPL. Ses résultats soulignent l'importance de l'intégration de la recherche sur les troubles de la personnalité aux études en psychologie du coupl

Almost-Optimal Deterministic Treasure Hunt in Arbitrary Graphs

A mobile agent navigating along edges of a simple connected graph, either finite or countably infinite, has to find an inert target (treasure) hidden in one of the nodes. This task is known as treasure hunt. The agent has no a priori knowledge of the graph, of the location of the treasure or of the initial distance to it. The cost of a treasure hunt algorithm is the worst-case number of edge traversals performed by the agent until finding the treasure. Awerbuch, Betke, Rivest and Singh [3] considered graph exploration and treasure hunt for finite graphs in a restricted model where the agent has a fuel tank that can be replenished only at the starting node $s$. The size of the tank is $B=2(1+\alpha)r$, for some positive real constant $\alpha$, where $r$, called the radius of the graph, is the maximum distance from $s$ to any other node. The tank of size $B$ allows the agent to make at most $\lfloor B\rfloor$ edge traversals between two consecutive visits at node $s$. Let $e(d)$ be the number of edges whose at least one extremity is at distance less than $d$ from $s$. Awerbuch, Betke, Rivest and Singh [3] conjectured that it is impossible to find a treasure hidden in a node at distance at most $d$ at cost nearly linear in $e(d)$. We first design a deterministic treasure hunt algorithm working in the model without any restrictions on the moves of the agent at cost $\mathcal{O}(e(d) \log d)$, and then show how to modify this algorithm to work in the model from [3] with the same complexity. Thus we refute the above twenty-year-old conjecture. We observe that no treasure hunt algorithm can beat cost $\Theta(e(d))$ for all graphs and thus our algorithms are also almost optimal