Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Unraveling intrinsic mechanisms of Nerve Regeneration

Unlike injury to the peripheral nervous system (PNS), where injured neurons can trigger a regenerative program that leads to axonal elongation and in some cases proper reinnervation, after injury to the central nervous system (CNS) neurons fail to produce the same response. The regenerative program includes the activation of several injury signals that will lead to the expression of genes associated with axonal regeneration. As a consequence, the spawned somatic response will ensure the supply of molecular components required for axonal elongation. The capacity of some neurons to trigger a regenerative response has led to investigate the mechanisms underlying neuronal regeneration. Thus, non-regenerative models (like injury to the CNS) and regenerative models (such as injury to the PNS) were used to understand the differences underlying those two responses to injury. To do so, the regenerative properties of dorsal root ganglion (DRG) neurons were addressed. This particular type of neurons possesses two branches, a central axon, that has a limited capacity to regenerate; and a peripheral axon, where regeneration can occur over long distances. In the first paradigm used to understand the neuronal regeneration mechanisms, we evaluated the activation of injury signals in a non-regenerative model. Injury signals include the positive injury signals, which are described as being enhancers of axonal regeneration by activating several transcription factors. The currently known positive injury signals are ERK, JNK and STAT3. To evaluate whether the lack of regeneration following injury to the central branch of DRG neurons was due to inactivation of these signals, activation of the transcription factors pELK-1, p-c-jun (downstream targets of ERK and JNK, respectively) and pSTAT3 were examined. Results have shown no impairment in the activation of these signals. As a consequence, we further proceed with evaluation of other candidates that could participate in axonal regeneration failure. By comparing the protein profiles that were triggered following either injury to the central branch of DRG neurons or injury to their peripheral branch, we were able to identify high levels of GSK3-β, ROCKII and HSP-40 after injury to the central branch of DRG neurons. While in vitro knockdown of HSP-40 in DRG neurons showed to be toxic for the cells, evaluation of pCRMP2 (a GSK3-β downstream target) and pMLC (a ROCKII downstream target), which are known to impair axonal regeneration, revealed high levels of both proteins following injury to the central branch when comparing with injury to their peripheral one. Altogether, these results suggest that activation of positive injury signals is not sufficient to elicit axonal regeneration; HSP-40 is likely to participate in the cell survival program; whereas GSK3-β and ROCKII activity may condition the regenerative capacity following injury to the nervous system.(...)

A afirmação do direito de águas

This thesis aims at demonstrating the dogmatic autonomy of Water Law. It also intends to clarify that this branch of law must not be confused with other similar subjects of law. To accomplish this task, the thesis justifies the dogmatic autonomy of Water Law beginning by discussing the emergence of this branch of law both at international and regional levels. The thesis analyses the emergence of International Water Law, discussing the reasons of its existence, its subject and importance. It also explains the relationship between international watercourses and the need to regulate them, considering that rules related to the use and management of such resources, although created at international level, are meant to be applied at regional and local levels. The thesis demonstrates that the fact that some waters are international, because they cross different states or serve as border between two or more states, justifies the existence of international water law rules aplicable to the region and to the watercourse they are supposed to regulate. For this reason, this thesis considers not only international water law in relation with the aplicable regional water law, but also the regional law in relation with the rules aplicable to the water basins and particularly with the concerned water basin states. This relationship between rules leads us to discuss how these three spectrums of rules are conciliated, namely international or universal, regional and water basin rules. To demonstrate how all this works we chose SADC for our case study. The thesis also studies the States who benefit from rules of international water law, and all other subjects who directly use water from international watercourses, and the conclusion we reach is that who really benefits are the population of such states whose rights of access, use and management are regulated by international, regional and basin rules As we can imagine, it is not easy to concile so many different rules, applicable to a scarce resource to which many subjects in many states compete for. And the interaction of the different interests, which is done under different spectrum of rules, is what guided our study, in which we analyse how all this process functions. And the main reason of all the discussion is to conclude that there is, in fact, a dogmatic autonomy of water law. To reach such a conclusion, the thesis begins by studying how international water law is applied at local level. Considering that international watercourses usually have different regimes adopted by the basin states, which difference may cause conflicts, the thesis discusses how water law may contribute to solve possible conflicts. To do this, the thesis studies and compares rules of international water law with rules of water law applicable to SADC states, and figures out the level of interaction between such rules. Considering that basin states have to obey to local rules, first of all, and after that to international and basin level rules, the thesis studies how the differents interests at stake are managed by riparian states, who act on behalf of their population. SADC appeared to provide an excellent case study to reach this goal. And the thesis discusses all these matters, the rules and principles applicable, and provides solutions where applicable, always considering water as subject of our study. Accordingly, we discuss the right to water, its nature and how it functions, considering the facts mentioned previously. And, as we conclude, all these legal discussions over water are a clear sign of the dogmatic autonomy of water

Serological survey for Chagas disease in the rural areas of Manaus, Coari, and Tefé in the Western Brazilian Amazon

INTRODUCTION: Deforestation, uncontrolled forest, human population migration from endemic areas, and the large number of reservoirs and wild vectors naturally infected by Trypanosoma cruzi promote the endemicity of Chagas disease in the Amazon region. METHODS: We conducted an initial serological survey (ELISA) in a sample of 1,263 persons; 1,095 (86.7%) were natives of the State of Amazonas, 666 (52.7%) were male, and 948 (75.1%) were over 20 years old. Serum samples that were found to be reactive, indeterminate, or inconclusive by indirect immunofluorescence (IFI) or positive with low titer by IFA were tested by Western blot (WB). Serologically confirmed patients (WB) were evaluated in terms of epidemiological, clinical, ECG, and echocardiography characteristics. RESULTS: Fifteen patients had serologically confirmed T. cruzi infection, and 12 of them were autochthonous to the state of Amazonas, for an overall seroprevalence of 1.2% and 0.9% for the state of Amazonas. Five of the 15 cases were males, and the average age was 47 years old; most were farmers with low education. One patient who was not autochthonous, having originated from Alagoas, showed right bundle branch block, bundle branch block, and anterosuperior left ventricular systolic dysfunction with an ejection fraction of 54%. CONCLUSIONS: The results of this study ratify the importance of monitoring CD cases in Amazonia, particularly in the state of Amazonas.

Rethinking the Portuguese banking sector in a post-crisis context

As the financial crisis hit the Portuguese banks, the profitability of the whole sector squeezed to historical minimums. Reinventing the banking business model in the post-crisis context is an overriding issue to achieve sustainable profits and a low cost-to-income ratio. We propose banks to adopt a true multichannel approach, proceeding to a branch network reformatting and a relocation of services to online channels; adopt a true customer-centric approach and reduce the product and services portfolio complexity; finally, industrialize operations and rationalize the structure. With these measures in place, Portuguese banks will become leaner and more efficient, aspiring to a cost-to-income ratio below 45%.

Internationalization of UniPlaces to the Spanish market: Internationalization plan to Madrid, Spain

Field Lab in Entrepreneurial Innovative Ventures

Fisiopatologia da microcirculação coronária e perfusão do miorcárdio : ecocardiografia de contraste do miocárdio e doppler transtorácico

RESUMO: Este trabalho tentou contribuir para a caracterização da fisiopatologia da microcirculação coronária em diferentes formas de patologia com o auxílio da ecocardiografia transtorácica. Com a aplicação da ecocardiografia Doppler transtorácica foi efectuado o estudo da reserva coronária da artéria descendente anterior e com a ecocardiografia de contraste do miocárdio foram analisados parâmetros de perfusão do miocárdio como a velocidade da microcirculação coronária, o volume de sangue miocárdico e a reserva de fluxo miocárdico. Estas técnicas foram utilizadas em diferentes situações fisiopatológicas com particular interesse na hipertrofia ventricular esquerda de diferentes etiologias como a hipertensão arterial, estenose aórtica e cardiomiopatia hipertrófica. Também na diabetes mellitus tipo 2 e na doença coronária aterosclerótica, estudámos as alterações da microcirculação coronária. Com a mesma técnica de ecocardiografia de contraste do miocárdio foi analisada a perfusão do miocárdio num modelo experimental animal sujeito a uma dieta aterogénica. Além das conclusões específicas em relação a cada um dos trabalhos efectuados há a referir como conclusões gerais a sua fácil aplicabilidade e exequibilidade em âmbito clínico, a sua reprodutibilidade e precisão. Quando comparadas com técnicas consideradas de referência mostraram resultados com significativa correlação estatística. Em todos os doentes e nos grupos controle foi possível comprovar e quantificar o gradiente de perfusão transmural em repouso e durante a acção de stress vasodilatador, relevando a importância da perfusão sub-endocárdica na função do ventrículo esquerdo. O estudo da microcirculação coronária no grupo de doentes com hipertrofia ventricular esquerda revelou que no grupo com hipertensão arterial existe disfunção da microcirculação coronária ainda antes de se observar aumento de massa do ventrículo esquerdo, e que esta disfunção é diferente em função da geometria ventricular. Nos doentes com estenose aórtica foi demonstrado que além da disfunção da microcirculação coronária, explicada pelo fenómeno de hipertrofia, existe outro componente extrínseco que depois de corrigido através de cirurgia de substituição valvular, conduziu a uma parcial normalização dos valores de reserva coronária. Na cardiomiopatia hipertrófica observou-se uma grande heterogeneidade de perfusão transmural e foi documentado, em imagens de ecocardiografia de contraste do miocárdio e após análise paramétrica, a ausência de perfusão do miocárdio na região sub-endocárdica durante o stress vasodilatador de reserva coronária diminuídos em fases precoces de evolução da doença. Foi demonstrado que a reserva coronária na DM2 em fases mais avançadas estava significativamente diminuída. Descrevemos também em doentes com DM2 e sem doença coronária angiográfica a existência de disfunção da microcirculação coronária. Durante o stress vasodilatador, observámos e documentámos neste grupo de doentes, a existência de defeitos de perfusão transitórios ou de diminuição da velocidade da microcirculação coronária. No grupo de doentes com doença coronária confirmámos o interesse da avaliação da reserva coronária após intervenção percutânea na definição de prognóstico pós EAM, em termos de recuperação funcional do ventrículo esquerdo. Em doentes com BCRE e de difícil estratificação de risco, foi possível calcular o valor de reserva coronária e estratificar o risco de doença coronária. Num modelo experimental animal demonstrámos a exequibilidade da técnica de ECM, e verificámos que nessas condições experimentais, uma sobrecarga aterogénica na dieta, ao fim de 6 semanas, comprometia severamente a reserva coronária. Estes resultados foram parcialmente reversíveis quando à dieta foi adicionada uma estatina. Estas técnicas pela sua não invasibilidade, fácil acesso, repetibilidade e inocuidade perspectivam-se de grande utilidade na caracterização de doentes com disfunção da microcirculação coronária, nas diferentes áreas de diagnóstico, terapêutica e prevenção. A possibilidade de adaptar a técnica em modelos experimentais animais também nos parece poder vir a ter grande utilidade em investigação.----------------ABSTRACT: This work is intended to be a contribution to the study of coronary microcirculation applying new echocardiographic techniques as transthoracic Doppler echocardiography of coronary arteries and myocardial contrast echocardiography. Coronary flow reserve may be assessed by transthoracic Doppler echocardiography, and important functional microcirculation parameters as microcirculation flow velocity, myocardial blood volume and myocardial flow reserve may be evaluated through myocardial contrast echocardiography. Microcirculation was analysed in different pathophysiological settings. We addressed situations with increased left ventricular mass as systemic arterial hypertension, aortic stenosis and hypertrophic cardiomyopathy. Also coronary microcirculation was studied in type 2 Diabetes and in different clinical forms of atherosclerotic coronary artery disease. Specific and detailed conclusions were withdrawn from each experimental work. In the overall it was concluded that these two techniques were important tools to easily assess specific pathophysiological information about coronary microcirculation at bed side which would be difficult to get through other techniques. When compared with gold standard techniques, similar sensibility and specificity was found. Because of their better temporal and spatial resolution it was possible to analyse the importance of transmural perfusion gradients, both in basal and during vasodilatation, and their relation to ischemia, and mechanical wall kinetics, as wall thickening and motion. Coronary microcirculation dysfunction was found in systemic arterial hypertension early evolution stages, also related to different left ventricular geometric patterns. Different etiopathogenical explanations for aortic stenosis coronary microcirculation dysfunction were analysed and compared after aortic valve replacement. Transmural myocardial perfusion heterogeneity pattern was observed in hypertrophic cardiomyopathy which was aggravated during adenosine challenge. Coronary microcirculation dysfunction was diagnosed in type 2 diabetes both with coronary artery disease and with normal angiographic coronary arteries. Dynamic transitory subendocardial perfusion defects with adenosine vasodilatation were visualized in these patients.In patients with left branch block, transthoracic Doppler echocardiography was able to suggest a coronary reserve cut-off value for risk stratification. Also it was possible with this technique to calculate coronary flow reserve and predict restenosis after PTCA Again, in an experimental animal model, applying myocardial contrast echocardiography technique it was possible to study the consequences of an atherogenic diet and statins action on the coronary microcirculation function. Because these techniques are easily performed at bed side, are harmless, use no ionizing radiation and because of their repeatability, reproducibility and accuracythey are promissory tools to assess coronary microcirculation. Both in clinic and research areas these techniques will probably have a role in clinical diagnosis, prevention and therapeutically decision.

Outbreak of acute Chagas disease associated with oral transmission in the Rio Negro region, Brazilian Amazon

Introduction Chagas disease is considered as emerging in the Brazilian Amazon, usually occurring in acute outbreaks. Methods We describe 17 cases of acute Chagas disease in Rio Negro, Amazonas. Results There were 15 males (average age, 31.3 years), all positive for Trypanosoma cruzi in fresh blood smear examination, and 14 positive by xenodiagnosis and PCR. The top clinical manifestations were fever, asthenia, abdominal pain, and palpitations. Electrocardiograms featured low-voltage QRS, anterosuperior divisional block, and right bundle branch block associated with anterosuperior divisional block. Conclusions All patients had consumed açaí products from Monte Alegre in the rural area around Santa Izabel do Rio Negro, Brazil.

Uneventful benznidazole treatment of acute Chagas disease during pregnancy: a case report

This report describes the case of a patient with acute Chagas disease in Tocantins, Brazil, who was unaware of her pregnancy during benznidazole treatment. She presented with impaired cardiac function during the acute phase (pericarditis and incomplete right bundle-branch block) that resolved favorably after benznidazole therapy. Serological results also became negative, as determined by hemagglutination assays, enzyme-linked immunosorbent assays, and immunofluorescence assays. The child was born without sequelae and showed no evidence of congenital Trypanosoma cruzi infection at birth or 24 days later.

Product extension services deployment platform

Due to the progresses made in the branch of embedded technologies, manufacturers are becoming able to pack their shop floor level manufacturing resources with even more complex functionalities. This technological progression is radically changing the way production systems are designed and deployed, as well as, monitored and controlled. The dissemination of smart devices inside production processes confers new visibility on the production system while enabling for a more efficient and effective management of the operations. By turning the current manufacturing resources functionalities into services based on a Service Oriented Architecture (SOA), in order to expose them as a service to the user, the binomial manufacturing resource/service will push the entire manufacturing enterprise visibility to another level while enabling the global optimization of the operations and processes of a production system while, at the same time, supporting its accommodation to the operational spike easily and with reduced impact on production. The present work implements a Cloud Manufacturing infrastructure for achieving the resource/service value-added i.e. to facilitate the creation of services that are the composition of currently available atomic services. In this context, manufacturing resource virtualization (i.e. formalization of resources capabilities into services accessible inside and outside the enterprise) and semantic representation/description are the pillars for achieving resource service composition. In conclusion, the present work aims to act on the manufacturing resource layer where physical resources and shop floor capabilities are going to be provided to the user as a SaaS (Software as a Service) and/or IaaS (Infrastructure as a Service).

Transplants: bioethics and justice

Bioethics, as a branch of philosophy that focuses on questions relative to health and human life, is closely tied to the idea of justice and equality. As such, in understanding the concept of equality in its original sense, that is, in associating it to the idea to treat "unequals" (those who are unequal or different, in terms of conditions or circumstances) unequally (differentially), in proportion to their inequalities (differences), we see that the so-called "one-and-only waiting list" for transplants established in law no. 9.434/97, ends up not addressing the concept of equality and justice, bearing upon bioethics, even when considering the objective criteria of precedence established in regulation no. 9.4347/98, Thus, the organizing of transplants on a one-and-only waiting list, with a few exceptions that are weakly applicable, without a case by case technical and grounded analysis, according to each particular necessity, ends up institutionalizing inequalities, condemning patients to happenstance and, consequently, departs from the ratio legis, which aims at seeking the greatest application of justice in regards to organ transplants. We conclude, therefore, that from an analysis of the legislation and of the principles of bioethics and justice, there is a need for the creation of a collegiate of medical experts, that, based on medical criteria and done in a well established manner, can analyze each case to be included on the waiting list, deferentially and according to the necessity; thus, precluding that people in special circumstances be treated equal to people in normal circumstances.

Modern piracy

A definição de pirataria ou a desmistificação da sua origem, no tempo e espaço, revela maiores dificuldades do que atualmente. Com este trabalho propusemo-nos a estudar como é que a pirataria era perpetrada e entendida no passado, bem como no presente. Também nos propomos a identificar limitações legais e as medidas operativas no combate à pirataria, como por exemplo: limites conceptuais, lacunas, estratégias, entre outros. Por outro lado, atendemos as soluções encontradas no combate à pirataria sem deixar de observar fraqueza da lei e conflitos entre jurisdições. Por fim, o curso da história dá-nos a seguinte percepção: a pirataria era tida como crime se fosse contra os interesses das nações. O desinteresse dos Estados para reprimir a pirataria possibilitou o seu aumento, proliferação, domínio e sofisticação em certas regiões do Mundo. O presente trabalho tem como objetivo trazer para o centro da discussão os direitos humanos numa perspetiva tripla: proibição da pirataria, supressão e raízes, aliando o estudo de possíveis respostas a dar a esta epidemia.

Millennium BCP: Optimization of the branches closure process

Nowadays, a significant number of banks in Portugal are facing a bank-branch restructuring problem, and Millennium BCP is not an exception. The closure of branches is a major component of profit maximization through the reduction in operational and personnel costs but also an opportunity to approach the idea of “baking of future” and start thinking on the benefits of the digital era. This dissertation centers on a current high-impact organizational problem addressed by the company and consists in a proposal of optimization to the model that Millennium BCP uses. Even though measures of performance are usually considered the most important elements in evaluating the viability of branches, there is evidence suggesting that other general factors can be important to assess branch potential, such as the influx on branches, business dimensions of a branch and its location, which will be addressed in this project.

As Comissões Parlamentares de Inquérito no Portugal democrático, 1976-2015

As transformações operadas no mundo contemporâneo, em especial no que respeita às estruturas do poder, à sua maior autonomização e diferenciação, tiveram particulares reflexos ao nível dos Parlamentos e das funções que prosseguem. Desde a sua origem, no passado século XIII, à atualidade, grandes acontecimentos, clivagens e factos históricos estão presentes na sua linha evolutiva. A democratização do regime parlamentar e a legitimidade outorgada através de eleições democráticas e concorrenciais são um marco ímpar na sua história. A complexidade das sociedades hodiernas catapultou o Poder Executivo em detrimento do Parlamento, enquanto órgão legislativo por excelência. Tal circunstancialismo levou, não ao proclamado declínio dos Parlamentos, mas a reformas estruturantes. Outras e mais importantes funções seriam prosseguidas. Se as iniciativas legislativas e a definição das políticas públicas passaram a ser quase um exclusivo do Governo, havia que desenvolver e ampliar, por parte dos Parlamentos, os instrumentos de controlo, fiscalização e escrutínio da ação governativa. Entre os clássicos instrumentos de controlo avulta o Inquérito Parlamentar, materializado em Comissões Parlamentares de Inquérito, dotadas de poderes especiais para recolha de informação e para investigação. No seu percurso parlamentar, também as Comissões de Inquérito foram sendo alvo de constantes aperfeiçoamentos, de ordem constitucional, legal e regimental. A excessiva partidarização da atividade parlamentar de outrora e sobretudo a confusão entre o governo e o partido que o sustentava a nível parlamentar, o confronto desequilibrado de meios entre as maiorias e as minorias, levaram a um reposicionamento do inquérito parlamentar enquanto garante do direito das minorias. Não sendo expectável que as grandes iniciativas de controlo sejam tomadas pelo partido maioritário, cabe à oposição esse papel. Em Portugal, diminuta era a tradição do instituto do inquérito parlamentar, razão porque foi efémera e sem resultado a sua utilização no tempo da monarquia constitucional. O regime democrático, abraçado com o 25 de abril de 1974, relançou o órgão de soberania Parlamento e estabeleceu prioridades. Até ao amadurecimento da democracia viveram-se tempos mais conturbados mas de grande aprendizagem. O inquérito Parlamentar, a partir da revisão constitucional de 1982, passou conceptualmente a integrar um dos meios mais relevantes da fiscalização política. É, pois, o levantamento exaustivo e a análise das Comissões Parlamentares de Inquérito no Portugal democrático, período de 1976-2015, o objetivo a que nos propomos neste estudo.