Results 31 to 40 of about 352,472 (292)

Reversible Barbed Congruence on Configuration Structures [PDF]

, 2015
A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e.
Aubert, Clément, Cristescu, Ioana
core   +6 more sources

The Relationship Between Neuroticism Fit and General Well-Being: The Mediating Effect of Psychological Resilience

Frontiers in Psychology, 2019
BackgroundThe dominance complementarity theory argues that effective and continuing interpersonal relationships require complementary dominance and submission values. This theory has been widely applied to interpersonal interaction studies.
Ran Hao, Huan Dong, Huan Dong, Ruili Zhang, Ping Li, Peng Zhang, Meng Zhang, Jie Hu   +7 more
doaj   +1 more source

Lattice congruences of the weak order [PDF]

, 2004
We study the congruence lattice of the poset of regions of a hyperplane arrangement, with particular emphasis on the weak order on a finite Coxeter group.
A. Björner, A. Björner, A. Björner, A. Day, C. Malvenuto, G. Grätzer, I. Chajda, N. Caspard, N. Funayama, N. Reading, N. Reading, N. Reading, N. Reading, Nathan Reading, P. Edelman, P. Orlik, S. Fomin, W. Geyer   +17 more
core   +2 more sources

Counting congruence subgroups

Acta Mathematica, 2004
Let $ $ denote the modular group $SL(2,\Bbb Z)$ and $C_n( )$ the number of congruence subgroups of $ $ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n( )}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ We also present a very general conjecture giving an asymptotic estimate for $C_n( )$ for general arithmetic groups.
Goldfeld, Dorian, Lubotzky, Alexander, Pyber, László   +2 more
openaire   +3 more sources

Geometric transformations in school geometry

Lietuvos Matematikos Rinkinys
The study delves into the learning progression for school geometry based on transformations proposed by Hung-Hsi Wu. Plane transformations – translations, reflections, rotations, and dilations – are considered.
Rimas Norvaiša
doaj   +1 more source

Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts [PDF]

, 2016
We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a star-decomposition) is based on the properties of the congruence lattices of algebras. We consider four properties of lattices:
Staruch, Bogdan, Staruch, Bożena
core   +1 more source

Congruence Types

, 1996
Contains fulltext : 28083.pdf (Author’s version preprint ) (Open Access)
Barthe, G., Geuvers, H.
openaire   +3 more sources

Axiomatizing Flat Iteration

, 1997
Flat iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be a sum of atomic actions.
van Glabbeek, R. J.
core   +4 more sources

A q-analog of Ljunggren's binomial congruence [PDF]

, 2011
We prove a $q$-analog of a classical binomial congruence due to Ljunggren which states that \[ \binom{a p}{b p} \equiv \binom{a}{b} \] modulo $p^3$ for primes $p\ge5$.
Straub, Armin
core   +3 more sources

Diagnostic value of patellofemoral parameters in small breed dogs with medial patellar luxation: a tangential X-ray study

Austral Journal of Veterinary Sciences, 2023
Knowing the diagnostic value of radiological patellofemoral parameters is important for evaluating the status of small-breed dogs with medial patellar luxation (MPL).
Radka Garnoeva
doaj   +1 more source