Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Experimental and Calculated Spectra of π-Stacked Mild Charge-Transfer Complexes: Jet-Cooled Perylene·(Tetrachloroethene) n , n = 1,2

The S0 ↔ S1 spectra of the mild charge-transfer (CT) complexes perylene·tetrachloroethene (P·4ClE) and perylene·(tetrachloroethene)2 (P·(4ClE)2) are investigated by two-color resonant two-photon ionization (2C-R2PI) and dispersed fluorescence spectroscopy in supersonic jets. The S0 → S1 vibrationless transitions of P·4ClE and P·(4ClE)2 are shifted by δν = −451 and −858 cm–1 relative to perylene, translating to excited-state dissociation energy increases of 5.4 and 10.3 kJ/mol, respectively. The red shift is ∼30% larger than that of perylene·trans-1,2-dichloroethene; therefore, the increase in chlorination increases the excited-state stabilization and CT character of the interaction, but the electronic excitation remains largely confined to the perylene moiety. The 2C-R2PI and fluorescence spectra of P·4ClE exhibit strong progressions in the perylene intramolecular twist (1au) vibration (42 cm–1 in S0 and 55 cm–1 in S1), signaling that perylene deforms along its twist coordinate upon electronic excitation. The intermolecular stretching (Tz) and internal rotation (Rc) vibrations are weak; therefore, the P·4ClE intermolecular potential energy surface (IPES) changes little during the S0 ↔ S1 transition. The minimum-energy structures and inter- and intramolecular vibrational frequencies of P·4ClE and P·(4ClE)2 are calculated with the dispersion-corrected density functional theory (DFT) methods B97-D3, ωB97X-D, M06, and M06-2X and the spin-consistent-scaled (SCS) variant of the approximate second-order coupled-cluster method, SCS-CC2. All methods predict the global minima to be π-stacked centered coplanar structures with the long axis of tetrachloroethene rotated by τ ≈ 60° relative to the perylene long axis. The calculated binding energies are in the range of −D0 = 28–35 kJ/mol. A second minimum is predicted with τ ≈ 25°, with ∼1 kJ/mol smaller binding energy. Although both monomers are achiral, both the P·4ClE and P·(4ClE)2 complexes are chiral. The best agreement for adiabatic excitation energies and vibrational frequencies is observed for the ωB97X-D and M06-2X DFT methods.

Nonperturbative estimate of the heavy quark momentum diffusion coefficient

We estimate the momentum diffusion coefficient of a heavy quark within a pure SU(3) plasma at a temperature of about 1.5Tc. Large-scale Monte Carlo simulations on a series of lattices extending up to 1923×48 permit us to carry out a continuum extrapolation of the so-called color-electric imaginary-time correlator. The extrapolated correlator is analyzed with the help of theoretically motivated models for the corresponding spectral function. Evidence for a nonzero transport coefficient is found and, incorporating systematic uncertainties reflecting model assumptions, we obtain κ=(1.8–3.4)T3. This implies that the “drag coefficient,” characterizing the time scale at which heavy quarks adjust to hydrodynamic flow, is η−1D=(1.8–3.4)(Tc/T)2(M/1.5  GeV)  fm/c, where M is the heavy quark kinetic mass. The results apply to bottom and, with somewhat larger systematic uncertainties, to charm quarks.

Self-motion direction discrimination in the visually impaired

Despite the close interrelation between vestibular and visual processing (e.g., vestibulo-ocular reflex), surprisingly little is known about vestibular function in visually impaired people. In this study, we investigated thresholds of passive whole-body motion discrimination (leftward vs. rightward) in nine visually impaired participants and nine age-matched sighted controls. Participants were rotated in yaw, tilted in roll, and translated along the interaural axis at two different frequencies (0.33 and 2 Hz) by means of a motion platform. Superior performance of visually impaired participants was found in the 0.33 Hz roll tilt condition. No differences were observed in the other motion conditions. Roll tilts stimulate the semicircular canals and otoliths simultaneously. The results could thus reflect a specific improvement in canal–otolith integration in the visually impaired and are consistent with the compensatory hypothesis, which implies that the visually impaired are able to compensate the absence of visual input.

Surgical Technique: Reverse Periacetabular Osteotomy

Acetabular retroversion is the result of an externally rotated hemipelvis rather than a focal overgrowth of the anterior wall and/or hypoplasia of the posterior wall. Acetabular retroversion is a cause of pincer impingement which, if left untreated, can lead to hip pain and osteoarthritis. The causal surgical treatment in hips with acetabular retroversion is acetabular reorientation with a reverse periacetabular osteotomy (PAO). Indication is based on a positive correlation among symptoms (typically groin pain), physical findings on examination (positive anterior impingement test and decreased flexion and internal rotation), and radiographic signs for acetabular retroversion. These include a positive crossover, posterior wall, and ischial spine sign. A reverse PAO is performed with four osteotomies and a controlled fracture. Unlike reorientation of the acetabular fragment in dysplastic hips, correction for acetabular retroversion is achieved by a combined extension and internal rotation of the acetabular fragment. Typically, a small supra-acetabular wedge resection is required to allow sufficient extension of the fragment. The quality of acetabular reorientation is evaluated by intraoperative AP pelvic radiographs. In addition, intraoperative testing of range of motion following acetabular reorientation is mandatory. An arthrotomy and offset correction of the femoral head-neck area is indicated in hips with decreased internal rotation following acetabular reorientation. In a 10-year follow-up study of reverse PAO, a favorable outcome with preservation of all native joints was found. Correct acetabular orientation and, if necessary, a concomitant offset correction were the keys of successful outcome.

The influence of reading direction on hemianopic reading disorders.

Hemianopic reading impairment is a consequence of a visual field defect to either the right or the left side and is characterized by an increased reading time and reduced reading performance. Depending on the side of the visual field defect, reading will be affected differently: Patients suffering from a visual field defect to the right side have noticeable difficulties in reading fluently with slowing. Patients suffering from a visual field defect to the left usually struggle to find the beginning of a line and read more fluently. It was suggested in the literature that changing the reading direction from horizontal to vertical may be a training strategy to reduce reading problems in patients with hemianopia. The aim of the study was to investigate the influence of reading direction on reading speed in patients with left- or right-sided visual field defects and in healthy controls. METHOD In 13 patients with hemianopia and in 13 age-matched controls, reading speed was calculated for texts in standard as well as in clockwise rotated orientation of 90, 180, and 270°. RESULTS In both groups, text rotation reduced reading speed compared to standard reading. Patients with left-sided hemianopia had the greatest reduction after text rotation. Patients with right-sided hemianopia had the smallest speed reduction in 90° vertically rotated texts. CONCLUSIONS Text rotation has different effects in left- or right-sided hemianopia patients. For patients with left-sided heminanopia, rotation of the text may not be a helpful training strategy, for right-sided hemianopia vertical rotation of the text of 90° may be a beneficial training strategy to reduce reading deficits.

Evolution of mylonitic microfabrics (EMM), a computer application for educational purposes

`Evolution of mylonitic microfabrics' (EMM) is an interactive Filemaker Pro 3.0 application that documents a series of see-through deformation experiments on polycrystalline norcamphor. The application comprises computer animations, graphics and text explanations designed to give students and researchers insight into the interaction and dynamic nature of small-scale, mylonitic processes like intracrystalline glide, dynamic recrystallization and strain localization (microshearing). EMM shows how mylonitic steady state is achieved at different strain rates and temperatures. First, rotational mechanisms like glide-induced vorticity, subgrain rotation recrystallization and rigid-body rotation bring grains' crystal lattices into orientations that are favorable for intracrystalline glide. In a second stage, selective elimination of grains whose lattices are poorly oriented for glide involves grain boundary migration. This strengthens the texture. Temperature and strain rate affect both the relative activity of different strain accommodation mechanisms and the rate of microfabric change. Steady-state microfabrics are characterized by stable texture, grain size and shape-preferred orientations of grains and domains. This involves the cyclical generation and elimination of dynamically recrystallized grains and microshear zones.