Econometric Analysis of Foreign Reserves and Some Macroeconomic Variables in Nigeria (1970–2007)∗

Countries are showing interest in accumulating foreign reserves to ensure macroeconomic stability. There has been some debate whether to beef up the level of nations’ foreign reserves or make it lower, especially in developing countries like Nigeria. Whereas some argue that the foreign reserve determines the country’s rating in the global market, others hold opposing views. In this light, this paper examined the interactive influence of foreign reserve (FRS) on some macroeconomic variables such as: economic size (GDP); trade; level of capital inflows (KFL); exchange rate (EXR); and inflation. Analyzing secondary data from CBN statistical bulletins (1970–2007), the econometric results obtained from cointegration test, vector error correction (VEC) within the framework of autoregressive distributed lags (ARDL) revealed the following: (1) existence of a longrun relationship between the variables and two cointegrating equations; (2) possibility of convergence of the variables from the short run to the long run with slow speed of adjustment. It is thus the conclusion of this paper that accumulation of large foreign reserves is not very productive in Nigeria due to its inability to induce some of the macroeconomic variables

Fundamental Physics With Cosmic High-Energy Gamma Rays

High-energy photons (above the MeV) are a powerful probe for astrophysics and for fundamental physics under extreme conditions. During the recent years, our knowledge of the high-energy gamma-ray sky has impressively progressed thanks to the advent of new detectors for cosmic gamma rays, at ground (H.E.S.S., MAGIC, VERITAS, HAWC) and in space (AGILE, Fermi). This presentation reviews the present status of the studies of fundamental physics problems with high-energy gamma rays, and discusses the expected experimental developments.Comment: Invited Talk at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma2016), Heidelberg, July 201

Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.Comment: Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 201