Propriedades de continuação única para soluções de equações de Schrödinger com ponto de interação

Neste trabalho, estudamos propriedades de continuação única para as soluções da equação tipo Schrödinger com um ponto interação centrado em x=0, \\partial_tu=i(\\Delta_Z+V)u, onde V=V(x,t) é uma função de valor real e -\\Delta_Z é o operador escrito formalmente como \\[-\\Delta_Z=-\\frac\\frac{d^2}{dx^2}+Z\\delta_0,\\] sendo \\delta_0 a delta de Dirac centrada em zero e Z qualquer número real. Logo, usamos estes resultados para ver o possível fenômeno de concentração das soluções, que explodem, da equação de tipo Schrödinger não linear com um ponto de interação em x=0, \\[\\partial_tu=i(\\Delta_Zu+|u|^u),\\] com ho>5. Também, mostramos que para certas condições sobre o potencial dependente do tempo V, a equação linear em cima tem soluções não triviais.

Avaliação quantitativa dos efeitos da levodopa e da estimulação do núcleo subtalâmico sobre o equilíbrio em pacientes com doença de Parkinson

INTRODUÇÃO: Os efeitos da levodopa (LD) e da estimulação cerebral profunda (ECP) de núcleo subtalâmico (STN) sobre o equilíbrio e sintomas axiais são até o momento controversos. OBJETIVOS: Avaliar quantitativamente os efeitos da ECP de STN e da LD sobre o equilíbrio estático em pacientes com DP operados, em comparação com a LD em pacientes não operados. MÉTODOS: Trinta e um pacientes submetidos a ECP de STN entre 3 meses e 1 ano e meio antes da avaliação e 26 controles portadores de DP não operados, estágios Hoehn e Yahr 2 a 4 foram avaliados usando UPDRS para avaliação clínica e plataforma de força para avaliar oscilações posturais. O primeiro grupo foi avaliado com ECP e sem medicação, com ECP e com medicação e sem ECP e sem medicação. O segundo grupo foi avaliado com e sem medicação. Cada paciente foi avaliado com os olhos abertos e fechados. O deslocamento do centro de pressão anteroposterior, laterolateral, a área, velocidade e deslocamento total linear foram medidos pela plataforma de força. Os dados paramétricos foram comparados usando o teste t de Student e os dados não-paramétricos foram comparados pelo teste de Kruskal-Wallis. A avaliação clínica consistiu na parte 3 da escala UPDRS e na escala Hoehn e Yahr. Nível de significância estatística considerada foi p=0,05. RESULTADOS: Os pacientes não operados oscilaram mais quando sob efeito da levodopa do que sem medicação. No grupo operado, a maior oscilação é no grupo com ECP desligada e sem medicação. Tende a reduzir sob efeito da ECP apresenta redução significativa sob efeito simultâneo de ECP e levodopa. CONCLUSÃO: A associação da ECP de NST com medicação tem impacto positivo sobre o controle postural. O efeito da ECP de NST reverte o efeito negativo da levodopa sobre as oscilações observadas em pacientes não operados

The International Human Rights Policies of New Democracies: Brazil and Chile in Comparative Perspective

Since the beginning of the 1990s, the majority of Latin American states have attempted to incorporate in some way or another human rights concern into their respective foreign policies, highlighting a history of human rights abuses and the return of democratic political rule as a trigger for galvanizing a commitment to assist in preventing such violations in other countries. Yet, while human rights have come to play a non-trivial role in the contemporary foreign policy of many Latin American states, there is great diversity in the ways and the extent to which they go about incorporating human rights concerns into their foreign policies. Explaining the diversity of human rights foreign policies of new Latin American democracies is at the heat of this project. The main research questions are the following: Why do new democracies incorporate human rights into their foreign policies? And what explains the different international human rights policies of new democracies? To answer these questions, this research compares the human rights foreign policies of Chile and Brazil for over two decades starting from their respective transitions to democracy. The study argues that states commitment to international human rights is the result of the intersection of domestic and international influences. At the international level, the search for international legitimacy and the desire for recognition and credibility affected the adoption of international human rights in both cases but with different degrees of impact. International values and pressures by themselves, while necessary, are an insufficient condition for human rights initiatives perceived to have not insubstantial political, economic or strategic costs. New democracies will be more or less likely to actively include human rights in their international policies depending on the following four domestic conditions: political leadership legitimizing the inclusion of human rights into a state's policies, civil society groups connected to international human rights advocacy networks with a capacity to influencing the foreign policy decisions of their government, and the Foreign Ministry's attitudes towards international human rights and the degree of influence it exercises over the outcome of the foreign policy process.

Deterministic mathematical morphology for CAD/CAM

Purpose – The purpose of this paper is to present a new geometric model based on the mathematical morphology paradigm, specialized to provide determinism to the classic morphological operations. The determinism is needed to model dynamic processes that require an order of application, as is the case for designing and manufacturing objects in CAD/CAM environments. Design/methodology/approach – The basic trajectory-based operation is the basis of the proposed morphological specialization. This operation allows the definition of morphological operators that obtain sequentially ordered sets of points from the boundary of the target objects, inexistent determinism in the classical morphological paradigm. From this basic operation, the complete set of morphological operators is redefined, incorporating the concept of boundary and determinism: trajectory-based erosion and dilation, and other morphological filtering operations. Findings – This new morphological framework allows the definition of complex three-dimensional objects, providing arithmetical support to generating machining trajectories, one of the most complex problems currently occurring in CAD/CAM. Originality/value – The model proposes the integration of the processes of design and manufacture, so that it avoids the problems of accuracy and integrity that present other classic geometric models that divide these processes in two phases. Furthermore, the morphological operative is based on points sets, so the geometric data structures and the operations are intrinsically simple and efficient. Another important value that no excessive computational resources are needed, because only the points in the boundary are processed.

A software tool for accurate assessment of costs and CO2 emissions in wood transport using OpenStreetMap©

Costs and environmental impacts are key elements in forest logistics and they must be integrated in forest decision-making. The evaluation of transportation fuel costs and carbon emissions depend on spatial and non-spatial data but in many cases the former type of data are dicult to obtain. On the other hand, the availability of software tools to evaluate transportation fuel consumption as well as costs and emissions of carbon dioxide is limited. We developed a software tool that combines two empirically validated models of truck transportation using Digital Elevation Model (DEM) data and an open spatial data tool, specically OpenStreetMap©. The tool generates tabular data and spatial outputs (maps) with information regarding fuel consumption, cost and CO2 emissions for four types of trucks. It also generates maps of the distribution of transport performance indicators (relation between beeline and real road distances). These outputs can be easily included in forest decision-making support systems. Finally, in this work we applied the tool in a particular case of forest logistics in north-eastern Portugal

Notes on AVL trees /

"Written as supplementary material for a course in data structures given by the Dept. of Computer Science of the University of Illinois at Urbana-Champaign, during the second semester of the 1970-71 academic year"--Leaf 1.

Privacy in the Smart City: Implications of Sensor Network Design, Law, and Policy for Locational Privacy

Thesis (Master's)--University of Washington, 2016-06

Naturopathic and Western herbal medicine practice in Australia - a workforce survey

Background: Despite substantial growth in the use of complementary medicine, no comprehensive national study has been undertaken of the naturopathic and Western herbal medicine component of the healthcare workforce in Australia. This study aimed to examine the nature of these practices and this currently unregulated workforce in Australia. Methods: A comprehensive survey questionnaire was developed in consultation with the profession and distributed nationally to all members of the naturopathic and Western herbal medicine workforce. Results: The practices of herbal medicine and naturopathy make up a sizeable component of the Australian healthcare sector, with approximately 1.9 million consultations annually and an estimated turnover of $AUD 85 million in consultations (excluding the cost of medicines). A large proportion of patients are referred to practitioners by word of mouth. Up to one third of practitioners work in multidisciplinary clinics with other registered sectors of the healthcare community. The number of adverse events associated with herbal medicines, nutritional substances and homoeopathic medicines recorded in Australia is substantial and the types of events reported are not trivial. Data suggest that practitioners will experience one adverse event every 11 months of full-time practice, with 2.3 adverse events for every 1000 consultations (excluding mild gastrointestinal effects). Conclusion: These data confirm the considerable degree of utilisation of naturopathic and Western herbal medicine practitioners by the Australian public. However, there is a need to examine whether statutory regulation of practitioners of naturopathy and Western herbal medicine is required to better protect the public. (C) 2004 Elsevier Ltd. All rights reserved.

Direct mesh: A multiresolution approach to terrain visualization

Terrain can be approximated by a triangular mesh consisting millions of 3D points. Multiresolution triangular mesh (MTM) structures are designed to support applications that use terrain data at variable levels of detail (LOD). Typically, an MTM adopts a tree structure where a parent node represents a lower-resolution approximation of its descendants. Given a region of interest (ROI) and a LOD, the process of retrieving the required terrain data from the database is to traverse the MTM tree from the root to reach all the nodes satisfying the ROI and LOD conditions. This process, while being commonly used for multiresolution terrain visualization, is inefficient as either a large number of sequential I/O operations or fetching a large amount of extraneous data is incurred. Various spatial indexes have been proposed in the past to address this problem, however level-by-level tree traversal remains a common practice in order to obtain topological information among the retrieved terrain data. A new MTM data structure called direct mesh is proposed. We demonstrate that with direct mesh the amount of data retrieval can be substantially reduced. Comparing with existing MTM indexing methods, a significant performance improvement has been observed for real-life terrain data.

Obstacles to a totally functional programming style

"Totally functional programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practice in language extensibility and functional programming. Its technical essence extends the role of "fold" functions in structuring functional programs to include methods that make comparisons on elements of data structures. The obstacles that currently prevent the immediate uptake of TFP as a style within functional programming equally indicate future research directions in the areas of theoretical foundations, supporting technical infrastructure, demonstrated practical applicability, and relationship to OOP.

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Formal verification of type flaw attacks in security protocols

Security protocols are often modelled at a high level of abstraction, potentially overlooking implementation-dependent vulnerabilities. Here we use the Z specification language's rich set of data structures to formally model potentially ambiguous messages that may be exploited in a 'type flaw' attack. We then show how to formally verify whether or not such an attack is actually possible in a particular protocol using Z's schema calculus.

Web wrapper validation

Web wrapper extracts data from HTML document. The accuracy and quality of the information extracted by web wrapper relies on the structure of the HTML document. If an HTML document is changed, the web wrapper may or may not function correctly. This paper presents an Adjacency-Weight method to be used in the web wrapper extraction process or in a wrapper self-maintenance mechanism to validate web wrappers. The algorithm and data structures are illustrated by some intuitive examples.

The exact sample complexity of PAC-learning problems with unit VC dimension

The Vapnik-Chervonenkis (VC) dimension is a combinatorial measure of a certain class of machine learning problems, which may be used to obtain upper and lower bounds on the number of training examples needed to learn to prescribed levels of accuracy. Most of the known bounds apply to the Probably Approximately Correct (PAC) framework, which is the framework within which we work in this paper. For a learning problem with some known VC dimension, much is known about the order of growth of the sample-size requirement of the problem, as a function of the PAC parameters. The exact value of sample-size requirement is however less well-known, and depends heavily on the particular learning algorithm being used. This is a major obstacle to the practical application of the VC dimension. Hence it is important to know exactly how the sample-size requirement depends on VC dimension, and with that in mind, we describe a general algorithm for learning problems having VC dimension 1. Its sample-size requirement is minimal (as a function of the PAC parameters), and turns out to be the same for all non-trivial learning problems having VC dimension 1. While the method used cannot be naively generalised to higher VC dimension, it suggests that optimal algorithm-dependent bounds may improve substantially on current upper bounds.