HAL: Hyper Article en Ligne
Not a member yet
3159010 research outputs found
Sort by
La tradition des sermons de saint Augustin, un projet d’ouvrage avorté d’André Wilmart
No full textInternational audienc
Territoria Naturalia. Aménager sans altérer, entre partage et réserve
No full textInternational audienc
Analysis of an optimal control problem for the Navier-Stokes system with Tresca boundary conditions
No full textInternational audienceWe consider an optimal control problem for the Navier-Stokes system with Tresca boundary conditions. With such boundary conditions, the weak formulation of the system is a variational inequality. We approximate this system and the optimal control problem by regularizing the boundary conditions leading to a variational equality. We show that for the approximate system, there exists an optimal control and we derive the first optimality condition by using an adjoint system. We also prove that the approximate optimal controls converge towards an optimal control for the Navier-Stokes system with Tresca boundary conditions. Finally we show that as the threshold of the Tresca law goes to infinity, the corresponding optimal controls converge towards an optimal control for the Navier-Stokes system with the Dirichlet boundary condition
De l’image au concept, la valeur des « expériences de pensée » comme processus graduel de fictionnalité
No full textInternational audienceL’histoire des sciences, l’examen génétique des découvertes et des inventions dans l’avènement de l’esprit scientifique, nous rappellent combien l’imagination et les processus de fictionnalité, loin d’être des obstacles, constituent le nexus de la création scientifique. Maintes découvertes scientifiques relèvent le fait selon lequel l’imagination se révèle plus importante que le savoir, en raison de l’importance des expériences de pensée comme processus fictionnel lesquelles ont conduit à la résolution de problèmes fondamentaux. Mais qu’est-ce qu’une « expérience de pensée » ? Pour quelles raisons les expériences de pensée sont-elles de précieuses auxiliaires fictionnelles à la connaissance scientifique ? Comment ces fictions surviennent-elles à l’esprit scientifique en vue d’établir la vérité, relativement à des degrés possibles de fictionnalité ? Est-il possible de caractériser les « expériences de pensée » scientifiques par leurs, peu ou prou, degrés de fictionnalité ? Pour quelles raisons ? Et comment ?En effet, toute recherche ne peut déterminer absolument ce qu’elle cherche et ce qu’elle va trouver. C’est le paradoxe de toute connaissance. Les découvertes sont toujours en quelque sorte inattendues. Lorsque les scientifiques savent précisément ce qu’ils ou ce qu’elles cherchent, c’est qu’ils ou elles ont découvert intellectuellement, par hypothèse ou par un raisonnement imaginatif. Ce raisonnement imaginatif est « l’expérience de pensée » entendu comme processus fictionnel et graduel en son rapport à la connaissance et à la vérité. Est-il possible de produire une typification de ces « expériences de pensées scientifiques » comme artefacts culturels hybrides? Quelles conséquences pouvons-nous en déduire ? A l’inverse, de toute velléité à prétendre se défaire de la puissance évocatrice de l’imagination afin d’atteindre supposément une rationalité abstraite, les expériences de pensée, consacrent leurs fonctions d’opérateurs fictionnels primordiaux à l’esprit scientifiques et à ses productions. A l’égal du concept de sérendipité, les expériences de pensée, comme fictions, comme processus graduels et hétérogènes de fictionnalité soulignent la liberté créatrice de la subjectivité dans les découvertes de l’ensemble des sciences et réfèrent indéfectiblement à la fois, à une conception humaniste et graduelle de la connaissance et à une interfécondité des registres des degrés de fictionnalité et des registres critériels à l’établissement de l’idée de vérité, en termes scientifiques. C’est pourquoi, notre propos s’attachera dans un cadre comparatif et possiblement typologique, avec les expériences de pensée en philosophie, à rendre compte de la richesse et de la complexité des expériences de pensée, comme laboratoire de l’esprit scientifique, dans leurs possibles fonctions imaginatives et processuelles d’inventions, de créations, de degrés de fictionnalité en science et ce, relativement à l’avènement de l’idée de mondes possibles
Centered colorings in minor-closed graph classes
No full textInternational audienceA vertex coloring of a graph is -centered if for every connected subgraph of , either uses more than colors on , or there is a color that appears exactly once on . We prove that for every fixed positive integer , every -minor-free graph admits a -centered coloring using colors
Parler de Dieu. Une introduction à la théologie
No full textInternational audienceVoici une œuvre invitant les lecteurs à plonger dans les profondeurs de les méandres de la théologie. Ce livre offre une exploration vive et éclairante de questions fondamentales sur Dieu, la foi et le sens de la vie. Les auteurs, trois jeunes théologiens – un Belge, un Colombien et un Portugais –, ayant parcouru une partie de leur chemin ensemble à Louvain-la-Neuve, se sont fixé l’objectif de prendre le lecteur par la main et le guider à travers ses premières réflexions théologiques.Des questions provocantes émergent, comme celle de savoir si Dieu parle réellement et si la “Parole de Dieu” est bien divine. L’exploration commence ainsi avec une enquête sur la possibilité pour quelqu’un de parler d’un Dieu qui semblerait pourtant devoir parler lui-même. Le livre est aussi une invitation à réfléchir sur les motivations derrière la quête théologique avec des interrogations profondes sur l’absurdité et le sens, le mal et le bien, la mort et la vie, engageant le lecteur dans une réflexion personnelle.Dans une conclusion pleine d’audace, les auteurs dévoilent enfin la réponse à la question essentielle : « Et, finalement, qu’est-ce que la théologie? ». En mêlant érudition, clarté et invitation à réfléchir, ce livre offre une introduction accessible et stimulante à la théologie, idéale pour tous les chercheurs de vérité et curieux de spiritualité
Event-Triggered Controller Design for Multi-Agent Systems
No full textInternational audienceThis chapter presents an event-triggered controller design for multi-agent systems, where the data transmission among agents is governed by event-triggered mechanisms. The dynamic event-triggered control with the full-state observer is introduced, with a particular concern of reducing communication frequency through designable inter-event time. An extension to directed topology, where the communication is restricted to single directions, is also discussed. The proposed methods follow the co-design principle, where the parameters of controllers, observers, and event-triggered mechanisms are synthesized simultaneously. Following a distributed design principle, only local information is required in a small range of nearby neighbors to compute the control signal and the event-triggered condition. Zeno behavior is proved to be excluded. Finally, the proposed approaches are demonstrated by a numerical example and compared with other methods to validate their effectiveness
Dependent Coeffects for Local Sensitivity Analysis
No full textTo appearInternational audienceDifferential privacy is a formal definition of privacy that bounds the maximum acceptable information leakage when a query is performed on sensitive data. To ensure this property, a key technique involves bounding the query's sensitivity (how much input variations affect the output) and adding noise to the result proportional to this quantity. While prior work like the Fuzz type system focuses on global sensitivity, many useful queries have infinite global sensitivity, restricting the applicability of such approaches. This limitation can be addressed by considering a more fine-grained measure: local sensitivity, which quantifies output change for inputs adjacent to a specific dataset. In this article, we introduce Local Fuzz, a type system with dependent coeffects designed to bound the local sensitivity of programs written in a simple functional language. We provide a denotational semantics for this system in the category of extended premetric spaces, leveraging the recently introduced construction of a dependently graded comonad. Finally, we illustrate how Local Fuzz can lead to better differential privacy guarantees than Fuzz, both for mechanisms that rely on global sensitivity and for those that leverage local sensitivity, such as the Propose-Test-Release framework