Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

Extension And Testing Of A 2D Hydrodynamic Model For Direct Rainfall Runoff Simulation

While the simulation of flood risks originating from the overtopping of river banks is well covered within continuously evaluated programs to improve flood protection measures, flash flooding is not. Flash floods are triggered by short, local thunderstorm cells with high precipitation intensities. Small catchments have short response times and flow paths and convective thunder cells may result in potential flooding of endangered settlements. Assessing local flooding and pathways of flood requires a detailed hydraulic simulation of the surface runoff. Hydrological models usually do not incorporate surface runoff at this detailedness but rather empirical equations are applied for runoff detention. In return 2D hydrodynamic models usually do not allow distributed rainfall as input nor are any types of soil/surface interaction implemented as in hydrological models. Considering several cases of local flash flooding during the last years the issue emerged for practical reasons but as well as research topics to closing the model gap between distributed rainfall and distributed runoff formation. Therefore, a 2D hydrodynamic model, depth-averaged flow equations using the finite volume discretization, was extended to accept direct rainfall enabling to simulate the associated runoff formation. The model itself is used as numerical engine, rainfall is introduced via the modification of waterlevels at fixed time intervals. The paper not only deals with the general application of the software, but intends to test the numerical stability and reliability of simulation results. The performed tests are made using different artificial as well as measured rainfall series as input. Key parameters of the simulation such as losses, roughness or time intervals for water level manipulations are tested regarding their impact on the stability.

Leakage Detection And Localization Method Based On A Hybrid Inverse/Direct Modelling Approach Suitable For Handling Multiple-Leak Scenarios

When an accurate hydraulic network model is available, direct modeling techniques are very straightforward and reliable for on-line leakage detection and localization applied to large class of water distribution networks. In general, this type of techniques based on analytical models can be seen as an application of the well-known fault detection and isolation theory for complex industrial systems. Nonetheless, the assumption of single leak scenarios is usually made considering a certain leak size pattern which may not hold in real applications. Upgrading a leak detection and localization method based on a direct modeling approach to handle multiple-leak scenarios can be, on one hand, quite straightforward but, on the other hand, highly computational demanding for large class of water distribution networks given the huge number of potential water loss hotspots. This paper presents a leakage detection and localization method suitable for multiple-leak scenarios and large class of water distribution networks. This method can be seen as an upgrade of the above mentioned method based on a direct modeling approach in which a global search method based on genetic algorithms has been integrated in order to estimate those network water loss hotspots and the size of the leaks. This is an inverse / direct modeling method which tries to take benefit from both approaches: on one hand, the exploration capability of genetic algorithms to estimate network water loss hotspots and the size of the leaks and on the other hand, the straightforwardness and reliability offered by the availability of an accurate hydraulic model to assess those close network areas around the estimated hotspots. The application of the resulting method in a DMA of the Barcelona water distribution network is provided and discussed. The obtained results show that leakage detection and localization under multiple-leak scenarios may be performed efficiently following an easy procedure.

Foreign direct investment spillovers in Portugal: additional lessons from a country study

This paper investigates the impact of FDI on the productivity of Portuguese manufacturing sectors. Model specification is improved by considering the choice of the most appropriate interval of the technological gap for spillovers diffusion. We also allow for sectoral variation in the coefficients of the spillover effect; idiosyncratic sectoral factors are identified by means of a fixed effects model. Inter-sectoral positive spillover effects are examined. Significant spillovers require a proper technological differential between foreign and domestic producers and favourable sectoral characteristics. They may occur in modern industries in which the foreign firms have a clear, but not too sharp, edge on the domestic ones. Agglomeration effects are also one pertinent specific influence.

Central limit theorem for asymmetric kernel functionals

Asymmetric kernels are quite useful for the estimation of density functions with bounded support. Gamma kernels are designed to handle density functions whose supports are bounded from one end only, whereas beta kernels are particularly convenient for the estimation of density functions with compact support. These asymmetric kernels are nonnegative and free of boundary bias. Moreover, their shape varies according to the location of the data point, thus also changing the amount of smoothing. This paper applies the central limit theorem for degenerate U-statistics to compute the limiting distribution of a class of asymmetric kernel functionals.

A note on an application of Arrow's theorem: sufficient conditions for Lucas' inflation and welfare

Bellman's methods for dynamic optimization constitute the present mainstream in economics. However, some results associated with optimal controI can be particularly usefuI in certain problems. The purpose of this note is presenting such an example. The value function derived in Lucas' (2000) shopping-time economy in Infiation and Welfare need not be concave, leading this author to develop numerical analyses to determine if consumer utility is in fact maximized along the balanced path constructed from the first order conditions. We use Arrow's generalization of Mangasarian's results in optimal control theory and develop sufficient conditions for the problem. The analytical conclusions and the previous numerical results are compatible .

Pure strategy equilibria of multidimensional and non-monotonic auctions

We give necessary and sufficient conditions for the existence of symmetric equilibrium without ties in interdependent values auctions, with multidimensional independent types and no monotonic assumptions. In this case, non-monotonic equilibria might happen. When the necessary and sufficient conditions are not satisfied, there are ties with positive probability. In such case, we are still able to prove the existence of pure strategy equilibrium with an all-pay auction tie-breaking rule. As a direct implication of these results, we obtain a generalization of the Revenue Equivalence Theorem. From the robustness of equilibrium existence for all-pay auctions in multidimensional setting, an interpretation of our results can give a new justification to the use of tournaments in practice.

On the Impossibility of an Exact Imperfect Monitoring Folk Theorem

It is shown that, for almost every two-player game with imperfect monitoring, the conclusions of the classical folk theorem are false. So, even though these games admit a well-known approximate folk theorem, an exact folk theorem may only be obtained for a measure zero set of games. A complete characterization of the efficient equilibria of almost every such game is also given, along with an inefficiency result on the imperfect monitoring prisoner s dilemma.

Foreign direct investment spillovers: what can we learn from portuguese data?

This paper investigates the impact of foreign direct investment on the productivity performance of domestic firms in Portugal. The data comprise nine manufacturing sectors for the period 1992-95. Relatively to previous studies, model specification is improved by taking into consideration several aspects: the influence of the “technological gap” on spill-overs diffusion and the choice of its most appropriate interval; sectoral variation in the coefficients of the spill-overs effect; identification of constant, idiosyncratic sectoral factors by means of a fixed effects model; and the search for inter-sectoral positive spillover effects. The relationship between domestic firms productivity and the foreign presence does take place in a positive way, only if a proper technology differential between the foreign and domestic producers exists and the sectoral characteristics are favourable. In broad terms, spillovers diffusion is associated to modern industries in which the foreign owned establishments have a clear, but not too sharp, edge on the domestic ones. Besides, other specific sectoral influences can be pertinent; agglomerative location factors being one example.

Foreign direct investment spillovers: additional lessons from a country study

We investigate the impact of foreign direct investment on the productivity of domestic firms, using sectoral data for Portugal. An improved analysis takes into account the most appropriate interval for the technological gap between foreign and domestic firms. Sectoral variation of spillovers, idiosyncratic sectoral factors and the search for inter-sectoral effects provide new insights on the subject. Significant spillovers require a proper technology differential between the foreign and domestic producers and favourable sectoral characteristics. Broadly, they occur in modern industries in which foreign firms have a clear, but not too sharp, edge on the domestic ones. Agglomeration effects are also identified as pertinent specific influences.

The promotion of outward foreign direct investment: a comparative analysis of Bric countries

Esta dissertação procurou identificar o papel dos governos na internacionalização produtiva de empresas dos países BRIC. Por meio de uma análise comparativa do comportamento dos investimentos diretos no exterior (IDE) destes países e dos mecanismos existentes de suporte à internacionalização das empresas, foi possível identificar as diferentes maneiras de envolvimento desses governos na internacionalização produtiva de suas empresas e apontar lacunas de políticas públicas nestes países. Destarte, esta dissertação contribui à compreensão inicial sobre como e por que os governos destes países têm promovido o desenvolvimento de multinacionais. A rápida ascensão das multinacionais dos países BRIC é um fenômeno recente. Apesar de terem investido no exterior anteriormente, apenas a partir do início dos anos 2000 que o IDE de empresas destes países tornou-se significativo. Desde então, as multinacionais dos países BRIC estão se tornando importantes players em diversas indústrias, adquirindo competidores de países desenvolvidos e em desenvolvimento, e redesenhando a concorrência em muitas indústrias globais. Neste processo, os governos dos países BRIC têm desempenhado um papel importante. Até o início dos anos 1990, o IDE era restringido porque era associado a efeitos negativos sobre as economias domésticas (como por exemplo, à redução de investimentos no país de origem, à exportação de empregos, e a problemas na balança de pagamentos). Desde o início dos anos 2000, entretanto, os governos dos países BRIC mudaram de percepção e passaram a adotar políticas favoráveis à internacionalização produtiva de empresas domésticas. Eles perceberam a importância da internacionalização para a manutenção ou expansão da competitividade das empresas domésticas em um mundo globalizado. A China, e em menor grau a Índia, estão um passo adiante, tendo já posto em prática um conjunto de instrumentos específicos que facilitam a internacionalização de suas empresas. O Brasil e a Rússia ainda têm de tomar novas medidas para criar um ambiente propício para que suas empresas possam mais facilmente explorar as vantagens da expansão global.