Determination of disease biomarkers in Eucalyptus by comprehensive two-dimensional gas chromatography and multivariate data analysis

In this paper is reported the use of the chromatographic profiles of volatiles to determine disease markers in plants - in this case, leaves of Eucalyptus globulus contaminated by the necrotroph fungus Teratosphaeria nubilosa. The volatile fraction was isolated by headspace solid phase microextraction (HS-SPME) and analyzed by comprehensive two-dimensional gas chromatography-fast quadrupole mass spectrometry (GC. ×. GC-qMS). For the correlation between the metabolic profile described by the chromatograms and the presence of the infection, unfolded-partial least squares discriminant analysis (U-PLS-DA) with orthogonal signal correction (OSC) were employed. The proposed method was checked to be independent of factors such as the age of the harvested plants. The manipulation of the mathematical model obtained also resulted in graphic representations similar to real chromatograms, which allowed the tentative identification of more than 40 compounds potentially useful as disease biomarkers for this plant/pathogen pair. The proposed methodology can be considered as highly reliable, since the diagnosis is based on the whole chromatographic profile rather than in the detection of a single analyte. © 2013 Elsevier B.V..

Brucelose na Província do Namibe, Angola, 2012 : prevalências humana (profissionais da pecuária) e animal, factores de risco, conhecimento e práticas

RESUMO - Enquadramento: A Brucelose é uma antropozoonose prevalente no Mundo e é uma das mais negligenciadas. A sua transmissão ao ser humano é directa e indirecta, e acontece por via de contacto com animal infectado, o consumo de leite e seus derivados não pasteurizados e a não observância de uso de equipamentos de protecção individual e colectiva, entre outros factores. O conhecimento da prevalência e incidência da brucelose animal e humana no Namibe, uma província de Angola, é muito escasso sendo poucos os estudos que evidenciam esta doença no seio dos profissionais da pecuária expostos: trabalhadores de matadouros, veterinários e criadores de gado. É assim pertinente, com base em estudos científicos específicos, caracterizar esta situação. Objectivos: Caracterizar os ambientes dos profissionais (matadouro, talhos e salas municipais de abate e explorações); estimar a seroprevalência da brucelose humana em profissionais da pecuária (trabalhadores de matadouros e criadores de gado bovino) na província do Namibe, Angola em 2012; determinar a associação da presença da brucelose humana com variáveis sócio-demográficas, de conhecimento, de práticas e de características das explorações; determinar a prevalência da Brucelose em animais e em explorações; caracterizar os factores associados à presença da Brucelose em explorações bovinas; caracterizar o conhecimento e práticas sobre a Brucelose dos profissionais da pecuária e analisar a relação entre as prevalências nas explorações (infectadas versus não infectadas) e nos criadores (infectados versus não infectados). Métodos e materiais: estudos observacional e transversal seroepidemiológico em 131 trabalhadores de talhos, salas de abate e matadouro e 192 criadores amostrados aleatoriamente em toda província do Namibe. Os dados foram obtidos através da colheita de sangue e da aplicação de um questionário. Os testes laboratoriais utilizados foram o Rosa de Bengala (RBT) e a Aglutinação Lenta em Tubos (SAT). O estudo de conhecimento foi principalmente centrado na pergunta “Já ouviu falar de Brucelose” e nas questões relativas ao nível de conhecimento e práticas (indicadores baseados nas percentagens de respostas correctas ou práticas adequadas) dos factores de risco da Brucelose. Também foram investigados 1344 animais (em 192 explorações) com recurso ao método de diagnóstico laboratorial RBT para análise de soro sanguíneo e, complementarmente, foi aplicado um questionário aos respectivos criadores. Em termos de análise estatística, para além da abordagem descritiva, foram utilizados os testes de Independência do Quiquadrado, Fisher, Teste não paramétrico de Mann-Whitney, Teste de correlação de Spearman. Adicionalmente, com base em modelos de regressão logística, foram determinados odds ratio e os respectivos intervalos de confiança utilizando um nível de significância de 5%. Resultados: os ambientes dos profissionais (matadouro, talhos e salas municipais de abate e explorações) não reuniram as condições higio-sanitárias definidas internacionalmente como adequadas. Nos profissionais a infecção geral ponderada da Brucelose foi de 15.56% (IC95% : 13.61-17.50), sendo 5.34% em trabalhadores e 16.66% (IC95% : 11.39-21.93) em criadores. A significância estatística foi observada entre a seroprevalência humana e a categoria (trabalhador e criador) (p< 0.001) e o nível de instrução (p= 0.032), início de actividade (p= 0.079) e local de serviço (p= 0.055). Num contexto multivariado o factor positivamente associado à brucelose em profissionais foi a categoria profissional (OR = 3.54, IC95%: 1.57-8.30, relativo aos criadores em relação a trabalhadores). As taxas gerais aparentes de prevalência em animais e explorações foram respectivamente de 14.96% (IC 95%, 12.97-17.19) e de 40.10% (IC 95%, 32.75-47.93). Encontrou-se uma correlação positiva moderada entre o número de animais infectados por exploração com a média do número de abortos na exploração = 0.531, p< 0.001). Em média os profissionais tiveram um conhecimento global muito insuficiente (16.1%), tendo os trabalhadores apresentado valores mais elevados que os criadores (20.2% e 13.8%), diferença não estatisticamente significativa (p= 0.170). As perguntas “o leite in natura é fervido antes do consumo humano?”, “contacto com materiais fetais animais?”, “contacto com aerossóis no local de trabalho?” e “já fez alguma vez o teste de Brucelose humana?” (relacionadas com práticas) e as perguntas “já ouviu falar da Brucelose?”, “Brucelose é doença zoonótica/só animal/só humana? e “como a Brucelose se transmite aos humanos?” apresentaram níveis médios de práticas adequadas e conhecimentos correctos inferiores a 20%. Nas explorações infectadas, 39% dos criadores foram positivos (infectados) e nas não infectadas apenas 1.7%. O risco de um criador ser infectado estando numa exploração infectada foi significativamente mais elevado (OR= 36, IC95%: 8.28-157.04). Conclusões: os ambientes dos profissionais (matadouros, salas municipais de abate e talhos e explorações) propiciam o risco à brucelose. O estudo permite aferir que a Brucelose humana em profissionais da pecuária e a Brucelose animal são prevalentes na província do Namibe. Os níveis de seroprevalência detectados são elevados comparandoos com outros encontrados em algumas localidades africanas que possuem condições similares às do Namibe. Perto de duas em cada cinco (40.10%) explorações estão infectadas por esta doença. O número de abortos (média) está claramente relacionado com as explorações infectadas. O conhecimento geral dos profissionais da pecuária sobre a Brucelose é muito insuficiente, tendo os trabalhadores mostrado um maior conhecimento em relação aos criadores, mas ambos com níveis alarmantes. Os criadores infectados estão relacionados com as explorações infectadas. Há necessidade de controlar a doença e de informar e educar os profissionais sobre a brucelose, sendo fundamental que os serviços provinciais de veterinária reforcem acções de divulgação e de fiscalização.

Intervalos de referência para elementos menores e traço em cabelo humano para a população da cidade do Rio de Janeiro - Brasil

Inductively coupled plasma mass spectrometry (ICP-MS) has been used for the determination of twenty minor and trace elements in hair samples from an urban population group (N = 1775), aiming at the establishment of reliable hair reference intervals. Statistical evaluation of the data with respect to age, sex and anatomic region was performed by multivariant analysis and according to recommendations of the International Federation of Clinical Chemistry (IFCC). The results show that mainly age and anatomic region (scalp or pubis) influence significantly the concentration of several elements. Comparison of the here calculated reference intervals with those previously published and used by clinical laboratories for this population showed larger discrepancies and the need for an urgent revision of these data.

La transformació del paisatge litoral de la Costa Brava: Anàlisi de l'evolució (1956-2003), diagnosi de l'estat actual i prognosi de futur

En la tesi es presenta una anàlisi de l'evolució dels canvis succeïts en el paisatge costaner de la Costa Brava (22 municipis litorals) en els darrers cinquanta anys (1956-2003); un estudi de la seva estructura ecopaisatgística, actual i passada, amb una especial èmfasi en la diagnosi de les conseqüències geoambientals de l'esclat urbanístic iniciat a la dècada de 1960, i s'ha determinat quina ha estat la tendència de canvi en els darrers vint-i-cinc anys la qual s'ha utilitzat per a elaborar models explicatius de la dinàmica territorial seguida i projectar-los cap al futur tot dissenyant escenaris probables. A les Bases teòriques s'exposa en quina parcel·la del coneixement científic es situa aquesta recerca i es repassa l'evolució dels diferents corrents i enfocaments que han precedit, dins la Ciència Geogràfica, els estudis sobre transformació del paisatge. Es posa especial en els principis i metodologies que plantegen les dues escoles d'anàlisi del paisatge en que es basa aquesta tesi: la Landscape Ecology i la estructurada a l'entorn del programa internacional Land Use and Land Cover Change (LUCC). S'ha dissenyat una pauta metodològica per a l'anàlisi paisatgística d'un territori a diferents escales: des de l'àmbit regional de tota la Costa Brava (66.230 ha), on es poden detectar les tendències generals, fins l'estudi detallat a escala local, on s'ha pres com a àrea d'estudi tres municipis del centre de la Costa Brava (6.960 Ha): Palamós, Calonge i Castell-Platja d'Aro. Els principals resultats obtinguts són els següents: Una cartografia d'usos i cobertes del sòl de tres períodes temporals i la conseqüent interpretació espacial per a cada etapa: 1957 (situació preturística), 1980 (inici de les actuacions dels ajuntaments democràtics) i 2003 (actualitat). Una anàlisi quantitativa de la transformació del paisatge i de les relacions espacials associades al canvi, a partir de la cartografia d'usos i cobertes del sòl dels tres períodes mapificats (1956, 1980, 2003). Amb l'objectiu d'arribar a definir quina ha estat la dinàmica dels canvis ocorreguts al llarg dels darrers gairebé cinquanta anys. Una anàlisi de l'estructura del mosaic paisatgístic de cadascun dels talls temporals per mitjà de l'aplicació dels principals índexs de l'Ecologia del Paisatge. S'ha analitzat la geometria de la conversió dels usos del sòl i s'han posat de manifest les repercussions ecològiques i paisatgístiques d'aquests canvis. Per una banda, a partir del càlcul i interpretació dels índexos esmentats s'ha analitzat l'evolució de la morfologia i la distribució territorial dels quatre principals usos i cobertes del sòl de la Costa Brava. Per l'altra, per a la Costa Brava centre s'ha analitzat l'estat dels dos sistemes naturals del litoral amb més pressió antròpica: la franja estrictament costanera i les masses forestals. Respecte als tres municipis de la Costa Brava centre s'han tingut en compte en l'anàlisi de l'evolució del paisatge a escala local, les actuacions desenvolupades en l'àmbit urbanístic municipal i les seves conseqüències paisatgístiques i ambientals. A partir de la informació ja processada, s'han detectat les tendències de canvi a partir de models de canvi d'usos i cobertes del sòl. S'han incorporat també els factors biofísics i antròpics, socials i econòmics, condicionants i responsables d'una determinada utilització del territori en cadascun dels tres períodes. Mitjançant l'anàlisi multivariable s'ha intentat descobrir el conjunt de factors que influencien en la taxa i el patró espacial de canvi d'usos i les seves conseqüències territorials. Finalment s'ha aplicat un model de simulació, basat en els automatismes cel·lulars de Markov, per tal de projectar les tendències de canvi i plantejar escenaris futurs, una eina bàsica per a la planificació futura del territori i per al control de les problemàtiques ambientals. Aquestes mesures serveixen per a definir, per a la Costa Brava centre, un patró espacial dels canvis d'usos del sòl a nivell local, i, per al conjunt de la Costa Brava, per a predir, mitjançant models de simulació quantitativa, els possibles desenvolupaments i per estimar els impactes.

Potential use of the veris apparent EC sensor to predict soil texture under the semi-arid conditions of central Arizona

The operational details of the apparent electrical conductivity (ECa) sensor manufactured by Veris Technologies have been extensively documented in literature reports, but the geographical distribution of these research studies indicate a strong regional concentration in the US Mid-west and Southern states. The agricultural lands of these states diverge significantly to the soil conditions and water regime of irrigated land in the US South-western states such as Arizona where there is no previous research reports of the use of this particular sensor. The objectives of the present study were to analyze the performance of this sensor under the conditions of typical soils in irrigated farms of Central Arizona. We tested under static conditions the performance of the sensor on three soils of contrasting texture. Observations were collected as time series data as soil moisture changed from saturation to permanent wilting point. Observations were repeated at the hours of lowest and highest temperatures. In addition, this study included soil penetration resistance and salinity determinations. Preliminary results indicate that soil temperature of the upper layer caused the most dynamic change in the sensor output. The ECa curves of the three soil textures tested had well defined distinctive characteristics. Final multivariate analysis is pending.

Genetic diversity among progenies of Crambe abyssinica Hochst for seed traits

Crambe is an important biofuel crop and its oil has unique traits such as high erucic acid content which can be used as industrial lubricant, corrosion inhibitor as well as ingredient in synthetic rubber manufacturing. Genetic diversity among 70 progenies of Crambe abyssinica Hochst selected from a population of FMS Brilhante cultivar was quantified by multivariate analysis for traits related to germination, thousand grain weight and oil content. There were significant differences among progenies for all traits studied. Estimation of genetic variance and heritability coefficients showed that the variability found in the progeny is more genetic than environmental which enables genetic gains with selection. Heritability coefficient varied from 68 to 79%, except for oil content and number of dead seedlings. Simple correlation analysis showed that germination and vigor were positively correlated, and thousand grain weight and oil content were not correlated with any of the seed traits. Based on multivariate analysis, the progenies could be grouped into 26 clusters. Clusters 1, 2 and 3 had the highest number of progeny with 7, 8 and 6 lineages, respectively. Clusters 21-26 had higher dissimilarity within the cluster with one in each progeny. The trait that most contributed to the cluster was the germination (36.2%) and less contributed was the number of seedlings killed (1.1%). The progenies indicate genetic diversity for seed traits and the selection of superior progenies is possible considering the studied traits. © 2013.

An integration of partial evaluation in a generic abstract interpretation framework

Information generated by abstract interpreters has long been used to perform program specialization. Additionally, if the abstract interpreter generates a multivariant analysis, it is also possible to perform múltiple specialization. Information about valúes of variables is propagated by simulating program execution and performing fixpoint computations for recursive calis. In contrast, traditional partial evaluators (mainly) use unfolding for both propagating valúes of variables and transforming the program. It is known that abstract interpretation is a better technique for propagating success valúes than unfolding. However, the program transformations induced by unfolding may lead to important optimizations which are not directly achievable in the existing frameworks for múltiple specialization based on abstract interpretation. The aim of this work is to devise a specialization framework which integrates the better information propagation of abstract interpretation with the powerful program transformations performed by partial evaluation, and which can be implemented via small modifications to existing generic abstract interpreters. With this aim, we will relate top-down abstract interpretation with traditional concepts in partial evaluation and sketch how the sophisticated techniques developed for controlling partial evaluation can be adapted to the proposed specialization framework. We conclude that there can be both practical and conceptual advantages in the proposed integration of partial evaluation and abstract interpretation.

Multivariant non-failure analysis via standard abstract interpretation

Non-failure analysis aims at inferring that predicate calis in a program will never fail. This type of information has many applications in functional/logic programming. It is essential for determining lower bounds on the computational cost of calis, useful in the context of program parallelization, instrumental in partial evaluation and other program transformations, and has also been used in query optimization. In this paper, we re-cast the non-failure analysis proposed by Debray et al. as an abstract interpretation, which not only allows to investígate it from a standard and well understood theoretical framework, but has also several practical advantages. It allows us to incorpórate non-failure analysis into a standard, generic abstract interpretation engine. The analysis thus benefits from the fixpoint propagation algorithm, which leads to improved information propagation. Also, the analysis takes advantage of the multi-variance of the generic engine, so that it is now able to infer sepárate non-failure information for different cali patterns. Moreover, the implementation is simpler, and allows to perform non-failure and covering analyses alongside other analyses, such as those for modes and types, in the same framework. Finally, besides the precisión improvements and the additional simplicity, our implementation (in the Ciao/CiaoPP multiparadigm programming system) also shows better efRciency.

Les característiques de les víctimes a Catalunya i a altres països industrialitzats. Un estudi multivariant

La recerca té l’objectiu de conèixer quines són les variables que expliquen i prediuen la victimització mitjançant anàlisis de regressió logística. L’estudi s’ha dut a terme a partir d’una mostra de 39.517 registres procedents de 17 països industrialitzats (inclosa Catalunya), que pertanyen a 17 enquestes sobre la victimització l’any 1999, totes elles realitzades amb els mateixos paràmetres metodològics. Les variables dependents (o tipus de victimització) que s’estudien són: robatori del/en el cotxe, robatori o temptativa de robatori en el domicili, delictes menors, delictes contra la propietat, delictes amb violència, agressions sexuals i delictes de contacte. Les variables independents són: país, hàbits de sortida nocturns, edat, nombre d’habitants de la ciutat o municipi, ocupació, anys d’estudi, ingressos, estat civil i sexe. Algunes conclusions són: (1) les variables país i edat són les que amb més força expliquen la victimització; (2)quant a les agressions sexuals, la variable que més explica la victimització és l’estat civil, seguit de l’edat i el país; (3) la variable país està present en totes i cada una de les equacions obtingudes de les regressions logístiques, la qual cosa vol dir que en tots els casos explica la victimització i, és més, té la capacitat de predir-la; (4) l’estat civil i nombre d’habitants estan presents en totes les equacions de regressió logística llevat de la referida als delictes contra els cotxes; (5) l’edat està present en 6 de les 8 equacions de regressió logística, no es presenta en els delictes contra els domicilis ni en els delictes amb violència, per la qual cosa no és útil a l’hora de predir-ne la victimització; (5) pel que fa al país, el fet de viure a Catalunya és un factor de protecció envers el delicte, llevat dels fets contra els vehicles.

Aspectes metodològics i aplicacions de la modelització del temps de supervivència multivariant mitjançant models mixtes

Els estudis de supervivència s'interessen pel temps que passa des de l'inici de l'estudi (diagnòstic de la malaltia, inici del tractament,...) fins que es produeix l'esdeveniment d'interès (mort, curació, millora,...). No obstant això, moltes vegades aquest esdeveniment s'observa més d'una vegada en un mateix individu durant el període de seguiment (dades de supervivència multivariant). En aquest cas, és necessari utilitzar una metodologia diferent a la utilitzada en l'anàlisi de supervivència estàndard. El principal problema que l'estudi d'aquest tipus de dades comporta és que les observacions poden no ser independents. Fins ara, aquest problema s'ha solucionat de dues maneres diferents en funció de la variable dependent. Si aquesta variable segueix una distribució de la família exponencial s'utilitzen els models lineals generalitzats mixtes (GLMM); i si aquesta variable és el temps, variable amb una distribució de probabilitat no pertanyent a aquesta família, s'utilitza l'anàlisi de supervivència multivariant. El que es pretén en aquesta tesis és unificar aquests dos enfocs, és a dir, utilitzar una variable dependent que sigui el temps amb agrupacions d'individus o d'observacions, a partir d'un GLMM, amb la finalitat d'introduir nous mètodes pel tractament d'aquest tipus de dades.

Cladistic analysis of continuous modularized traits provides phylogenetic signals in Homo evolution

Evolutionary novelties in the skeleton are usually expressed as changes in the timing of growth of features intrinsically integrated at different hierarchical levels of development(1). As a consequence, most of the shape- traits observed across species do vary quantitatively rather than qualitatively(2), in a multivariate space(3) and in a modularized way(4,5). Because most phylogenetic analyses normally use discrete, hypothetically independent characters(6), previous attempts have disregarded the phylogenetic signals potentially enclosed in the shape of morphological structures. When analysing low taxonomic levels, where most variation is quantitative in nature, solving basic requirements like the choice of characters and the capacity of using continuous, integrated traits is of crucial importance in recovering wider phylogenetic information. This is particularly relevant when analysing extinct lineages, where available data are limited to fossilized structures. Here we show that when continuous, multivariant and modularized characters are treated as such, cladistic analysis successfully solves relationships among main Homo taxa. Our attempt is based on a combination of cladistics, evolutionary- development- derived selection of characters, and geometric morphometrics methods. In contrast with previous cladistic analyses of hominid phylogeny, our method accounts for the quantitative nature of the traits, and respects their morphological integration patterns. Because complex phenotypes are observable across different taxonomic groups and are potentially informative about phylogenetic relationships, future analyses should point strongly to the incorporation of these types of trait.

Multivariant optimization, validation, and application of capillary electrophoresis for simultaneous determination of polyphenols and phenolic acids in Brazilian wines

A method for the simultaneous determination of the stilbene resveratrol, four phenolic acids (syringic, coumaric, caffeic, and gallic acids), and five flavonoids (catechin, rutin, kaempferol, myricetin, and quercetin) in wine by CE was developed and validated. The CE electrolyte composition and instrumental conditions were optimized using 2(7-3) factorial design and response surface analysis, showing sodium tetraborate, MeOH, and their interaction as the most influential variables. The optimal electrophoretic conditions, minimizing the chromatographic resolution statistic values, consisted of 17 mmol/L sodium tetraborate with 20% methanol as electrolyte, constant voltage of 25 kV, hydrodynamic injection at 50 mbar for 3 s, and temperature of 25 degrees C. The R(2) values for linearity varied from 0.994 to 0.999; LOD and LOQ were 0.1 to 0.3 mg/L and 0.4 to 0.8 mg/L, respectively. The RSDs for migration time and peak area obtained from ten consecutive injections were less than 2% and recoveries varied from 97 to 102%. The method was applied to 23 samples of inexpensive Brazilian wines, showing wide compositional variation.

An efficient, parametric fixpoint algorithm for analysis of java bytecode

Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of flnding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying flxpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based—) flxpoint algorithms rely on relatively inefHcient techniques for solving inter-procedural caligraphs or are speciflc and tied to particular analyses. We also argüe that the design of an efficient fixpoint algorithm is pivotal to supporting the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. The algorithm is parametric -in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins"-, multivariant, and flow-sensitive. Also, is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are given and discussed with an example. We also provide some performance data from a preliminary implementation of the analysis.

Precise set sharing and nullity analysis for java-style program

Finding useful sharing information between instances in object- oriented programs has been recently the focus of much research. The applications of such static analysis are multiple: by knowing which variables share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly,erify certain correctness aspects of programs even in the absence of annotations In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways. The analysis is multivariant, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances share and which ones do not or are definitively null, and which uses the classes to refine the static information when inheritance is present. Carrying the domains in a combined way facilitates the interaction among the domains in the presence of mutivariance in the analysis. We show that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.

An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode

Abstract interpretation has been widely used for the analysis of object-oriented languages and, more precisely, Java source and bytecode. However, while most of the existing work deals with the problem of finding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying fixpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based) fixpoint algorithms rely on relatively inefficient techniques to solve inter-procedural call graphs or are specific and tied to particular analyses. We argue that the design of an efficient fixpoint algorithm is pivotal to support the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. Also, the algorithm is parametric in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins". It is also incremental in the sense that, if desired, analysis data can be saved so that only a reduced amount of reanalysis is needed after a small program change, which can be instrumental for large programs. The algorithm is also multivariant and flowsensitive. Finally, another interesting characteristic of the algorithm is that it is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are provided and discussed with an example.