We propose an alternative to the usual time–independent Born–Oppenheimer approximation that is specifically designed to describe molecules with non–symmetrical hydrogen bonds. In our approach, the masses of the hydrogen nuclei are scaled differently from those of the heavier nuclei, and we employ a specialized form for the electron energy level surface. As a result, the different vibrational mo...

We explore design principles for general pixel-level prediction problems, from low-level edge detection to midlevel surface normal estimation to high-level semantic segmentation. Convolutional predictors, such as the fullyconvolutional network (FCN), have achieved remarkable success by exploiting the spatial redundancy of neighboring pixels through convolutional processing. Though computational...

CNF propositional satis ability SAT is a special kind of the more general Constraint Satisfaction Problem CSP While look back techniques appear to be of little use to solve hard random SAT problems it is supposed that they are necessary to solve hard structured SAT problems In this paper we propose a very simple DPL procedure called Satz which only employs some look ahead techniques a variable ...

To obtain a luminosity of 1034cm-2sec-’ in a TeV Linear Collider (TLC), it will probably be necessary to accelerate many bunches in one filling of the RF structure. This has the effect of extracting more energy from the structure and thus enhances the overall efficiency of the accelerator. However, this leads to many problems. First, the train of bunches is subject to cumulative beam breakup tr...

We measure the low lying eigenmodes of an overlap Dirac operator on 2–flavor staggered configurations. By comparing the eigenmode distribution to the predictions of Random Matrix Theory we test to what accuracy staggered configurations describe continuum QCD. The agreement between the numerical data and RMT implies that at our quark mass values the lattice artifacts of the staggered configurati...

This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as Dis-LoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.

Electronic absorption and Raman spectra of solid and molten Cs2NaHoCl6 elpasolite have been measured in the temperature range 20 – 780 ◦C. The Raman spectra of the solid indicate that there is no phase transition above room temperature. It appears, that the internal vibrational modes of the solid are transferred into the melt, indicating that the [HoCl6]3− “octahedra” are the predominant specie...

Unlike most research involving nite eld multipliers, this work targets a low-power multiplier through the application of various power reduction techniques to di erent types of multipliers and comparing their power consumption among other factors, rather than comparing complexity measures such as gate count or area. Gate count is used as a starting point to choose potential architectures, namel...

One of the long-standing problems on logic programming is to express exception handling in a high-level way. We argue that this problem can be solved by adopting computability logic and sequential-choice disjunctive goal formulas of the form G0 ▽ G1 where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal Gi and execute Gi where i(= 0 or...

We propose an alternative to the usual time–independent Born–Oppenheimer approximation that is specifically designed to describe molecules with Hydrogen bonds. In our approach, the masses of the Hydrogen nuclei are scaled differently from those of the heavier nuclei, and we employ a specialized form for the electron energy level surface. Consequently, anhar-monic effects play a role in the lead...