Portail HAL UNIV-RENNES
Not a member yet
180610 research outputs found
Sort by
Les caractéristiques sémantiques n’influencent pas la spatialisation en mémoire de travail
No full textInternational audienceL'effet SPoARC résulte d’une spatialisation mentale d'informations ordinales non spatiales en mémoire de travail. Chez une population occidentale, cette spatialisation se traduit par une organisation de l’information sur une ligne mentale horizontale de gauche à droite. Deux mécanismes ont été proposés pour expliquer cet effet : un traitement sémantique et un traitement verbal. Cependant, la littérature n’a pas permis d’identifier lequel de ces facteurs est le principal déterminant de la spatialisation. La présente étude a donc été menée afin d’examiner plus finement la contribution du contenu sémantique à ce phénomène. Nous avons demandé à 141 participants de réaliser une tâche de mémorisation avec des stimuli dont les propriétés sémantiques ont été manipulées en utilisant des pseudo-mots, des mots abstraits et des mots concrets. Nous avons observé un effet de spatialisation lors de la reconnaissance de pseudo-mots, remettant en cause l'hypothèse sémantique suggérée dans la littérature. Nous avons également détecté un effet de spatialisation à la fois avec les mots abstraits et concrets. L’absence de différence entre ces deux types de stimuli semble indiquer que le facteur sémantique n’est pas prédominant ici. L’ensemble de ces résultats suggèrent que l’effet SPoARC pourrait découler principalement d’un traitement verbal, sans rôle direct du contenu sémantique
Absolute calculus and prismatic crystals on cyclotomic rings
No full textExplained more clearly why the case p=2 (for which some calculations have been made explicit) requires some care. Updated references and added pointers to some results, computations and examples of other author
La philosophie de Pierre Leroux : science de la Vie et doctrine de l’Idéal
No full textInternational audienc
Patrimonialisation des espaces naturels et action des associations environnementales, quels reflets sur les archives ?
No full textInternational audienc
Apprentissage faiblement supervisé pour l’analyse du trafic des botnets et l’évaluation de la robustesse aux attaques adversariales
No full textThis thesis primarily focuses on behavior-based Network-based Intrusion Detection System (NIDS) with weakly- supervised and trustworthy Machine Learning (ML) techniques. It addresses key network data challenges for ML-based NIDS for botnet traffic analysis, particularly the lack of labeled data and evolving network behavior. The research comprises four main contributions. Firstly, the DYNAMO pipeline optimizes active data sampling, reducing annotation needs while enhancing attack attribution accuracy. Secondly, the PoneyPot project gathers current, representative data to analyze botnet behavior in real-world scenarios. Thirdly, the ABACUS framework offers an adaptive solution for identifying evolving network behaviors, enriching a knowledge base of traffic patterns over time. Finally, the AdvCat framework assesses model robustness against adverse risks. The results show significant performance improvements in intrusion detection systems, boosting their reliability and resilience against complex, evolving threats.Cette thèse se concentre principalement sur les systèmes de détection d’intrusion au niveau réseau avec des techniques de machine leanring ML faiblement supervisées et dignes de confiance. Elle aborde les principaux défis liés aux données de réseau pour les techniques ML basées sur le comportement pour l’analyse du trafic des botnets, en particulier le manque de données étiquetées et l’évolution du comportement du réseau. La recherche comprend quatre contributions principales. Premièrement, le pipeline DYNAMO optimise l’échantillonnage des données actives, réduisant ainsi les besoins d’annotation tout en améliorant la précision de l’attribution des attaques. Deuxièmement, le projet PoneyPot rassemble des données actuelles et représentatives afin d’analyser le comportement de botnet dans des scénarios réels. Troisièmement, le cadre ABACUS offre une solution adaptative pour identifier les comportements évolutifs des réseaux, en enrichissant une base de connaissances sur les modèles de trafic au fil du temps. Enfin, le cadre AdvCat évalue la robustesse du modèle face aux risques adverses. Les résultats montrent des améliorations significatives des performances des systèmes de détection d’intrusion, renforçant leur fiabilité et leur résilience face à des menaces complexes et évolutives
Modal Logics of Sabotage and Beyond
No full textInternational audienceSabotage modal logic SML offers a format for analyzing games that modify graphs on which they are played. We study some model-theoretic and proof-theoretic aspects of this system. On the one hand, our first result is a characterization theorem w.r.t. a fragment of first-order logic which is invariant for a natural notion of ‘sabotage bisimulation’. On the other hand, we offer a sound and complete tableau method and its associated labeled sequent calculus for analyzing valid reasoning. In the last part of the paper, we explain key features of SML and other modal logics that analyze model changes using a general logi- cal framework based on ‘atomic logics’. Thanks to this generalized per- spective, we can state a generalized characterization theorem as well as generic results about the definability of classes of models for model- changing modal logics. Finally, we offer some further directions and open problems, including fixed-point logics for network games
Freely floating cylinder on a 3D fluid governed by the boussinesq equations in the axisymmetric without swirl case
No full textThis paper deals with the interactions of waves governed by a non-linear dispersive Boussinesq type system with the vertical displacement of a cylindrical floating structure in an axisymmetric without swirl situation. The Boussinesq regime is a good approximation of free surface Euler's equations when the non-linear parameter and the shallowness parameter are small. The vertical motion of the floating body is governed by the Newton equation. The full coupled wave-structure interaction problem under consideration is reduced to a boundary problem. The boundary condition satisfied by the discharge is given in terms of the vertical displacement of the floating cylinder. The latter is calculated using an ODE, which requires knowledge of the trace of the surface elevation and its second-time derivative. We use the dispersion in order to exhibit a hidden second order ODE on the trace of the surface elevation. This finally allows us to rewrite the waves-structure interaction problem as a system of non-local conservative PDEs plus bounded radial terms with a dispersive boundary layer, combined with an ODE at the boundary. This is what we call the Augmented formulation. Afterwards we showed that this formulation is well-posed with two different methods. In our proof, we have tracked down the explicit dependence on the shallowness parameter, which is the small parameter representing dispersion. The first method gives a continuous solution with a small existence time, i.e. proportional to the product of the inverse of the non-linear parameter and the square of the shallowness parameter, whereas the second one requires higher regularity of the solution but with a larger existence time, i.e. proportional to the product of the inverse of the non-linear parameter and the shallowness parameter. Finally, we study the return to equilibrium situation in the linear regime. In particular, we have improved previous results on the explicit time decay. We have shown that the center mass of the floating body cannot converge to its equilibrium faster than O(t^{ -1/2} ) in 2D without viscosity and faster than O(t^{ -3/2} ) with viscosity
POLES OF REAL MOTIVIC ZETA FUNCTIONS FOR CURVES
No full textTo a given real polynomial function f ∈ R[x1, . . . , x d ], we associate real topological zeta functions Ztop,0(f ; s) and Z ± top,0 (f ; s) ∈ Q(s), analogous to the topological zeta function of Denef and Loeser in the complex case. These functions are specializations of the real motivic zeta functions studied in [Fic05a] and [Cam17]. Therefore, these functions and their sets of poles are invariants of the blow-Nash equivalence. Using the approach of [Vey95], we study the poles of these real topological zeta functions, as well as real motivic zeta functions, when f is a real polynomial in two variables.</div