Ordinal machines and admissible recursion theory

We generalize standard Turing machines, which work in time ω on a tape of length ω, to α-machines with time α and tape length α, for α some limit ordinal. We show that this provides a simple machine model adequate for classical admissible recursion theory as developed by G. Sacks and his school. For α an admissible ordinal, the basic notions of α-recursive or α-recursively enumerable are equivalent to being computable or computably enumerable by an α-machine, respectively. We emphasize the algorithmic approach to admissible recursion theory by indicating how the proof of the Sacks–Simpson theorem, i.e., the solution of Post’s problem in α-recursion theory, could be based on α-machines, without involving constructibility theory.     

On some semilattice structures for production technologies

Tracing back from Charnes et al. [9] many approaches have been proposed to extend the DEA production model to non-convex technologies. The FDH method were introduced by Deprins et al. [13] and it only assumes a free disposal assumption of the technology. This paper, continues further an earlier work by Briec and Horvath [7]. Among other things, a new class of semilattice production technologies is introduced. Duality results as well as computational issues are proposed.     

The Gaussian effective potential and stochastic partial differential equations

We investigate arbitrary stochastic partial differential equations subject to translation invariant and temporally white noise correlations from a nonperturbative framework. The method that we expose first casts the stochastic equations into a functional integral form, then it makes use of the Gaussian effective potential approach, which is an useful tool for describing symmetry breaking. We apply this method to the Kardar-Parisi-Zhang equation and find that the system exhibits spontaneous symmetry breaking in and (3+1) Euclidean dimensions, providing insight into the evolution of the system configuration due to the presence of noise correlations. A simple and systematic approach to the renormalization, without explicit regularization, is employed.     

Effect of the -function potential on the electron transport in a magnetic nanostructure

In this paper, the spin-dependent electron transport is studied in detail in a magnetic nanostructure with a δ-function potential. It is shown that the large spin-polarization can be achieved in such a device, and the degree of the spin-polarization strongly depends on the height of the δ-function potential. It is also shown that the conductance-polarization apparently has the bigger oscillatory magnitudes with the height of δ-function potential increasing. These interesting features will be more helpful for developing new types of devices.     

Nanoepitaxy on quasicrystal surfaces

In film growth on quasicrystalline surfaces, the epitaxy-imposed ordering cannot compete with the stable bulk phases of thick films due to absence of translational order in the structure of the substrate. Energetically, this renders the formation of crystalline domains in the native structure of the film material more favorable, while their global orientation is prescribed by the quasicrystalline order. We present experimental results on the dissociative chemisorption of oxygen at the decagonal surface of Al₇₀Co₁₅Ni₁₅ as well as molecular-dynamics simulations of the diffusion of adatoms on the surface of the partially covered substrate.     

Transoral Robotic Surgery (TORS): Glottic Microsurgery in a Canine Model

OBJECTIVES/HYPOTHESIS: We hypothesize that bimanual, three-dimensional robotic surgery will prove valuable for glottic microsurgical procedures. STUDY DESIGN: To test this hypothesis, we developed and optimized a canine model for glottic microsurgery using a commercially available surgical robot. Methods Using a da Vinci Surgical Robot (Intuitive Surgical, Inc., Sunnyvale, CA), glottic microsurgery was performed with a hydrodissection technique in a canine model. The experiments were performed on two orotracheal intubated mongrel dogs under general anesthesia in the supine position on a standard operating room table. A videoscope and two, 360-degree rotating, 5- and 8-mm, wrested-end effector instruments were introduced transorally with three robotic arms. The surgeon performed the actual procedures while positioned at a robotic system console that was located across the operating room suite. The procedure was performed in duplicate and was documented with still and video photography. RESULTS: Glottic microsurgery was successfully performed using the da Vinci Surgical Robot, with both 5- and 8-mm instrumentation. The smaller, 5-mm instruments afforded greater visualization of the operative site and increased maneuverability, which resulted in reduced operative time. The robotic system provided excellent visualization as well as controlled and delicate microdissection at the vocal cord level. CONCLUSIONS: Robotic laryngeal microsurgery is technically feasible in the canine model and warrants consideration for evaluation in controlled human trials.     

Optical and electrical characterizations of 4H-SiC-oxide interfaces by spectroscopic ellipsometry and capacitance-voltage measurements

4H-SiC-oxide interfaces formed by various oxidation methods on SiC (0 0 0 1) Si- and () C-face substrates have been characterized by performing spectroscopic ellipsometry in wide spectral region including deep UV spectral range and capacitance-voltage measurements. The results exhibit that the refractive indices of the interface layers well correlate with interface state density in all the cases of oxidation processes. To investigate the difference in interface characteristics between wet and dry oxidation, we compared to the sample fabricated by wet oxidation followed by heating in Ar or O₂ atmosphere, aiming to remove hydrogen related species at the interface. We also tried to make clear the difference in the interface characteristics between Si- and C-faces by lowering the oxidation rate of C-face down to those for Si-face. Putting together with all of the results obtained, we discuss the origins that determine the interface characteristics in terms of both the optical and electrical characterizations.     

Pseudoprime factorizations of integer matrices

We give a method of factoring integer matrices in into components such that the factorization is not unique unless certain information is known. In Section 2, we introduce this method of factorization and provide theorems which establish its well-definedness. In Section 3, we construct a matrix in as a product of specific types of matrices and establish an algorithm for factoring the result uniquely given an amount of information.     

Solutions of the reflection equation for the vertex model

We investigate the possible regular solutions of the boundary Yang–Baxter equation for the fundamental U_q[G₂] vertex model. We find four distinct classes of reflection matrices such that half of them are diagonal while the other half are non-diagonal. The latter are parameterized by two continuous parameters but only one solution has all entries non-null. The non-diagonal solutions do not reduce to diagonal ones at any special limit of the free-parameters.