Relevant bibliographies by topics / Complete congruence

Academic literature on the topic 'Complete congruence'

Author: Grafiati
Published: 4 June 2021
Last updated: 19 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Complete congruence.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Complete congruence"

1

FAN, XINGKUI, QIANHUA CHEN, and XIANGJUN KONG. "COMPLETE LATTICE HOMOMORPHISM OF STRONGLY REGULAR CONGRUENCES ON -INVERSIVE SEMIGROUPS." Journal of the Australian Mathematical Society 100, no. 2 (October 28, 2015): 199–215. http://dx.doi.org/10.1017/s1446788715000373.

Full text
Abstract:
In this paper, we investigate strongly regular congruences on $E$-inversive semigroups $S$. We describe the complete lattice homomorphism of strongly regular congruences, which is a generalization of an open problem of Pastijn and Petrich for regular semigroups. An abstract characterization of left and right traces for strongly regular congruences is given. The strongly regular (sr) congruences on $E$-inversive semigroups $S$ are described by means of certain strongly regular congruence triples $({\it\gamma},K,{\it\delta})$ consisting of certain sr-normal equivalences ${\it\gamma}$ and ${\it\delta}$ on $E(S)$ and a certain sr-normal subset $K$ of $S$. Further, we prove that each strongly regular congruence on $E$-inversive semigroups $S$ is uniquely determined by its associated strongly regular congruence triple.
APA, Harvard, Vancouver, ISO, and other styles
2

Liang, Xiquan, Li Yan, and Junjie Zhao. "Linear Congruence Relation and Complete Residue Systems." Formalized Mathematics 15, no. 4 (January 1, 2007): 181–87. http://dx.doi.org/10.2478/v10037-007-0022-7.

Full text
Abstract:
Linear Congruence Relation and Complete Residue Systems In this paper, we defined the congruence relation and proved its fundamental properties on the base of some useful theorems. Then we proved the existence of solution and the number of incongruent solution to a linear congruence and the linear congruent equation class, in particular, we proved the Chinese Remainder Theorem. Finally, we defined the complete residue system and proved its fundamental properties.
APA, Harvard, Vancouver, ISO, and other styles
3

Gigoń, Roman S. "Completely simple congruences on E-inversive semigroups." Journal of Algebra and Its Applications 15, no. 06 (March 30, 2016): 1650052. http://dx.doi.org/10.1142/s0219498816500523.

Full text
Abstract:
We study completely simple congruences on an arbitrary [Formula: see text]-inversive semigroup [Formula: see text]. In particular, we show that every such congruence [Formula: see text] on [Formula: see text] is uniquely determined by its kernel and trace, and that the trace of [Formula: see text] is a congruence on the biordered set [Formula: see text]. Moreover, we investigate the complete lattice of all completely simple congruences on [Formula: see text] and show that the trace relation is a complete congruence on this lattice. We also construct a family of completely simple congruences on [Formula: see text].
APA, Harvard, Vancouver, ISO, and other styles
4

Gratzer, G., and H. Lakser. "On Complete Congruence Lattices of Complete Lattices." Transactions of the American Mathematical Society 327, no. 1 (September 1991): 385. http://dx.doi.org/10.2307/2001848.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Grätzer, G., and H. Lakser. "On complete congruence lattices of complete lattices." Transactions of the American Mathematical Society 327, no. 1 (January 1, 1991): 385–405. http://dx.doi.org/10.1090/s0002-9947-1991-1036003-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gratzer, G., and E. T. Schmidt. "Complete Congruence Lattices of Complete Distributive Lattices." Journal of Algebra 171, no. 1 (January 1995): 204–29. http://dx.doi.org/10.1006/jabr.1995.1009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

FREESE, R., G. GRÄTZE, and E. T. SCHMIDT. "ON COMPLETE CONGRUENCE LATTICES OF COMPLETE MODULAR LATTICES." International Journal of Algebra and Computation 01, no. 02 (June 1991): 147–60. http://dx.doi.org/10.1142/s0218196791000080.

Full text
Abstract:
The lattice of all complete congruence relations of a complete lattice is itself a complete lattice. In 1988, the second author announced the converse: every complete lattice L can be represented as the lattice of complete congruence relations of some complete lattice K. In this paper we improve this result by showing that K can be chosen to be a complete modular lattice.
APA, Harvard, Vancouver, ISO, and other styles
8

Kehayopulu, Niovi. "On Semilattice Congruences on Hypersemigroups and on Ordered Hypersemigroups." European Journal of Pure and Applied Mathematics 11, no. 2 (April 27, 2018): 476–92. http://dx.doi.org/10.29020/nybg.ejpam.v11i2.3266.

Full text
Abstract:
We prove that if $H$ is an hypersemigroup (resp. ordered hypersemigroup) and $\sigma$ is a semilattice congruence (resp. complete semilattice congruence) on $H$, then there exists a family $\cal A$ of proper prime ideals of $H$ such that $\sigma$ is the intersection of the semilattice congruences $\sigma_I$, $I\in\cal A$ ($\sigma_I$ is the known relation defined by $a\sigma_I b$ $\Leftrightarrow$ $a,b\in I$ or $a,b\notin I$). Furthermore, we study the relation between the semilattices of an ordered semigroup and the ordered hypersemigroup derived by the hyperoperations $a\circ b=\{ab\}$ and $a\circ b:=\{t\in S \mid t\le ab\}$. We introduce the concept of a pseudocomplete semilattice congruence as a semilattice congruence $\sigma$ for which $\le\subseteq\sigma$ and we prove, among others, that if $(S,\cdot,\le)$ is an ordered semigroup, $(S,\circ,\le)$ the hypersemigroup defined by $t\in a\circ b$ if and only if $t\le ab$ and $\sigma$ is a pseudocomplete semilattice congruence on $(S,\cdot,\le)$, then it is a complete semilattice congruence on $(S,\circ,\le)$. Illustrative examples are given.
APA, Harvard, Vancouver, ISO, and other styles
9

AICHINGER, ERHARD, and JÜRGEN ECKER. "EVERY (k + 1)-AFFINE COMPLETE NILPOTENT GROUP OF CLASS k IS AFFINE COMPLETE." International Journal of Algebra and Computation 16, no. 02 (April 2006): 259–74. http://dx.doi.org/10.1142/s0218196706002858.

Full text
Abstract:
We let G be a group, and we let k be a natural number. We assume that G is nilpotent of class at most k, and that every (k + 1)-ary congruence preserving function on G is a polynomial function. We show that then every congruence preserving function on G (of any finite arity) is a polynomial function.
APA, Harvard, Vancouver, ISO, and other styles
10

Kaarli, K., and R. McKenzie. "Affine complete varieties are congruence distributive." Algebra Universalis 38, no. 3 (May 1, 1997): 329–54. http://dx.doi.org/10.1007/s000120050058.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Complete congruence"

1

Rodgers, James David, and jdr@cgs vic edu au. "On E-Pseudovarieties of Finite Regular Semigroups." RMIT University. Mathematical and Geospatial Sciences, 2007. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20080808.155720.

Full text
Abstract:
An e-pseudovariety is a class of finite regular semigroups closed under the taking of homomorphic images, regular subsemigroups and finite direct products. Chapter One consists of a survey of those results from algebraic semigroup theory, universal algebra and lattice theory which are used in the following two chapters. In Chapter Two, a theory of generalised existence varieties is developed. A generalised existence variety is a class of regular semigroups closed under the taking of homomorphic images, regular subsemigroups, finite direct products and arbitrary powers. Equivalently, a generalised e-variety is the union of a directed family of existence varieties. It is demonstrated that a class of finite regular semigroups is an e-pseudovariety if and only if the class consists only of the finite members of some generalised existence variety. The relationship between certain lattices of e-pseudovarieties and generalised existence varieties is explored and a usefu l complete surjective lattice homomorphism is found. A study of complete congruences on lattices of existence varieties and e-pseudovarieties forms Chapter Three. In particular it is shown that a certain meet congruence, whose description is relatively simple, can be extended to yield a complete congruence on a lattice of e-pseudovarieties of finite regular semigroups. Ultimately, theorems describing the method of construction of all complete congruences of lattices of e-pseudovarieties whose members are finite E-solid or locally inverse regular semigroups are proved.
APA, Harvard, Vancouver, ISO, and other styles
2

Guy, Jean-Pierre. "Groupes isomorphes au groupe de multiplication d'un quasigroupe." Toulouse 3, 1993. http://www.theses.fr/1993TOU30015.

Full text
Abstract:
Probleme: soit g un groupe abstrait, est-il possible de construire un quasigroupe dont le groupe de multiplication est isomorphe a g? une reponse negative sera apportee pour les groupes hamiltoniens, de heineken-mohamed, des quaternions generalises et dicycliques d'ordre 4n. Une reponse positive sera apportee pour les groupes symetriques, alternes, diedraux, les groupes de mathieu de degre 11, 12 et 23, les groupes lineaires generaux et projectifs lineaires, certains p-groupes (semi-diedraux,. . . ), les groupes de coxeter de type bn. Le probleme pose pouvant se ramener a l'etude des groupes de multiplication de boucles, l'auteur construira des boucles commutatives, a l'aide de leurs translations a gauche, dont le groupe de multiplication est isomorphe soit au groupe (4,4|2,,2n+1) de degre 4n+2, soit au groupe (2,4,4;n+1) de degre 4n+4. Nous montrerons que certains d'entre eux sont transitifs minimaux, i. E. Sans sous groupe propre transitif. D'autre part, une boucle commutative dont le groupe de multiplication est isomorphe au p-sous groupe de sylow du groupe symetrique d'ordre p#2 sera construite par l'intermediaire de sa table de multiplication. Enfin, il sera montre que si les groupes abeliens, de fischer decentres, alternes sont representables en groupe de multiplication d'une boucle, une telle representation n'existe pas pour les groupes diedraux, les groupes de frobenius, les groupes de permutations dont le stabilisateur d'un element est de cardinal 1, 2 ou 3
APA, Harvard, Vancouver, ISO, and other styles
3

Almabruk, Bleblou Omalkhear Salem. "Some new lattice valued algebraic structures with comparative analysis of various approaches." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=105400&source=NDLTD&language=en.

Full text
Abstract:
In this work a comparative analysis of several approaches to fuzzy algebraic structures and comparison of previous approaches to the recent one developed at University of  Novi Sad has been done. Special attention is paid to reducts and expansions of algebraic structures in fuzzy settings. Besides mentioning all the relevant algebras and properties developed in this setting, particular new algebras and properties are developed and investigated. Some new structures, in particular Omega Boolean algebras, Omega Boolean lattices and Omega Boolean rings are developed in the framework of omega structures. Equivalences among these structures are elaborated in details. Transfers from Omega groupoids to Omega groups and back are demonstrated. Moreover, normal subgroups are introduced in a particular way. Their connections to congruences are elaborated in this settings. Subgroups, congruences and normal subgroups are investigated for Ω-groups. These are latticevalued algebraic structures, defined on crisp algebras which are not necessarily groups, and in which the classical equality is replaced by a lattice-valued one. A normal Ω-subgroup is defined as a particular class in an Ω-congruence. Our main result is that the quotient groups over cuts of a normal Ω- subgroup of an Ω-group G, are classical normal subgroups of the corresponding quotient groups over G. We also describe the minimal normal Ω-subgroup of an Ω-group, and some other constructions related to Ω-valued congruences.Further results that are obtained are theorems that connect various approaches of fuzzy algebraic structures. A special notion of a generalized lattice valued Boolean algebra is introduced. The universe of this structure is an algebra with two binary, an unary and two nullary operations (as usual), but which is not a crisp Boolean algebra in general. A main element in our approach is a fuzzy  quivalence relation such that the Boolean algebras identities are approximately satisfied related to the considered fuzzy equivalence. Main properties of the new introduced notions are proved, and a connection with the notion of a structure of a generalized fuzzy lattice is provided.
Ovaj rad bavi se komparativnom analizom različitih pristupa rasplinutim (fazi) algebarskim strukturama i odnosom tih struktura sa odgovarajućim klasičnim   algebrama. Posebna pažnja posvećena je poredenju postojećih pristupa ovom   problemu sa novim tehnikama i pojmovima nedavno razvijenim na Univerzitetu u Novom Sadu. U okviru ove analize, proučavana su i proširenja kao i redukti algebarskih struktura u kontekstu rasplinutih algebri. Brojne važne konkretne algebarske strukture istraživane su u ovom kontekstu, a neke nove uvedene su i ispitane. Bavili smo se detaljnim istrazivanjima Ω-grupa, sa stanovista kongruencija, normalnih podgrupa i veze sa klasicnim grupama. Nove strukture koje su u radu uvedene u posebnom delu, istrazene su sa aspekta svojstava i medusobne ekvivalentnosti. To su Ω-Bulove algebre, kao i odgo-varajuce mreže i Bulovi prsteni. Uspostavljena je uzajamna ekvivalentnost tih struktura analogno odnosima u klasičnoj algebri. U osnovi naše konstrukcije su mrežno vrednosne algebarske strukture denisane na klasičnim algebrama koje ne zadovoljavaju nužno identitete ispunjene na odgovarajucim klasičnim strukturama (Bulove algebre, prsteni, grupe itd.), već su to samo algebre istog tipa. Klasična jednakost zamenjena je posebnom kompatibilnom rasplinutom (mrežno-vrednosnom) relacijom ekvivalencije. Na navedeni nacin i u cilju koji je u osnovi teze (poredenja sa postojecim pristupima u ovoj naucnoj oblasti) proucavane su (vec denisane)  Ω-grupe. U nasim istraživanju uvedene su odgovarajuće normalne podgrupe. Uspostavljena je i istražena njihova veza sa Ω-kongruencijama. Normalna podgrupa  Ω-grupe definisana je kao posebna  klasa Ω-kongruencije. Jedan od rezultata u ovom delu je da su količničke grupe definisane pomocu nivoa Ω-jednakosti klasične normalne podgrupe odgovarajućih količničkih podgrupa polazne  -grupe. I u ovom slučaju osnovna  struktura na kojoj je denisana Ω-grupa je grupoid, ne nužno grupa. Opisane su osobine najmanje normalne podgrupe u terminima Ω-kongruencija, a date su i neke konstrukcije  Ω-kongruencija.Rezultati koji su izloženi u nastavku povezuju različite pristupe nekim mrežno- vrednosnim strukturama. Ω-Bulova algebra je uvedena na strukturi sa dve binarne, unarnom i dve nularne operacije, ali za koju se ne zahteva ispunjenost klasičnih aksioma. Identiteti za Bulove algebre važe kao mrežno-teoretske formule u odnosu na mrežno-vrednosnu jednakost. Klasicne Bulove algebre ih zadovoljavaju, ali obratno ne vazi: iz tih formula ne slede standardne aksiome za Bulove algebre. Na analogan nacin uveden je i  Ω-Bulov prsten. Glavna svojstva ovih struktura su opisana. Osnovna osobina je da se klasične Bulove algebre odnosno Bulovi prsteni javljaju kao količničke strukture na nivoima Ω -jednakosti. Veza ove strukture sa Ω-Bulovom mrežom je pokazana.Kao ilustracija ovih istraživanja, u radu je navedeno više primera.
APA, Harvard, Vancouver, ISO, and other styles
4

Eghosa, Edeghagba Elijah. "Ω-Algebraic Structures." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=104206&source=NDLTD&language=en.

Full text
Abstract:
The research work carried out in this thesis is aimed   at fuzzifying algebraic and relational structures in the framework of Ω-sets, where Ω is a complete lattice.Therefore we attempt to synthesis universal algebra and fuzzy set theory. Our  investigations of Ω-algebraic structures are based on Ω-valued equality, satisability of identities and cut techniques. We introduce Ω-algebras, Ω-valued congruences,  corresponding quotient  Ω-valued-algebras and  Ω-valued homomorphisms and we investigate connections among these notions. We prove that there is an Ω-valued homomorphism from an Ω-algebra to the corresponding quotient Ω-algebra. The kernelof an Ω-valued homomorphism is an Ω-valued congruence. When dealing with cut structures, we prove that an Ω-valued homomorphism determines classical homomorphisms among the corresponding quotient structures over cut  subalgebras. In addition, an  Ω-valued congruence determines a closure system of classical congruences on cut subalgebras. In addition, identities are preserved under Ω-valued homomorphisms. Therefore in the framework of Ω-sets we were able to introduce Ω-attice both as an ordered and algebraic structures. By this Ω-poset is defined as an Ω-set equipped with  Ω-valued order which is  antisymmetric with respect to the corresponding Ω-valued equality. Thus defining the notion of pseudo-infimum and pseudo-supremum we obtained the definition of Ω-lattice as an ordered structure. It is also defined that the an Ω-lattice as an algebra is a bi-groupoid equipped with an Ω-valued equality fulfilling some particular lattice Ω-theoretical formulas. Thus using axiom of choice we proved that the two approaches are equivalent. Then we also introduced the notion of complete Ω-lattice based on Ω-lattice. It was defined as a generalization of the classical complete lattice.We proved results that characterizes Ω-structures and many other interesting results.Also the connection between Ω-algebra and the notion of weak congruences is presented.We conclude with what we feel are most interesting areas for future work.
Tema ovog rada je fazifikovanje algebarskih i relacijskih struktura u okviru omega- skupova, gdeje Ω kompletna mreza. U radu se bavimo sintezom oblasti univerzalne algebre i teorije rasplinutih (fazi) skupova. Naša istraživanja omega-algebarskih struktura bazirana su na omega-vrednosnoj jednakosti,zadovoljivosti identiteta i tehnici rada sa nivoima. U radu uvodimo omega-algebre,omega-vrednosne kongruencije, odgovarajuće omega-strukture, i omega-vrednosne homomorfizme i istražujemo veze izmedju ovih pojmova. Dokazujemo da postoji Ω -vrednosni homomorfizam iz Ω -algebre na odgovarajuću količničku Ω -algebru. Jezgro Ω -vrednosnog homomorfizma je Ω- vrednosna kongruencija. U vezi sa nivoima struktura, dokazujemo da Ω -vrednosni homomorfizam odredjuje klasične homomorfizme na odgovarajućim količničkim strukturama preko nivoa podalgebri. Osim toga, Ω-vrednosna kongruencija odredjuje sistem zatvaranja klasične kongruencije na nivo podalgebrama. Dalje, identiteti su očuvani u Ω- vrednosnim homomorfnim slikama.U nastavku smo u okviru Ω-skupova uveli Ω-mreže kao uredjene skupove i kao algebre i dokazali ekvivalenciju ovih pojmova. Ω-poset je definisan kao Ω -relacija koja je antisimetrična i tranzitivna u odnosu na odgovarajuću Ω-vrednosnu jednakost. Definisani su pojmovi pseudo-infimuma i pseudo-supremuma i tako smo dobili definiciju Ω-mreže kao uredjene strukture. Takodje je definisana Ω-mreža kao algebra, u ovim kontekstu nosač te strukture je bi-grupoid koji je saglasan sa Ω-vrednosnom jednakošću i ispunjava neke mrežno-teorijske formule. Koristeći aksiom izbora dokazali smo da su dva pristupa ekvivalentna. Dalje smo uveli i pojam potpune Ω-mreže kao uopštenje klasične potpune mreže. Dokazali smo još neke rezultate koji karakterišu Ω-strukture.Data je i veza izmedju Ω-algebre i pojma slabih kongruencija.Na kraju je dat prikaz pravaca daljih istrazivanja.
APA, Harvard, Vancouver, ISO, and other styles
5

Sitniece, Katrīna Marija. "The Power of Values in Determining Interstate Threat Perception." Thesis, Uppsala universitet, Institutionen för freds- och konfliktforskning, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-445527.

Full text
Abstract:
Interstate threat perception plays a vital role in peace and conflict, having the potential to lead to pre-emptive war.  Despite the significance of the theme, little is known about the elements and mechanisms at play guiding threat perception at the state level. This study contributes to said gap by focusing on values as the driver of threat perception. The argument explores the regional constraints of threat perception, focusing on regional military interventions and their effects on the threat perception of the states within said region. Thus, the paper addresses the question of what role value congruence plays in interstate threat perception following a regional military intervention. The paper hypothesises that a higher perceived value congruence between the perceiving state and the intervening state lowers the degree of threat perception. Noting data limitations and isolation challenges, the study finds support for this hypothesis by exploring the case of 2014 Russian intervention in Ukraine and its effects on Belarus, Poland, and Sweden.
APA, Harvard, Vancouver, ISO, and other styles
6

Al-Hasani, Firas Ali Jawad. "Multiple Constant Multiplication Optimization Using Common Subexpression Elimination and Redundant Numbers." Thesis, University of Canterbury. Electrical and Computer Engineering, 2014. http://hdl.handle.net/10092/9054.

Full text
Abstract:
The multiple constant multiplication (MCM) operation is a fundamental operation in digital signal processing (DSP) and digital image processing (DIP). Examples of the MCM are in finite impulse response (FIR) and infinite impulse response (IIR) filters, matrix multiplication, and transforms. The aim of this work is minimizing the complexity of the MCM operation using common subexpression elimination (CSE) technique and redundant number representations. The CSE technique searches and eliminates common digit patterns (subexpressions) among MCM coefficients. More common subexpressions can be found by representing the MCM coefficients using redundant number representations. A CSE algorithm is proposed that works on a type of redundant numbers called the zero-dominant set (ZDS). The ZDS is an extension over the representations of minimum number of non-zero digits called minimum Hamming weight (MHW). Using the ZDS improves CSE algorithms' performance as compared with using the MHW representations. The disadvantage of using the ZDS is it increases the possibility of overlapping patterns (digit collisions). In this case, one or more digits are shared between a number of patterns. Eliminating a pattern results in losing other patterns because of eliminating the common digits. A pattern preservation algorithm (PPA) is developed to resolve the overlapping patterns in the representations. A tree and graph encoders are proposed to generate a larger space of number representations. The algorithms generate redundant representations of a value for a given digit set, radix, and wordlength. The tree encoder is modified to search for common subexpressions simultaneously with generating of the representation tree. A complexity measure is proposed to compare between the subexpressions at each node. The algorithm terminates generating the rest of the representation tree when it finds subexpressions with maximum sharing. This reduces the search space while minimizes the hardware complexity. A combinatoric model of the MCM problem is proposed in this work. The model is obtained by enumerating all the possible solutions of the MCM that resemble a graph called the demand graph. Arc routing on this graph gives the solutions of the MCM problem. A similar arc routing is found in the capacitated arc routing such as the winter salting problem. Ant colony optimization (ACO) meta-heuristics is proposed to traverse the demand graph. The ACO is simulated on a PC using Python programming language. This is to verify the model correctness and the work of the ACO. A parallel simulation of the ACO is carried out on a multi-core super computer using C++ boost graph library.
APA, Harvard, Vancouver, ISO, and other styles
7

Van, der Hulst Nicolette. "An investigation into the congruency between research perceived to be of relevance to chiropractors practicing in KwaZulu-Natal and the student research completed at the Durban University of Technology." Thesis, 2016. http://hdl.handle.net/10321/1778.

Full text
Abstract:
submitted in partial compliance with the requirements for the Master’s Degree in Technology: Chiropractic, Department of Chiropractic and Somatology, Durban University of Technology, Durban, South Africa, 2016.
Background: The recent increase in the implementation of evidence-based practice (EBP) in the Chiropractic profession and the call within the profession for validation of its claims has seen a growing interest in good quality research. It is advocated that the future of Chiropractic research and thus the success of the profession is dependent on future practitioner and student research endeavours. It was the aim of this study to evaluate the student research agendas at the Durban University of Technology (DUT). Secondly, local Chiropractors were asked what they perceived to be clinically relevant Chiropractic research agendas. The agendas that were under-studied by the students, but perceived as important by the practitioners, were recommended as suggestions for more clinically relevant future student research. The intention of this was that future student research would become more congruent with local and international Chiropractic research trends. Methodolody: The study was a prospective exploratory study, which utilised a mixed method approach. Documented evidence giving an overview of student research completed at the DUT was combined with a qualitative questionnaire that was circulated to all Chiropractors practicing in KwaZulu-Natal. The questionnaire aimed to give insight into the research agendas perceived to be most relevant for future research by Chiropractic professionals. Incongruence between the research completed at the DUT and the research that is perceived to be of highest professional relevance by Chiropractors in KwaZulu-Natal was determined. All the Chiropractors practicing in KwaZulu-Natal as per the AHPCSA list received the questionnaire. A neutral third party at DUT collected the returned questionnaires and data analysis followed. The student research completed at the DUT between 1994 and 2013 was obtained from the Institutional Repository (IR) and library archives. These studies were descriptively analysed and compared with the respondents’ perceptions of clinically important Chiropractic research. Data analysis highlighted the overlap of agendas and gaps in the research. Following this was a statistical analysis of the questionnaire responses using Pearson’s chi square tests for two independent samples. A p value of ≤ 0.05 was considered as statistically significant. The results were interpreted using frequency tables and bar charts for categorical variables, while summary statistics such as mean, standard deviation and range were used for continuous variables. A descriptive comparison was performed to determine the congruency between the student research agendas and the research perceived to be of relevance by Chiropractors practicing in KwaZulu-Natal. Results: The response rate of 66.3 % was regarded as representative of the entire Chiropractic population. The overall practitioner perception of research was positive with 64.4% of the respondents perceiving improved Chiropractic abilities due to previous research experience. The prevailing practitioner reason for research conducted was that it increased recognition as an EBP, increased development within the profession and validated its claims and theories. An investigation into the student studies found that the majority of the research agendas recommended by the respondents had been undertaken at DUT. Future research into the following areas is encouraged:  Neurological testing.  Orthopaedic testing.  Reduction of posture related disorders.  Gross anatomical changes as a result of the Chiropractic manipulation.  Range of Motion (ROM) assessment.  Muscular testing, motion and/ or static palpation.  Gait and posture assessment. The respondents were asked to give recommendations for future Chiropractic research; the majority was willing to contribute a database of shared research ideas. It was anticipated that the sharing of the practitioner ideas with the students would result in more clinically relevant student research being produced. Conclusion: A comparison of the DUT student research agendas and those of Chiropractors in KwaZulu-Natal highlighted an incongruence of purpose between the two. The research agendas recommended by the Chiropractic respondents were recommended for future student uptake. A shared database of student and practitioner research ideas aimed to encourage future student research that is more clinically relevant and in line with local and international research trends.
M
APA, Harvard, Vancouver, ISO, and other styles
8

Gebremichael, Tamrat Haile. "Organisational culture in internationally federated non-profit organisations : the importance of industry and governance." Thesis, 2018. http://hdl.handle.net/10500/25135.

Full text
Abstract:
In the era of globalisation, organisations around the world have increasingly become stages of global diversity where multi-cultural workforces interact in teams on a daily basis. International organisations, in particular, are a characteristic display of cross-cultural interaction. The study of organisational culture in a multi-cultural organisational environment is receiving growing attention due to a pressing need to understand and manage the consequences of cross-cultural interaction and achieve better organisational outcomes. However, so far, studies in the area have focused on multinational for-profit organisations and neglected other industry and governance, missing opportunities for broader and richer understanding in the field. The present study covered a case of an internationally federated complex non-profit organisation and captured new insights, thereby contributing to theory and enriching the empirical evidence in the field of study. The results shed light on the importance of industry and governance, and provoked critical questions for further research. The unique features of non-profit and federated governance culture depicted the opportunities for cross-learning with other industries. The study highlighted the distinct formation of conventional cultural dimensions contributing to cultural cohesion and cushioning the federation against excessive fragmentation. The dimensions of institutional collectivism, in-group collectivism, power distance and uncertainty avoidance depicted interesting behaviours in the study context. These dimensions dominated behaviour and have rendered other dimensions subservient. Cultural behaviours, such as cultural-anchoring and power grouping, transpired as unique findings to the industry and governance, where consensus and fragmentation have played integrative and accommodative roles. Dominant dimensions determined direction and intensity in subservient dimensions irrespective of values espoused by leadership in the subservient dimensions. The line between organisational politics and the ingroup collectivism dimension was blurred, calling for further research in the field of organisational behaviour. Further research in the field could focus on shaping organisational cultural dimensions fit for diverse industry and governance contexts, identifying areas of cross-fertilisation of learning, investigating the significance of dominant versus subservient dimensions in the process of organisational cultural change, and broadening the knowledge base in the field by studying diverse organisational typologies.
Graduate School of Business Leadership (SBL)
D. B. L.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Complete congruence"

1

Milner, Robin. A complete axiomatisation for observational congruence of finite-state behaviours. Edinburgh: University ofEdinburgh, Laboratory for Foundations of Computer Science, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Urbanowicz, Jerzy. Congruences for L-Functions. Dordrecht: Springer Netherlands, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1932-, Bass Hyman, and Lam, T. Y. (Tsit-Yuen), 1942-, eds. Algebra. Providence, R.I: American Mathematical Society, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alladi, Krishnaswami, Frank Garvan, and Ae Ja Yee. Ramanujan 125: International conference to commemorate the 125th anniversary of Ramanujan's birth, Ramanujan 125, November 5--7, 2012, University of Florida, Gainesville, Florida. Providence, Rhode Island: American Mathematical Society, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

The Cauchy Method of Residues : Volume 2: Theory and Applications. Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Breiner, Peter. Karl Mannheim and Political Ideology. Edited by Michael Freeden and Marc Stears. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780199585977.013.0018.

Full text
Abstract:
This chapter argues that the famous ‘Mannheim paradox’ regarding the ideological understanding of ideology in Ideology and Utopia merely serves as a preparation for a far more complex and persistent paradox that poses a recurrent problem for any political science seeking to understand the relation of political ideologies to political reality: namely, when we try to understand contending political ideologies at any one historical moment and test them for their ‘congruence’ with historical and sociological ‘reality’, our construction of this context is itself informed by these ideologies or our partisan understanding of them. To deal with this paradox Mannheim suggests a new political science based on Marx and Weber. This political science seeks to construct fields of competing ideologies—such as conservatism, liberalism, and socialism—and play off the insight and blindness of each to create a momentary ‘synthesis’ of the relation between political ideas and a dynamic political reality.
APA, Harvard, Vancouver, ISO, and other styles
7

Lee, Daniel H., and Adam K. Anderson. Form and Function of Facial Expressive Origins. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190613501.003.0010.

Full text
Abstract:
Facial expressions are an important source of social communication. But we do not know why they appear the way they do and how they arose. Here we discuss evidence supporting Darwin’s theory that our expressions originated for sensory egocentric function for the expresser, which were then co-opted as signals for allocentric social function. We show that facial expressions of fear and disgust have distinct opposing sensory effects that serve each emotion’s theorized function, regulating the intake of nasal and visual information. Then, we show how such egocentrically adaptive expressive forms may have been socially co-opted for allocentric function, transmitting basic gaze signals and complex mental states adaptively congruent for the receiver as the expresser. Together, the evidence connects the appearance of our expressions from their evolutionary origins to their modern-day communicative role, providing a functional perspective for organizing and understanding expression forms.
APA, Harvard, Vancouver, ISO, and other styles
8

Mitrinovic, Dragoslav S., and J. D. Keckic. The Cauchy Method of Residues, Volume 2: Theory and Applications (Mathematics and Its Applications). Springer, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sepúlveda, Jovanny. Universidad creativa: sistematización de experiencias de narrativas en el aula. CUA - Medellin, 2019. http://dx.doi.org/10.52441/der201905.

Full text
Abstract:
Hablar de universidad creativa es referirse a una institución de educación superior que sistematiza las experiencias narradas y tiene un enfoque que se configura como un modo propio de presentar los resultados de ejercicios de docentes y estudiantes. En este libro usted encuentra un sensible carácter polifónico del discurso narrativo, un acercamiento complejo que secuencia y privilegia el contexto. Por eso, los criterios que aquí se desarrollan están redefinidos de manera congruente con las premisas teóricas y con el material objeto de estudio (Connelly y Clandinin, 1990). Esta sistematización de experiencias de narrativas en el aula le permite al lector un acercamiento interpretativo a los diversos asuntos desarrollados. Esto, en palabras de Lluis Duch2 , es una posibilidad antropológica del empalabrar la experiencia formativa, en este caso la profesional: se trata de lenguajear las maneras como se nombra el mundo, de nombrar la ubicación lingüística en él. Por eso es que se desarrollan temas en torno a rutas de análisis sobre enseñar a leer y a escribir, un ejercicio propio de la formación de maestros que atienden la infancia. Asimismo, la incidencia de la escritura a la hora de la creatividad en la generación de competencias para ingenieros; también se abordan las construcciones narradas en torno a la cultura, la política y el patrimonio; finalmente, se analiza la relación entre literatura y derecho gracias a que son posibles otras formas de asumir la formación de los profesionales en leyes. Y es que en las posibilidades para el abordaje de lo profesional en nuestros días, hay un alejamiento de las teorías clásicas sobre el tema, en tanto que en esta contemporaneidad es importante la mirada de disposiciones interaccionistas , y las que desde lo estructural4 trabajan la profesionalidad en estrecha relación con el desarrollo de una subjetividad que se pone en evidencia a través de lo biográfico. Este trabajo es precisamente un ejercicio de reconstrucción de la interacción al interior de las aulas de clase de una institución de educación superior, que emerge como una hermenéutica objetiva emanada de los análisis narrativos en torno a sucesos que se presentan en la formación de diferentes profesiones. Estas narrativas son definitivamente una opción para reconstruir un tejido que dota de sentido acciones de aula. Unas narrativas como las que Antonio Bolívar denomina Profesionalización desde abajo, ya que para este tipo de ejercicios resulta interesante observar las diversas maneras en las que se puede comprender que las profesiones se constituyen desde las interacciones cotidianas, y que están determinadas por una diversidad compleja de tensiones, paradojas y sentidos. Ellas están dadas por lo que W. Helsper6 denomina las antinomias del actuar pedagógico que es el vínculo cotidiano entre lo real, lo imaginario y lo simbólico. Es importante reiterar que Profesionalización desde abajo hace referencia entonces al grupo de trabajo representado por los sujetos conscientes de sí mismos y de su instalación histórica como profesionales. En este trabajo se evidencian subjetividades y configuración de formaciones de maestros y estudiantes, en medio de un habitus profesional, lo que tiene que ver con la obtención de una serie de habilidades científicas que les permite instalarse, para decidir y actuar como expertos. En síntesis, tematizar las profesiones, desde el análisis de las características, no es en definitiva una manera adecuada para proceder sobre ese asunto. Por eso, el gran valor de un texto como este es que le permite al lector interpretar la estructura de los problemas de la formación laboral, de manera que esta reconstrucción de lo que sucede en los espacios de formación puestos en narrativas –si se me permite, desde abajo-, permite pensar de otra manera y con amplitud de perspectivas las cuestiones propias de la formación de profesionales como la que exige nuestro tiempo. Hoy la pregunta por quienes atienden la sociedad debe plantearse en otros términos. La discusión científica sobre el trabajo y las labores profesionales ocupa estantes de bibliotecas. Entonces, un libro que reconstruye creativamente la universidad, desde la sistematización de las experiencias de narrativas, ocupa un lugar especial. Con todo lo antedicho, mis mejores deseos de una grata lectura
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Complete congruence"

1

Grätzer, G. "The Complete Congruence Lattice of a Complete Lattice." In Lattices, Semigroups, and Universal Algebra, 81–87. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4899-2608-1_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Parrow, Joachim, and Peter Sjödin. "The complete axiomatization of Cs-congruence." In Lecture Notes in Computer Science, 555–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57785-8_171.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rabinovich, Alexander. "A complete axiomatisation for trace congruence of finite state behaviors." In Lecture Notes in Computer Science, 530–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58027-1_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Glabbeek, R. J. "A complete axiomatization for branching bisimulation congruence of finite-state behaviours." In Lecture Notes in Computer Science, 473–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57182-5_39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bravetti, Mario, and Roberto Gorrieri. "A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors." In Automata, Languages and Programming, 744–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45022-x_62.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pottmann, Helmut, and Johannes Wallner. "Line Congruences and Line Complexes." In Mathematics and Visualization, 423–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04018-4_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Flumerfelt, Shannon, Anabela Alves, Javier Calvo-Amodio, Chris Hoyle, and Franz-Josef Kahlen. "Managing Systems Complexity Through Congruence." In Transdisciplinary Perspectives on Complex Systems, 115–44. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-38756-7_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chern, S. S. "Associate Quadratic Complexes of a Rectilinear Congruence." In Springer Collected Works in Mathematics, 9–30. New York, NY: Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4614-9343-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chern, Shiing-shen. "Associate Quadratic Complexes of a Rectilinear Congruence." In Selected Papers, 9–30. New York, NY: Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4612-3546-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lin, H. "Complete proof systems for observation congruences in finite-control π-calculus." In Automata, Languages and Programming, 443–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055074.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Complete congruence"

1

Khomenko, Victor, and Roland Meyer. "Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete." In 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2009. http://dx.doi.org/10.1109/acsd.2009.8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Liu, Xinxin, and Tingting Yu. "A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470647.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ghafoor, Abdul, Jian S. Dai, and Joseph Duffy. "Grasp Stiffness Matrix for Soft Finger Contact Model in Robotic Applications." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/mech-14110.

Full text
Abstract:
Abstract This paper proposes a practical and analytical model for soft finger grasp. It presents a contact stiffness matrix by applying congruence transformation and mapping stiffnesses from a line spring model onto translational and rotational stiffnesses. The contact that is realised in this paper is in the form of a patch contact with evenly distributed finite number of equivalent point contacts. An analytical approach is hence proposed based on line springs and screw representation of the frictional elastic point contacts that provides a direct correlation between the equivalent point contact and soft finger contact of a rigid object and gives a procedure to complete the analysis. The grasp achieved with the analysis provides both translational and rotational restraint. The approach and its use for finite manipulation are supported by a case study.
APA, Harvard, Vancouver, ISO, and other styles
4

Lin, Jih-Pai, Lo-Yu Chang, Andreas Kroh, and Daniel Janies. "CONGRUENCE BETWEEN THE MORPHOLOGIC TREE AND MOLECULAR TREE: A CASE STUDY OF CLYPEASTEROIDA BASED ON THE NEW AND COMPLETE MITOCHONDRIAL GENOME OF SINAECHINOCYAMUS MAI (ECHINODERMATA: ECHINOIDEA)." In GSA 2020 Connects Online. Geological Society of America, 2020. http://dx.doi.org/10.1130/abs/2020am-357045.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ellis, Benjamin J., Gerard A. Ateshian, Andrew E. Anderson, Clare Canal, Steve A. Maas, and Jeffrey A. Weiss. "Effects of Joint Congruency on the Response of a Tension-Compression Nonlinear Constitutive Model for Cartilage." In ASME 2008 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2008. http://dx.doi.org/10.1115/sbc2008-192897.

Full text
Abstract:
Articular cartilage exhibits inhomogeneous, rate-dependent and tension-compression (TC) nonlinear material properties. It is a biphasic material (solid and fluid phases) and its solid phase is stiffer in tension than compression [1]. Despite this complex material behavior, elastic, incompressible material models can be used to predict the short-time loading response of cartilage [2]. To our knowledge, the use of an anisotropic incompressible material to represent cartilage in a finite element (FE) joint model has not been investigated and thus the importance of the TC nonlinearity in the analysis of 3D articular contact models is limited [3]. We have been investigating a TC nonlinear incompressible constitutive model to represent hip cartilage. The objective of this study was to assess the influence of TC nonlinearity on FE predictions of stress and strain as a function of congruency between two spherical cartilage layers. It was hypothesized that the TC nonlinear and neo-Hookean constitutive models would yield a similar response when the cartilage layers were nearly congruent, but as the congruency of the cartilage layers decreased the predicted response from the two materials would be different.
APA, Harvard, Vancouver, ISO, and other styles
6

Damen, Nicole B., and Christine A. Toh. "Implicit and Explicit Trust Behavior: Does Stereotype Congruence Affect User Trust in a Home Automation Device?" In ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/detc2018-86091.

Full text
Abstract:
Although trust is widely accepted as important for technology adoption and usage, it has received little attention in home automation, where users interact closely with these devices to enhance their quality of life. Research is needed to investigate how design considerations such as agent gender and automation location impact trust. This study expands on a pilot study by examining how stereotype congruence impacts implicit and explicit measures of trust in home automation devices. A smart lock simulation was utilized to examine how users interacted with systems that confirm and violate social expectations. The results show that users displayed more trusting behavior towards systems that were stereotype congruent than incongruent. That is, users extended their expectations of stereotypical social behaviors to their interaction with the home automation simulation. In addition explicit trust measures, or directly observable behaviors, differed from implicit trust measures, such as reaction time with the system. These findings provide a foundation for empirically testing and understanding the complex relationship between users and increasingly social automated devices.
APA, Harvard, Vancouver, ISO, and other styles
7

Jian Tang and Xiang-Yun Xie. "Lattice of fuzzy congruences on completely 0-simple semigroups." In 2010 Second International Conference on Computational Intelligence and Natural Computing (CINC). IEEE, 2010. http://dx.doi.org/10.1109/cinc.2010.5643763.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Loduha, Timothy A., and Bahram Ravani. "On First-Order Decoupling of Equations of Motion for Constrained Dynamical Systems." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0288.

Full text
Abstract:
Abstract In this paper we present a method for obtaining first-order decoupled equations of motion for multi-rigid body systems. The inherent flexibility in choosing generalized velocity components as a function of generalized coordinates is used to influence the structure of the resulting dynamical equations. Initially, we describe how a congruency transformation can be formed that represents the transformation between generalized velocity components and generalized coordinate derivatives. It is shown that the proper choice for the congruency transformation will insure generation of first-order decoupled equations of motion for holonomic systems. In the case of nonholonomic systems, or more complex dynamical systems, where the appropriate congruency transformation may be difficult to obtain, we present a constraint relaxation method based on the use of orthogonal complements. The results are illustrated using several examples. Finally, we discuss numerical implementation of congruency transformations to achieve first-order decoupled equations for simulation purposes.
APA, Harvard, Vancouver, ISO, and other styles
9

Qi Li, Jinglong Wu, and Tetsuo Touge. "The Influence of spatial congruency on audiovisual interaction in a visual-attention task." In 2009 ICME International Conference on Complex Medical Engineering - CME 2009. IEEE, 2009. http://dx.doi.org/10.1109/iccme.2009.4906589.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Huang, Chintien, and Tzu-Cheng Hsing. "A Line Geometric Foundation for Finite Screw Systems Associated With Spatial Linkages." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48115.

Full text
Abstract:
This paper investigates the line varieties corresponding to finite screw systems associated with spatial linkages. This research is based on the correspondence between a screw and a linear complex, and a screw system corresponds to the intersection of the linear complexes. In finite kinematics, two screw systems associated with the finite motions of the revolute-revolute (R-R) and prismatic-revolute (P-R) open chains have been discovered. These two screw systems also led to the discovery of the screw systems associated with the finite motions of the spatial 4R, spatial RPRP, and other overconstrained linkages. By using the intersection operation of linear complexes, this paper finds the linear reguli corresponding to the finite motions of R-R and P-R chains. Then we utilize the sum operation of the linear reguli corresponding to the R-R and P-R chains to obtain the hyperbolic linear congruences corresponding to the finite motions of the spatial 4R and RPRP linkages. The result presented here serves as a line geometric foundation for finite screw systems associated with spatial linkages. In addition, with CAD drawings, this paper enables the visualization of the obtained line varieties and their operations.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Complete congruence' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography