Curry-Howard isomorphism extended to classical logic by associating the rule of double-negation elimination with the control operator C allows to view a natural deduction derivation of a Π2 formula as a program. However, programs produced by this method are often hard to understand, in part because of the presence of control operators. In this paper, we show how to simplify such programs and ma...

The Lie-algebraic approach has been applied to solve the bond pricing problem in single-factor interest rate models. Four of the popular single-factor models, namely, the Vasicek model, Cox-Ingersoll-Ross model, double square-root model, and Ahn-Gao model, are investigated. By exploiting the dynamical symmetry of their bond pricing equations, analytical closed-form pricing formulae can be deriv...

We derive the determinant representation and Hirota equations for the regularized correlation functions of the light-like coordinate operators ∼∏i Tr (X) li in the reductions to zero dimensions of the matrix models describing D-particles in various dimensions. We investigate in great detail the matrix model originally proposed by J. Hoppe and recently encountered in studies of D-particles in fo...

In this paper we consider anomalous dimensions of double trace operators at large spin (`) and large twist (τ) in CFTs in arbitrary dimensions (d ≥ 3). Using analytic conformal bootstrap methods, we show that the anomalous dimensions are universal in the limit ` τ 1. In the course of the derivation, we extract an approximate closed form expression for the conformal blocks arising in the four po...

Factorial correlators measure the amount of dynamical correlation in multiplicity between two separated phase-space windows. We present the analytical derivation of factorial correlators for a QCD jet described at the double logarithmic (DL) accuracy. We obtain a new angular scaling property for properly normalized correlators between two solid-angle cells or two rings around the jet axis. Norm...

Atomistic molecular dynamics simulations reveal the formation of nanojets with velocities up to 400 meters per second, created by pressurized injection of fluid propane through nanoscale convergent gold nozzles with heating or coating of the nozzle exterior surface to prevent formation of thick blocking films. The atomistic description is related to continuum hydrodynamic modeling through the d...

II. Semiclassical approximation 2 A. De…nition and criterion of validity 2 B. One-dimensional case: Intuitive consideration. 2 C. One-dimensional case: Formal derivation 2 D. Quantum penetration into classically forbidden region 3 E. Passing the turning point 3 F. The Bohr’s quantization rule 5 G. An excursion to classical mechanics 6 H. The under-barrier tunneling 7 I. Decay of a metastable st...

A 10-bit low power track-and-hold (T&H) circuit aimed for the front-end of a pipelined analog-to-digital (A/D) converter has been designed. The T&H is sampling at 80MS/s, has a 30MHz analog bandwidth and was designed in a 0.18μm CMOS process with a supply voltage of 1.8 Volt. A switched capacitor topology applying correlated double sampling is used for the T&H circuit and the amplifier is a fol...

In genome rearrangement theory, one of the elusive questions raised in recent years is the enumeration of rearrangement scenarios between two genomes. This problem is related to the uniform generation of rearrangement scenarios and the derivation of tests of statistical significance of the properties of these scenarios. Here we give an exact formula for the number of double-cut-and-join (DCJ) r...

In genome rearrangement theory, one of the elusive questions raised in recent years is the enumeration of rearrangement scenarios between two genomes. This problem is related to the uniform generation of rearrangement scenarios, and the derivation of tests of statistical significance of the properties of these scenarios. Here we give an exact formula for the number of double-cut-and-join (DCJ) ...