Log in

Relevant bibliographies by topics / Unification / Journal articles

To see the other types of publications on this topic, follow the link: Unification.

Journal articles on the topic 'Unification'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 September 2024

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Unification.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Otto, Friedrich, Paliath Narendran, and Daniel J. Dougherty. "Equational unification, word unification, and 2nd-order equational unification." Theoretical Computer Science 198, no. 1-2 (May 1998): 1–47. http://dx.doi.org/10.1016/s0304-3975(97)00130-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

AMATO, GIANLUCA, and FRANCESCA SCOZZARI. "Optimality in goal-dependent analysis of Sharing." Theory and Practice of Logic Programming 9, no. 05 (July 31, 2009): 617–89. http://dx.doi.org/10.1017/s1471068409990111.

Full text

Abstract:

AbstractWe face the problems of correctness, optimality, and precision for the static analysis of logic programs, using the theory of abstract interpretation. We propose a framework with a denotational, goal-dependent semantics equipped with two unification operators for forward unification (calling a procedure) and backward unification (returning from a procedure). The latter is implemented through a matching operation. Our proposal clarifies and unifies many different frameworks and ideas on static analysis of logic programming in a single, formal setting. On the abstract side, we focus on the domainsharingby Jacobs and Langen (The Journal of Logic Programming, 1992, vol. 13, nos. 2–3, pp. 291–314) and provide the best correct approximation of all the primitive semantic operators, namely, projection, renaming, and forward and backward unifications. We show that the abstract unification operators are strictly more precise than those in the literature defined over the same abstract domain. In some cases, our operators are more precise than those developed for more complex domains involving linearity and freeness.

APA, Harvard, Vancouver, ISO, and other styles

3

MALOUF, ROBERT, JOHN CARROLL, and ANN COPESTAKE. "Efficient feature structure operations without compilation." Natural Language Engineering 6, no. 1 (March 2000): 29–46. http://dx.doi.org/10.1017/s1351324900002382.

Full text

Abstract:

One major obstacle to the efficient processing of large wide coverage grammars in unification-based grammatical frameworks such as HPSG is the time and space cost of the unification operation itself. In a grammar development system it is not appropriate to address this problem with techniques which involve lengthy compilation, since this slows down the edit-test-debug cycle. Nor is it possible to radically restructure the grammar. In this paper, we describe novel extensions to an existing efficient unification algorithm which improve its space and time behaviour (without affecting its correctness) by substantially increasing the amount of structure sharing that takes place. We also describe a fast and automatically tunable pre-unification filter (the ‘quick check’) which in practice detects a large proportion of unifications that if performed would fail. Finally, we present an efficient algorithm for checking for subsumption relationships between two feature structures; a special case of this gives a fast equality test. The subsumption check is used in a parser (described elsewhere in this issue) which ‘packs’ local ambiguities to avoid performing redundant sub-computations.

APA, Harvard, Vancouver, ISO, and other styles

4

A’Hearn, Brian, and Valeria Rueda. "Internal Borders and Population Geography in the Unification of Italy." Journal of Economic History 83, no. 3 (August 31, 2023): 747–85. http://dx.doi.org/10.1017/s0022050723000256.

Full text

Abstract:

We offer new evidence on the spatial economic impact of Italian unification. Adopting municipal population as a proxy for local economic activity, we construct a new geocoded dataset spanning the pre- and post-unification periods and discover robust evidence of an acceleration in growth near the former borders. A disproportionate improvement in market access boosted growth in these locations when barriers to trade were dismantled. Indirectly, unification’s decisive contribution to intraregional market integration, local specialization and exchange, and economic development is revealed.

APA, Harvard, Vancouver, ISO, and other styles

5

김강녕. "Korea’s Unification Tax and Unification Cost." Journal of Northeast Asia Research 25, no. 1 (August 2010): 47–76. http://dx.doi.org/10.18013/jnar.2010.25.1.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ham, Kyu Jin. "On Justification of Unification as Basis of Unification Movements and Unification Education." Journal of the Humanities for Unification 68 (December 31, 2016): 383. http://dx.doi.org/10.21185/jhu.2016.12.68.383.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Jang, Seong-Ho. "Task of Preparing Unification and Juveniles Unification Education for Future of Unification." Journal of Social Science 26, no. 4 (October 31, 2015): 321. http://dx.doi.org/10.16881/jss.2015.10.26.4.321.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

SungJangHwan. "Implication from German Unification for Korean Unification." KOREAN ELEMENTARY MORAL EDUCATION SOCIETY ll, no. 50 (December 2015): 137–64. http://dx.doi.org/10.17282/ethics.2015..50.137.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Domenjoud, Eric. "AC Unification Through Order-Sorted AC1 Unification." Journal of Symbolic Computation 14, no. 6 (December 1992): 537–56. http://dx.doi.org/10.1016/s0747-7171(19)80001-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Clavelli, L., and P. W. Coulter. "Grand unification scale effects in supersymmetric unification." Physical Review D 51, no. 7 (April 1, 1995): 3913–22. http://dx.doi.org/10.1103/physrevd.51.3913.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Krechmer, Ken. "Measurement unification." Measurement 182 (September 2021): 109625. http://dx.doi.org/10.1016/j.measurement.2021.109625.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Kaiser, Karl. "Germany's Unification." Foreign Affairs 70, no. 1 (1990): 179. http://dx.doi.org/10.2307/20044701.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Giedt, Joel. "Optical Unification." Modern Physics Letters A 18, no. 23 (July 30, 2003): 1625–33. http://dx.doi.org/10.1142/s0217732303011514.

Full text

Abstract:

We discuss string scale unification facilitated by exotic matter with masses at intermediate scales, between the observable sector supersymmetry breaking scale and the string scale. We point out a mechanism by which string scale unification may occur while producing a (lower) virtual unification scale independent of the location of the intermediate scale and the value of the string coupling. The apparent unification obtained by extrapolating low energy gauge couplings is not accidental when this mechanism is invoked; virtual unification is robust.

APA, Harvard, Vancouver, ISO, and other styles

14

Millon, Theodore, and Seth D. Grossman. "Psychotherapy unification." Journal of Psychotherapy Integration 18, no. 3 (September 2008): 359–62. http://dx.doi.org/10.1037/a0013492.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Kobayashi, T., J. Kubo, M. Mondragón, and G. Zoupanos. "Finite unification." Surveys in High Energy Physics 16, no. 1-2 (December 2001): 87–129. http://dx.doi.org/10.1080/01422410108225686.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Mäki, Uskali. "Explanatory Unification." Philosophy of the Social Sciences 31, no. 4 (December 2001): 488–506. http://dx.doi.org/10.1177/004839310103100402.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Gantmakher, Vsevolod F., and Mikhail V. Feigel'man. "Mesoscopic unification." Physics-Uspekhi 41, no. 2 (February 28, 1998): 105–8. http://dx.doi.org/10.1070/pu1998v041n02abeh000337.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Aczel, Amir D. "Dr. Unification." Scientific American 303, no. 5 (November 2010): 64–67. http://dx.doi.org/10.1038/scientificamerican1110-64.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Chankowski, P. H., A. N. Ioannisian, S. Pokorski, and J. W. F. Valle. "Neutrino Unification." Physical Review Letters 86, no. 16 (April 16, 2001): 3488–91. http://dx.doi.org/10.1103/physrevlett.86.3488.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Bartelborth, Thomas. "Explanatory Unification." Synthese 130, no. 1 (January 2002): 91–107. http://dx.doi.org/10.1023/a:1013827209894.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Siekmann, Jörg H. "Unification theory." Journal of Symbolic Computation 7, no. 3-4 (March 1989): 207–74. http://dx.doi.org/10.1016/s0747-7171(89)80012-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Ghilencea, Dumitru, Marco Lanzagorta, and Graham G. Ross. "Unification predictions." Nuclear Physics B 511, no. 1-2 (February 1998): 3–24. http://dx.doi.org/10.1016/s0550-3213(97)00664-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Ghilencea, Dumitru, Marco Lanzagorta, and Graham G. Ross. "Strong unification." Physics Letters B 415, no. 3 (December 1997): 253–62. http://dx.doi.org/10.1016/s0370-2693(97)01148-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Urban, Christian, Andrew M. Pitts, and Murdoch J. Gabbay. "Nominal unification." Theoretical Computer Science 323, no. 1-3 (September 2004): 473–97. http://dx.doi.org/10.1016/j.tcs.2004.06.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Chamseddine, Ali H., R. Arnowitt, and Pran Nath. "Supergravity unification." Nuclear Physics B - Proceedings Supplements 101, no. 1-3 (August 2001): 145–53. http://dx.doi.org/10.1016/s0920-5632(01)01501-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

DOVIER, AGOSTINO, ENRICO PONTELLI, and GIANFRANCO ROSSI. "Set unification." Theory and Practice of Logic Programming 6, no. 06 (October 16, 2006): 645–701. http://dx.doi.org/10.1017/s1471068406002730.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Berg, John L. "Unification standards." Computer Standards & Interfaces 14, no. 2 (March 1992): 91. http://dx.doi.org/10.1016/0920-5489(92)90051-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

JANSSON, PATRIK, and JOHAN JEURING. "Polytypic unification." Journal of Functional Programming 8, no. 5 (September 1998): 527–36. http://dx.doi.org/10.1017/s095679689800313x.

Full text

Abstract:

Unification, or two-way pattern matching, is the process of solving an equation involving two first-order terms with variables. Unification is used in type inference in many programming languages and in the execution of logic programs. This means that unification algorithms have to be written over and over again for different term types. Many other functions also make sense for a large class of datatypes; examples are pretty printers, equality checks, maps etc. They can be defined by induction on the structure of user-defined datatypes. Implementations of these functions for different datatypes are closely related to the structure of the datatypes. We call such functions polytypic. This paper describes a unification algorithm parametrised on the type of the terms, and shows how to use polytypism to obtain a unification algorithm that works for all regular term types.

APA, Harvard, Vancouver, ISO, and other styles

29

Langacker, Paul. "Grand unification." Scholarpedia 7, no. 10 (2012): 11419. http://dx.doi.org/10.4249/scholarpedia.11419.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Boddy, Rachel. "Frege’s Unification." History and Philosophy of Logic 40, no. 2 (October 4, 2018): 135–51. http://dx.doi.org/10.1080/01445340.2018.1518103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Siekmann, Jörg H. "Unification theory." Decision Support Systems 6, no. 4 (October 1990): 315–37. http://dx.doi.org/10.1016/0167-9236(90)90027-o.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Cheney, James. "Equivariant Unification." Journal of Automated Reasoning 45, no. 3 (December 22, 2009): 267–300. http://dx.doi.org/10.1007/s10817-009-9164-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Kapur, Deepak, David Musser, Paliath Narendran, and Jonathan Stillman. "Semi-unification." Theoretical Computer Science 81, no. 2 (April 1991): 169–87. http://dx.doi.org/10.1016/0304-3975(91)90189-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Kelley, S., Jorge L. Lopez, and D. V. Nanopoulos. "Yukawa unification." Physics Letters B 274, no. 3-4 (January 1992): 387–92. http://dx.doi.org/10.1016/0370-2693(92)92003-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Lee, Kyungmook. "Relations of Life and Unification and Unification-subculture." Institute of Humanities at Soonchunhyang University 41, no. 1 (March 30, 2022): 29–59. http://dx.doi.org/10.35222/ihsu.2022.41.1.29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Yamatsu, Naoki. "Gauge coupling unification in gauge–Higgs grand unification." Progress of Theoretical and Experimental Physics 2016, no. 4 (April 2016): 043B02. http://dx.doi.org/10.1093/ptep/ptw023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Tajuddin, M. "Einstein: Unification Theory and Unification of Basic Forces." American Journal of Physics and Applications 3, no. 3 (2015): 69. http://dx.doi.org/10.11648/j.ajpa.20150303.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Komendantskaya, E. "Unification neural networks: unification by error-correction learning." Logic Journal of IGPL 19, no. 6 (May 5, 2010): 821–47. http://dx.doi.org/10.1093/jigpal/jzq012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Otop, Jan. "E-unification with Constants vs. General E-unification." Journal of Automated Reasoning 48, no. 3 (August 21, 2010): 363–90. http://dx.doi.org/10.1007/s10817-010-9201-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

DAS, C. R., and LARISA LAPERASHVILI. "SEESAW SCALES AND STEPS FROM THE STANDARD MODEL TOWARDS SUPERSTRING-INSPIRED FLIPPED E6." International Journal of Modern Physics A 24, no. 32 (December 30, 2009): 6011–33. http://dx.doi.org/10.1142/s0217751x09047430.

Full text

Abstract:

Recently in connection with superstring theory and with an alternative nonsupersymmetric "Exceptionally Simple Theory of Everything," E8 and E6 unifications became very promising. In the present paper we have investigated a number of available paths from the Standard Model (SM) to the E6 unification, considering chains of flipped models following the extension of the SM, also a chain with a left–right symmetry. We have presented four examples including nonsupersymmetric and supersymmetric extensions of the SM and different contents of the Higgs bosons providing the breaking of the flipped SO(10) and SU(5) down to the SM. It was shown that the final unification E6× U (1) or E6 at the (Planck) GUT scale M SSG depends on the number of the Higgs boson representations considered in theory.

APA, Harvard, Vancouver, ISO, and other styles

41

Park, Hyoungbin. "Martha Nussbaum's Cosmopolitanism and Peace-Unification Education: Exploring the Possibilities of Unification Citizenship Education based on Unification Philosophy and Unification Psychology." Korean Association For Learner-Centered Curriculum And Instruction 21, no. 21 (November 15, 2021): 47–64. http://dx.doi.org/10.22251/jlcci.2021.21.21.47.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Jung, Woik, and Yonggeun Kim. "The Direction and Tasks of School Unification Education." Korean Society of Culture and Convergence 45, no. 11 (November 30, 2023): 813–26. http://dx.doi.org/10.33645/cnc.2023.11.45.11.813.

Full text

Abstract:

This study aims to explore the current reality of unification education and find out how to move toward proper unification education in order to find effective ways to increase the awareness of unification, especially among the younger generation. To achieve the goal of the study, the necessity of unification and unification education was investigated from a legal perspective, and the results of the unification consciousness survey targeting the whole nation and the school unification education survey targeting students were compared and analyzed. Through this, the tasks and directions of school unification education were presented. In order for unification education to stand right, the government (Ministry of Education), teachers, and students must all make efforts. The government shall secure class hours for unification education so that unification education can be carried out smoothly in schools, and shall operate training and workshops so that professional and new unification education methods can be carried out. In addition, teachers and students will have to feel that unification is a survival situation facing us and engage in learning.

APA, Harvard, Vancouver, ISO, and other styles

43

Choi, Janghyun. "The Need to Change the Perception of Unification Image and the Paradigm of Unification Education: Focusing on the Results of the Unification Consciousness Survey." Democracy and Peace Institute, Chosun University 6, no. 2 (December 31, 2023): 119–42. http://dx.doi.org/10.55082/jdp.2023.6.2.119.

Full text

Abstract:

According to a comparative analysis of the recent unification consciousness survey conducted by four unification-related organizations, including the Seoul National University Institute for Unification and Peace, the majority of the people prefer inter-Korean unification, the second phase of the national community unification plan, rather than the rigid unification goal of one country and one system. According to the survey, many people expect and are concerned about excessive unification costs, confusion from social and cultural differences, and conflicts from political and economic system differences in order to reach a unified state, the ultimate goal of the “National Community Unification Plan.” In the rapidly changing era of global diversification, I don't think there's a need to stick to the image of a unified state as a single state system. Many people prefer the image of inter-Korean union-style unification, which meets nationalist demands, pacifist demands, and pragmatic needs but does not have to worry about differences in unification costs, cultural differences, politics, and ideology. Therefore, it is important to present the easiest and most feasible image of unification and to reach social consensus. To this end, unification education must also change its paradigm. Existing unification education has developed a negative perception of unification by calculating its advantages and disadvantages on the premise of a single state, that is, an ultimate unified state, and reinforcing its image. Now, it is suggested that the goal of unification education should be to compare the issue of unification costs, socio-economic, cultural, and institutional differences between the two Koreas, and actively promote and educate the benefits of unification on the premise of the image of unification in the inter-Korean union method of peace and coexistence.

APA, Harvard, Vancouver, ISO, and other styles

44

Chongyan Zhang, Chongyan Zhang. "Development Process of Unification Education Policy: Focusing on University and Society." Korea Association for Public Value 6 (June 30, 2024): 55–60. http://dx.doi.org/10.53581/jopv.2023.6.1.55.

Full text

Abstract:

Purpose: Unification education is greatly influenced by policy depending on its target. This unification education policy has characteristics that vary depending on the target. Accordingly, the development process of the unification education policy was reviewed, focusing on universities and society. Method: This study first reviewed laws related to unification education policy. Next, we looked at the contents of unification education related to these laws. Based on this, the model of unification education was reviewed. Results: In order to increase the effectiveness of unification education policies targeting universities and social education, efforts are needed to analyze and present the characteristics of unification education in universities and society, and to develop unification education by reflecting the characteristics of individual entities involved. These efforts will converge into public value. Conclusion: In order to induce endogenous changes in a positive direction along with the sustainability of our society related to unification education, the results of unification education being developed in elementary and middle schools should be deepened through university and social education, and through this, the unification policy of our society will be improved. The formation of a bottom-up unification policy that allows this to be formed is required. To this end, various policy efforts will be needed to ensure that the currently developing university and social unification education is developed more actively.

APA, Harvard, Vancouver, ISO, and other styles

45

Oh, Ki-Sung. "An an Implication for Unification Scenario in Unification Education." KOREAN ELEMENTARY MORAL EDUCATION SOCIETY ll, no. 45 (August 2014): 209–38. http://dx.doi.org/10.17282/ethics.2014..45.209.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Jongheon Byeon. "The Challenge of Korean Unification and Adolescents' Unification Consciousness." Journal of Ethics 1, no. 117 (December 2017): 25–50. http://dx.doi.org/10.15801/je.1.117.201712.25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Jeon, il uk. "University Unification Research Institute Unification Education Program Status Analysis." JOURNAL OF PEACE STUDIES 22, no. 4 (December 31, 2021): 57–78. http://dx.doi.org/10.14363/kaps.2021.22.4.57.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Riazuddin. "Unification of electroweak and strong interactions without grand unification." Physical Review D 33, no. 9 (May 1, 1986): 2703–7. http://dx.doi.org/10.1103/physrevd.33.2703.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Tajuddin, M. "Einstein: Unification Theory and Unification of Basic Forces-II." American Journal of Physics and Applications 3, no. 5 (2015): 166. http://dx.doi.org/10.11648/j.ajpa.20150305.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Tajuddin, M. "Einstein: Unification Theory and Unification of Basic Forces-III." American Journal of Physics and Applications 3, no. 6 (2015): 190. http://dx.doi.org/10.11648/j.ajpa.20150306.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!