The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Design and performance of a novel low-density parity-check code for distributed video coding

Low-density parity-check (LDPC) codes are nowadays one of the hottest topics in coding theory, notably due to their advantages in terms of bit error rate performance and low complexity. In order to exploit the potential of the Wyner-Ziv coding paradigm, practical distributed video coding (DVC) schemes should use powerful error correcting codes with near-capacity performance. In this paper, new ways to design LDPC codes for the DVC paradigm are proposed and studied. The new LDPC solutions rely on merging parity-check nodes, which corresponds to reduce the number of rows in the parity-check matrix. This allows to change gracefully the compression ratio of the source (DCT coefficient bitplane) according to the correlation between the original and the side information. The proposed LDPC codes reach a good performance for a wide range of source correlations and achieve a better RD performance when compared to the popular turbo codes.

The parasitic isopod Anilocra physodes, as a novel food source for the lizardfish Synodus saurus (Synodontidae).

Copyright © 2015 Société Française d'Ichtyologie.

Internet based VRS Code Positioning

Absolute positioning – the real time satellite based positioning technique that relies solely on global navigation satellite systems – lacks accuracy for several real time application domains. To provide increased positioning quality, ground or satellite based augmentation systems can be devised, depending on the extent of the area to cover. The underlying technique – multiple reference station differential positioning – can, in the case of ground systems, be further enhanced through the implementation of the virtual reference station concept. Our approach is a ground based system made of a small-sized network of three stations where the concept of virtual reference station was implemented. The stations provide code pseudorange corrections, which are combined using a measurement domain approach inversely proportional to the distance from source station to rover. All data links are established trough the Internet.

Service-oriented mobility of java code in web services-based architectures

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Héraldique des sceaux du clergé séculier portugais au Moyen Âge

Ce n’est que dans les dernières années que l’héraldique au Portugal a entamé le processus de rénovation qui, en France, a commencé il y a déjà quelques décennies. Dans ce processus, l’étude de l’héraldique médiévale a été peu contemplé, restant pratiquement à faire, en bonne partir dû à l’absence d’armoriaux antérieurs au XVe siècle qui permettent de connaître les armes utilisées par les familles et les diverses entités portugaises. Pour cette raison, les sceaux portant des représentations héraldiques ont une importance extrême, car ils constituent très fréquemment la seule source pour l’étude des armoiries, ayant en plus l’avantage d’être datés avec précision et liées à des personnages ou entités qui sont connues. Cependant, la sigillographie portugaise se trouve aussi dans une phase de son évolution qui, n’étant plus embryonnaire, est encore une phase de formation. Il nous manque des catalogues, des dépouillages systématiques, des études approfondies qui permettent aux héraldistes de faire leurs recherches. C’est dans ce contexte qui est née ce partenariat entre deux médiévalistes très intéressés à la sigillographie et un spécialiste d’héraldique, qui ensemble ont décidé d’entamer l’étude des origines des représentations héraldiques dans les sceaux portugais, en commençant par les sceaux du clergé séculier, qui constitue le sujet par excellence de la recherche des deux historiens. Dans ce vaste univers sigillaire, qui concerne des personnes d’une grande variété d’origines sociales, y compris la noblesse et la riche bourgeoisie urbaine, les éléments héraldiques semblent avoir émergé seulement à partir de la fin du XIIIe siècle, et d’une façon timide. Le XIVe siècle assiste à sa diffusion dans les sceaux d’évêques, dignités et chanoines, mais ce n’est qu’au XVe siècle que l’héraldique s’impose, gagnant même une place primordiale dans quelques représentations sigillographiques. Le but de cette communication sera donc l’analyse du processus d’héraldisation des sceaux du clergé séculier portugais, entre les dernières décennies du XIIIe et le XVe siècle, pour évaluer comme s’est procédé, dans le cas portugais, le phénomène d’«acculturation héraldique» de l’emblématique épiscopale et cléricale.

A semi-automatic approach to code smells detection

Eradication of code smells is often pointed out as a way to improve readability, extensibility and design in existing software. However, code smell detection remains time consuming and error-prone, partly due to the inherent subjectivity of the detection processes presently available. In view of mitigating the subjectivity problem, this dissertation presents a tool that automates a technique for the detection and assessment of code smells in Java source code, developed as an Eclipse plugin. The technique is based upon a Binary Logistic Regression model that uses complexity metrics as independent variables and is calibrated by expert‟s knowledge. An overview of the technique is provided, the tool is described and validated by an example case study.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

Optimisation du transfert de gènes dans la rétine par des vecteurs lentiviraux lors de maladies dégénératives de la rétine

Certaines dégénérescences rétiniennes sont engendrées par des mutations¦génétiques et conduisent à la perte des cellules photosensibles, les¦photorécepteurs (cônes et/ou bâtonnets), et donc à la cécité (Roy et al., 2010).¦La prévalence est de 1/3000 chez les Caucasiens. Les Rétinites Pigmentaires¦(RP) en composent la majorité des cas, suivent l'Amaurose congénitale de¦Leber et la maladie de Stargardt. Il n'y a pas une mutation type associés à une¦maladie mais diverses mutations peuvent aboutir à une dégénérescence de la¦rétine. Tout comme le reste du système nerveux central, la rétine lésée n'a pas¦les capacités de se régénérer. Un objectif du traitement est de ralentir la¦dégénérescence de la rétine dans le but de la stabiliser. La thérapie génique¦constitue actuellement la seule approche thérapeutique à même de traiter les¦dégénérescences rétiniennes d'origine génétique. Elle consiste à utiliser un virus¦modifié, qui n'a plus les capacités de se reproduire, appelé vecteur pour cibler¦certaines cellules afin d'ajouter un gène sain ou d'inhiber un gène malade. Les¦virus associés à l'adénovirus (AAV) et les Lentivirus (LV) sont les 2 principaux¦types de virus utilisés en thérapie génique en ophtalmologie. D'autres vecteurs¦existent, comme les adénovirus et le virus de l'anémie infectieuse équine. Des¦études de thérapie génique effectuées chez l'homme avec le vecteur AAV ont¦démontré une sensible amélioration des fonctions visuelles (acuité visuelle,¦champ visuel, pupillométrie et le déplacement dans un environnement avec une¦lumière tamisée) chez des patients atteints d'Amaurose congénitale de Leber¦(Maguire et al., Ali et al., Hauswirth et al., Bennett et al.). Le vecteur utilisé au¦cours de ce travail est un LV, qui a pour avantage de pouvoir transporter de¦grands gènes. Lorsque ce vecteur est pseudotypé avec une enveloppe VSVG, il¦transduit (transférer un gène qui sera fonctionnel dans la cellule cible) bien¦l'épithélium pigmentaire rétinien (nécessaire à la survie et à la fonction des¦photorécepteurs). Afin de changer le tropisme du vecteur, celui testé dans cette¦étude contient une enveloppe de type Mokola qui cible efficacement les cellules¦gliales du cerveau et donc probablement aussi les cellules de Müller de la rétine.¦Le but à court terme est de transformer génétiquement ces cellules pour leur¦faire sécréter des molécules favorisant la survie des photorécepteurs. Pour¦révéler la cellule ciblée par le vecteur, le gène qui sera exprimé dans les cellules¦transduites code pour la protéine fluorescente verte 2 (GFPII) et n'a pas de¦fonction thérapeutique. Après avoir produit le virus, deux types de souris ont été¦injectées : des souris dépourvues du gène de la rhodopsine appelées Rho -/- et¦des souris sauvages appelées C57BL6. Les souris Rho -/- ont été choisies en¦tant que modèle de dégénérescence rétinienne et les souris C57BL6 en tant que¦comparatif. Les souris Rho -/- et C57BL56 ont été injectées entre le 2ème et le¦3ème mois de vie et sacrifiées 7 jours après. Des coupes histologiques de la rétine¦ont permis de mesurer et comparer pour chaque oeil, les distances de¦transduction du RPE et de la neurorétine (= toute la rétine sauf le RPE). La¦distance sur laquelle le RPE est transduit détermine la taille de la bulle¦d'injection alors que la distance sur laquelle la neurorétine est transduite¦détermine la capacité du vecteur à diffuser dans la rétine. Les résultats montrent¦une expression plus importante de la GFPII dans le RPE que dans la neurorétine¦chez les souris Rho -/- et C57BL6. Les principales cellules transduites au¦niveau de la neurorétine sont, comme attendu, les cellules de Müller. Lorsque¦l'on compare les proportions de neurorétine et de RPE transduites, on constate¦qu'il y a globalement eu une meilleure transduction chez les souris Rho -/-¦que chez les souris C57BL6. Cela signifie que le vecteur est plus efficace pour¦transduire une rétine dégénérée qu'une rétine saine. Pour déterminer quels types¦de cellules exprimaient la GFPII, des anticorps spécifiques de certains types de¦cellules ont été utilisés. Ces résultats sont similaires à ceux d'autres études¦effectuées précédemment, dont celle de Calame et al. en 2011, et tendent à¦prouver que le vecteur lentiviral avec l'enveloppe Mokola et le promoteur EFs¦est idéal pour transduire avec un gène thérapeutique des cellules de Müller dans¦des rétines en dégénérescence.

La gigantomachie de Lousanna-Vidy suivie de considérations sur la transmission du motif de l'anguipède

Considérations méthodologiques Nous avons limité aux précisions indispensables à la compréhension de notre propos les considérations sur la gigantomachie en général. Nous renvoyons aux études signalées plus haut (supra, p. 7, n. 2), principalement pour ce qui concerne les géants avant leur transformation en anguipèdes à partir de l'époque hellénistique. Notre recherche de parallèles reposera sur quelques oeuvres d'art encore existantes : les sculptures décorant les plus importantes d'entre elles feront dès lors figure d'archétype, même si, bien sûr, rien ne permet d'exclure qu'il en ait existé de plus significatives. Parmi les nombreux monuments aujourd'hui disparus, respectivement parmi ceux qui seraient encore à découvrir, il s'en trouvait sans doute qui auraient été susceptibles de servir de modèle pour les sculptures ornant le fanum de Lousonna, duquel bien peu de restes nous sont parvenus. A l'exception de quelques renvois ponctuels, notre démarche s'est appuyée exclusivement sur du matériel et des informations déjà publiés. Pour la reconstitution des bas-reliefs de Lousonna, nous nous sommes inspiré généralement de sculptures hellénistiques et romaines dont l'ornementation présentait des similitudes avec les fragments à notre disposition ; la plupart des parallèles sont mentionnés dans le Lexicon Iconographicum Mythologiae Classicae. L'examen des volumes du Corpus Signorum Imperii Romani et de quelques autres recueils nous a permis de faire des propositions pour les cas restés en suspens. A une exception près, l'échantillonnage aéré formé à partir d'ensembles sculptés qui devaient avoir les mêmes caractéristiques que le matériel que nous tenterons d'identifier : ils comportaient des monstres anguipèdes avec les jambes se terminant par la tête du serpent, remontant au plus tard à la fin de la période romaine et produits dans un atelier gréco-romain. Afin de recréer avec le plus de vraisemblance possible l'environnement du fanum de Lousonna, nous avons recherché des édifices de caractéristiques semblables dans les catalogues de temples gallo-romains dressés par P. D. HORNE et A. C. KING (1980), respectivement I. FAUDUET et P. ARCELIN (1993). Tant l'absence presque complète de restes architecturaux susceptibles d'être rapportés à l'édifice religieux que la nature somme toute modeste du vicus lémanique nous ont fait opter pour une variante minimaliste, se limitant finalement à la structure supportant la gigantomachie devant un temple sans aucune décoration. Pour tenter de préciser les modalités de la transmission du thème des géants, nous envisagerons trois cheminements possibles : la tradition orale, la transmission littéraire et, enfin, la représentation iconographique, qu'il s'agisse de monuments, d'objets mobiliers ou même des quelques rares illustrations de textes antiques. Sauf indication contraire, les textes anciens sont cités dans les traductions des Belles-Lettres, des Sources chrétiennes ou de la Loeb Classical Library dont la liste figure à la page 161. La version française des textes dont aucune traduction n'était disponible est généralement due à François Mottas (traduction F.M.). Nous ne reportons les dates de naissance des auteurs ou des artistes mentionnés que lorsqu'elles sont utiles à la compréhension de notre exposé. En plus du rôle qu'ont pu jouer les oeuvres d'art disparues au cours des deux derniers millénaires, divers facteurs ont dû assurer la constitution et la mise au point d'un imaginaire de plus en plus élaboré des gigantomachies. La mémoire a certes sa part dans l'inspiration des artistes qui réalisèrent les sculptures de la cité lémanique; mais si un mythe ou le récit d'un événement peuvent s'être transmis de bouche à oreille au cours des siècles, certaines ressemblances dans l'attitude des personnages sont trop frappantes, même en tenant compte de ces gestes qu'il n'existe qu'une seule façon de représenter: il n'est dès lors pas possible d'imaginer que la transmission des détails des scènes se serait pratiquée uniquement par voie orale. Si le voyage touristique; tel que nous l'entendons de nos jours, n'a pas existé, les personnes susceptibles d'avoir ramené des informations de leurs déplacements à travers l'Empire sont plus nombreuses qu'on ne le croirait au premier abord. Fonctionnaires allant prendre leur charge ou en mission dans une contrée voisine; soldats, parmi lesquels des mercenaires gaulois; pèlerins ayant visité de grands sanctuaires, comme celui d'Esculape à Pergame, emplacement de la gigantomachie la plus impressionnante, ou d'autres lieux de culte; jeunes fortunés ayant étudié à Athènes; commerçants accompagnés par des muletiers ou des portefaix acheminant leurs marchandises; membres de corporations ou artisans exerçant des métiers itinérants; esclaves, dont l'exportation devait représenter une source de revenus intéressante pour les commerçants romains; en dernier lieu, sans parler des artistes eux-mêmes, ces arpenteurs-géomètres chargés de toutes sortes de relevés qui accompagnaient les empereurs lors de leurs déplacements (infra, p. 36). Il faudra cependant rester prudent quant à l'affirmation d'une connaissance visuelle directe que les sculpteurs de Lousonna auraient eue des réalisations antiques avec lesquelles nous mettrons la gigantomachie en parallèle. Même si elle n'a toujours pas pu être prouvée, la circulation de cahiers de modèles semble bel et bien assurée: dans un atelier, les maîtres ont forcément passé leurs croquis à leurs successeurs et ceci s'est peut-être répété pour plusieurs générations d'artisans. Sans parler des monnaies, d'autres moyens de transmission peuvent encore être mentionnés : éventuelles éditions illustrées de textes antiques, motifs gravés sur des gemmes ou représentés sur des récipients décorés... Une observation s'impose ici : la plupart des monuments que nous utiliserons pour notre reconstitution existaient encore lors de l'érection de notre gigantomachie. Une fois les bas-reliefs de Lousonna reconstitués, restait donc à combler l'absence de toute étude sur la survie de la gigantomachie à travers les âges et à préciser l'emploi qui en serait fait à la Renaissance. Divers recueils d'ouvrages consacrés à la mythologie et remontant à cette période nous ont permis de décrire les modalités de la reprise du récit de la guerre des géants; en l'absence de toute synthèse sur ceux-ci dans la peinture de la Renaissance, c'est en partant de l'examen des nombreux travaux consacrés au Palazzo del Te à Mantoue que nous avons pu établir un lien entre les représentations de géants peintes durant la première moitié du 16ème siècle, au cours duquel la gigantomachie était redevenue un sujet d'actualité. Le monument de la bourgade lémanique comporte encore neuf personnages et constitue, avec celui d'Yzeures-sur-Creuse, l'exemplaire le plus complet découvert dans la partie occidentale de l'Empire romain : il méritait bien d'être à l'origine d'une telle démarche.

Valeur de l'angio-TDM dans le bilan des hémoptysies

Objectifs: Évaluer l'apport de l'angioscanographie dans le cadre d'hémoptysies (1) dans la localisation des artères pathologiques, bronchiques (AB) et systémiques non bronchiques (ASNB) ou artérielles pulmonaires, (2) la localisation de la source du saignement et (3) les anomalies parenchymateuses responsables ou secondaires au saignement en comparaison avec les données angiographiques. Matériels et méthodes: 25 patients consécutifs (12 femmes, 13 hommes) d'un âge moyen de 50 ± 39 ans (min 15, max 89) ont été inclus dans l'étude. Les signes TDM ont été comparés aux signes angiographiques. Résultats: Les artères bronchiques ont été correctement identifiées dans 20 cas. Des ASNB anormales ont été identifiées dans 5 cas chez 4 patients. La TDM a correctement prédit le site d'embolisation dans 19 cas (76%). Les AB étaient responsables de l'hémoptysie dans 25 cas et les ASNB dans 4 cas. Les affections causales ou associées étaient les suivantes: carcinome bronchopulmonaire (n=11), hémangioendothéliome malin (n=1), mucoviscidose (n=7), hémoptysie cryptogénique au cours d'une BPCO (n=1), bronchectasies focales (n=4) et séquelles de tuberculose avec bronchectasies (n=1). Conclusion: Les signes directs et indirects en Angio-TDM sont utiles pour obtenir une visualisation globale des AB et ASNB anormales. Néanmoins, le site optimal d'embolisation ne peut toujours être prédit.

La "source des signes" existe-t-elle ? Réception des récits de miracle dans l'évangile de Jean.

(Résumé de l'ouvrage) A travers l'étude d'un corpus littéraire, constitué par le quatrième Evangile et les trois épîtres de Jean, il est possible de retracer l'histoire d'une tradition théologique originale et du groupe social qui en fut le porteur, la communauté johannique.