Filters








5,291 Hits in 4.6 sec

A congruence for gamma programs [chapter]

Lindsay Errington, Chris Hankin, Thomas Jensen
1993 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

Problems in rewriting applied to categorical concepts by the example of a computational comonad [chapter]

Wolfgang Gehrke
1995 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

Ways of making-sense: Local gamma synchronization reveals differences between semantic processing induced by music and language

Paulo Barraza, Mario Chavez, Eugenio Rodríguez
2016 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

Implicit agency is related to gamma power changes in an automatic imitation task [article]

José Luis Ulloa, Roberta Vastano, Ole Jensen, Marcel Brass
2021 bioRxiv   pre-print
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

Page 8073 of Mathematical Reviews Vol. , Issue 98M [page]

1998 Mathematical Reviews  
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.  ... 

On the Linear Combination of Exponential and Gamma Random Variables

Saralees Nadarajah, Samuel Kotz
2005 Entropy  
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

Cortical Oscillatory Mechanisms Supporting the Control of Human Social–Emotional Actions

Bob Bramson, Ole Jensen, Ivan Toni, Karin Roelofs
2018 Journal of Neuroscience  
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

The TyrA family of aromatic-pathway dehydrogenases in phylogenetic context

Jian Song, Carol A Bonner, Murray Wolinsky, Roy A Jensen
2005 BMC Biology  
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

Detecting phylogenetic incongruence using BIONJ: an improvement of the ILD test

Marina Zelwer, Vincent Daubin
2004 Molecular Phylogenetics and Evolution  
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

Characterization of Information-Based Learning Benefits with Submovement Dynamics and Muscular Rhythmicity

Ing-Shiou Hwang, Chien-Ting Huang, Jeng-Feng Yang, Mei-Chun Guo, William W. Lytton
2013 PLoS ONE  
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

Page 489 of Psychological Abstracts Vol. 51, Issue 2 [page]

1974 Psychological Abstracts  
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  ... 

Meta-programming With Built-in Type Equality

Tim Sheard, Emir Pasalic
2008 Electronical Notes in Theoretical Computer Science  
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

Page 2020 of Mathematical Reviews Vol. , Issue 90D [page]

1990 Mathematical Reviews  
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.  ... 

Page 666 of Behavior Research Methods Vol. 21, Issue 6 [page]

1989 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 non-stop road from concrete to abstract: high concreteness causes the activation of long-range networks

Sabine Weiss, Horst M. Müller
2013 Frontiers in Human Neuroscience  
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