Literatura científica selecionada sobre o tema "Reconstruction de preuves"

Si la longue histoire des mangas et de l’animation japonaise débutent au début du XXe siècle, l’industrie du manga en tant que telle n’émerge qu’après la Seconde Guerre Mondiale, dans le cadre de la reconstruction du pays. La renaissance du cinéma nippon dans les années 50, l’arrivée du téléviseur dans les foyers dans les années 60 et la naissance progressive d’une industrie de haute technologie vont conduire les éditeurs de mangas à investir le domaine de l’image via des adaptations télévisées, puis via des films d’animation produits localement. Événement initialement rare et prestigieux, l’adaptation d’un manga en film d’animation tiens désormais du fait routinier pleinement intégré dans la stratégie transmédia des grandes sociétés de divertissement japonaises. Une stratégie qui, si elle est la plupart du temps réduite à la production d’œuvres mineures voire à de simples remontages de séries télévisées animées, a pu conduire de nombreux cinéastes de talents (Mamoru Oshii, Mamoru Osoda…) à faire leurs preuves. De plus, de nouvelles méthodes d’adaptations de mangas, alternant séries télévisées et films, se multiplient à mesure que se brouille la frontière entre petit et grand écran.

SUMMARY This paper investigates the syllable structure of Cyprian, an ancient Greek dialect written with a syllabary. Based on the corroboration of orthographic and metrical evidence, Cyprian is found to have a syllable structure which maximizes onsets to allow clusters of equal or rising sonority (see also Deecke 1884, Meister 1894, Thumb & Scherer 1922, Lejeune 1972, and Masson 1983). This analysis is different from the traditional view of Greek syllable structure which considers all intervocalic consonant clusters to be hetero-syllabic (Hermann 1923, Meillet 1934). The support for the traditional view of Greek syllable structure is critiqued and found to be unreliable. Competing views on Cyprian syllabary which were largely motivated by a desire to defend the traditional view of Greek syllable structure are also critiqued (Morpurgo Davies 1987, Viredaz 1983, Miller 1994, and Woodard 1994). These alternative explanations of the Cyprian syllabary are found to be needlessly complicated and to employ ad hoc devices. Finally, the traditional reconstruction of Proto-Greek is evaluated against Steriade's (1982) proposal, which allows complex onsets of equal or rising sonority. Steriade's proposal is found to be the more sensible. RÉSUMÉ Cet article examine la structure syllabique du cypriote, dialecte grec ancien écrit en caractère syllabique. Grâce à des preuves orthographiques et métriques, on conclut que le cypriote avoit une structure syllabique maximisant le point d'attaque ('onset') permettant la présence de groupes de consonnnes croissant ou stables en sonorité (voir Deecke 1884, Meister 1894, Thumb & Scherer 1922, Lejeune 1972 et Masson 1983). Cette analyse diffère du point de vue traditionel, en ce qui a trait à la structure syllabique de grec, selon lequel tout groupe de consonnes était hétérosyllabique en position intervocalique (Hermann 1932, Meillet 1943). Dans le présent acticle on critique ce point de vue, et on triouve peu fiabe son analyse de la structure syllabique du grec. On y critique aussi les avis contraires exprimés quant au syllabaire cypriote dont la plupart semblent motivés par le désir de maintenir intactles analyses traditio-nelles de la structure syllabique du grec (Morpurgo Davies 1987, Viredaz 1983, Miller 1994 et Woodard 1994). Les explications alternatives sont jugées être d'une complexité inutile, et de faire appel à des explications ad hoc. Enfin, on compare la reconstruction traditionelle du proto-grec à la proposition de Steriade (1982) que permet des groupes de consonnes complexes, de sonorité égale ou croissante dans le point d'attaque. On conclut que la proposition de Steriade est la plus raisonnable. ZUSAMMENFASSUNG In vorliegendem Beitrag wird die Silbenstruktur des Zypriotischen unter-sucht. Zypriotisch ist ein altert ümlicher Dialekt des Griechischen, der in Form des Syllabars geschrieben wird. Aufgrund von orthographischen sowie metrischen Übereinstimmungen wird geschlossen, daß die Silbenstruktur des Zypriotischen Silbenanlaute maximiert, die aus Konsonantenhäufungen mit gleich-wertiger oder steigender Klangfülle bestehen (s. Deecke 1884, Meister 1894, Thumb & Scherer 1922, Lejeune 1972, Masson 1983). Diese Analyse unter-scheidet sich von den herkömmlichen Sichtweisen der griechischen Silbenstruktur, die zwischenvokalische Konsonantenhäufungen als heterosilbisch ansehen (Herman 1932, Meillet 1943). Die Basis dieser herkömmlichen Sichtweisen der griechischen Silbenstruktur wird hier kritisch untersucht und als unzuverlässig befunden. Konkurrierende Sichtweisen des zypriotischen Syllabars, welche vom Wunsch geleitet sind, herkömmliche Sehensweise der griechischen Silbenstruktur zu verteidigen (Morpurgo Davies 1987, Viredaz 1983, Miller 1994 und Woodard 1994), werden ebenfalls kritisch untersucht. Diese konkurrierenden Erklarungen des zypriotischen Syllabars werden als unnö-tigerweise kompliziert gefunden. Weiterhin wird festgestellt, daB dabei auch ad hoc-Analysenmittel benutzt werden. SchlieBlich wird die herkömmliche Re-konstruktion des Proto-Griechischen mit dem Vorschlag von Steriade (1982) verglichen. Ihr Vorschlag läßt die Möglichkeit komplexer Silbenanlaute mit gleichwertiger oder steigender Klangfülle zu. Die hier vorgelegte Analyse hat gezeigt, daB der Vorschlag Steriades besser motiviert ist als die übrigen Theo-rien.

L’existence du macellum à Histria fait la preuve sur la situation économique stable de la ville pendant toute l’époque romaine et sur la capacité de récupération de la communauté urbaine après les invasions de 238. Notre contribution est axée sur les caractéristiques de cet édifice et sur la reconstruction de macellum (par dons) afin de proposer une nouvelle hypothèse concernant l’emplacement de ce bâtiment à Histria.

SUMMARY At issue is the role of dialect evidence to explain certain irregular reflexes of Proto-Malayo-Polynesian vowels in Rejang. According to Blust (1984), the Musi dialect of Rejang seems to exemplify two types of sound change, one conditioned solely by phonological factors and the other by nonphonological (semantic or grammatical) factors; thus PMP *a irregularly failed to diphthongize in kin terms, and word-final *a, *i and *u irregularly failed to diphthongize in the pronouns. On the contrary, the paper suggests 'neogrammarian' regularity for all reflexes of PMP vowels in kin terms and pronouns in Rejang. In order to account for the apparent irregularities, it has been necessary to broaden the data base by revisiting the PMP consonantal reconstructions and the role of the accent, and above all by incorporating evidence from other dialects of the Rejang group (Kebanagung, Pasisir). The possibility of eventual union between historical phonology and dialect geography is discussed. Two errors of method in the previous literature on Rejang are pointed out. RÉSUMÉ En cause est le rôle de la preuve dialectale pour expliquer certaines manifestations irrégulières des voyelles proto-malayo-polynésiennes en rejang. Selon Blust (1984), le dialecte musien du rejang semble exemplifier deux changements phonologiques, l'un conditionné seulement par les éléments phonologiques et l'autre par les éléments non-phonologiques (sémantiques et grammaticals); ainsi le *a PMP a manqué, irregulièrement, de diphtonguer avec des termes de parenté, et les voyelles *a, *i, et *u en fin de mot ont manqué, irregulierement, de diphtonguer dans les formes pronominales. Au contraire l'article suggère une régularité 'néogrammairienne' pour tous les réflexes des voyelles PMP avec les termes de parenté et les pronoms. Pour expliquer les irregularités apparentes, il fallait étendre la base de données par revisiter les reconstructions consonantiques de PMP et le rôle de l'accent, et surtout par incorporation de preuves d'autres dialectes du groupe rejangien (Kebanagung, Pasisir). La possibilité d'union productive entre la phonologie historique et la géographie dialectale est discutée. Deux erreurs de méthode dans les travaux précédents sur le rejang sont indiquées. ZUSAMMENFASSUNG Die Untersuchung gilt der Rolle dialektaler Beweise zur Erklärung be-stimmter irregulärer Reflexe von Proto-Malayo-Polynesischen (PMP) Vokalen in Rejang. Nach Blust (1984) schien der Musi Dialekt von Rejang das Vorhandensein von zwei Typen von Lautver ä nderung zu beweisen: einer allein bedingt durch phonologische, der andere durch nicht-phonologische (semantische oder grammatische) Faktoren. Folglich wurden PMP *a irregular nicht in Verwandtschaftsbezeichnungen diphthongisiert, und am Wortende wurden *a, *i und *u irregular nicht in den Pronomen diphthongisiert. Der vorliegede Beitrag schlagt im Gegenteil 'junggrammatische' Regelmässigkeiten vor fiir alle Reflexe von PMP Vokalen in Verwandtschaftsbezeichnungen und Pronomen in Rejang. Um die offenbaren Unregelmässigkeiten zu erklaren, er-scheint es notwendig, die Datengrundlage durch emeutes Betrachten der Kon-sonantenrekonstruktion im PMP und der Rolle des Akzents, vor allem aber durch Einbeziehen anderer Dialekte der Rejang Gruppe (Kebanagung, Pasisir) zu erweitern. Die Möglichkeit einer letztlichen Verbindung zwischen histori-scher Phonologie und Dialektgeographie wird diskutiert. Zwei methodische Fehler in der bisherigen Literatur über Rejang werden aufgezeigt.

Plate reconstructions indicate that if the Yellowstone plume existed prior to 50 Ma, then it would have been overlain by oceanic lithosphere located to the west of the North American plate (NAP). In the context of models supporting long-lived easterly directed subduction of oceanic lithosphere beneath the NAP, the Yellowstone plume would have been progressively overridden by the NAP continental margin since that time, the effects of which should be apparent in the geological record. The role of this ‘ancestral’ Yellowstone plume and its related buoyant swell in influencing the Late Mesozoic–Cenozoic tectonic evolution of the southwestern United States is reviewed in the light of recent field, analytical and geophysical data, constraints provided by more refined paleogeographic constructions, and by insights derived from recent geodynamic modeling of the interaction of a plume and a subduction zone. Geodynamic models suggesting that the ascent of plumes is either stalled or destroyed at subduction zones have focused attention on the role of gaps or tears in the subducted slab that permit the flow of plume material from the lower to the upper plate during subduction. These models imply that the ascent of plumes may be significantly deflected as plume material migrates from the lower to the upper plate, so that the connection between the hot spot track calculated from plate reconstructions and the manifestations of plume activity in the upper plate may be far more diffuse compared to the more precise relationships in the oceanic domain. Other geodynamic models support the hypothesis that subduction of oceanic plateau material beneath the NAP correlates with the generation of a flat slab, which has long been held to have been a defining characteristic of the Laramide orogeny in the western United States, the dominant Late Mesozoic–Early Cenozoic orogenic episode affecting the NAP. Over the last 20 years, a growing body of evidence from a variety of approaches suggests that a plume existed between 70 and 50 Ma within the oceanic realm close to the NAP margin in a similar location and with similar vigour to the modern Yellowstone hot spot. If so, interaction of this plume with the margin would have been preceded by that of its buoyant swell and related oceanic plateau, a scenario which could have generated the flat slab subduction that characterizes the Laramide orogeny. Unless this plume was destroyed by subduction, it would have gone into an incubation period when it was overridden by the North American margin. During this incubation period, plume material could have migrated into the upper plate via slab windows or tears or around the lateral margins of the slab, in a manner consistent with recent laboratory models. The resulting magmatic activity may be located at considerable distance from the calculated hot spot track. The current distribution of plumes and their buoyant swells suggests that their interaction with subduction zones should be common in the geological record. If so, the Late Mesozoic–Cenozoic evolution of western North America may represent a relatively modern analogue for such processes.RÉSUMÉLes reconstitutions de plaques montrent que si le panache de Yellowstone avait existé avant 50 Ma, il aurait été recouvert par la lithosphère océanique située à l'ouest de la plaque nord-américaine (PNA). Dans le contexte de modèles de subduction de longue durée vers l’est de la lithosphère océanique sous la PNA, avec le temps, la marge continentale de la PNA aurait progressivement neutralisé le panache de Yellowstone, et on devrait en voir les effets dans le registre géologique. Le rôle de ce panache de Yellowstone « ancestral » et de son renflement de surface régional associé sur l'évolution tectonique du Sud-ouest des États-Unis au Mésozoïque–Cénozoïque tardif est reconsidéré ici à la lumière de données récentes, de terrain, analytiques et géophysiques, de contraintes découlant de constructions paléogéographiques affinées, et d’idées nouvelles découlant d’une modélisation géodynamique récente de l'interaction d'un panache et d'une zone de subduction. Les modèles géodynamiques suggérant que l'ascension des panaches soient bloquée ou détruite dans les zones de subduction ont attiré l'attention sur le rôle d’hiatus ou de déchirures dans la plaque subduite qui permettent le passage du matériau du panache de la plaque inférieure à la plaque supérieure pendant la subduction. Ces modèles impliquent que le flux ascendant des panaches peut être sensiblement dévié alors que le matériau du panache migre de la plaque inférieure à la plaque supérieure, de sorte que la connexion entre la trace du point chaud calculée à partir des reconstructions de la plaque et les manifestations de l'activité du panache dans la plaque supérieure peut être bien plus diffuse que sa contrepartie du domaine océanique. D'autres modèles géodynamiques appuient l'hypothèse selon laquelle la subduction du matériau de plateau océanique sous la PNA correspond à la génération d'une plaque plate, particularité qui a longtemps été considérée comme caractéristique déterminante de l'orogenèse de Laramide dans l'ouest des États-Unis, épisode orogénique dominante de la fin du Mésozoïque au début du Cénozoïque affectant la PAN. Au cours des 20 dernières années, un nombre croissant d'éléments de preuve provenant d'une variété d'approches suggèrent qu'un panache existait bien entre 70 et 50 Ma dans le domaine océanique près de la marge la PNA, en un endroit et avec une vigueur similaires au point chaud de Yellowstone moderne. Le cas échéant, l'interaction de ce panache avec la marge aurait été précédée de celle de son renflement de surface et du plateau océanique connexe, scénario qui aurait pu générer la subduction de la plaque plate qui caractérise l'orogenèse Laramide. À moins que ce panache n'ait été détruit par subduction, il serait entré dans une période d'incubation lorsqu’il a été recouvert par la marge nord-américaine. Au cours de cette période d'incubation, le matériau du panache aurait pu migrer dans la plaque supérieure par des fenêtres ou déchirures de la plaque ou autour des marges latérales de la plaque, conformément aux modèles récents de laboratoire. La trace de l'activité magmatique résultante pourrait se trouver alors à une distance considérable de la trace du point chaud calculée. La distribution actuelle des panaches et de leurs renflements de surface suggère que leur interaction avec les zones de subduction devrait être un phénomène courant dans le registre géologique. Si tel est le cas, l'évolution du Mésozoïque–Cénozoïque tardif de l'Amérique du Nord occidentale peut représenter un analogue relativement moderne pour de tels processus.

Introduction and objective: Coronary calcium score represents a biomarker able to predict cardiovascular risk with a high level of evidence. The objective of the study was to assess the reproducibility of coronary calcium score with different increments of iterative reconstruction and slice thickness compared to the reference Agatston method in filtered back projection. Patients and methods: Acquisitions were made with a 256-detector General Electric Healthcare scanner. Measurement of the coronary calcium score was based on acquisition with prospective synchronisation in diastole (phase 75%). Tube voltage was 120 kVp. Seven reconstructions were performed without additional irradiation: FBP reconstruction at 3 mm (reference method) and 2.5 mm for slice thickness ASIR-V 30% at 3 mm and 2.5 mm slice thickness ASIR-V 50% at 3 mm and 2.5 mm slice thickness Deep Learning High at 3 mm slice thickness Coronary calcium score, volume and mass were reported. Signal-to-noise ratio was assessed by a 20 mm diameter region of interest in the ascending aorta at the left main coronary artery. Results: Forty-three patients were retrospectively included. Signal-to-noise ratio was statistically higher for iterative and artificial intelligence reconstructions compared to the reference method. No significant difference was found for the comparison of coronary calcium score, volume and mass according to the type of reconstruction and slice thickness. Conclusion: This study highlights the reliability of iterative reconstruction in the assessment of coronary calcium score, allowing its use in routine clinical practice. Improvement of signal-to-noise ratio of this iterative reconstruction method could be very useful for patients with extensive aortic and mitral annulus calcifications. Indeed, reduction of the blooming artefact of these aortic and mitral calcifications could help in the discrimination of coronary ostial calcifications. RESUME Introduction et objectif: Le score coronaire calcique représente un biomarqueur capable de prédire avec un niveau de preuve élevé le risque cardiovasculaire. L’objectif de l’étude était d’évaluer la reproductibilité du score coronaire calcique avec différents incréments de reconstruction itérative et d’épaisseur de coupe par rapport à la méthode de référence d’Agatston en rétroprojection filtrée. Patients et méthodes : Les acquisitions ont été faites à l’aide d’un scanner à 256 détecteurs General Electric Healthcare. La mesure du score coronaire calcique reposait sur une acquisition avec synchronisation prospective en diastole (phase 75%). La tension du tube était de 120 kVp. Sept reconstructions ont été réalisées sans irradiation supplémentaire : Reconstruction en FBP à 3 mm (méthode de référence) et 2,5 mm pour l’épaisseur de coupe ASIR-V 30% à 3 mm et 2,5 mm pour l’épaisseur de coupe ASIR-V 50% à 3 mm et 2,5 mm pour l’épaisseur de coupe Deep Learning High à 3 mm pour l’épaisseur de coupe Le score coronaire calcique, le volume et la masse calcique étaient notifiés. L’évaluation du rapport signal-bruit était faite par une région d’intérêt de 20 mm de diamètre dans l’aorte ascendante au niveau du tronc commun coronaire. Résultats : quarante-trois patients ont été rétrospectivement inclus. Le rapport signal sur bruit était statistiquement plus élevé pour les reconstructions itératives et en intelligence artificielle par rapport à la méthode de référence. Aucune différence significative n’a été retrouvée pour la comparaison du score calcique, du volume et de la masse calciques selon le type de reconstruction et l’épaisseur de coupe. Conclusion : Cette étude met en exergue la fiabilité de la reconstruction itérative dans l’évaluation du score coronaire calcique, autorisant ainsi son utilisation en pratique clinique de routine. L’amélioration du rapport signal sur bruit de cette méthode de reconstruction itérative pourrait être très intéressante pour les patients ayant des calcifications extensives aortiques et de l’anneau mitral. En effet, la réduction de l’artéfact de blooming de ces calcifications aortiques et mitral pourrait aider à la discrimination des calcifications ostiales coronaires.

La présente recherche se propose de mettre au point une réflexion traductologique qui met l’accent sur l’éthos, cette dimension intégrante du discours, dans le processus traductif. Elle tient à étudier la reconstruction de l’image de l’auteur dans le texte d’arrivée. La traduction littéraire impose au traducteur la tâche de saisir l’implicite discursif du texte-source, de transférer le sens du message décodé pour le ré-encoder dans le texte d’arrivée. L’auteur du texte littéraire, ou le locuteur, vise à influencer son interlocuteur, à « le faire adhérer à son univers de sens », c’est ce que Dominique Maingueneau a désigné par « la preuve par l’éthos ». Michaël Bakhtine a traité de ce dialogisme du texte littéraire, de ce concept d’interaction du locuteur et de son destinataire et enfin de l’influence que le producteur de l’énoncé discursif du texte littéraire cherche à exercer sur son destinataire. Dans le processus traductif, le traducteur réussit-il à assumer la responsabilité de reconstruire l’image de l’auteur dans le texte traduit, cette image qui se manifeste sur les deux plans verbal et non-verbal du texte littéraire? Et pour le faire, a-t-il recours à la littéralité ou bien cela nécessite une créativité de la part du traducteur? Et enfin, est-ce que le traducteur du texte littéraire se dessine une image de soi, l’éthos traductif, lors de la reconstruction de l’image de l’auteur, l’éthos auctorial, dans le texte traduit ? Notre étude vise à répondre à ces questions au cours d’une analyse traductologique du roman L’enfant de sable de Tahar Ben Jelloun. Mots-clés : Ethos traductif, éthos auctorial, contextualisation, environnement cognitif, expatriation, fidélité, réception, correspondances.

NOTE: This article was published in a former series of GEUS Bulletin. Please use the original series name when citing this article, for example: Larsen, M., Bjerager, M., Nedkvitne, T., Olaussen, S., & Preuss, T. (2001). Pre-basaltic sediments (Aptian–Paleocene) of the Kangerlussuaq Basin, southern East Greenland. Geology of Greenland Survey Bulletin, 189, 99-106. https://doi.org/10.34194/ggub.v189.5163 _______________ The recent licensing round in the deep-water areas south-east of the Faeroe Islands has emphasised the continued interest of the oil industry in the frontier areas of the North Atlantic volcanic margins. The search for hydrocarbons is at present focused on the Cretaceous– Paleocene succession with the Paleocene deepwater play as the most promising (Lamers & Carmichael 1999). The exploration and evaluation of possible plays are almost solely based on seismic interpretation and limited log and core data from wells in the area west of the Shetlands. The Kangerlussuaq Basin in southern East Greenland (Fig. 1) provides, however, important information on basin evolution prior to and during continental break-up that finally led to active sea-floor spreading in the northern North Atlantic. In addition, palaeogeographic reconstructions locate the southern East Greenland margin only 50–100 km north-west of the present-day Faeroe Islands (Skogseid et al. 2000), suggesting the possibility of sediment supply to the offshore basins before the onset of rifting and sea-floor spreading. In this region the Lower Cretaceous – Palaeogene sedimentary succession reaches almost 1 km in thickness and comprises sediments of the Kangerdlugssuaq Group and the siliciclastic lower part of the otherwise basaltic Blosseville Group (Fig. 2). Note that the Kangerdlugssuaq Group was defined when the fjord Kangerlussuaq was known as ‘Kangerdlugssuaq’. Based on field work by the Geological Survey of Denmark and Greenland (GEUS) during summer 1995 (Larsen et al. 1996), the sedimentology, sequence stratigraphy and basin evolution of the Kangerlussuaq Basin were interpreted and compared with the deep-water offshore areas of the North Atlantic (Larsen et al. 1999a, b).

Lambdapi est un assistant de preuve qui permet à l’utilisateur la construction d’une preuve d’un théorème donné dans un langage universel basé sur le lambda-pi-calcul. Le but de cette thèse est de rajouter de l’automatisation à Lambdapi pour faire gagner du temps à l’utilisateur. Cette thèse présente trois contributions liées à l’intégration des démonstrateurs automatiques dans les assistants de preuve. La première contribution consiste en l’implémentation d’une tactique qui fait appel au démonstrateurs automatiques depuis Lambdapi à travers une plateforme tiers appelé Why3. Généralement, les démonstrateurs automatiques ne génèrent pas un certificat de preuve complet, d’où la deuxième contribution présentée dans cette thèse: la reconstruction de preuves générées par les démonstrateurs automatiques du premier ordre dans Lambdapi implémenté dans un outil appelé Ekstrakto. Enfin, ces démonstrateurs peuvent parfois effectuer des modifications sur la formule qu'ils sont en train de prouver. Le dernier résultat de la thèse est consacré à la certification des étapes de Skolemisation faites par les démonstrateurs automatiques. Un algorithme est présenté, montré correct et impleménté dans l'outil Skonverto
Lambdapi is a proof assistant that allows users to construct a proof of a given theorem in a universal language based on the lambda-pi-calculus. The goal of this thesis is to add more automation to Lambdapi to gain more time and effort for the users. This thesis presents three contributions associated with the integration of automated provers in proof assistants. The first contribution consists of the implementation of a tactic that calls automated provers from Lambdapi by using an external platform called Why3. Usually, automated provers do not generate a complete certificate of a given formula, thus, the second contribution presented in this thesis is the reconstruction in Lambdapi of proofs generated by first-order automated provers implemented in a tool called Ekstrakto. Finally, automated provers often perform some transformations on the formula that they are trying to solve. Among these transformations, we can find Skolemization steps. The last contribution is devoted to the certification of Skolemization steps performed by the automated provers in order to have a complete reconstruction. This has been implemented in a tool called Skonverto