869 resultados para TILTED ALGEBRAS
Resumo:
The L-arginine/agmatine antiporter AdiC is a key component of the arginine-dependent extreme acid resistance system of Escherichia coli. Phylogenetic analysis indicated that AdiC belongs to the amino acid/polyamine/organocation (APC) transporter superfamily having sequence identities of 15-17% to eukaryotic and human APC transporters. For functional and structural characterization, we cloned, overexpressed, and purified wild-type AdiC and the point mutant AdiC-W293L, which is unable to bind and consequently transport L-arginine. Purified detergent-solubilized AdiC particles were dimeric. Reconstitution experiments yielded two-dimensional crystals of AdiC-W293L diffracting beyond 6 angstroms resolution from which we determined the projection structure at 6.5 angstroms resolution. The projection map showed 10-12 density peaks per monomer and suggested mainly tilted helices with the exception of one distinct perpendicular membrane spanning alpha-helix. Comparison of AdiC-W293L with the projection map of the oxalate/formate antiporter from Oxalobacter formigenes, a member from the major facilitator superfamily, indicated different structures. Thus, two-dimensional crystals of AdiC-W293L yielded the first detailed view of a transport protein from the APC superfamily at sub-nanometer resolution.
Resumo:
Es werden Auslegungsverfahren für vertikale und horizontale bis leicht geneigte Hochleistungs-Schneckenförderer vorgestellt, die eine anwendbare und praxistaugliche Möglichkeit sind, solche Fördergeräte für den täglichen Einsatz im Massengutumschlag auszulegen. Die Verifikation des Auslegungsverfahrens für vertikale Schneckenförderer durch Leistungsmessungen an zwei Referenzanlagen hat gezeigt, dass sich die im industriellen Einsatz befindlichen Anlagen mit guten Ergebnissen durch das Berechnungsverfahren nachrechnen lassen.
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.
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.
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.
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.
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.
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.
Resumo:
Unroofing of the Black Mountains, Death Valley, California, has resulted in the exposure of 1.7 Ga crystalline basement, late Precambrian amphibolite facies metasedimentary rocks, and a Tertiary magmatic complex. The Ar-40/Ar-39 cooling ages, obtained from samples collected across the entire length of the range (>55 km), combined with geobarometric results from synextensional intrusions, provide time-depth constraints on the Miocene intrusive history and extensional unroofing of the Black Mountains. Data from the southeastern Black Mountains and adjacent Greenwater Range suggest unroofing from shallow depths between 9 and 10 Ma. To the northwest in the crystalline core of the range, biotite plateau ages from approximately 13 to 6.8 Ma from rocks making up the Death Valley turtlebacks indicate a midcrustal residence (with temperatures >300-degrees-C) prior to extensional unroofing. Biotite Ar-40/Ar-39 ages from both Precambrian basement and Tertiary plutons reveal a diachronous cooling pattern of decreasing ages toward the northwest, subparallel to the regional extension direction. Diachronous cooling was accompanied by dike intrusion which also decreases in age toward the northwest. The cooling age pattern and geobarometric constraints in crystalline rocks of the Black Mountains suggest denudation of 10-15 km along a northwest directed detachment system, consistent with regional reconstructions of Tertiary extension and with unroofing of a northwest deepening crustal section. Mica cooling ages that deviate from the northwest younging trend are consistent with northwestward transport of rocks initially at shallower crustal levels onto deeper levels along splays of the detachment. The well-known Amargosa chaos and perhaps the Badwater turtleback are examples of this "splaying" process. Considering the current distance of the structurally deepest samples away from moderately to steeply east tilted Tertiary strata in the southeastern Black Mountains, these data indicate an average initial dip of the detachment system of the order of 20-degrees, similar to that determined for detachment faults in west central Arizona and southeastern California. Beginning with an initially listric geometry, a pattern of footwall unroofing accompanied by dike intrusion progress northwestward. This pattern may be explained by a model where migration of footwall flexures occur below a scoop-shaped banging wall block. One consequence of this model is that gently dipping ductile fabrics developed in the middle crust steepen in the upper crust during unloading. This process resolves the low initial dips obtained here with mapping which suggests transport of the upper plate on moderately to steeply dipping surfaces in the middle and upper crust.
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.
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.
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.
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.
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.