Update as Evidence: Belief Expansion

We introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.

Privacy Calculus on Social Networking Sites: Explorative Evidence from Germany and USA

Worldwide social networks, like Facebook, face fierce competition from local platforms when expanding globally. To remain attractive social network providers need to encourage user self-disclosure. Yet, little research exists on how cultural differences impact selfdisclosure on these platforms. Addressing this gap, this study explores the differences in perceptions of disclosure-relevant determinants between German and US users. Survey of Facebook members indicates that German users expect more damage and attribute higher probability to privacy-related violations. On the other hand, even though American users show higher level of privacy concern, they extract more benefits from their social networking activities, have more trust in the service provider and legal assurances as well as perceive more control. These factors may explain a higher level of self-disclosure indicated by American users. Our results provide relevant insights for the social network providers who can adjust their expansion strategy with regard to cultural differences.

Mechanisms of Ligand–Protein Interaction in Sec-14-like Transporters Investigated by Computer Simulations

We review our recent work on protein-ligand interactions in vitamin transporters of the Sec-14-like protein. Our studies focused on the cellular-retinaldehyde binding protein (CRALBP) and the alpha-tocopherol transfer protein (alpha-TTP). CRALBP is responsible for mobilisation and photo-protection of short-chain cis-retinoids in the dim-light visual cycle or rod photoreceptors. alpha-TTP is a key protein responsible for selection and retention of RRR-alpha-tocopherol, the most active isoform of vitamin E in superior animals. Our simulation studies evidence how subtle chemical variations in the substrate can lead to significant distortion in the structure of the complex, and how these changes can either lead to new protein function, or be used to model engineered protein variants with tailored properties. Finally, we show how integration of computational and experimental results can contribute in synergy to the understanding of fundamental processes at the biomolecular scale.

3' end processing of mouse histone pre-mRNA: evidence for additional base-pairing between U7 snRNA and pre-mRNA.

We have analysed the extent of base-pairing interactions between spacer sequences of histone pre-mRNA and U7 snRNA present in the trans-acting U7 snRNP and their importance for histone RNA 3' end processing in vitro. For the efficiently processed mouse H4-12 gene, a computer analysis revealed that additional base pairs could be formed with U7 RNA outside of the previously recognised spacer element (stem II). One complementarity (stem III) is located more 3' and involves nucleotides from the very 5' end of U7 RNA. The other, more 5' located complementarity (stem I) involves nucleotides of the Sm binding site of U7 RNA, a part known to interact with snRNP structural proteins. These potential stem structures are separated from each other by short internal loops of unpaired nucleotides. Mutational analyses of the pre-mRNA indicate that stems II and III are equally important for interaction with the U7 snRNP and for processing, whereas mutations in stem I have moderate effects on processing efficiency, but do not impair complex formation with the U7 snRNP. Thus nucleotides near the processing site may be important for processing, but do not contribute to the assembly of an active complex by forming a stem I structure. The importance of stem III was confirmed by the ability of a complementary mutation in U7 RNA to suppress a stem III mutation in a complementation assay using Xenopus laevis oocytes. The main role of the factor(s) binding to the upstream hairpin loop is to stabilise the U7-pre-mRNA complex. This was shown by either stabilising (by mutation) or destabilising (by increased temperature) the U7-pre-mRNA base-pairing under conditions where hairpin factor binding was either allowed or prevented (by mutation or competition). The hairpin dependence of processing was found to be inversely related to the strength of the U7-pre-mRNA interaction.

Lack of evidence for elevated CO2-induced bottom-up effects on marine copepods: a dinoflagellate-calanoid prey-predator pair

Rising levels of atmospheric CO2 are responsible for a change in the carbonate chemistry of seawater with associated pH drops (acidification) projected to reach 0.4 units from 1950 to 2100. We investigated possible indirect effects of seawater acidification on the feeding, fecundity, and hatching success of the calanoid copepod Acartia grani, mediated by potential CO2-induced changes in the nutritional characteristics of their prey. We used as prey the autotrophic dinoflagellate Heterocapsa sp., cultured at three distinct pH levels (control: 8.17, medium: 7.96, and low: 7.75) by bubbling pure CO2 via a computer automated system. Acartia grani adults collected from a laboratory culture were acclimatized for 3 d at food suspensions of Heterocapsa from each pH treatment (ca. 500 cells/ml; 300 ?g C/l). Feeding and egg production rates of the preconditioned females did not differ significantly among the three Heterocapsa diets. Egg hatching success, monitored once per day for the 72 h, did not reveal significant difference among treatments. These results are in agreement with the lack of difference in the cellular stoichiometry (C : N, C : P, and N : P ratios) and fatty acid concentration and composition encountered between the three tested Heterocapsa treatments. Our findings disagree with those of other studies using distinct types of prey, suggesting that this kind of indirect influence of acidification on copepods may be largely associated with interspecific differences among prey items with regard to their sensitivity to elevated CO2 levels.

Temperature- and strain-rate-dependent microfabric evolution in monomineralic mylonite: evidence from in situ deformation of norcamphor

Norcamphor (C7H10O) was subjected to plane strain simple shear in a see-through deformation rig at four different strain rate and temperature conditions. Two transient stages in the microfabric evolution to steady state are distinguished. The grain scale mechanisms associated with the microstructural and textural evolution vary with the applied temperature, strain rate and strain. In high-temperature-low-strain-rate experiments, computer integrated polarization microscopy reveals that the texture evolution is closely related to the crystallographic rotation paths and rotation rates of individual grains. High c-axis rotation rates at low to intermediate shear strains are related to the development of a symmetrical c-axis cross girdle by the end of the first transient stage (γ = 1.5 to 2). During the second transient stage (γ = 1.5 to 6), the cross girdle yields to an oblique c-axis single girdle as c-axis rotation rates decrease and the relative activity of grain boundary migration recrystallization increases. Steady state (γ > 8) is characterized by a stable end orientation of the sample texture and the cyclic growth, rotation and consumption of individual grains within the aggregate.

Direct evidence for a predominantly exolytic processive mechanism for depolymerization of heparin-like glycosaminoglycans by heparinase I

Heparinase I from Flavobacterium heparinum has important uses for elucidating the complex sequence heterogeneity of heparin-like glycosaminoglycans (HLGAGs). Understanding the biological function of HLGAGs has been impaired by the limited methods for analysis of pure or mixed oligosaccharide fragments. Here, we use methodologies involving MS and capillary electrophoresis to investigate the sequence of events during heparinase I depolymerization of HLGAGs. In an initial step, heparinase I preferentially cleaves exolytically at the nonreducing terminal linkage of the HLGAG chain, although it also cleaves internal linkages at a detectable rate. In a second step, heparinase I has a strong preference for cleaving the same substrate molecule processively, i.e., to cleave the next site toward the reducing end of the HLGAG chain. Computer simulation showed that the experimental results presented here from analysis of oligosaccharide degradation were consistent with literature data for degradation of polymeric HLGAG by heparinase I. This study presents direct evidence for a predominantly exolytic and processive mechanism of depolymerization of HLGAG by heparinase I.

Evidence in support of a four transmembrane-pore-transmembrane topology model for the Arabidopsis thaliana Na+/K+ translocating AtHKT1 protein, a member of the superfamily of K+ transporters

The Arabidopsis thaliana AtHKT1 protein, a Na+/K+ transporter, is capable of mediating inward Na+ currents in Xenopus laevis oocytes and K+ uptake in Escherichia coli. HKT1 proteins are members of a superfamily of K+ transporters. These proteins have been proposed to contain eight transmembrane segments and four pore-forming regions arranged in a mode similar to that of a K+ channel tetramer. However, computer analysis of the AtHKT1 sequence identified eleven potential transmembrane segments. We have investigated the membrane topology of AtHKT1 with three different techniques. First, a gene fusion alkaline phosphatase study in E. coli clearly defined the topology of the N-terminal and middle region of AtHKT1, but the model for membrane folding of the C-terminal region had to be refined. Second, with a reticulocyte-lysate supplemented with dog-pancreas microsomes, we demonstrated that N-glycosylation occurs at position 429 of AtHKT1. An engineered unglycosylated protein variant, N429Q, mediated Na+ currents in X. laevis oocytes with the same characteristics as the wild-type protein, indicating that N-glycosylation is not essential for the functional expression and membrane targeting of AtHKT1. Five potential glycosylation sites were introduced into the N429Q. Their pattern of glycosylation supported the model based on the E. coli-alkaline phosphatase data. Third, immunocytochemical experiments with FLAG-tagged AtHKT1 in HEK293 cells revealed that the N and C termini of AtHKT1, and the regions containing residues 135–142 and 377–384, face the cytosol, whereas the region of residues 55–62 is exposed to the outside. Taken together, our results show that AtHKT1 contains eight transmembrane-spanning segments.

Evidence suggesting that the odortypes of pregnant women are a compound of maternal and fetal odortypes.

Odortypes--namely, body odors that distinguish one individual from another on the basis of genetic polymorphism at the major histocompatibility complex and other loci--are a fundamental element in the social life and reproductive behavior of the mouse, including familial imprinting, mate choice, and control of early pregnancy. Odortypes are strongly represented in urine. During mouse pregnancy, an outcrossed mother's urine acquires fetal major histocompatibility complex odortypes of paternal origin, an observation that we took as the focus of a search for odortypes in humans, using a fully automated computer-programmed olfactometer in which trained rats are known to distinguish precisely the odortypes of another species. Five women provided urine samples before and after birth, which in each case appropriately trained rats were found to distinguish in the olfactometer. Whether this olfactory distinction of mothers' urine before and after birth reflects in part the odortype and hence genotype of the fetus, and not just the state of pregnancy per se, was tested in a second study in which each mother's postpartum urine was mixed either with urine from her own infant or with urine of a different, same-aged infant. Responses of trained rats were more positive with respect to the former (congruous) mixtures than to the latter (incongruous) mixtures, implying that, as in the mouse, human fetal odortypes of paternal genomic origin are represented in the odortype of the mother, doubtless by circulatory transfer of the pertinent odorants.

Differences between the personal, social and emotional profiles of teaching and computer engineering professionals and students

The evidence suggests that emotional intelligence and personality traits are important qualities that workers need in order to successfully exercise a profession. This article assumes that the main purpose of universities is to promote employment by providing an education that facilitates the acquisition of abilities, skills, competencies and values. In this study, the emotional intelligence and personality profiles of two groups of Spanish students studying degrees in two different academic disciplines – computer engineering and teacher training – were analysed and compared. In addition, the skills forming part of the emotional intelligence and personality traits required by professionals (computer engineers and teachers) in their work were studied, and the profiles obtained for the students were compared with those identified by the professionals in each field. Results revealed significant differences between the profiles of the two groups of students, with the teacher training students scoring higher on interpersonal skills; differences were also found between professionals and students for most competencies, with professionals in both fields demanding more competencies that those evidenced by graduates. The implications of these results for the incorporation of generic social, emotional and personal competencies into the university curriculum are discussed.

Non-invasive Detection of Cortical Control Signals for Brain-Computer Interfaces

Thesis (Ph.D.)--University of Washington, 2016-05

Towards evidence-based guidelines for wise use of computers by children

This paper argues for the systematic development and presentation of evidence-based guidelines for appropriate use of computers by children. The currently available guidelines are characterised and a proposed conceptual model presented. Five principles are presented as a foundation to the guidelines. The paper concludes with a framework for the guidelines, key evidence for and against guidelines, and gaps in the available evidence, with the aim of facilitating further discussion. Relevance to industry The current generation of children in affluent countries will typically have over 10 years of computer experience before they enter the workforce. Consequently, the primary prevention of computer-related health disorders and the development of good productivity skills for the next generation of workers needs to occur during childhood. (c) 2006 Elsevier B.V. All rights reserved.

The impact of computer display height and desk design on 3D posture during information technology work by young adults

Computer display height and desk design to allow forearm support are two critical design features of workstations for information technology tasks. However there is currently no 3D description of head and neck posture with different computer display heights and no direct comparison to paper based information technology tasks. There is also inconsistent evidence on the effect of forearm support on posture and no evidence on whether these features interact. This study compared the 3D head, neck and upper limb postures of 18 male and 18 female young adults whilst working with different display and desk design conditions. There was no substantial interaction between display height and desk design. Lower display heights increased head and neck flexion with more spinal asymmetry when working with paper. The curved desk, designed to provide forearm support, increased scapula elevation/protraction and shoulder flexion/abduction.

Computer animation of hot spot development in bulk coal as an aid for training coal miners

The processes that take place during the development of a heating are difficult to visualise. Bulk coal self-heating tests at The University of Queensland (UQ) using a two-metre column are providing graphic evidence of the stages that occur during a heating. Data obtained from these tests, both temperature and corresponding off-gas evolution can be transformed into what is effectively a video-replay of the heating event. This is achieved by loading both sets of data into a newly developed animation package called Hotspot. The resulting animation is ideal for spontaneous combustion training purposes as the viewer can readily identify the different hot spot stages and corresponding off-gas signatures. Colour coding of the coal temperature, as the hot spot forms, highlights its location in the coal pile and shows its ability to migrate upwind. An added benefit of the package is that once a mine has been tested in the UQ two-metre column, there is a permanent record of that particular coals performance for mine personnel to view.