JMLR: Workshop and Conference Proceedings vol 40:1–12, 2015 Learnability of Solutions to Conjunctive Queries: The Full Dichotomy Hubie Chen

Source URL: jmlr.org

• Universal algebra
• Algebraic structures
• Conjunctive query
• Database theory
• Structure
• Lattice
• FO
• Equivalence relation
• Homomorphism
• Congruence lattice problem

Characterizing algebras and varieties by weak congruence lattices and open problems ˇ selja Andreja Tepavˇcevi´c and Branimir Seˇ Department of Mathematics and Informatics, Faculty of Sciences

Source URL: spot.colorado.edu

• Lie groups
• Algebra
• Lattice theory
• Congruence relation
• Modular arithmetic
• Compact element
• Quotient algebra
• Congruence
• Lattice
• Congruence lattice problem
• Distributive homomorphism

Shimura varieties and moduli J.S. Milne Abstract. Connected Shimura varieties are the quotients of hermitian symmetric domains by discrete groups defined by congruence conditions. We examine their relation with moduli va

Source URL: jmilne.org

BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar

Source URL: homepage.univie.ac.at

• Philosophy of mind
• Perception
• Semantics
• Cognition
• Priming
• Subliminal stimuli
• Semantic memory
• Recall
• Congruence relation
• Mind
• Memory
• Cognitive science

COMBINATORICS OF BINOMIAL PRIMARY DECOMPOSITION ALICIA DICKENSTEIN, LAURA FELICIA MATUSEVICH, AND EZRA MILLER A BSTRACT. An explicit lattice point realization is provided for the primary components of an arbitrary binomi

Source URL: www.math.duke.edu

• Algebraic structures
• Modular arithmetic
• Commutative algebra
• Polynomial ring
• Polynomials
• Ring theory
• Ideal
• Algebraic geometry
• Congruence relation
• Abstract algebra
• Algebra
• Mathematics

Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract

Source URL: cseweb.ucsd.edu

• Algebraic structures
• Group theory
• Module
• Congruence relation
• Subalgebra
• Group action
• Monad
• Abstract algebra
• Mathematics
• Algebra

CS109A Notes for LectureProperties of Binary Relations 1. Symmetry: aRb implies bRa. Example: Dene aR1 b i a + b is divisible by 3. R1 is symmetric.

Source URL: infolab.stanford.edu

• Elementary mathematics
• Binary relation
• Congruence relation
• Equivalence class
• Partially ordered set
• Total order
• Equality
• Integer
• Finitary relation
• Mathematics
• Order theory
• Equivalence relation

Formal and Emergent Predictors of Coworkers’ Perceptual Congruence on an Organization’s Social Structure MAUREEN R. HEALD NOSHIR S. CONTRACTOR University ofllIinoi5at

Source URL: nosh.northwestern.edu

• Algebra
• Congruence relation
• Modular arithmetic
• Geometry
• Formal organization
• Congruence
• Organizational structure
• Mathematics
• Management
• Human resource management

Mathematical Case Studies: — Some Group Theory R.D. Arthan Lemma 1 Ltd. [removed]

Source URL: www.lemma-one.com

• Isomorphism theorems
• Functions and mappings
• General topology
• Equivalence relation
• Kernel
• Equivalence class
• Homomorphism
• Surjective function
• Congruence relation
• Mathematics
• Algebra
• Topology