30 resultados para TILTED ALGEBRAS


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The self-assembly and redox-properties of two viologen derivatives, N-hexyl-N-(6-thiohexyl)-4,4-bipyridinium bromide (HS-6V6-H) and N,N-bis(6-thiohexyl)-4,4-bipyridinium bromide (HS-6V6-SH), immobilized on Au(111)-(1x1) macro-electrodes were investigated by cyclic voltammetry, surface enhanced infrared spectroscopy (SEIRAS) and in situ scanning tunneling microscopy (STM). Depending on the assembly conditions one could distinguish three different types of adlayers for both viologens: a low coverage disordered and an ordered striped phase of flat oriented molecules as well as a high coverage monolayer composed of tilted viologen moieties. Both molecules, HS-6V6-H and HS-6V6-SH, were successfully immobilized on Au(poly) nano-electrodes, which gave a well-defined redox-response in the lower pA–current range. An in situ STM configuration was employed to explore electron transport properties of single molecule junctions Au(T)|HS-6V6-SH(HS-6V6-H)|Au(S). The observed sigmoidal potential dependence, measured at variable substrate potential ES and at constant bias voltage (ET–ES), was attributed to electronic structure changes of the viologen moiety during the one-electron reduction/re-oxidation process V2+ V+. Tunneling experiments in asymmetric, STM-based junctions Au(T)-S-6V6-H|Au(S) revealed current (iT)–voltage (ET) curves with a maximum located at the equilibrium potential of the redox-process V2+ V+. The experimental iT–ET characteristics of the HS-6V6-H–modified tunneling junction were tentatively attributed to a sequential two-step electron transfer mechanism.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Repetitive transcranial magnetic stimulation (rTMS) is a recent putative treatment for affective disorders. Several studies have demonstrated antidepressant effects of rTMS in younger patients; we aimed to assess its effect in older outpatients with treatment-resistant major depression. Twenty-four outpatients (mean age=62 years, S.D.=12) with major depression were randomized for sham or real stimulation and received 10 daily rTMS sessions (20 Hz, 2-s trains, 28-s intertrain intervals, 100% of motor threshold) in addition to the antidepressant medication. For sham stimulation, the coil was tilted 90 degrees. Depression severity was assessed using the Hamilton Depression Rating Scale, the Beck Depression Inventory, items from the NIMH self-rated symptom scale, and a visual analog depression scale. Mini-Mental Status Examination performance, memory, and executive and attentional functions were measured to control for cognitive side effects. Depression ratings revealed significant antidepressant effects within 2 weeks in both sham and real stimulation groups; however, there were no between-group differences. Treatment with rTMS was safe; adverse events were rare and not more prevalent in either group, and cognitive assessment did not show any deterioration. We were unable to demonstrate any additional antidepressant effects of real stimulation in elderly patients with treatment-resistant major depression. Therapeutic effects of rTMS in this clinically challenging patient group remain to be demonstrated.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the forearc of the Andean active margin in southwest Ecuador, the El Oro metamorphic complex exhibits a well exposed tilted forearc section partially migmatized. We used Raman spectroscopy on carbonaceous matter (RSCM) thermometry and pseudosections coupled with mineralogical and textural studies to constrain the pressure–temperature (P–T) evolution of the El Oro metamorphic complex during Triassic times. Our results show that anatexis of the continental crust occurred by white-mica and biotite dehydration melting along a 10 km thick crustal domain (from 4.5 to 8 kbar) with increasing temperature from 650 to 700 °C. In the biotite dehydration melting zone, temperature was buffered at 750–820 °C in a 5 km thick layer. The estimated average thermal gradient during peak metamorphism is of 30 °C/km within the migmatitic domain can be partitioned into two apparent gradients parts. The upper part from surface to 7 km depth records a 40–45 °C/km gradient. The lower part records a quasi-adiabatic geotherm with a 10 °C/km gradient consistent with an isothermal melting zone. Migmatites U–Th–Pb geochronology yielded zircon and monazite ages of 229.3 ± 2.1 Ma and 224.5 ± 2.3 Ma, respectively. This thermal event generated S-type magmatism (the Marcabeli granitoid) and was immediately followed by underplating of the high-pressure low-temperature (HP-LT) Arenillas–Panupalí unit at 225.8 ± 1.8 Ma. The association of high-temperature low-pressure (HT-LP) migmatites with HP-LT unit constitutes a new example of a paired metamorphic belt along the South American margin. We propose that in addition to crustal thinning, underplating of the Piedras gabbroic unit before 230 Ma provided the heat source necessary to foster crustal anatexis. Furthermore, its MORB signature shows that the asthenosphere was involved as the source of the heat anomaly. S-type felsic magmatism is widespread during this time and suggests that a large-scale thermal anomaly affected a large part of the South American margin during the late Triassic. We propose that crustal anatexis is related to an anomaly that arose during subduction of the Panthalassa ocean under the South American margin. Slab verticalization or slab break-off can be invoked as the origin of the upwelling of the asthenosphere.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Over the last forty years, applying dendrogeomorphology to palaeoflood analysis has improved estimates of the frequency and magnitude of past floods worldwide. This paper reviews the main results obtained by applying dendrogeomorphology to flood research in several case studies in Central Spain. These dendrogeomorphological studies focused on the following topics: (1) anatomical analysis to understand the physiological response of trees to flood damage and improve sampling efficiency; (2) compiling robust flood chronologies in ungauged mountain streams, (3) determining flow depth and estimating flood discharge using two-dimensional hydraulic modelling, and comparing them with other palaeostage indicators; (4) calibrating hydraulic model parameters (i.e. Manning roughness); and (5) implementing stochastic-based, cost–benefit analysis to select optimal mitigation measures. The progress made in these areas is presented with suggestions for further research to improve the applicability of dendrogeochronology to palaeoflood studies. Further developments will include new methods for better identification of the causes of specific types of flood damage to trees (e.g. tilted trees) or stable isotope analysis of tree rings to identify the climatic conditions associated with periods of increasing flood magnitude or frequency.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

When tilted sideways participants misperceive the visual vertical assessed by means of a luminous line in otherwise complete dark- ness. A recent modeling approach (De Vrijer et al., 2009) claimed that these typical patterns of errors (known as A- and E-effects) could be explained by as- suming that participants behave in a Bayes optimal manner. In this study, we experimentally manipulate participants’ prior information about body-in-space orientation and measure the effect of this manipulation on the subjective visual vertical (SVV). Specifically, we explore the effects of veridical and misleading instructions about body tilt orientations on the SVV. We used a psychophys- ical 2AFC SVV task at roll tilt angles of 0 degrees, 16 degrees and 4 degrees CW and CCW. Participants were tilted to 4 degrees under different instruction conditions: in one condition, participants received veridical instructions as to their tilt angle, whereas in another condition, participants received the mis- leading instruction that their body position was perfectly upright. Our results indicate systematic differences between the instruction conditions at 4 degrees CW and CCW. Participants did not simply use an ego-centric reference frame in the misleading condition; instead, participants’ estimates of the SVV seem to lie between their head’s Z-axis and the estimate of the SVV as measured in the veridical condition. All participants displayed A-effects at roll tilt an- gles of 16 degrees CW and CCW. We discuss our results in the context of the Bayesian model by De Vrijer et al. (2009), and claim that this pattern of re- sults is consistent with a manipulation of precision of a prior distribution over body-in-space orientations. Furthermore, we introduce a Bayesian Generalized Linear Model for estimating parameters of participants’ psychometric function, which allows us to jointly estimate group level and individual level parameters under all experimental conditions simultaneously, rather than relying on the traditional two-step approach to obtaining group level parameter estimates.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Visually impaired people show superior abilities in various perception tasks such as auditory attention, auditory temporal resolution, auditory spatial tuning, and odor discrimination. However, with the use of psychophysical methods, auditory and olfactory detection thresholds typically do not differ between visually impaired and sighted participants. Using a motion platform we investigated thresholds of passive whole-body motion discrimination in nine visually impaired participants and nine age-matched sighted controls. Participants were rotated in yaw, tilted in roll, and translated along the y-axis at two different frequencies (0.3 Hz and 2 Hz). An adaptive 3-down 1-up staircase procedure was used along with a two-alternative direction (leftward vs. rightward) discrimination task. Superior performance of visually impaired participants was found in the 0.3 Hz roll tilt condition. No differences between the visually impaired and controls were observed in all other types of motion. The superior performance in the 0.3 Hz roll tilt condition could reflect differences in the integration of extra-vestibular cues and increased sensitivity towards changes in the direction of the gravito-inertial force. In the absence of visual information, roll tilts entail a more pronounced risk of falling, and this could eventually account for the group difference. It is argued that differences in experimental procedures (i.e. detection vs. discrimination of stimuli) explain the discrepant findings across perceptual tasks comparing blind and sighted participants.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background Acetabular anatomy on AP pelvic radiographsdepends on pelvic orientation during radiograph acquisition. However, not all parameters may change to a clinically relevant degree with differences in pelvic orientation. This issue may influence the diagnosis of acetabular pathologies and planning of corrective acetabular surgery (reorientation or rim trimming). However, to this point, it has not been well characterized. Questions/purposes We asked (1) which radiographic parameters change in a clinical setting when normalized to neutral pelvic orientation; (2) which parameters do not change in an experimental setting when the pelvis is experimentally rotated/tilted; and (3) which of these changes are ‘‘ultimately’’ relevant based on a prespecified definition of relevance. Methods In a clinical setup, 11 hip parameters were evaluated in 101 patients (126 hips) by two observers and the interobserver difference was calculated. All parameters were normalized to an anatomically defined neutral pelvic orientation with the help of a lateral pelvic radiograph and specific software. Differences between nonnormalized and normalized values were calculated (effect of normalization). In an experimental setup involving 20 cadaver pelves (40 hips), the maximum range for each parameter was computed with the pelvis rotated (range, −12° to 12°) and tilted (range, −24° to 24°). ‘‘Ultimately’’ relevant changes existed if the effect of normalization exceeded the interobserver difference (eg, 37% versus 6% for prevalence of a positive crossover sign) and/or the maximum experimental range exceeded 1 SD of interobserver difference (eg, 27% versus 6% for anterior acetabular coverage). Results In the clinical setup, all parameters except the ACM angle and craniocaudal acetabular coverage changed when being normalized, eg, effect of normalization for lateral center-edge angle, acetabular index, and sharp angle ranged from −5° to 4° (p values < 0.029). In the experimental setup, five parameters showed no major changes, whereas six parameters did change (all p values < 0.001). Ultimately relevant changes were found for anteroposterior acetabular coverage, retroversion index, and prevalence of a positive crossover or posterior wall sign. Conclusions Lateral center-edge angle, ACM angle, Sharp angle, acetabular and extrusion index, and craniocaudal acetabular coverage showed no relevant changes with varying pelvic orientation and can therefore be acquired independent from individual pelvic tilt and rotation in clinical practice. In contrast, anteroposterior acetabular coverage, crossover and posterior wall sign, and retroversion index call for specific efforts that address individual pelvic orientation such as computer-assisted evaluation of radiographs. Level of Evidence Level III, diagnostic study. See the Guidelines for Authors for a complete description of levels of evidence.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

NH···π hydrogen bonds occur frequently between the amino acid side groups in proteins and peptides. Data-mining studies of protein crystals find that ~80% of the T-shaped histidine···aromatic contacts are CH···π, and only ~20% are NH···π interactions. We investigated the infrared (IR) and ultraviolet (UV) spectra of the supersonic-jet-cooled imidazole·benzene (Im·Bz) complex as a model for the NH···π interaction between histidine and phenylalanine. Ground- and excited-state dispersion-corrected density functional calculations and correlated methods (SCS-MP2 and SCS-CC2) predict that Im·Bz has a Cs-symmetric T-shaped minimum-energy structure with an NH···π hydrogen bond to the Bz ring; the NH bond is tilted 12° away from the Bz C₆ axis. IR depletion spectra support the T-shaped geometry: The NH stretch vibrational fundamental is red shifted by −73 cm⁻¹ relative to that of bare imidazole at 3518 cm⁻¹, indicating a moderately strong NH···π interaction. While the Sₒ(A1g) → S₁(B₂u) origin of benzene at 38 086 cm⁻¹ is forbidden in the gas phase, Im·Bz exhibits a moderately intense Sₒ → S₁ origin, which appears via the D₆h → Cs symmetry lowering of Bz by its interaction with imidazole. The NH···π ground-state hydrogen bond is strong, De=22.7 kJ/mol (1899 cm⁻¹). The combination of gas-phase UV and IR spectra confirms the theoretical predictions that the optimum Im·Bz geometry is T shaped and NH···π hydrogen bonded. We find no experimental evidence for a CH···π hydrogen-bonded ground-state isomer of Im·Bz. The optimum NH···π geometry of the Im·Bz complex is very different from the majority of the histidine·aromatic contact geometries found in protein database analyses, implying that the CH···π contacts observed in these searches do not arise from favorable binding interactions but merely from protein side-chain folding and crystal-packing constraints. The UV and IR spectra of the imidazole·(benzene)₂ cluster are observed via fragmentation into the Im·Bz+ mass channel. The spectra of Im·Bz and Im·Bz₂ are cleanly separable by IR hole burning. The UV spectrum of Im·Bz₂ exhibits two 000 bands corresponding to the Sₒ → S₁ excitations of the two inequivalent benzenes, which are symmetrically shifted by −86/+88 cm⁻¹ relative to the 000 band of benzene.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We observe the weak S 0 → S 2 transitions of the T-shaped benzene dimers (Bz)2 and (Bz-d 6)2 about 250 cm−1 and 220 cm−1 above their respective S 0 → S 1 electronic origins using two-color resonant two-photon ionization spectroscopy. Spin-component scaled (SCS) second-order approximate coupled-cluster (CC2) calculations predict that for the tipped T-shaped geometry, the S 0 → S 2 electronic oscillator strength f el (S 2) is ∼10 times smaller than f el (S 1) and the S 2 state lies ∼240 cm−1 above S 1, in excellent agreement with experiment. The S 0 → S 1 (ππ ∗) transition is mainly localized on the “stem” benzene, with a minor stem → cap charge-transfer contribution; the S 0 → S 2 transition is mainly localized on the “cap” benzene. The orbitals, electronic oscillator strengths f el (S 1) and f el (S 2), and transition frequencies depend strongly on the tipping angle ω between the two Bz moieties. The SCS-CC2 calculated S 1 and S 2 excitation energies at different T-shaped, stacked-parallel and parallel-displaced stationary points of the (Bz)2 ground-state surface allow to construct approximate S 1 and S 2 potential energy surfaces and reveal their relation to the “excimer” states at the stacked-parallel geometry. The f el (S 1) and f el (S 2) transition dipole moments at the C 2v -symmetric T-shape, parallel-displaced and stacked-parallel geometries are either zero or ∼10 times smaller than at the tipped T-shaped geometry. This unusual property of the S 0 → S 1 and S 0 → S 2 transition-dipole moment surfaces of (Bz)2 restricts its observation by electronic spectroscopy to the tipped and tilted T-shaped geometries; the other ground-state geometries are impossible or extremely difficult to observe. The S 0 → S 1/S 2 spectra of (Bz)2 are compared to those of imidazole ⋅ (Bz)2, which has a rigid triangular structure with a tilted (Bz)2 subunit. The S 0 → S 1/ S 2 transitions of imidazole-(benzene)2 lie at similar energies as those of (Bz)2, confirming our assignment of the (Bz)2 S 0 → S 2 transition.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.