Optimizações numa linguagem para desenvolvimento de aplicações web

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Collateral, default penalties and infinite horizon equilibrium

Pascoa and Seghir (2009) noticed that when collateralized promises become subject to utility penalties on default, Ponzi schemes may occur. However, equilibrium exists in some interesting cases. Under low penalties, equilibrium exists if the collateral does not yield utility (for example, when it is a productive asset or a security). Equilibrium exists also under more severe penalties and collateral utility gains, when the promise or the collateral are nominal assets and the margin requirements are endogenous: relative inflation rates and margin coefficients can make the income effects dominate the penalty effects. An equilibrium refinement avoids no-trade equilibria with unduly repayment beliefs. Our refinement differs from the one used by Dubey, Geanakoplos and Shubik (2005) as it does not eliminate no trade equilibria whose low delivery rates are consistent with the propensity to default of agents that are on the verge of selling.

Efeitos da laqueação proximal dos vasos curtos e da fundoplicatura total sobre a microcirculação do fundo gástrico : estudo microvascular em cobaias

RESUMO: A operação de Nissen, por laparoscopia, é considerada a cirurgia antirefluxo mais adequada por ser a que melhor replica a fisiologia normal da válvula gastresofágica na maioria dos doentes com sintomas típicos de doença do refluxo gastresofágico (DRGE). São critérios técnicos o encerramento seguro dos pilares do diafragma e a criação de fundoplicatura completa (360 graus), curta (inferior a dois centímetros), lassa e sem tensão – desiderando para o qual a laqueação proximal dos vasos curtos gástricos é crucial. Realizei a operação de Nissen, por laparoscopia, em sessenta mulheres e quarenta homens com DRGE, sem mortalidade operatória, no Serviço de Cirurgia 6 do Hospital dos Capuchos, CHLC, EPE. Os cem doentes apresentavam média etária de 46 anos e queixas, com tempo de evolução entre 1 e 43 anos, de pirose (90%), regurgitação (80%), azia (73%), epigastralgias (54%). A endoscopia alta revelou esofagite de grau Savary-Miller 0-I (62%), II (23%), III (8%), IV (7%); hérnia de deslizamento (71%), hérnia paraesofágica (8%), sem hérnia (21%); a pHmetria de 24h diagnosticou padrão misto (38%), levantado (20%), deitado (20%), inconclusiva (22%) e a manometria diagnosticou EEI hipotónico (35%), peristálise esofágica normal (88%), hipomotilidade ligeira (5%) e foi omissa (7%). Hérnia hiatal, esofagite grave, ineficácia do controlo sintomático com inibidor da bomba de protões e desejo de descontinuidade terapêutica constituíram as indicações para tratamento cirúrgico. Por celioscopia, efetuei laqueação dos vasos curtos gástricos (70%), cruroplastia e fundoplicatura total (seda 2/0), curta (dimensão média 1,5-2 cm), lassa, sem tensão e sem calibração intraoperatória do esófago. A fundoplicatura de Nissen laparoscópica mostrou-se segura e eficaz no tratamento da DRGE. A sua idoneidade foi ainda comprovada pela normalização da pHmetria de 24 horas e da manometria pós-operatórias, com significado estatístico, num grupo de catorze voluntários assintomáticos. Em catamnese com recuo médio 30,7 meses 94% dos indivíduos persistem assintomáticos. Interrogando-me acerca das repercussões desta operação sobre a microcirculação do fundo gástrico coloquei, como premissa, a possibilidade de na operação de Nissen a laqueação dos vasos curtos poder induzir modificação no diâmetro arteriolar da parede do fundo gástrico. Para pesquisar a influência da laqueação dos vasos curtos gástricos e da fundoplicatura total sobre o calibre arteriolar da parede do estômago no cárdia, no fundo e na região dos vasos curtos gástricos, idealizei um Projeto de investigação experimental em cobaias. O Projeto foi desenvolvido no Centro de Investigação do Departamento de Anatomia da FCM-UNL. Para a sua realização obtive autorização da Comissão Científica e Pedagógica da FCM-UNL, requeri a acreditação como investigador à Direção Geral de Veterinária e, por recorrer à utilização de animais, submeti-o à Comissão de Ética da FCM-UNL, que o aprovou por unanimidade. Para limitar o número de animais utilizados ao mínimo necessário, calculei, por método estatístico, a quantidade de cobaias necessárias. Subdividindo-as num grupo de ensaio (GE), onde realizei a operação de Nissen, e num grupo de controlo (GC), onde apenas procedi a tração gástrica, defini e apliquei protocolos de anestesia, de cirurgia e de eutanásia, segundo os princípios dos 3R – Replacement, Reduction, Refinement da técnica de experimentação humana de Russell e Burch (1959) – uma estrutura ética amplamente aceite para a realização de experimentação científica humanizada com animais. A utilização das técnicas de estudo angiomorfológico permitiu-me analisar e descrever a anatomia normal, a vascularização arterial macroscópica, a microangioarquitetura, por microscopia eletrónica de varrimento de moldes de corrosão vascular, e a histologia da parede do estômago da cobaia. Procedi, também, à definição dos critérios morfológicos que considerei suscetíveis de validação deste modelo animal para o estudo proposto. Por razões académicas, foi necessário abreviar o Projeto encurtando, em cerca de dois anos, o prazo disponível para conclusão do estudo. Apreciando-o com o Gabinete de Análise Epidemiológica e Estatística do Centro de Investigação do CHLC, EPE, optou-se, perante a escassez de elementos após já terem sido recrutados 46 animais, por uma amostra, suplementar, de dimensão de conveniência de oito cobaias (quatro em cada grupo), condicionada pelo limite temporal universitário e pelo respeito pela dignidade dos animais. Neste subgrupo procedi, por microscopia eletrónica de varrimento, à medição dos calibres arteriolares nos moldes vasculares do cárdia, do fundo e da zona dos vasos curtos gástricos tanto no GC como no GE efetuando 469 medições no primeiro e 461 no último. Os dados foram enviados ao Centro de Investigação do CHLC, EPE que procedeu à sua análise estatística (ANOVA). A referida análise revelou que as arteríolas do plexo mucoso e as do plexo submucoso do cárdia, do fundo e da região dos vasos curtos gástricos, mostraram aumento de calibre no GE. O aumento foi, estatisticamente, significativo por ser superior a 50% do calibre do GC. Nos vasos curtos, a diferença foi mais pequena, mas persistiu sendo, estatisticamente, significativa. Os vasos retos dilataram na base, na sua emergência do plexo seroso, apenas no fundo gástrico. Na cobaia a operação de Nissen – fundoplicatura total com laqueação dos vasos curtos gástricos –, provocou vasodilatação arteriolar do fundo gástrico. Considero que essa vasodilatação constituiu acomodação à modificação introduzida e infiro que o mesmo possa acontecer no ser humano. Admito, assim, que também ocorra vasodilatação no ser humano, na sequência da laqueação dos vasos curtos gástricos, pela analogia microvascular entre as duas espécies e que essa vasodilatação corresponda, igualmente, a um mecanismo de adaptação arteriolar visando, por exemplo, suprir a perda incorrida pela laqueação. A associação experimental entre laqueação dos vasos curtos gástricos e realização de fundoplicatura total, que exerce aumento inerente de pressão sobre a JEG, não só não provocou défice da microcirculação do esófago distal ou do estômago proximal como desencadeou um mecanismo de vasodilatação fúndica que reforça o conceito de segurança da operação de Nissen para tratamento da DRGE. -------------- ABSTRACT: The laparoscopic Nissen operation is considered to be the most appropriate antirefluxsurgery because it suitably replicates the standard physiology of the gastroesophageal valve in most patients with typical symptoms of gastroesophageal reflux disease (GERD). The technical criteria includes the safe shutdown of the diafragmatic crura(cruroplasty) and the creation of a complete fundoplication (360 degrees), short (lesser than two inches), floppy and without tension – a goal for which the proximal ligation of the gastric short vessels is crucial. The laparoscopic Nissen operation was performed in sixty women and forty men with GERD, without any operative mortality, at the Surgical Department of the Hospital dos Capuchos, CHLC, EPE. The one hundred patients, averaged 46 years old, complained of heartburn (90%), regurgitation (80%) and upper abdominal pain (54 %). The endoscopy process revealed Savary-Miller esophagitis of grade 0-I (62%), II (23%), III (8%), IV (7%), sliding hernia (71%), paraesophageal hernia (8%) or no herniation (21%). The pHmetry/24h diagnosed mixed pattern (38%), raised (20%), lying (20%) or inconclusive (22%). The manometry diagnosed hypotensive LES (35%), normal esophageal peristalsis (88%), mild hypomotility (5%) and was absent (7%). Hiatal hernia, severe esophagitis, ineffective symptomatic control with proton pump inhibitor and request for treatment discontinuation were the signs for surgical action. A laparoscopic ligation of short gastric vessels (70%), cruroplasty and fundoplication (silk 2/0), short (average size 1.5–2 cm) and floppy, without tension and without intraoperative calibration of the esophagus were thus performed. The laparoscopic Nissen fundoplication behaved safe and effective in treating GERD. In a group of 14 asymptomatic volunteers its reputation was confirmed with statistical significance by normalization of postoperative pHmetry/24h and manometry. 94% of the individuals remained asymptomatic up to 30.7 months (average) in the follow-up. Interrogating myself about the impact of this operation on the microcirculation of the gastric fundus I put premised on the possibility of the ligation of the short gastric vessels in the Nissen procedure can induce changes in the arteriolar diameter in the Wall of the gastric fundus. To explore the influence of ligation of the short gastric vessels and the fundoplication at the arteriolar caliber of the cardia, the fundus and the region of the short vessels of the gastric wall, I designed a project of experimental research in guinea pigs with two interdependent components: one veterinary and another technical where I applied angiomorphological studies. The project was developed at the Research Centre of the Department of Anatomy FCMUNL. For its accomplishment I got permission from the Scientific and Pedagogical Committee of the FCM-UNL, I requested for accreditation as a researcher at the General Directorate of Veterinary and, by resorting to the use of animals I submitted it to the Ethics Committee of the FCM-UNL, which approved it unanimously. The guinea pigs were divided into two experimental groups: an experimental group (EG), in which the Nissen procedure was performed and a control group (CG) in which only a gastric traction was done. Protocols of anesthesia, surgery and euthanasia were applied according to the 3Rs – Replacement, Reduction, Refinement of the technique of human experimentation of Burch and Russell (1959) – a widely accepted ethical framework for conducting scientific experiments using animals humanely. Using histological and angiomorphological techniques, I performed the analysis and the description of the normal, macro and microvascular, anatomy of the guinea pig stomach and I defined the morphological criteria that I considered susceptible for validation of this animal model for the proposed study. By means of scanning electron microscopy I measured the arteriolar calibers of the vascular casts of the cardia, of the fundus and of the short gastric vessels in both CG and EG, making 469 measurements in the former and 461 in the latter. The data were sent to the Research Center of the CHLC which conducted the statistical analysis (ANOVA). The data were sent to the Centre for Research of the CHLC, EPE which proceeded to statistical analysis (ANOVA). This analysis revealed that the arterioles plexus of the mucosal and submucosal plexus of the cardia, fundus and region of the short gastric vessels, showed increased caliber in EG. The increase was statistically significant for being greater than 50% CG gauge. In the short gastric vessels, the difference was smaller, but persisted and statistically significant. Straight vessels were dilated at the base, on its emergence of the plexus serous only in the fundus. In the guinea pig, the Nissen procedure - complete fundoplication with ligation of the short gastric vessels - caused arteriolar vasodilation on the gastric fundus. I believe that this vasodilation constituted some accommodation to the modification introduced and infer that the same might happen in humans. I admit therefore that vasodilation also occurs in humans following the ligation of the short gastric vessels by microvascular analogy between the two species and that this vasodilation corresponds also to na adaptation mechanism arteriolar, for example, to compensate the loss incurred by ligation. The association of experimental ligation of the short gastric vessels with conducting complete fundoplication, which exerts increased pressure on the EGJ, not only did not cause a microcirculation deficit of the distal esophagus or proximal stomach as triggered a mechanism of fundic vasodilation which reinforces the security concept of the Nissen procedure for treatment of GERD.

Reordenação de documentos através de técnicas de aprendizagem automática

Sistemas de gestão documental e de recuperação de informação são hoje ferramentas essenciais para aceder aos grandes volumes de informação disponíveis. O exemplo mais popular deste cenário é o motor de pesquisa Google, que se estimava possuir cerca de 45 milhares de milhões de páginas Web, em Março de 2013 [14]. Uma vez que a maioria das pessoas, apenas consultam os primeiros dez resultados duma pesquisa, torna-se crucial conseguir uma boa ordenação das respostas, de forma a permitir que o utilizador veja os resultados contendo informação diversificada, de acordo com as suas preferências e indo ao encontro daquilo que escreveu na pesquisa. Além do objetivo de ordenação segundo a query escrita pelo utilizador, também foi tido como objetivo a remoção de documentos similares do topo dos resultados das pesquisas. Nesta tese, pretendemos investigar o uso de algoritmos de aprendizagem de ordenação de resultados, por forma a aumentar a qualidade dos resultados de topo das pesquisas e analisar algumas maneiras para aumentar a diversidade de informação no topo dos resultados das pesquisas. Uma aplicação foi desenvolvida no contexto desta tese e foi aplicada a um sistema de pesquisa que foi desenvolvido em contexto empresarial com a Quidgest S.A, sendo que posteriormente irá ser integrada numa plataforma de desenvolvimento rápido de aplicações.

Follow the red road of triheme cytochromes in Geobacter sulfurreducens

The bacterium Geobacter sulfurreducens (Gs) is capable of oxidizing a large variety of compounds relaying electrons out of the cytoplasm and across the membrane in a process designated as extracellular electron transfer. The Gs genome was fully sequenced and a family composed by five periplasmic triheme cytochromes c7 (designated PpcA-E) was identified. These cytochromes play an important role in the reduction of extracellular acceptors. They contain approximately 70 amino acids, three heme groups with bis-histidinyl axial coordination, and share between 57 and 77% sequence identity. The triheme cytochrome PpcA is highly abundant in Gs and is most likely the reservoir of electrons destined for outer surface. In addition to its role in electron transfer pathways this protein can perform e-/H+ energy transduction, a process that is disrupted when the strictly conserved aromatic residue phenylalanine 15 is replaced by a leucine (PpcAF15L). This Thesis focuses on the expression, purification and characterization of these proteins using Nuclear Magnetic Resonance and ultraviolet-visible spectroscopy. The orientations of the heme axial histidine ring planes and the orientation of the heme magnetic axis were determined for each Gs triheme cytochrome. The comparison of the orientations obtained in solution with the crystal structures available showed significant differences. The results obtained provide the paramagnetic constraints to include in the future refinement of the solution structure in the oxidized state. In this work was also determined the solution structure and the pH-dependent conformational changes of the PpcAF15L allowing infer the structural origin for e-/H+ energy transduction mechanism as shown by PpcA. Finally, the backbone and side chain NH signals of PpcA were used to map interactions between this protein and the putative redox partner 9,10-anthraquinone-2,6-disulfonate (AQDS). In this work a molecular interaction was identified for the first time between PpcA and AQDS, constituting the first step toward the rationalization of the Gs respiratory chain.

Relação entre o consumo de medicamentos do aparelho cardiovascular e os internamentos

RESUMO - Objetivos: Caracterizar a evolução do consumo de medicamentos da área cardiovascular entre 2002 e 2011. Caracterizar a evolução dos internamentos com diagnóstico principal cardiovascular, da taxa de mortalidade intra-hospitalar e da idade média dos doentes no episódio de internamento. Estabelecer relação entre o consumo de medicamentos e os episódios de internamento. Metodologia: Por consulta à base de dados do Infarmed, determinar a evolução do consumo de medicamentos por distrito de Portugal continental, medido em embalagens consumidas/1000 habitantes. Por consulta à base de dados de GDH, determinar a evolução do nº de internamentos por doença cardiovascular dos residentes em cada distrito, determinado em internamentos/1000 habitantes. Determinar a evolução da taxa de mortalidade dos episódios, avaliada em mortes/ 100 episódios. Determinar a evolução da idade média. Correlação estatística entre o consumo e nº internamentos, mortalidade e idade. Regressão linear simples entre o consumo e nº internamentos, mortalidade e idade. Resultados: O consumo de cardiotónicos e antiarrítmicos diminuiu, -26,45% e -16,48%, respetivamente. O consumo de anti hipertensores, vasodilatadores e antidislipidémicos aumentou, respetivamente, 78,73%; 11,18% e 180,91%. A incidência de EAM aumentou 0,03%, a de IC 0,97% e a de AVC diminuiu -21,42%. A mortalidade diminuiu para EAM, IC e AVC, respetivamente, -31,48%; -18,03% e -15,06%. A idade média de ocorrência de EAM manteve-se, a de IC aumentou 2,2 anos e a de AVC aumentou 1,5 anos. 23,9% da variação da incidência de AVC pode ser explicada pelo consumo. A variação da taxa de mortalidade por EAM, IC e AVC que pode ser explicada pelo consumo é de 30,9%; 13,0% e 32,9%. O consumo explica 48,3% e 73,5%, da variação da idade média de ocorrência de internamentos por IC e AVC, respetivamente. Os anti hipertensores e os antidislipidémicos são as subclasses com correlação estatisticamente significativa mais relevante com a diminuição da taxa de mortalidade e aumento da idade média. Conclusão: O consumo explica sensivelmente 50% do aumento da idade média, e em menor percentagem a evolução do nº de internamentos e da taxa de mortalidade. As subclasses dos anti hipertensores e dos antidislipidémicos são as principais responsáveis pelo aumento do consumo, mas também são as que tem correlação estatisticamente significativa mais forte com os ganhos em saúde.

Relatório de estágio no departamento central de investigação e acção penal

The means of obtaining evidence, the amount of evidence obtained, the number of defendants related to each criminal case and the gravity of the crimes for which the magistrates of the Department are holders of penal action, define its real importance to the Rule of Law. I have deeply studied the subject of the institution of hierarchical intervention required by the assistant and the application of an opening statement by the defendant, starting from a hypothetical case, provided when the query of an investigation with the subject of the crime of active corruption, where this institution was called as a reaction to the archiving dispatch delivered by the Public Ministry. I have study about the implementation of the institution of provisional suspension of the process, specifically in the scope of fiscal criminality, analyzing the effective satisfaction of the purposes of the sentences in two slopes: general prevention and special prevention. I went for my first time to a Central Court of Criminal Instruction, where I attended the measures of inquiry and instructive debate of a process that culminated with the prosecution and pronunciation of the defendants. In addition to this criminal experience, I have deepened and consolidated the academic knowledge with the study of various criminal cases from various fields in the scope of criminality investigated by the Department. I could therefore check the basis of procedural delays, regarding to our legal system, especially in this type of crime, raising issues that I analyzed and discussed, always in a critical and academic way. I had the opportunity to attend and witness a seminar in the Lisbon Directorate of Finance as well of entering the Centre for Judicial Studies to attend a conference on the International Anti-Corruption Day. Focus on the investigatory importance of the international judicial cooperation, through the various organs, with special interest to EUROJUST. I comprehended the organization and functioning of these communitarian organs and means of communication of procedural acts, in particular, the rogatory letters and european arrest warrants. This involvement is motivated by the moratorium factor of the investigations where rogatory letters are necessary for the acquisition of evidence or information relevant to the good continuation of the process. For this reason the judicial cooperation through the relevant communitarian organs, translates a streamlined response between the competent judicial authorities of the Member States, through the National Member that integrates EUROJUST. This report aims to highlight some of the difficulties and procedural issues that Public Prosecutors of DCIAP and criminal police bodies that assist them, face in combating violent and organized crime, of national and transnational nature, of particular complexity, according to the specifics of criminal types.

Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

Relatório de estágio de mestrado em Ensino de Informática

Carbonation front progress in mortars containing fly ash considering the presence of chloride ions

The incorporation of fly ash (FA) in cementitious matrices have been frequently used in order to make the matrix more resistant to the action of chlorides. On the other hand, it is known that Ca (OH)2 existing in the matrix is partially consumed by the pozzolanic reactions, which facilitates the advancement of carbonation. Given that the combined action between carbonation and chloride penetration is a fact little known, we speculate about the behaviour of the matrix in this context. This study investigates the influence of the presence of chlorides on the carbonation in mortars with FA. Samples with 0% and 40% replacement of cement CEM I 42.5 R for FA were molded with water/binder 0.56 and 0.52 respectively. After 90 days of curing the specimens were subjected to cycles of immersion/drying for 56 days. Half of the samples was subjected to the following cycle: two days in a solution containing NaCl (concentration equal to 3.5 %); 12 days in the carbonation chamber (4% of CO2). The other half was: two days in water; 12 days in the carbonation chamber. Then, the development of carbonation was evaluated. The results indicate that the presence of chlorides influences the carbonation. The specimens submitted to the exclusive action of CO2 showed a greater depth of carbonation compared to that presented by the specimens subjected to combined action. This may be related to changes in properties of the matrix which may lead to further refinement of the pores and related to the presence of the salt that can lead to partial filling of the pores and the increase in moisture content.

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Temporal analysis of CHAVE collection

Lecture Notes in Computer Science, 9309

Measuring university-to-work success: development of a new scale

Purpose – The purpose of this paper is to develop a subjective multidimensional measure of early career success during university-to-work transition. Design/methodology/approach – The construct of university-to-work success (UWS) was defined in terms of intrinsic and extrinsic career outcomes, and a three-stage study was conducted to create a new scale. Findings – A preliminary set of items was developed and tested by judges. Results showed the items had good content validity. Factor analyses indicated a four-factor structure and a second-order model with subscales to assess: career insertion and satisfaction, confidence in career future, income and financial independence, and adaptation to work. Third, the authors sought to confirm the hypothesized model examining the comparative fit of the scale and two alternative models. Results showed that fits for both the first- and second-order models were acceptable. Research limitations/implications – The proposed model has sound psychometric qualities, although the validated version of the scale was not able to incorporate all constructs envisaged by the initial theoretical model. Results indicated some direction for further refinement. Practical implications – The scale could be used as a tool for self-assessment or as an outcome measure to assess the efficacy of university-to-work programs in applied settings. Originality/value – This study provides a useful single measure to assess early career success during the university-to-work transition, and might facilitate testing of causal models which could help identify factors relevant for successful transition.

Urothelial bladder cancer progression: lessons learned from the bench

Urothelial bladder carcinoma (UBC) is an intricate malignancy with a variable natural history and clinical behavior. Despite developments in diagnosis/prognosis refinement and treatment modalities, the recurrence rate is high, and progression from non-muscle to muscle invasive UBC commonly leads to metastasis. Moreover, patients with muscle-invasive or extra-vesical disease often fail the standard chemotherapy treatment, and overall survival rates are poor. Thus, UBC remains a challenge in the oncology field, representing an ideal candidate for research on biomarkers that could identify patients at increased risk of recurrence, progression, and chemo-refractoriness. However, progress toward personalized medicine has been hampered by the unique genetic complexity of UBC. Recent genome-wide expression and sequencing studies have brought new insights into its molecular features, pathogenesis and clinical diversity, revealing a landscape where classical pathology is intersected by the novel and heterogeneous molecular groups. Hence, it seems plausible to postulate that only an integrated signature of prognostic/predictive biomarkers inherent in different cancer hallmarks will reach clinical validation. In this review, we have summarized ours and others' research into novel putative biomarkers of progression and chemoresistance that encompass several hallmarks of cancer: tumor neovascularization, invasion and metastasis, and energy metabolism reprogramming of the tumor microenvironment.

Efeito da adição de Zr no endurecimento de ligas Al-Sc

Dissertação de mestrado integrado em Engenharia de Materiais

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.