We examine diierent possibilities of coupling saturation-based theorem pro-vers by exchanging positive/negative information. We discuss which positive or negative information is well-suited for cooperative theorem proving and show in an abstract way how this information can be used. Based on this study, we introduce a basic model for cooperative theorem proving. We present theoretical results r...

In this Letter, we introduce a simple metal waveguide array for realizing all-angle wide frequency bandwidth negative refraction from the visible to infrared frequencies. Theoretical analysis from the rigorous coupled-wave theory reveals that the negative coupling constant resulting from the anomalous coupling of guided surface plasmon polariton modes contributes to the negative refraction. The...

purpose: to evaluate changes in graft steepness after graft refractive surgery (grs) and to discover influential factors and a coefficient to predict the amount of postoperative shift. methods: keratoconic patients with history of penetrating keratoplasty (pkp) who underwent grs due to high post-pkp astigmatism were included. changes in mean keratometry after grs were evaluated to find possible...

This study presents a designing process for refurbishing of a 32 MW rotor-generator damaged coupling. The reason of rotor damage was being hit by the quivers of an explosion. The original coupling was union with the rotor formed after a machining process on a mono block forged rotor. In some areas imposed damages caused the breaking off and detachment of some parts in the coupling flange. Becau...

The cross section for U+ production from the reaction gp→p+K−U+, which was observed in the CLAS experiment at the Jefferson National Laboratory, is evaluated in a hadronic model that includes couplings of U+ to both KN and K*N. With their coupling constants determined from the empirical pNNs1710d and rNNs1710d coupling constants using the SU(3) symmetry, the cross section for this reaction has ...