Filters








132,358 Hits in 2.8 sec

Congruence for SOS with data

M. Mousavi, M. Reniers, J. Friso Groote
2004 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.  
However, the third point (in combination with the first two) is not sufficiently addressed and there is no standard congruence format for operational semantics with an explicit data state.  ...  Secondly, congruence with respect to some notion of bisimilarity is an interesting property for such languages and it is essential in reasoning about them.  ...  Acknowledgements The authors would like to express their appreciation to Pieter Cuijpers and Ana Sokolova for their comments on early versions of this documents.  ... 
doi:10.1109/lics.2004.1319625 dblp:conf/lics/MousaviRG04 fatcat:o4wi76zhpjd27fltlj5uanfubm

Notions of bisimulation and congruence formats for SOS with data

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005 Information and Computation  
However, the third point (in combination with the first two) is not sufficiently addressed and there is no standard congruence format for operational semantics with an explicit data state.  ...  Secondly, congruence with respect to some notion of bisimilarity is an interesting property for such languages and it is essential in reasoning.  ...  Acknowledgments The authors express their appreciation to Pieter Cuijpers, Murdoch Gabbay, and Ana Sokolova for their comments on early versions of this article.  ... 
doi:10.1016/j.ic.2005.03.002 fatcat:5t5vdmosxfb5dhm6bzwytymfe4

Completely semisimple inverse Δ-semigroups admitting principal series

Peter Trotter, Takayuki Tamura
1977 Pacific Journal of Mathematics  
A Δ-semigroup is a semigroup whose lattice of congruences is a chain with respect to inclusion.  ...  For any semigroup S the following are equivalent: (i) S is an 9\-semigroup. (ii) Each ideal of S is an ζf x -semigroup. (iii) S is an ideal extension of an Sf x -semigroup I by an Sfrsemigroup T.  ...  Then on S; (i) Each non idempotent separating congruence has S x or S as a congruence class if and only if for any e/fEEso that e E S\S U f E SAO there exists a E S so that a~xea = / and so that fa = 0  ... 
doi:10.2140/pjm.1977.68.515 fatcat:n3cwrdsnqfed5ivnplnlffgmtu

Implementation of Learning with the Team Quiz Method to Improve Student Learning Outcomes in Mathematics in Classes IX SMP Negeri 1 Pulau Rakyat Asahan

2021 Journal of Education and Practice  
qualitative data analysis with data analysis techniques 1).  ...  The type of research used in this research is classroom action research using descriptive qualitative data analysis, with a total of 37 students as subjects.  ...  Research Methods This research is a classroom action research conducted in collaboration with classroom teachers through selfreflection, with the aim of improving their performance as a teacher, so that  ... 
doi:10.7176/jep/12-14-05 fatcat:a5qv7t2oqfd4xdnu444d3lk3bq

Do parliaments underrepresent women's policy preferences? Exploring gender equality in policy congruence in 21 European democracies

Sarah C. Dingler, Corinna Kroeber, Jessica Fortin-Rittberger
2018 Figshare  
If so, which factors explain the size of the gender gaps in policy preference congruence?  ...  policy preference congruence.  ...  Exploring gender equality in policy congruence in 24 European democracies The data file contains three data sets: the original data set (62 observations), the extended data set for test 4 (with 72 observations  ... 
doi:10.6084/m9.figshare.5844459 fatcat:un2u5bgtvvcb3jnamtg7sltyaa

Lattice Drawings and Morphisms [chapter]

Vincent Duquenne
2010 Lecture Notes in Computer Science  
Hence, the following question is explored: How the knowledge of the congruence lattice Con(L) of L can help in getting "better" drawings of L?  ...  This will be done by proposing rank shelling procedures of (M(Con(L),≤) and will be illustrated with examples coming either from math. or social sciences.  ...  In particular a proposal has been to drop out our assumption of homomorphism surjectivity, with the following motivation: for an homomorphism φ:L → H and a "nice" drawing of H, it is possible that removing  ... 
doi:10.1007/978-3-642-11928-6_7 fatcat:2pahxj5tlvcelllywrtzgkiphi

Shifts in target modality cause attentional reset: Evidence from sequential modulation of crossmodal congruency effects

Magali Kreutzfeldt, Denise N. Stephan, Klaus Willmes, Iring Koch
2016 Psychonomic Bulletin & Review  
For both tasks, the results indicated reduced congruency effects after an incongruent trial only for modality repetitions, but not for switches.  ...  The target modality was indicated by a cue, so that the target modalities either repeated or switched in successive trials.  ...  We thank Linn Zulka and Charlotte Eben for data collection, as well as Markus Janczyk and Nachshon Meiran for valuable comments on an earlier version of the manuscript.  ... 
doi:10.3758/s13423-016-1001-1 pmid:26813694 fatcat:72dsjvftcfcslov7gjdycgghla

RM-ANOVA analyses: Approach & Results

Francesco Foroni
2022 figshare.com  
The data were analyzed in a 2x 2 factorial design with prime-target congruency (congruent vs. incongruent), prime-target category (adjective-verb vs. verb-adjective) within-subjects factors.  ...  The data were analyzed in a 2 x 2 x 2 factorial design with prime-target congruency (congruent vs. incongruent), prime category (adjective vs. verb), target category (adjective vs. verb) all within subjects  ... 
doi:10.6084/m9.figshare.12783074.v3 fatcat:ttyabwjcozcjxeyad4ntbeefcu

RSA Cryptography Algorithm Using linear Congruence Class

PurnaChandra Sethi, PrafullaKumar Behera
2016 International Journal of Advanced Research  
Finally we contend that, due to congruence class implementation, the complexity of algorithm will remain same as that of regular RSA algorithm with enhancement in information security by random congruence  ...  For each of the congruence class element, complexity of algorithm will be same but there will be increase in the level of security.  ...  In paper [3] , the author proposed a traditional approach for data transmission and guarantee that there will be 100% data transmission.  ... 
doi:10.21474/ijar01/528 fatcat:xhdn7kwu4vhfjllfnmj3cscmee

An Improved Face Recognition Using Neighborhood Defined Modular Phase Congruency Based Kernel PCA

M.Lokeswara Reddy, P.Ramana Reddy
2012 International Journal of Electronics Signals and Systems  
The proposed algorithm when compared with conventional Principal component analysis (PCA) algorithms has an improved recognition Rate for face images with large variations in illumination, facial expressions  ...  In this technique, first phase congruency features are extracted from the face image so that effects due to illumination variations are avoided by considering phase component of image.  ...  Phase congruency for 1-D signal To make the phase congruency dimensionless it is normalized with sum of amplitudes of all Fourier components.  ... 
doi:10.47893/ijess.2012.1053 fatcat:rjsmg365wnak3pnogxxvn7mpcy

A New Measure of Congruence: The Earth Mover's Distance

Noam Lupu, Lucía Selios, Zach Warner
2017 Political Analysis  
Even beyond studies of congruence, the EMD is a useful and reliable way for political scientists to compare distributions.  ...  Yet existing measures of congruence can be misleading because they ignore information in the data, require arbitrary decisions about quantization, and limit researchers to comparing masses and elites on  ...  Scholars should ensure that the multidimensional EMD is appropriate for their application with minimal data processing.  ... 
doi:10.1017/pan.2017.2 fatcat:rfurmglw3bejxefein4aoqzpia

Rabagliati_Supplemental_Material – Supplemental material for Can Item Effects Explain Away the Evidence for Unconscious Sound Symbolism? An Adversarial Commentary on Heyman, Maerten, Vankrunkelsven, Voorspoels, and Moors (2019)

Hugh Rabagliati, Pieter Moors, Tom Heyman
2020 Figshare  
Supplemental material, Rabagliati_Supplemental_Material for Can Item Effects Explain Away the Evidence for Unconscious Sound Symbolism?  ...  But an alternative strategy that 62 would not have these problems is to treat item as a fixed effect in the regression, that 63 interacts with the other effects.64 Thus, we modeled the data as so:  ...  Spikes") reliably interacts with 70 congruence.  ... 
doi:10.25384/sage.12789567.v1 fatcat:lrnlckhqkbfabap4va72773tdq

Clarity of voter choices: neglected foundation for ideological congruence

Luana Russo, Mark N. Franklin, Stefanie Beyens
2021 Quaderni dell'Osservatorio elettorale QOE - IJES  
But other types of clarity also play important roles in accounting for the range of values that congruence takes on.  ...  congruence.  ...  Berggren et al. 2004 ) that, however, does not prove statistically significant in our data because there are so few very large party systems.  ... 
doi:10.36253/qoe-9836 fatcat:myoqzfvafjgkxjruoaftd6u3e4

Learning trees from strings: a strong learning algorithm for some context-free grammars

Alexander Clark
2013 Journal of machine learning research  
We take as our starting point a simple learning algorithm for substitutable context-free languages, based on principles of distributional learning, and modify it so that it will converge to a canonical  ...  grammar for each language.  ...  Acknowledgments I am grateful to Rémi Eyraud and Anna Kasprzik for helpful comments and discussion, and to Ryo Yoshinaka for detailed comments on an earlier draft.  ... 
dblp:journals/jmlr/Clark13 fatcat:53t6wiwd6rh7jdzm6ygv5yxauq

Spatiotemporal Phase Congruency Based Invariant Features for Human Behavior Classification [chapter]

Hao Wang, Yi Xu, Xiaokang Yang, Li Song, Wenjun Zhang
2009 Lecture Notes in Computer Science  
The proposed model detects feature points by measuring the spatiotemporal phase congruency of Fourier series components along with their characteristic scale and principal orientation.  ...  In this paper, we develop a novel detection model of spatiotemporal invariant feature by generalizing the notion of image phase congruency to video volume phase congruency.  ...  For orientations with of 90°, the algorithm can only calculate the phase congruency in spatial domain.  ... 
doi:10.1007/978-3-642-10467-1_8 fatcat:pzt6aw575fafxbsps5qsftb2we
« Previous Showing results 1 — 15 out of 132,358 results