H → Zr in the complex two Higgs doublet model

The latest LHC data confirmed the existence of a Higgs-like particle and made interesting measurements on its decays into gamma gamma, ZZ*, WW*, tau(+)tau(-), and b (b) over bar. It is expected that a decay into Z gamma might be measured at the next LHC round, for which there already exists an upper bound. The Higgs-like particle could be a mixture of scalar with a relatively large component of pseudoscalar. We compute the decay of such a mixed state into Z gamma, and we study its properties in the context of the complex two Higgs doublet model, analysing the effect of the current measurements on the four versions of this model. We show that a measurement of the h -> Z gamma rate at a level consistent with the SM can be used to place interesting constraints on the pseudoscalar component. We also comment on the issue of a wrong sign Yukawa coupling for the bottom in Type II models.

Probing wrong-sign Yukawa couplings at the LHC and a future linear collider

We consider the two-Higgs-doublet model as a framework in which to evaluate the viability of scenarios in which the sign of the coupling of the observed Higgs boson to down-type fermions (in particular, b-quark pairs) is opposite to that of the Standard Model (SM), while at the same time all other tree-level couplings are close to the SM values. We show that, whereas such a scenario is consistent with current LHC observations, both future running at the LHC and a future e(+)e(-) linear collider could determine the sign of the Higgs coupling to b-quark pairs. Discrimination is possible for two reasons. First, the interference between the b-quark and the t-quark loop contributions to the ggh coupling changes sign. Second, the charged-Higgs loop contribution to the gamma gamma h coupling is large and fairly constant up to the largest charged-Higgs mass allowed by tree-level unitarity bounds when the b-quark Yukawa coupling has the opposite sign from that of the SM (the change in sign of the interference terms between the b-quark loop and the W and t loops having negligible impact).

Reappraisal of the wrong-sign HBB¯ coupling and the study of h→Zγ

It has been pointed out recently that current experiments still allow for a two Higgs doublet model where the hbb¯ coupling (kDmb/v) is negative; a sign opposite to that of the Standard Model. Due to the importance of delayed decoupling in the hH+H− coupling, h→γγ improved measurements will have a strong impact on this issue. For the same reason, measurements or even bounds on h→Zγ are potentially interesting. In this article, we revisit this problem, highlighting the crucial importance of h→VV, which can be understood with simple arguments. We show that the impacts on kD<0 models of both h→bb¯ and h→τ+τ− are very sensitive to input values for the gluon fusion production mechanism; in contrast, h→γγ and h→Zγ are not. We also inquire if the search for h→Zγ and its interplay with h→γγ will impact the sign of the hbb¯ coupling. Finally, we study these issues in the context of the flipped two Higgs doublet model.

Wrong sign and symmetric limits and non-decoupling in 2HDMs

We analyse the possibility that, in two Higgs doublet models, one or more of the Higgs couplings to fermions or to gauge bosons change sign, relative to the respective Higgs Standard Model couplings. Possible sign changes in the coupling of a neutral scalar to charged ones are also discussed. These wrong signs can have important physical consequences, manifesting themselves in Higgs production via gluon fusion or Higgs decay into two gluons or into two photons. We consider all possible wrong sign scenarios, and also the symmetric limit, in all possible Yukawa implementations of the two Higgs doublet model, in two different possibilities: the observed Higgs boson is the lightest CP-even scalar, or the heaviest one. We also analyse thoroughly the impact of the currently available LHC data on such scenarios. With all 8 TeV data analysed, all wrong sign scenarios are allowed in all Yukawa types, even at the 1 sigma level. However, we will show that B-physics constraints are crucial in excluding the possibility of wrong sign scenarios in the case where tan beta is below 1. We will also discuss the future prospects for probing the wrong sign scenarios at the next LHC run. Finally we will present a scenario where the alignment limit could be excluded due to non-decoupling in the case where the heavy CP-even Higgs is the one discovered at the LHC.

Functional domains of Bacillus subtilis transcription factor AraR and identification of aminoacids important for nucleoprotein complex assembly and effector-binding.

Journal of Bacteriology (Apr 2006) 3024-3036

Estudo sobre o insight em pessoas com psicose

Para além das variáveis clínicas e sociodemográficas existem concerteza importantes componentes individuais que desempenham um contributo importante no nível de insight apresentado por cada pessoa doente, por exemplo, o nível de inteligência, personalidade, cultura, experiências passadas, memória, etc. A natureza clínica, emocional e/ou intelectual do termo ajuda-nos a compreender a complexidade da dificuldade que existe na sua tradução e, inclusive, na sua compreensão. Daí que as definições atribuídas ao conceito sejam muito distintas e variem consoante a formação teórica do autor/investigador. Pretende-se, a partir dessa identificação/compreensão, promover a qualidade de vida destas pessoas através do desenvolvimento de novas aprendizagens que possibilitem uma cooperação activa. É igualmente fundamental ir ao encontro das capacidade intactas de maneira a possibilitar a aquisição de novos(s) comportamento(s) que tenham um impacte positivo nas queixas, sinais, sintomas, incapacidade e disfuncionalidade apresentados pelo/a utente. Uma vez que a própria conceptualização do termo traduzirá aquilo que se pretende avaliar,será efectuada uma reflexão detalhada acerca dos instrumentos e definições que têm sido mais utilizadas para explorar o insight nas psicoses.Procurei, no meu trabalho de investigação, realçar e promover a importância que cada sujeito, alvo de intervenção, desempenha ao longo do seu processo de recuperação e na prevenção de recaídas. No seguimento dos objectivos acima descritos, para além da revisão teórica efectuada ao fenómeno em termos de conceptualização e estudos desenvolvidos na área de investigação, foi,neste estudo, realizada a contribuição para a validação do instrumento “Assessment of Insight in Psychosis: a re-standartization of a New Scale” de Marková & Berrios (2003).O fenómeno de insight escolhido pela Insight Scale, relata menos as mudanças vividas em relação à doença mental, e mais a actual consciência e articulação de tais mudanças. Tendo como base uma abordagem psicopedagógica, o fenómeno do insight aqui explorado assentou numa perspectiva reabilitativa, actual e multidimensional, que fosse para além das dimensões clínicas tradicionais. Neste sentido é apresentada uma escala original, intitulada “Escala de Avaliação do Insight e Identificação das Necessidades em Pessoas com Psicose”, bem como um modelo de intervenção psicopedagógico breve, assente nos pressupostos descritos ao longo do trabalho.-----------------------------------------ABSTRACT: The importance of insight in people with mental illnesses was first studied in psychiatry, in the first decades of the 20th century, by people as important as Lewis (1934) and Jaspers (1959). However, this field of investigation was left unexplored for many years. Only in the last decade has this phenomenon become the object of numerous scientific investigations, having been given special attention by its investigators. For this reason a significant number of instruments for evalauting insight in psychotic disorders were developed. Since then many papers have been published, which has allowed for a more in depth knowledge on the subject. Therefore, in recent years, the concept of insight has been developed in an attempt to clarify its compexity. A once dichotomic phenomenon, described in terms of presence or absence, became considered multidimensional, which made the identification of different levels of insight and different dimensions possible. Current concepts categorize insight into five dimensions: the awareness of the patient in relation to his/her mental illness, the awareness of the patient in relation to the social consequences of his/her illness, the awareness of the need for treatment, the awareness of the symptoms and the explanation of those symptoms in relation to the illness. The lack of insight in psychiatry, in general terms, and as this phenomenon has been described, the lack of awareness of having a mental illness, represents one of the most common symptoms of schizophrenia and affects a big part of the population that suffer from this illness. It is estimated that bewteen 50 and 80 per cent of patients with schizophrenia do not believe that they are ill, which, consequently has a big impact in the process of adherence to treatment. It is still not possible, however, to identify all the factors that determine the lack of insight in schizophrenics. There are psychological, social and cultural influences that almost certainly play their role in the lack of insight registered in this pathology.Since the impact of scizophrenia is felt in many aspects of the individual’s life, its effective treatment should be directed at various levels, including the improvement of insight. One of the objectives of this study is to explore the relationship between the level of insight in psychosis and the clinical and sociodemographic variables, the psychopathology and its global functioning. As well as the clinical and sociodemographic variables, there are of course important individual components that contribute to the level of insight seen in each patient, for example, their level of inteligence, personality, culture, past experiences, memory, etc. The clinical, emotional and/or intelectual nature of the term helps us understand the difficulty that lies in its interpretation as well as in its comprehension. Therefore, the definitions attributed to the term are very different and vary according to the theoretical training of the investigator. It is intended, from this identification/understanding, to promote the quality of life of these people through the development of new findings that might enable an active cooperation. It is equally fundamental to observe their unimpaired capacities in order to enable the acquisition of new behaviour(s) that have a positive impact on the complaints, signs, symptoms, incapacity and disfunctioning seen in the patient.As the actual comprehension of the term explains what we intend to evaluate, a detailed reflection is made on the instruments and definitions that have been used the most to explore insight in psychosis.In this investigation I tried to underline and promote the importance that each subject, undergoing medical intervention, plays during his/her process of recovery and prevention of relapses. Considering the above mentioned objectives, as well as a theoretical review of the phenomenon in terms of conceptualization and investigative studies developed, this study contributed to the validation of the instrument.The insight phenomenon chosen by the “Insight Scale”, records less changes experienced in relation to the mental illness and more actual awareness and articulation of these changes. Based on a psychopedagogical approach, the insight phenomenon explored here settled on a rehabilitation, current and multidimensional perspective that would go beyond the traditional clinical dimensions. For this reason an original scale entitled “Insight Evaluation Scale and Need Identification in Psychosis Patients” is presented, as well as a psychopedagogical intervention model soon to be used with admitted patients based on the presuppositions described in this study.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Proposal for shared services performance management model applied to portugueses public administration

Comunicação apresentada no 8º Congresso Nacional de Administração Pública - Desafios e Soluções, em Carcavelos de 21 a 22 de Novembro de 2011.

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Análise numérica e experimental de um modelo dinâmico da ponte ferroviária de Antuã

Mestrado em Engenharia Civil – Ramo Estruturas

Planeamento de redes de distribuição de energia

O planeamento de redes de distribuição tem como objetivo assegurar a existência de capacidade nas redes para a fornecimento de energia elétrica com bons níveis de qualidade de serviço tendo em conta os fatores económicos associados. No âmbito do trabalho apresentado na presente dissertação, foi elaborado um modelo de planeamento que determina a configuração de rede resultante da minimização de custos associados a: 1) perdas por efeito de joule; 2) investimento em novos componentes; 3) energia não entregue. A incerteza associada ao valor do consumo de cada carga é modelada através de lógica difusa. O problema de otimização definido é resolvido pelo método de decomposição de benders que contempla dois trânsitos de potências ótimos (modelo DC e modelo AC) no problema mestre e escravo respectivamente para validação de restrições. Foram também definidos critérios de paragem do método de decomposição de benders. O modelo proposto classifica-se como programação não linear inteira mista e foi implementado na ferramenta de otimização General Algebraic Modeling System (GAMS). O modelo desenvolvido tem em conta todos componentes das redes para a otimização do planeamento, conforme podemos analisar nos casos de estudo implementados. Cada caso de estudo é definido pela variação da importância que cada uma das variáveis do problema toma, tendo em vista cobrir de alguma todos os cenários de operação expetáveis. Através destes casos de estudo verifica-se as várias configurações que a rede pode tomar, tendo em conta as importâncias atribuídas a cada uma das variáveis, bem como os respetivos custos associados a cada solução. Este trabalho oferece um considerável contributo no âmbito do planeamento de redes de distribuição, pois comporta diferentes variáveis para a execução do mesmo. É também um modelo bastante robusto não perdendo o ‘norte’ no encontro de solução para redes de grande dimensão, com maior número de componentes.

Cultural Intelligence Scale: Validation in a Multicultural Setting of Erasmus Mundus Students and Alumni

Purpose: This work aims at further developing and testing the psychometric properties of the Cultural Intelligence Scale (Ang & Van Dyne, 2006) in an Erasmus Mundus Students and Alumni Population, including reliability. Design Methodology: The study included 626 participants from 109 different countries that emcompasses 6 continents. Exploratory and Confirmatory Factor Analysis procedures were carried out in order to test the scale in a multicultural scale of Erasmus Mundus Students. Reliability was assessed using Cronbach Alpha. Results: The scale presents excellent psychometric properties with alpha values that range from .84 to .90. Exploratory and Confirmatory Factor Analyses demonstrated that the original model of the scale presents an exceptionally good fit. Limitations: The present study was conducted using a convenience sample and online questionnaires that limit its conclusions when we consider the globality of the Erasmus Mundus Students. Research/Practical Implications: This study presents evidence that Ang and Van Dyne’s scale is an adequate measure instrument to assess intercultural intelligence in a multicultural setting of students and alumni. Originality/Value: Multicultural samples and studies are becoming more and more present and relevant; the study of intercultural competences and habilities is becoming increasingly important, and in this task, solid psychometric instruments are of paramount importance. This study presents evidence that Ang and Van Dyne’s (2006) scale is a fairly recent and parsimonious instrument with excellent psychometric properties properties.

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Calcificações vasculares nos doentes em diálise : elo de ligação entre doença óssea e doença vascular

RESUMO: A presente dissertação para tese de doutoramento apresenta o desenvolvimento e a validação de um método simples e original para o diagnóstico de calcificações vasculares em doentes em diálise, utilizando um score semiquantitativo criado por nós e obtido em RX simples da bacia e das mãos, denominado score de calcifi cação vascular simples. Demonstramos que este score vascular simples é preditor de risco cardiovascular nos doentes em diálise. O score de calcificação vascular simples associou-se ainda à baixa densidade mineral óssea avaliada por dual energy X -ray absortiometry (DXA) no colo do fémur. Verifi camos igualmente que, em doentes em diálise, as calcifi cações coronárias quantifi cadas pelo score de Agatston e o score de calcifi cação vascular simples se associaram a um menor volume ósseo avaliado em biopsias ósseas. Estes trabalhos corroboram a hipótese da existência de um elo de ligação entre a doença óssea e a doença vascular nos doentes em diálise, e um dos elementos que contribuem para este elo de ligação podem ser as calcificações vasculares. Este score de calcificação vascular simples avalia calcifi cações em artérias de grande, médio e pequeno calibre, e inclui os dois padrões radiológicos de calcificação: calcificação linear, associada à calcifi cação da camada média da parede arterial, e calcificação irregular, associada à calcifi cação da camada íntima arterial1. Nos diferentes trabalhos por nós publicados demonstramos que as calcificações vasculares avaliadas por este método simples e barato permitem a identificação de indivíduos com elevado risco cardiovascular. Este score vascular associa -se a maior risco de mortalidade cardiovascular2, de mortalidade de causa global3, de internamentos cardiovasculares2, de doença ardiovascular2, de doença arterial periférica2,4,de calcifi cações valvulares5 e de rigidez arterial3. As guidelines KDIGO (Kidney disease: improving global outcomes), publicadas em 2009,sugerem que os doentes renais crónicos nos estadios 3 a 5, com calcificações vasculares e valvulares, devem ser considerados como apresentando o mais elevado risco cardiovascular6. A elevada mortalidade dos doentes renais crónicos não é totalmente explicada pelos fatores de risco tradicionais7. A organização KDIGO defende, desde 2006, a hipótese da existência de um elo de ligação entre a doença óssea e a doença vascular8. Esta ligação pode ser explicada pelas alterações do metabolismo mineral e ósseo e pela sua interação com as calcificações vasculares. Verificamos, nos nossos trabalhos, uma associação entre calcifi cações vasculares e doença óssea. O baixo volume ósseo diagnosticado por análise histomorfométrica de biopsias ósseas foi preditor de maior risco de calcificações vasculares avaliadas pelo score de calcifi cação vascular simples (dados apresentados nesta dissertação, no capítulo 6) e pelo score coronário de Agatston num grupo de doentes em diálise9. A contribuição original deste artigo9 foi considerada merecedora de um editorial feito pelo Dr. Gérard London10, investigador líder na área da calcificação vascular dos doentes renais crónicos e actual Presidente da EDTA (European Dialysis and Transplantation Association). Fomos também os primeiros a descrever uma associação independente e inversa entre a densidade mineral avaliada no colo do fémur por DXA (dual energy X -ray absortiometry) com calcificações vasculares avaliadas pelo score de calcificação vascular simples, com rigidez arterial avaliada por velocidade de onda de pulsocarotidofemoral e com doença arterial periférica diagnosticada por critérios clínicos11. Fomos igualmente os primeiros a mostrar uma correlação signifi cativa entre a densidade mineral óssea avaliada por DXA no colo do fémur, mas não na coluna lombar, com a espessura cortical avaliada por análise histomorfométrica em biopsia óssea12. O nosso estudo atribui pela primeira vez à DXA um papel no diagnóstico de porosidade cortical nos doentes em diálise. A utilidade da avaliação diferencial da densidade mineral óssea cortical e trabecular necessita ainda de ser confirmada em estudos prospectivos. Este achado inovador do nosso estudo foi mencionado pela ERBP (European Renal Best Practice) no comentário feito à posição da KDIGO que considera ser reduzida a utilidade da densidade mineral óssea nos doentes em diálise13. Dois dos trabalhos incluídos nesta dissertação foram referenciados nas guidelines KDIGO 2009 para avaliar a prevalência das calcificações vasculares (KDIGO 2009: Tabela suplementar 10, Fig. 3.6) e para validar a associação entre calcificações vasculares e mortalidade cardiovascular (KDIGO 2009: Tabela suplementar 12, Fig. 3.7)6. A inclusão destes nossos dois estudos nas referências destas guidelines, que utilizaram o exigente sistema GRADE (Grades of recommendation, assessment, development, and evaluation) na classificação e selecção dos estudos, valida o interesse científico dos nossos trabalhos. O diagnóstico de calcificações vasculares tem um interesse prático para os doentes renais crónicos. A presença de calcifi cações vasculares é um sinal de alerta para a existência de um elevado risco cardiovascular, e esta informação pode ser utilizada para modificar a terapêutica nestes doentes6. Diferentes métodos podem ser usados para diagnosticar calcificações vasculares nos doentes em diálise14,15. O score de calcificação vascular simples tem a vantagem da simplicidade e de poder ser facilmente interpretado pelo nefrologista, sem necessidade de um radiologista. A reprodutibilidade deste score já foi demonstrada por diferentes grupos em estudos nacionais e internacionais16-24. Nestes estudos foi demonstrado que as calcifi cações vasculares avaliadas pelo método criado por nós são preditoras de maior risco de eventos cardiovasculares16, de amputações dos membros inferiores17, de velocidade de onda de pulso18,19, de calcificações corneanas e conjuntivais20 e de calcifi cações coronárias21. Também foi demonstrada uma associação inversa entre o score de calcificação vascular simples com os níveis séricos de PTH21, com os níveis de 25(OH)vitamina D 22,23 e com os níveis de fetuína A19,24. Todos estes estudos, realizados por diferentes grupos, que utilizaram o score de calcificação vascular simples na sua metodologia, comprovam a facilidade de utilização deste score e a concordância de resultados atestam a sua reprodutibilidade e a utilidade na avaliação dos doentes renais crónicos. ---------------------------ABSTRACT: This thesis presents the development and validation of a simple and original method to identify vascular calcifications in dialysis patients, using a semi -quantitative score that we have created and that is obtained in plain X -ray of pelvis and hands. This score was named in different publications as “simple vascular calcifi cation score”. We have demonstrated that this score is a predictor of higher cardiovascular risk in dialysis patients. The simple vascular calcification score was also associated with lower mineral bone density evaluated by DXA in femoral neck. In hemodialysis patients coronary calcifications evaluated by the coronary Agatston score and by the simple vascular calcification score were associated with lower bone volume analysed in bone biopsies. These studies corroborate the hypothesis of the existence of a link between bone disease and vascular disease in dialysis patients and one of the elements of this link may be vascular calcifications. This simple vascular calcification score identifi es calcifications in large, medium and small calibre arteries and includes the two radiological patterns of arterial calcifi cation: linear calcification which has been associated with the calcifi cation of the media layer of the arterial wall and irregular and patchy calcification which has been associated with the calcifi cation of the intima layer of the arterial wall1. In the several studies that we have published we have demonstrated that vascular calcifications evaluated by this simple and inexpensive method allow the identification of patients with high cardiovascular risk. This simple vascular calcification score is an independent predictor of cardiovascular mortality2, all -cause mortality3, cardiovascular hospitalizations2, cardiovascular disease2, peripheral artery disease2,4, valvular calcifi cations5 and arterial stiffness3.KDIGO (Kidney Disease: Improving Global Outcomes) guidelines published in 2009 suggest that chronic kidney disease patients in stages 3 to 5, with vascular and valvular calcifications should be considered to be at the highest cardiovascular risk6. The high mortality of chronic kidney disease patients is not completely explained by the traditional risk factors7 and KDIGO group supports, since 2006, the hypothesis of the existence of a link between bone disease and vascular disease8.This link may be explained by the alterations of the bone and mineral metabolism and their interaction with development and progression of vascular calcifications. We have also verifi ed in our studies the existence of an association between vascular calcifications and bone disease. Low bone volume diagnosed by histomorphometric analysis of bone biopsies, in a group of dialysis patients, was independently associated with the simple vascular calcification score (data presented in this thesis,chapter 6) and with coronary calcifications evaluated by the Agatston score9. The original contribution of this article published in CJASN9 deserved a commentary in an Editorial written by Prof. Gérard London10 leader investigator in this area and current EDTA (European Dialysis and Transplantation Association) President. We were also the fi rst group to describe an independent and inverse association between bone mineral density evaluated in the femoral neck by DXA (dual energy X -ray absortiometry) with vascular calcifications evaluated by the simple vascular calcification score, with arterial stiffness evaluated by carotid-femoral pulse wave velocity and with peripheral artery disease diagnosed by clinical criteria11. We were also the first group to demonstrate a significant correlation between bone mineral density evaluated by DXA in femoral neck but not in lumbar spine, with cortical thickness evaluated by histomorphometric analysis of bone biopsy12. Our study has attributed to DXA, for the first time, a role in the diagnosis of cortical porosity in dialysis patients. The clinical utility of the differential evaluation of bone mineral density in cortical or trabecular bone needs, however, to be confi rmed in prospective studies. This original fi nding of our study was mentioned by ERBP (European Renal Best Practice) commenting the KDIGO position in relation with the reduced utility of bone mineral density evaluation in dialysis patients13. Two of the studies included in this thesis have been integrated in a group of studies selected as references by the KDIGO guidelines published in 2009 to evaluate the prevalence of vascular calcifications in CKD patients (KDIGO 2009: Supplementary Table 10, Fig. 3.6) and to corroborate the association between vascular calcifications and cardiovascular mortality (KDIGO 2009: Supplementary Table 12, Fig. 3.7)6. The inclusion of both studies as references in the KDIGO guidelines that have used the exigent GRADE system (Grades of Recommendation, Assessment, Development, and Evaluation) in the classifi cation and selection of studies, validates the scientifi c value of our studies. The diagnosis of vascular calcifi cations has a practical interest for chronic kidney disease patients. The presence of vascular calcifications is an alert sign to the existence of a high cardiovascular risk and this information may be used to modify the treatment of these patients6. Different methods may be used to detect the presence of vascular calcifications in dialysis patients14,15. The simple vascular calcifi cation score has the advantage of being simple, inexpensive and easily evaluated by the Nephrologist without the need for a Radiologist interpretation. The reproducibility of this method has already been demonstrated by other groups in national and international studies16 -24. It was demonstrated in those studies that vascular calcifi cations evaluated by the method created by us, predict higher risk of cardiovascular events16, higher risk of lower limbs amputations17, higher pulse wave velocity18,19, corneal and conjuntival calcifi cations 20 and coronary calcifi cations21. A negative association between the simple vascular calcification score and PTH levels21, 25(OH) vitamin D levels22,23 and Fetuin A levels19,24 has also been demonstrated. All these studies performed by different groups that have used the simple vascular calcifi cation score in their methods demonstrate that this score is simple, useful and reproducible in the evaluation of chronic kidney disease patients simple, useful and reproducible in the evaluation of chronic kidney disease patients.

The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.