https://oskar-bordeaux.fr:443 Le site collecte, stocke, indexe, archive, et diffuse des documents de recherche en format numérique. 2026-04-07T05:13:59Z https://oskar-bordeaux.fr/handle/20.500.12278/198034 RETORÉ, Christian 2011-12-05T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/198318 Evénements et référence BASSAC, Christian Pierre Frath; Christopher Gledhill; Jean Pauchard Nous proposons d'introduire une variable d'événement dans les prédicats et le $\epsilon$ de Hilbert pour accéder au référent de cette variable d'événement. Nous donnons des arguments pour préférer cette solution à celle communément utilisée selon laquelle les événements sont des référents de phrase. 2009-03-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/198198 ABGRALL, Remi; CONGEDO, Pietro Marco; CORRE, Christophe Eric; GALERA, Stéphane 2010-06-14T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/198086 ABGRALL, Remi; CONGEDO, Pietro Marco; GALERA, Stéphane; GERACI, Gianluca 2011-07-04T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/198155 CONGEDO, Pietro Marco; ABGRALL, Remi; CORRE, Christophe Eric; GALERA, Stéphane 2010-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/21056 Colorations de graphes sous contraintes HOCQUARD, Hervé Dans cette thèse, nous nous intéressons à différentes notions de colorations sous contraintes. Nous nous intéressons plus spécialement à la coloration acyclique, à la coloration forte d'arêtes et à la coloration d'arêtes sommets adjacents distinguants.Dans le Chapitre 2, nous avons étudié la coloration acyclique. Tout d'abord nous avons cherché à borner le nombre chromatique acyclique pour la classe des graphes de degré maximum borné. Ensuite nous nous sommes attardés sur la coloration acyclique par listes. La notion de coloration acyclique par liste des graphes planaires a été introduite par Borodin, Fon-Der Flaass, Kostochka, Raspaud et Sopena. Ils ont conjecturé que tout graphe planaire est acycliquement 5-liste coloriable. De notre côté, nous avons proposé des conditions suffisantes de 3-liste coloration acyclique des graphes planaires. Dans le Chapitre 3, nous avons étudié la coloration forte d'arêtes des graphes subcubiques en majorant l'indice chromatique fort en fonction du degré moyen maximum. Nous nous sommes également intéressés à la coloration forte d'arêtes des graphes subcubiques sans cycles de longueurs données et nous avons également obtenu une majoration optimale de l'indice chromatique fort pour la famille des graphes planaires extérieurs. Nous avons aussi présenté différents résultats de complexité pour la classe des graphes planaires subcubiques. Enfin, au Chapitre 4, nous avons abordé la coloration d'arêtes sommets adjacents distinguants en déterminant les majorations de l'indice avd-chromatique en fonction du degré moyen maximum. Notre travail s'inscrit dans la continuité de celui effectué par Wang et Wang en 2010. Plus précisément, nous nous sommes focalisés sur la famille des graphes de degré maximum au moins 5. https://oskar-bordeaux.fr/handle/20.500.12278/198306 Le passif en langue des signes GUITTENY, Pierre Dans le cadre de la grammaire générative (Chomsky 1981), le passif s'explique par un mouvement entre la structure profonde et la structure de surface : la morphologie passive absorbe le rôle thématique du sujet et l'assignation d'un cas accusatif, ce qui provoque le mouvement de l'argument interne. Dans le cadre de la grammaire cognitive, les propriétés du passif consistent notamment à retourner le point de repère et la trajectoire (Langacker). Nous avons retenu la définition qui le caractérise en tant que démotion du sujet sémantique (du premier argument du verbe), ou, selon la formulation de C. Muller : « reléguer au rang de relation facultative de dernier rang la relation prédicative du premier argument au verbe, avec ou sans modification (temporelle, aspectuelle) dans la sémantique du verbe » (2002 : 227). Précisant les limites de notre objet d'étude, nous avons distingué la langue des signes d'un côté du français signé, et de l'autre des gestes co-verbaux. Le français signé est un pidgin, parfois une interlangue, que certaines études linguistiques confondent avec la langue des signes. Parmi les traits qui les différencient, celle-ci s'appuie sur une logique visuelle que le français signé ne respecte pas. L'iconicité n'est pas elle- même une langue, mais elle est modelée par des processus linguistiques et se trouve à la source de nombre de phénomènes (morphologiques, syntaxiques, pragmatiques) caractérisant la langue des signes. D'autre part, contrairement aux signes de grande iconicité, les gestes co-verbaux n'ont pas l'indépendance qui leur permet d'être clairs et complets, car ils ne sont pas passés au crible d'un traitement linguistique. L'iconicité est au cœur de la grammaire développée par Christian Cuxac, grammaire qui peut être appréhendée en terme d'ekphrasis. Nous avons retenu deux critères pour caractériser le passif en langue des signes : pour les énoncés en transfert personnel comportant un verbe transitif, la démotion du sujet est marquée par la prise de rôle du patient (l'agent étant absent ou mis au second plan) ; pour les énoncés hors transfert personnel, elle est marquée par la non attribution de l'emplacement de l'agent ou son attribution dans un second temps, éventuellement introduite par un terme relateur. C'est ainsi, par exemple, que l'on peut distinguer passif et impératif, ou passif et impersonnel. Nous avons également proposé de distinguer passif et inverse, le passif mettant au second plan l'agent, l'inverse changeant le point de vue sans changer de focale. Le passif peut se combiner avec d'autres structures pour former des constructions complexes. Cette description du passif peut trouver place dans le cadre d'une grammaire de l'iconicité. Elle peut être plus difficilement retenue dans le cadre des analyses génératives : celles-ci manquent encore d'outils adaptés à une langue en trois dimensions, mettant en jeu des phénomènes comme les transferts, la simultanéité ou la spatialisation. https://oskar-bordeaux.fr/handle/20.500.12278/198807 Quantification à la volée de l'apparence sur GPU HADIM, Julien; BOUBEKEUR, Tamy; GRANIER, Xavier; SCHLICK, Christophe Dans cet article, nous décrivons une méthode rapide de quantification de normale et couleur sur GPU, dans un contexte client-serveur de diffusion de données 3D pour la visualisation sur terminaux hétérogènes. Notre méthode compresse les maillages et les nuages de points à la volée, en utilisant les spécificités du GPU côté serveur pour fournir des objets aux propriétés d'apparence quantifiées --- plus léger à stocker et à transmettre. 2006-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197646 BARTHOU, Denis; BRAND-FOISSAC, Olivier; PENE, Olivier; GROSDIDIER, Gilbert; DOLBEAU, Romain; EISENBEIS, Christine; KRUSE, Michael; PETROV, Konstantin; TADONKI, Claude 2014-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197642 LACOSTE, Xavier; FAVERGE, Mathieu; RAMET, Pierre; THIBAULT, Samuel; BOSILCA, George Les architectures de calcul intègrent de plus en plus de coeurs de calcul partageant une même mémoire nécessairement hiérarchique. Les algorithmes, en particulier ceux relatifs à l'algèbre linéaire, nécessitent d'être adaptés à ces nouvelles architectures pour être efficaces. PaStIX est un solveur direct parallèle pour matrices creuses qui intègre un ordonnanceur dynamique pour des architectures hiérarchiques de grande taille. Dans ce papier, nous étudions la possibilité de remplacer cette stratégie interne d'ordonnancement par deux supports d'exécution génériques~: PaRSEC et StarPU. Ces supports d'exécution offrent la possibilité de dérouler le graphe de tâches de la factorisation numérique sur des noeuds de calcul disposant d'accélérateurs. Nous présentons une étude comparative des performances de notre solveur supernodal avec ces trois ordonnanceurs sur des architectures multicoeurs, et en particulier les gains obtenus avec plusieurs accélérateurs GPU. Ces résultats montrent qu'une approche basée sur un \DAG{} offre une interface de programmation uniforme pour réaliser du calcul haute performance sur des problèmes irréguliers comme ceux de l'algèbre linéaire creuse. 2014-01-06T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197649 DYRKA, Witold; NEBEL, Jean‐christophe; KOTULSKA, Malgorzata 2013-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197641 RICCHIUTO, Mario; FILIPPINI, Andrea Gilberto 2014-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197648 BENOIT, Anne; MELHEM, Rami; RENAUD-GOUD, Paul; ROBERT, Yves 2013-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197643 MORENCY, François; BEAUGENDRE, Héloïse 2013-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197647 OHSHIMA, Satoshi; KATAGIRI, Satoshi; NAKAJIMA, Kengo; THIBAULT, Samuel; NAMYST, Raymond 2013-02-25T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197639 ABGRALL, Remi; DE SANTIS, Dante 2013-06-27T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197645 KLASING, Ralf 2013-07-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197644 KLASING, Ralf 2012-06-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197650 LI, Pei; BRUNET, Elisabeth; NAMYST, Raymond 2013-01-01T00:00:00Z https://oskar-bordeaux.fr/handle/20.500.12278/197652 CONGEDO, Pietro Marco; RODIO, Maria Giovanna; TRYOEN, Julie; ABGRALL, Remi 2013-12-31T00:00:00Z