A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
This paper de nes a congruence relation on Gamma programs. Based on this congruence relation, laws for transforming programs are derived. ... We de ne an axiomatic semantics for Gamma based on Brookes' transition assertions. The de nition of the congruence is in terms of provable satis ability of such assertions. ... We showed that the relation forms a pre-congruence for Gamma programs which has the important consequence that program transformation can be done locally. ...doi:10.1007/3-540-57264-3_45 fatcat:many7xmqcfaf3d5sgnvlx4a3hi
Lecture Notes in Computer Science
We present a canonical system for comonads which can be extended to the notion of a computational comonad BG92] where the crucial point is to nd an appropriate representation. ... Finally we outline an incomplete attempt to solve the problem which could be used as a benchmark for rewriting tools. ... Acknowledgments I am indebted to Frank Pfenning for his hospitality during a visit to CMU which made it possible to learn more about the programming language Elf and which allowed me fruitful discussions ...doi:10.1007/3-540-59200-8_58 fatcat:xv74us3nx5djdce3f7vzhwi7jq
Brain and Language
Similar results were observed after linguistic semantic violation except for gamma activity, which increased after semantic congruence between sentence-word pairs. ... gamma activity. ... PB was partially supported by the Basal Funds for Centers of Excellence, Project FB 0003 from the Associative Research Program of CONICYT, the program CONICYT PAI/Academia (Grant 79130005), and the Project ...doi:10.1016/j.bandl.2015.12.001 pmid:26734990 fatcat:kpgvnmvribehrmyg4r7rljaoxi
We observed a decrease of alpha, beta and gamma power for congruent compared to incongruent actions and increased theta power for incongruent compared to congruent actions. ... Our study suggests that an increased implicit agency for facilitated actions is associated with changes in gamma power. ... This again highlights the role that gamma oscillations can have for monitoring and updating 455 motor programs, in complement to theta oscillations. ...doi:10.1101/2021.06.28.448528 fatcat:qow6fbwqtzfczol2zp4sqlthfi
Gamma can also be seen as a notation for coordinat- ing independent programs in a larger application. ... In this paper, we study a notion of refinement for programs involving parallel and sequential composition operators, and derive a number of programming laws. ...
A measure of entropy of the linear combination is investigated. We also provide computer programs for generating tabulations of the percentage points associated with the linear combination. ... The exact distribution of the linear combination αX + βY is derived when X and Y are exponential and gamma random variables distributed independently of each other. ... Acknowledgments The authors would like to thank the referees and the editor for carefully reading the paper and for their great help in improving the paper. ...doi:10.3390/e7020161 fatcat:22q5ylx7dzc4vjtvoovyaz5dme
techniques during treatment for social anxiety. ... areas, facilitate this control by linking aPFC to parietofrontal beta-band and sensorimotor gamma-band oscillations involved in action selection. ... D, Cortical distribution of relative gamma-band congruency effects, with a significant cluster around the left central sulcus (Ϫ28 Ϫ32 64). ...doi:10.1523/jneurosci.3382-17.2018 pmid:29793973 pmcid:PMC6595981 fatcat:kfkaic3ktzdrhgeztxfjzzfkaq
Phylogenetic relationships of TyrA domains were evaluated in the context of combinatorial patterns of specificity for the two substrates, as well as the presence or absence of a variety of fusions. ... Interactive alignments for a suite of catalytic-core TyrA domains of differing specificity are also provided to facilitate phylogenetic analysis. tyrA membership in apparent operons (or supraoperons) was ... This analysis would not have been possible were it not for the yeoman efforts in comparative enzymology carried out over a period of more than 25 years by many students and postdoctoral fellows, most notably ...doi:10.1186/1741-7007-3-13 pmid:15888209 pmcid:PMC1173090 fatcat:ootng7fc6vg5zkvcddpjp2omvu
The problem of testing for congruence between phylogenetic data has long been debated among phylogeneticists, but reaches a critical point with the availability of large amount of biological sequences. ... The incongruence length difference test (ILD), based on parsimony, has been proved to be useful for finding incongruent data sets, but its application remains limited to small data sets for computational ... Acknowledgments We thank Marie-France Sagot, Christian Gautier, Manolo Gouy, and two anonymous reviewers for their useful comments and remarks. ...doi:10.1016/j.ympev.2004.08.013 pmid:15522796 fatcat:lvtbixlxzrbhfa65eymwkyevnu
In the simple and complex protocols, skill improvements were associated with a significant decline in alpha (8-12 Hz) muscular oscillation but a potentiation of gamma (35-50 Hz) muscular oscillation. ... For skill advancement, motor variability must be optimized based on target information during practice sessions. ... by a computer program constructed on a LabView platform (LabView v.8.0, National Instruments, Austin, TX, USA). ...doi:10.1371/journal.pone.0082920 pmid:24367568 pmcid:PMC3867443 fatcat:ro3vyv5ggreu5n32re2afllfme
Results for females do not support the hypotheses that Ss would perceive congruency with occupational types that corresponded to their personality types and that the degree of perceived congruency would ... A scheme for content analysis is presented which includes 3 major categories: (a) indices of vocabulary (in more or less “free” themes and in directed themes, e.g., account of a lecture); (b) mastery of ...
For what kind of programming would a language like Ωmega be useful? The rest of this paper describes one possibility. ... We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language Ωmega. ... It does this by first using congruence to prove that gamma=gamma', and then by applying this equality to obtain Exp gamma' t = Exp gamma t. ...doi:10.1016/j.entcs.2007.11.012 fatcat:rnymduqc6fh3rfbfzvy7td4pvq
The main result of Part II states that a congruence distributive variety having a finite algebra with non- permuting congruences has a hereditarily undecidable first order theory for its finite members ... As a consequence a finitely generated arithmetical variety has a de- cidable first order theory for its finite members if and only if its subdirectly irreducibles have linearly ordered congruences. ...
Behavior Research Methods
Micro-CONGRU: A microcomputer program for measuring levels of overall and partial congruence among multiple observers on nominal scales. 20, 513-514. ... An APL function for the asymptotic test of significance for Goodman and Kruskal’s gamma statistic. 21, 473-476. Berry, K. J., a Mielke, P. W., Jr. (1988). ...
The gamma band (35-40 Hz) reflected the sentences' congruency and indicated the more difficult integration of incongruent final nouns into the sentence context. ... Participants performed a semantic judgment task with concrete and abstract sentences. ... a more general motor program (e.g., to clean) and abstract verbs (to ignore) (van Dam et al., 2010) . ...doi:10.3389/fnhum.2013.00526 pmid:24027515 pmcid:PMC3759829 fatcat:anl5jw7zbre7lokku3mm3kunzq
« Previous Showing results 1 — 15 out of 5,291 results