Using an effective field theory framework we reconsider the problem of radiative corrections from compact dimensions to the 4D gauge couplings. We evaluate the general structure of one-loop contribution from Kaluza-Klein states to the 4D gauge couplings, in models with one-and two-dimensional orbifold compactifications. The calculation includes the additional effect of a non-vanishing constant ...

I present the theory of interferometric imaging (II). Interferometric imaging is any algorithm that images crosscorrelated data for the reflectivity or source distribution. As examples, I show that II can image arbitrary reflectivity distributions by migrating ghost reflections in passive seismic data, generalize the receiver-function imaging method used by seismologists, and migrate free-surfa...

The problem of learning from seismic recordings has been studied for years. There is a growing interest of developing automatic mechanisms for identifying the properties of a seismic event. One main motivation is the ability have a reliable identification of manmade explosions. The availability of multiple high dimensional observations has increased the use of machine learning techniques in a v...

xxi

In this paper we show that the Inverse problems of HAMILTONIAN CYCLE and 3D-MATCHING are coNP complete. This completes the study of inverse problems of the six natural NP-complete problems from [GJ79] and answers an open question from [Ch03]. We classify the inverse complexity of the natural verifier for HAMILTONIAN CYCLE and 3D-MATCHING by showing coNP-completeness of the corresponding inverse...

Time-of-flight three-dimensional imaging is an important tool for applications such as object recognition and remote sensing. Conventional time-of-flight three-dimensional imaging systems frequently use a raster scanned laser to measure the range of each pixel in the scene sequentially. Here we show a modified time-of-flight three-dimensional imaging system, which can use compressed sensing tec...

A general notion of operad is given, which includes: (1) the operads that arose in algebraic topology in the 1970’s to characterise loop spaces. (2) the higher operads of Michael Batanin [Bat98]. (3) braided and symmetric analogues of Batanin’s operads which are likely to be important in the study of weakly symmetric higher dimensional monoidal categories. The framework of this paper, links tog...

R ecently there’s been a push among some of our clients to start bringing 3d imaging systems in-house. In the majority of cases the client wants my company to provide some form of training to help them get off on the right foot. Although we are in the consulting business, training is a different animal. We’ve worked for years, continuously refining our processes and tools, investing in R&D and ...