A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space

This paper defines the 3D reconstruction problem as the process of reconstructing a 3D scene from numerous 2D visual images of that scene. It is well known that this problem is ill-posed, and numerous constraints and assumptions are used in 3D reconstruction algorithms in order to reduce the solution space. Unfortunately, most constraints only work in a certain range of situations and often constraints are built into the most fundamental methods (e.g. Area Based Matching assumes that all the pixels in the window belong to the same object). This paper presents a novel formulation of the 3D reconstruction problem, using a voxel framework and first order logic equations, which does not contain any additional constraints or assumptions. Solving this formulation for a set of input images gives all the possible solutions for that set, rather than picking a solution that is deemed most likely. Using this formulation, this paper studies the problem of uniqueness in 3D reconstruction and how the solution space changes for different configurations of input images. It is found that it is not possible to guarantee a unique solution, no matter how many images are taken of the scene, their orientation or even how much color variation is in the scene itself. Results of using the formulation to reconstruct a few small voxel spaces are also presented. They show that the number of solutions is extremely large for even very small voxel spaces (5 x 5 voxel space gives 10 to 10(7) solutions). This shows the need for constraints to reduce the solution space to a reasonable size. Finally, it is noted that because of the discrete nature of the formulation, the solution space size can be easily calculated, making the formulation a useful tool to numerically evaluate the usefulness of any constraints that are added.

Point-by-point inscription of first-order fiber Bragg grating for C-band applications

The influence of the fiber geometry on the point-by-point inscription of fiber Bragg gratings using a femtosecond laser is highlighted. Fiber Bragg gratings with high spectral quality and strong first-order Bragg resonances within the C-band are achieved by optimizing the inscription process. Large birefringence (1.2×10-4) and high degree of polarizationdependent index modulation are observed in these gratings. Potential applications of these gratings in resonators are further illustrated.

Femtosecond inscription of the first order Bragg gratings in pure fused silica

The fabrication of sub-micron periodic structures beyond diffraction limit is a major motivation for the present paper. We describe the fabrication of the periodic structure of 25 mm long with a pitch size of 260 nm which is less than a third of the wavelength used. This is the smallest reported period of the periodic structure inscribed by direct point-by-point method. A prototype of the add-drop filter, which utilizes such gratings, was demonstrated in one stage fabrication process of femtosecond inscription, in the bulk fused silica.

Femtosecond inscription of the first order Bragg gratings in pure fused silica

The fabrication of sub-micron periodic structures beyond diffraction limit is a major motivation for the present paper. We describe the fabrication of the periodic structure of 25 mm long with a pitch size of 260 nm which is less than a third of the wavelength used. This is the smallest reported period of the periodic structure inscribed by direct point-by-point method. A prototype of the add-drop filter, which utilizes such gratings, was demonstrated in one stage fabrication process of femtosecond inscription, in the bulk fused silica.

Analytical first order comparison of amplitude and phase noise in single and dual Mach-Zehnder interferometer detection schemes for DQPSK transmission systems

An analytical first order calculation of the impact of Gaussian white noise on a novel single Mach-Zehnder Interferometer demodulation scheme for DQPSK reveals a constant Q factor ratio to the conventional scheme.

Point-by-point inscription of first-order fiber Bragg grating for C-band applications

The influence of the fiber geometry on the point-by-point inscription of fiber Bragg gratings using a femtosecond laser is highlighted. Fiber Bragg gratings with high spectral quality and strong first-order Bragg resonances within the C-band are achieved by optimizing the inscription process. Large birefringence (1.2x10-4) and high degree of polarizationdependent index modulation are observed in these gratings. Potential applications of these gratings in resonators are further illustrated. © 2007 Optical Society of America.

First order optical differentiator based on an FBG in transmission

Optical differentiators constitute a basic device for analog all-optical signal processing [1]. Fiber grating approaches, both fiber Bragg grating (FBG) and long period grating (LPG), constitute an attractive solution because of their low cost, low insertion losses, and full compatibility with fiber optic systems. A first order differentiator LPG approach was proposed and demonstrated in [2], but FBGs may be preferred in applications with a bandwidth up to few nm because of the extreme sensitivity of LPGs to environmental fluctuations [3]. Several FBG approaches have been proposed in [3-6], requiring one or more additional optical elements to create a first-order differentiator. A very simple, single optical element FBG approach was proposed in [7] for first order differentiation, applying the well-known logarithmic Hilbert transform relation of the amplitude and phase of an FBG in transmission [8]. Using this relationship in the design process, it was theoretically and numerically demonstrated that a single FBG in transmission can be designed to simultaneously approach the amplitude and phase of a first-order differentiator spectral response, without need of any additional elements. © 2013 IEEE.

First Order Characterizations of Pseudoconvex Functions

First order characterizations of pseudoconvex functions are investigated in terms of generalized directional derivatives. A connection with the invexity is analysed. Well-known first order characterizations of the solution sets of pseudolinear programs are generalized to the case of pseudoconvex programs. The concepts of pseudoconvexity and invexity do not depend on a single definition of the generalized directional derivative.

Existence and Uniqueness of Solutions for Partial Differential-Functional Equations of the First Order with Deviating Argument of the Derivative of Unknown Function

We consider the existence and uniqueness problem for partial differential-functional equations of the first order with the initial condition for which the right-hand side depends on the derivative of unknown function with deviating argument.

Defining Network Activity Patterns Using First Order Temporal Logics

Part of network management is collecting information about the activities that go on around a distributed system and analyzing it in real time, at a deferred moment, or both. The reason such information may be stored in log files and analyzed later is to data-mine it so that interesting, unusual, or abnormal patterns can be discovered. In this paper we propose defining patterns in network activity logs using a dialect of First Order Temporal Logics (FOTL), called First Order Temporal Logic with Duration Constrains (FOTLDC). This logic is powerful enough to describe most network activity patterns because it can handle both causal and temporal correlations. Existing results for data-mining patterns with similar structure give us the confidence that discovering DFOTL patterns in network activity logs can be done efficiently.

Oscillation Criteria for First Order Delay Differential Equations

2000 Mathematics Subject Classification: 34K15.

First-Order Conditions for Optimization Problems with Quasiconvex Inequality Constraints

2000 Mathematics Subject Classification: 90C46, 90C26, 26B25, 49J52.

Quantum transition state theory and solving a first order master equation for complex reactions numerically

The field of chemical kinetics is an exciting and active field. The prevailing theories make a number of simplifying assumptions that do not always hold in actual cases. Another current problem concerns a development of efficient numerical algorithms for solving the master equations that arise in the description of complex reactions. The objective of the present work is to furnish a completely general and exact theory of reaction rates, in a form reminiscent of transition state theory, valid for all fluid phases and also to develop a computer program that can solve complex reactions by finding the concentrations of all participating substances as a function of time. To do so, the full quantum scattering theory is used for deriving the exact rate law, and then the resulting cumulative reaction probability is put into several equivalent forms that take into account all relativistic effects if applicable, including one that is strongly reminiscent of transition state theory, but includes corrections from scattering theory. Then two programs, one for solving complex reactions, the other for solving first order linear kinetic master equations to solve them, have been developed and tested for simple applications.

Origin of scale-free intermittency in structural first-order phase transitions

16 pages, 22 figures