Log in

Relevant bibliographies by topics / Formal coherence / Journal articles

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

Journal articles on the topic 'Formal coherence'

Author: Grafiati

Published: 10 September 2021

Last updated: 29 July 2025

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 'Formal coherence.'

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

Nedeljkovic, Adam. "One example of formal coherence." Theoria, Beograd 61, no. 3 (2018): 39–53. http://dx.doi.org/10.2298/theo1803039n.

Full text

Abstract:

The aim of this paper is to present one case of probabilistic formalization of our intuitive notion of coherence. To that end, we will have to provide answers for the questions, what are all relevant relations between beliefs, as far as coherence is concerned, and of course, what is intuitive coherence. After we settle those questions, we will try to show how, by applying certain probabilsitic theories of confirmation to those relations, we can arrive at a basic probabilistic theory of coherence. We will point out certain problems of that theory. At the end of the paper, we will sum up the dif

APA, Harvard, Vancouver, ISO, and other styles

2

HAGHANY, A., M. MAZROOEI, and M. R. VEDADI. "PURE PROJECTIVITY AND PURE INJECTIVITY OVER FORMAL TRIANGULAR MATRIX RINGS." Journal of Algebra and Its Applications 11, no. 06 (2012): 1250107. http://dx.doi.org/10.1142/s0219498812501071.

Full text

Abstract:

Over a formal triangular matrix ring we study pure injective, pure projective and locally coherent modules. Some applications are then given, in particular the (J-)coherence of the ring [Formula: see text] is characterized whenever BM is flat.

APA, Harvard, Vancouver, ISO, and other styles

3

Glazkov, Aleksey. "Situational Model of the Narrative Text Coherence in Modern Russian." Scientific Research and Development. Modern Communication Studies 13, no. 4 (2024): 21–27. http://dx.doi.org/10.12737/2587-9103-2024-13-4-21-27.

Full text

Abstract:

The article raises the issue of formal description of narrative text coherence. Coherence, as one of the essential characteristics of discourse, requires a formal description. The study proposed to solve this problem for narrative texts using situation modelling. It is defined a set of principles allowed to construct the coherent textual group, such as optimality, motivation, stability, declared variability. Based on these principles, it was determined a set of maxims of the narrative text coherence. It is shown that a sufficient condition of coherence of narrative text is inclusion of all exp

APA, Harvard, Vancouver, ISO, and other styles

4

Amaya, Amalia. "Formal models of coherence and legal epistemology." Artificial Intelligence and Law 15, no. 4 (2007): 429–47. http://dx.doi.org/10.1007/s10506-007-9050-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Amperawaty, Anis, and Warsono Warsono. "The Use of Cohesive Devices to Achieve Coherence in the Background Section of the Students' Formal Writing." English Education Journal 9, no. 1 (2018): 34–40. http://dx.doi.org/10.15294/eej.v9i1.27325.

Full text

Abstract:

A good writing is one that is cohesive and coherence. Cohesive and coherence are essential textual components to create organized and comprehensiveness of the texts. Coherence refers to the quality of being meaningful or we can say that coherence is when a text hangs together. The research has been intended to find cohesion and coherence devices in the background sections of the studentsâ€™ formal writing. The sources were 10 background sections of the studentsâ€™ final projects from undergraduate students at Universitas Negeri Semarang. The qualitative analysis was performed to explore the re

APA, Harvard, Vancouver, ISO, and other styles

6

Meyer, Rosalee K., Caroline Palmer, and Margarita Mazo. "Affective and Coherence Responses to Russian Laments." Music Perception 16, no. 1 (1998): 135–50. http://dx.doi.org/10.2307/40285782.

Full text

Abstract:

We investigated the effects of formal characteristics (musical phrase structure) and nonverbal vocal gestures (gasps characteristic of crying) on affective and coherence responses to Russian laments by listeners who were familiar or unfamiliar with Russian village music. Laments were presented in semantically compatible or incompatible phrase orders with gasps present or absent. Listeners rated laments on an affective response scale (sad/happy) and a musical coherence scale (phrases follow well/phrases follow poorly). All listeners judged laments as sadder when gasps were present than absent,

APA, Harvard, Vancouver, ISO, and other styles

7

Ratti, Giovanni Battista, and Jorge Luis Rodríguez. "On Coherence as a Formal Property of Normative Systems." Revus, no. 27 (December 11, 2015): 131–46. http://dx.doi.org/10.4000/revus.3291.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Venier, Veniero. "Husserl and Non-Formal Ethics." Phenomenology and Mind, no. 23 (2022): 66–78. http://dx.doi.org/10.17454/pam-2304.

Full text

Abstract:

From its very beginnings, Husserl’s philosophical life was characterised by the interweaving between ethical reflection and logical-argumentative rigour. It is not just a matter of the constant efforts that were put into a theoretical formulation that was always aimed at constant formal coherence, but also and above all, of the progressive association of a rigorous ethics with the value of the individual-personal dimension. The phenomenological analysis of the values – intertwined with those of perceptive-intellective experiences, feeling and volition – gradually find a common denominator that

APA, Harvard, Vancouver, ISO, and other styles

9

Dolgorukov, Vitaly V., and Vera A. Shumilina. "What Is Formal Philosophy?" Epistemology & Philosophy of Science 58, no. 1 (2021): 235–41. http://dx.doi.org/10.5840/eps202158120.

Full text

Abstract:

The paper focuses on the review of current literature on formal philosophy. Special attention is paid to the review of the book «Introduction to Formal Philosophy» [Hansson, Hendricks, 2018]. The book is a consistent introduction to the problems of formal philosophy, a research tradition that relies on the precise mathematical tools in order to study traditional philosophical problems. The methods of formal philosophy are successfully applied not only to the problems of ontology, epistemology and philosophy of language but also relevant for the problems of ethics, axiology and social philosoph

APA, Harvard, Vancouver, ISO, and other styles

10

Maikova, Tatyana. "Certain aspects of translation of special texts as a semantic whole (on the example of translation of the Russian-language political text)." Litera, no. 12 (December 2020): 227–33. http://dx.doi.org/10.25136/2409-8698.2020.12.34499.

Full text

Abstract:

This article on the example of specific language material analyzes the difficulties causes by the need to translate the text as a semantic whole, as well as outline the methods to avoid them. The texts is viewed from two perspectives &ndash; as a coherent fragment of speech, and as a speech of particular style. The author carries out comparative analysis of the forms of expression inherent to the texts of scientific and formal business styles in the Russian and English languages; highlights the elements relevant for translation; and classifies them based on nature of their correlation. The

APA, Harvard, Vancouver, ISO, and other styles

11

Gilden, David, Eric Hiris, and Randolph Blake. "The Informational Basis of Motion Coherence." Psychological Science 6, no. 4 (1995): 235–40. http://dx.doi.org/10.1111/j.1467-9280.1995.tb00598.x.

Full text

Abstract:

Observers judged the motion coherence of randomdot cinematograms Theoretical models were developed for coherence matches between cinematograms constructed from different angle distributions Evidence is presented that coherence matches are made on the basis of the Shannon-Wiener information entropy We show how the formal structure of information theory may be used to predict perceived pattern goodness when the underlying distributions of pattern alternatives are implicit in the judgment task

APA, Harvard, Vancouver, ISO, and other styles

12

Gijsbers, Victor. "Is a coherence theory of understanding possible?" THEORIA. An International Journal for Theory, History and Foundations of Science 30, no. 1 (2015): 53. http://dx.doi.org/10.1387/theoria.11733.

Full text

Abstract:

Coherence is a measure of how much our beliefs hang together. Understanding is achieved when we see that something is not just a brute, isolated fact. This suggests that it might be possible to develop a coherence theory of understanding, which is what we attempt to do in this article using several formal measures of coherence. However, it turns out that a coherence theory runs into trouble with the asymmetry of understanding. We identify four difficulties and give suggestions for how they could be solved. These solutions all point away from coherence and towards a rather different notion, uni

APA, Harvard, Vancouver, ISO, and other styles

13

Zhu, Yifei. "Norm coherence for descent of level structures on formal deformations." Journal of Pure and Applied Algebra 224, no. 10 (2020): 106382. http://dx.doi.org/10.1016/j.jpaa.2020.106382.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Pong, Fong, and Michel Dubois. "Formal verification of complex coherence protocols using symbolic state models." Journal of the ACM 45, no. 4 (1998): 557–87. http://dx.doi.org/10.1145/285055.285057.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Nedeljkovic, Adam. "Reliability profile of an information source: The most basic version." Theoria, Beograd 63, no. 1 (2020): 107–21. http://dx.doi.org/10.2298/theo2001107n.

Full text

Abstract:

The aim of this paper is an attempt at analyses and reconciliation of some prima facie confronted theories of reliability in the context of formal theories of coherence. Formal coherentists attempted to show that there is an epistemologically interesting connection between coherence of an information set and reliability of information sources. Amongst these authors there are divisions and differences concerning the nature of coherence, as well as the nature of reliability. On the one side, we have before us probabilistic coherentists who support a statistical understanding of reliability. On t

APA, Harvard, Vancouver, ISO, and other styles

16

De Pascale, Stefano, and Stefania Marzo. "Lexical coherence in contemporary Italian: a lectometric analysis." Sociolinguistica 37, no. 1 (2023): 145–66. http://dx.doi.org/10.1515/soci-2022-0027.

Full text

Abstract:

Abstract This paper explores the theoretical question of linguistic coherence by investigating lexical variation in contemporary Italian. In order to tackle issues regarding the coherence of lexical choice, variation is investigated with methods from lexical lectometry, which approaches the structure of language varieties (i.e. lects) by studying aggregate-level lexical distances between them. Based on uniformity measures, as introduced by Geeraerts et al. (1999), we have calculated the internal and external uniformity of spoken and written traditional standard Italian (represented by the acad

APA, Harvard, Vancouver, ISO, and other styles

17

Romashchuk, Alexander, and Valeria Lukianova. "The Effect of Coherence Level and Assumption Form on the Wason Selection Task Solution." Психология. Журнал Высшей школы экономики 21, no. 2 (2024): 366–86. http://dx.doi.org/10.17323/1813-8918-2024-2-366-386.

Full text

Abstract:

The Wason selection task is designed as a refutation attitude and based on the K. Popper principle of falsificationism. The numerous studies have revealed that specific forms of the task are solved better than abstract ones. However, researchers explain this phenomenon differently. The aim of the study is to introduce and explain the better solution effect by varying the coherence level and the assumption form of selection task conditions. The notion of “coherence” is introduced in the theory-theory concept approach to denote the connection between two concepts, as well as between the attribut

APA, Harvard, Vancouver, ISO, and other styles

18

Kumsa, Diribe Makonene, and Gudina Terefe Tucho. "The Impact of Formal and Informal Institutions on ART Drug Adherence." Journal of the International Association of Providers of AIDS Care (JIAPAC) 18 (January 1, 2019): 232595821984541. http://dx.doi.org/10.1177/2325958219845419.

Full text

Abstract:

A successful antiretroviral therapy (ART) drug adherence is achieved when patients follow their prescribed regimen. This is determined by patient’s motivation that is influenced by resources associated with the patient, society, and relevant institutions. The aim of this study is to assess the impact of formal and informal actors on patients’ ART drug adherence. A qualitative study approach was conducted through face-to-face in-depth interviews of HIV-infected patients and key informants. The analysis was guided by a salutogenic model focusing on generalized resistance resources and a sense of

APA, Harvard, Vancouver, ISO, and other styles

19

AnderBois, Scott, and Daniel Altshuler. "Coordination, coherence and A’ingae clause linkage." Semantics and Linguistic Theory 1 (December 29, 2022): 793. http://dx.doi.org/10.3765/salt.v1i0.5331.

Full text

Abstract:

This paper examines a particular type of clause linkage (‘bridging’) in A’ingae, an en-dangered isolate spoken in Amazonian Ecuador and Colombia.We propose a formalcharacterization of its meaning (to our knowledge the first formal account for any language)that relies crucially on two SDRT coherence relations: NARRATION and BACKGROUND.We motivate this characterization with textual data and elicited data from context-relativefelicity judgments, and propose to derive it from independently observable facts aboutprosody, coordination, and anaphora in the language

APA, Harvard, Vancouver, ISO, and other styles

20

Hazbei, Morteza, and Carmela Cucuzzella. "Coherence of interior and exterior formal qualities in parametrically designed buildings." International Journal of Design Engineering 10, no. 1 (2021): 10. http://dx.doi.org/10.1504/ijde.2021.10035556.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Hazbei, Morteza, and Carmela Cucuzzella. "Coherence of interior and exterior formal qualities in parametrically designed buildings." International Journal of Design Engineering 10, no. 1 (2021): 10. http://dx.doi.org/10.1504/ijde.2021.113249.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Alqahtani, Zainah. "The impact of the linguistic link in the construction of the text an applied study on some Quranic verses in the light of modern linguistics." Journal of Umm Al-Qura University for Language Sciences and Literature, no. 30 (December 15, 2022): 153–66. http://dx.doi.org/10.54940/ll34920994.

Full text

Abstract:

Linguistic interrelationship is one of the most important relationships that function on the cohesion and coherence of the text. The linguists dealt with these conjunctions. and relationships and explained it in detail when they are analyzing the textual discourse. In this research, the researcher dealt with the apparent formal interrelationships, referential interrelationships, and contextual moral interrelationships. These relationships are among the most prominent linguistic interrelationships that work on the coherence and cohesion of Quranic text.

APA, Harvard, Vancouver, ISO, and other styles

23

Yassin MUHAMMAD, Amal. "TEXTUAL AND LINGUISTIC CONSISTENCY IN GRAMMATICAL CONSIDERATION - PART AMMA AND MODEL." RIMAK International Journal of Humanities and Social Sciences 05, no. 01 (2023): 813–31. http://dx.doi.org/10.47832/2717-8293.21.48.

Full text

Abstract:

This research seeks to identify the analysis of the Qur’anic chapters in a general part from several aspects, the first of which is the grammatical aspect, the linguistic aspect, as well as the statement of the semantic aspects of textual coherence, as the efforts of ancient and modern scholars, and the books of commentators, were used, and textual coherence was defined, and some rules were inferred. Which linguists and grammarians have established in understanding the Quranic text. The researchers concluded that the Qur’anic verses in Juz Amma are distinguished by an amazing coherence between

APA, Harvard, Vancouver, ISO, and other styles

24

Solntseva, E. S. "Contextually Determined Coherence as a Backbone to Discourse Typology." Professional Discourse & Communication 7, no. 1 (2025): 9–33. https://doi.org/10.24833/2687-0126-2025-7-1-9-33.

Full text

Abstract:

The diversity of discourse types encountered in linguistics presents a significant challenge to establishing a universally applicable classification system. This difficulty underscores the need to refine existing approaches to discourse typologization. The article addresses this gap by developing a comprehensive typology of discourses grounded in the concept of contextually determined coherence. The typology is built upon the coherent connections discernible in discourses, with a specific focus on such formative contexts as thematic topic, authorial agency, communicative intention, mode of for

APA, Harvard, Vancouver, ISO, and other styles

25

Austen-Smith, David, and William H. Riker. "Asymmetric Information and The Coherence of Legislation: A Correction." American Political Science Review 84, no. 1 (1990): 243–45. http://dx.doi.org/10.2307/1963641.

Full text

Abstract:

In the September 1987 issue of this Review, we developed a game-theoretic model of committee or legislative decision making, showing the extent to which members may have incentives to share, or conceal, information. Because the formal analysis and statement of results for this model were in error, we offer this correction.

APA, Harvard, Vancouver, ISO, and other styles

26

Cheng, Albert. "Do Personnel Policies Matter for Organizational Mission Coherence? A Public School Test." Review of Public Personnel Administration 36, no. 4 (2016): 347–69. http://dx.doi.org/10.1177/0734371x15587981.

Full text

Abstract:

Public administration theory suggests that building mission coherence within an organization is important for its effectiveness. Personnel policies may influence the capacity to foster mission coherence. Through hiring or dismissal, managers could compose a staff of workers who match with the organizational mission and abide by its associated norms and values. Policies that limit the manager’s influence over personnel may have the opposite effect. This article empirically tests this link between personnel policies and mission coherence within the U.S. public schools system. Ordinary least squa

APA, Harvard, Vancouver, ISO, and other styles

27

Fong Pong and M. Dubois. "Formal automatic verification of cache coherence in multiprocessors with relaxed memory models." IEEE Transactions on Parallel and Distributed Systems 11, no. 9 (2000): 989–1006. http://dx.doi.org/10.1109/71.879780.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Hall, Rosalie, Joy Lizada, Maria Helen Dayo, Corazon Abansi, Myra David, and Agnes Rola. "To the last drop: the political economy of Philippine water policy." Water Policy 17, no. 5 (2015): 946–62. http://dx.doi.org/10.2166/wp.2015.150.

Full text

Abstract:

This paper examines the conflicts arising from the layered legal treatment, fragmentation and multiplicity of institutions involved in Philippine water governance. Using a thematic analysis of national legislation, a survey of 299 water managers in 10 provinces, and five cases illustrating local contestations, the paper tracks the diversification of formal institutional stakeholders which have been found to lack coherence and inter-agency connectivity. Water managers are not grounded in policy shifts, have little understanding of formal water rights and settle local conflicts with little relia

APA, Harvard, Vancouver, ISO, and other styles

29

Georgiev, Danko D. "Time–Energy Uncertainty Relation in Nonrelativistic Quantum Mechanics." Symmetry 16, no. 1 (2024): 100. http://dx.doi.org/10.3390/sym16010100.

Full text

Abstract:

The time–energy uncertainty relation in nonrelativistic quantum mechanics has been intensely debated with regard to its formal derivation, validity, and physical meaning. Here, we analyze two formal relations proposed by Mandelstam and Tamm and by Margolus and Levitin and evaluate their validity using a minimal quantum toy model composed of a single qubit inside an external magnetic field. We show that the ℓ1 norm of energy coherence C is invariant with respect to the unitary evolution of the quantum state. Thus, the ℓ1 norm of energy coherence C of an initial quantum state is useful for the c

APA, Harvard, Vancouver, ISO, and other styles

30

WHITTALL, ARNOLD. "‘Unbounded Visions’: Boulez, Mallarmé and Modern Classicism." Twentieth-Century Music 1, no. 1 (2004): 65–80. http://dx.doi.org/10.1017/s1478572204000064.

Full text

Abstract:

Pli selon pli is Boulez’s richest encounter with Mallarmé. As a ‘portrait’ of the poet which sets three of his sonnets, it can be associated not only with other composers – Ravel, Debussy – who set Mallarmé, but also with the poet’s own views on music, and his radical yet tradition-conscious formal practices. Structural and poetic aspects of the fourth movement of the work, ‘Improvisation III’, are examined in detail, highlighting Boulez’s increasing concern with matters of formal coherence. This suggests a strengthening resistance to modernism as fragmentation and the embrace of a modern clas

APA, Harvard, Vancouver, ISO, and other styles

31

Antonio, Juliano Desiderato, and Fernanda Trombini Rahmen Cassim. "Coherence relations in academic spoken discourse." Linguistica 52, no. 1 (2012): 323–36. http://dx.doi.org/10.4312/linguistica.52.1.323-336.

Full text

Abstract:

According to Rhetorical Structure Theory, implicit propositions emerge from the combination of pieces of text which hang together. Implicit propositions have received various labels as coherence relations, discourse relations, rhetorical relations or relational propositions. When two portions of a text hold a relation, the addressee of the text may recognize the connection even without the presence of a formal sign as a conjunction or a discourse marker. In this paper we claim that some intrinsic spoken discourse phenomena like paraphrasing, repetition, correction and parenthetical insertion h

APA, Harvard, Vancouver, ISO, and other styles

32

Fiske, Susan T. "Mind the Gap: In Praise of Informal Sources of Formal Theory." Personality and Social Psychology Review 8, no. 2 (2004): 132–37. http://dx.doi.org/10.1207/s15327957pspr0802_6.

Full text

Abstract:

Theory-making can be taught and learned. New theories aim to fill a gap in existing explanations. Although mathematical statements are privileged elsewhere, social psychology–s impactful theories tend to be verbal, perhaps because of the arbitrary scales of our variables. Good theories posit causal relations, attempt coherence, form a good narrative, aim for parsimony, are testable, prove fertile, and solve problems. Theories' sources can be intellectual, personal, group, or worldview. As long as the theory is stated logically, any source can be heuristic.

APA, Harvard, Vancouver, ISO, and other styles

33

Nasiri, Dr Rohollah, Prof Dr Muayad Mahdi Al-Nashi, and Mustafa Khalaf Awaid. "Lexical consistency in the Holy Quran for economic verses: A textual study." Thi Qar Arts Journal 2, no. 42 (2023): 159–86. http://dx.doi.org/10.32792/tqartj.v2i42.434.

Full text

Abstract:

This research deals with a linguistic study represented by the lexical coherence of the selected economic verses. Linguistics of the text is one of the most prominent linguistic sciences that has taken upon itself the task of studying the text, and has dealt with the text as a whole structure and not an arbitrary pavement of words and sentences. The task assigned to text linguistics is to link the text and its components to external elements through a set of textual criteria proposed by de Bo Grand. These criteria came to encompass all definitions that dealt with the text in its diversity, and

APA, Harvard, Vancouver, ISO, and other styles

34

Schallert, Oliver. "Number fission from a formal and functional perspective." Zeitschrift für Sprachwissenschaft 43, no. 1 (2024): 115–45. http://dx.doi.org/10.1515/zfs-2024-2004.

Full text

Abstract:

Abstract Modal verbs in German show phonologically unconditioned umlaut in the pres.pl versus pres.sg whose functional motivation is unclear. Based on a large sample of dialectological data, I explore the distribution of this umlaut as well as other irregularization strategies like contractions and/or consonant mutations in different paradigm cells. My observations point to the conclusion that these facets of irregularity are morphomic in that they serve no other function than signaling inflectional class coherence. A promising approach to capture these complex patterns of stem allomorphy is I

APA, Harvard, Vancouver, ISO, and other styles

35

Majeed, Areej Kareem, and Khansaa' Ghazi Al Nuaymi. "The Impact of Varying of Structural & Formal Urban Types on the Coherence of Elements of Dense Urban Fabric." Journal of Engineering 20, no. 3 (2023): 1–21. http://dx.doi.org/10.31026/j.eng.2014.03.12.

Full text

Abstract:

Planning for a city with human identity considers the needs of human being that exist in the traditional cities where it was so easy creating place there, on the other hand, modern cities refuse these values and reduce the human characters of urban fabric elements , and the searching for the concept of " Urban Coherence " considers the knowledge about urban theory, especially Morphological attitudes finding three sides of making the coherence of dense urban fabric which are " Functional Complementarily , Formal Complementarily , Contextual complementarily “and the differentiation of thes

APA, Harvard, Vancouver, ISO, and other styles

36

Hidayati, Dini, Leroy Holman Siahaan, Novi Andriani, and Firsta Malyda Putri. "The Enhancement of Students’ Speaking Skills through Project-Based Learning in Non-Formal Education." Journal of English Education and Teaching 8, no. 3 (2024): 552–68. https://doi.org/10.33369/jeet.8.3.552-568.

Full text

Abstract:

This study examines how Project-Based Learning (PBL) improves speaking skills in Paket C students at PKBM Kota Bekasi, an Indonesian non-formal education institution. This research aims to design and deploy customised PBL materials for these children and evaluate their effectiveness in boosting student involvement, communication, and speaking proficiency. To assess PBL's impact, the study uses mixed methods, including qualitative and quantitative methods. Fluency, coherence, and pronunciation improvements are assessed pre- and post-intervention to acquire quantitative data. Student interviews,

APA, Harvard, Vancouver, ISO, and other styles

37

Zhao, Yiqiang, Boning Shi, Qizhi Zhang, Yidong Yuan, and Jiaji He. "Research on Cache Coherence Protocol Verification Method Based on Model Checking." Electronics 12, no. 16 (2023): 3420. http://dx.doi.org/10.3390/electronics12163420.

Full text

Abstract:

This paper analyzes the underlying logic of the processor’s behavior level code. It proposes an automatic model construction and formal verification method for the cache consistency protocol with the aim of ensuring data consistency in the processor and the correctness of the cache function. The main idea of this method is to analyze the register transfer level (RTL) code directly at the module level and variable level, and extract the key modules and key variables according to the code information. Then, based on key variables, conditional behavior statements are retrieved from the code, and

APA, Harvard, Vancouver, ISO, and other styles

38

Lascarides, Alex, and Matthew Stone. "Discourse coherence and gesture interpretation." Gesture 9, no. 2 (2009): 147–80. http://dx.doi.org/10.1075/gest.9.2.01las.

Full text

Abstract:

In face-to-face conversation, communicators orchestrate multimodal contributions that meaningfully combine the linguistic resources of spoken language and the visuo-spatial affordances of gesture. In this paper, we characterise this meaningful combination in terms of the COHERENCE of gesture and speech. Descriptive analyses illustrate the diverse ways gesture interpretation can supplement and extend the interpretation of prior gestures and accompanying speech. We draw certain parallels with the inventory of COHERENCE RELATIONS found in discourse between successive sentences. In both domains, w

APA, Harvard, Vancouver, ISO, and other styles

39

Saripi, Samid, and Slamet Asari. "EVALUATING THE EFFECTIVENESS OF PBL IN ENHANCING SPEAKING SKILLS IN NON-FORMAL EDUCATION." English Review: Journal of English Education 12, no. 3 (2024): 1311–24. https://doi.org/10.25134/erjee.v12i3.11166.

Full text

Abstract:

This study examines the impact of Project-Based Learning (PBL) on enhancing speaking skills among Paket C students at Pusat Kegiatan Belajar Masyarakat (PKBM) Husnan Limboto, a non-formal educational institution in Indonesia. The research adopts a mixed-methods approach, integrating both qualitative and quantitative methods to evaluate the effectiveness of Project-Based Learning (PBL) in enhancing speaking skills in non-formal education settings. This approach ensures a comprehensive understanding of the phenomena by combining numerical data with contextual insights, the study developed and ev

APA, Harvard, Vancouver, ISO, and other styles

40

Leach, Tania. "System Reform: The Ever-Elusive Quest—An Australian Study of How System Middle Leaders’ Role Enactment Influences the Attainment of Policy Coherence." Education Sciences 14, no. 6 (2024): 596. http://dx.doi.org/10.3390/educsci14060596.

Full text

Abstract:

Within an educational context, the current aim of policy translation is to achieve policy coherence by strategically and structurally aligning components, enabling whole system reform. While acknowledging the importance of this coherence conceptualisation, the current literature perspective primarily emphasises message conveyance, and lacks a dimension that identifies policy coherence as the result of how individuals, including middle leaders, interpret and translate policy into actions, both individually and collectively. System middle leaders occupy a unique position within organisational st

APA, Harvard, Vancouver, ISO, and other styles

41

Kapoor, Hemangee K., Praveen Kanakala, Malti Verma, and Shirshendu Das. "Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors." Journal of Supercomputing 65, no. 2 (2013): 771–96. http://dx.doi.org/10.1007/s11227-012-0865-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Piotrovskaya, Larisa А. "Where Does an Interesting Expository Text Begin?" Journal of Psycholinguistic, no. 4 (December 23, 2020): 76–90. http://dx.doi.org/10.30982/2077-5911-2020-46-4-76-90.

Full text

Abstract:

The article provides a description of the general mechanism of text-based interest formation in expository texts. It is based on the psychological research and the linguistic analysis. The authors of textbooks use various linguistic means to increase the emotiogenicity of expository texts. The interest is activated by an incongruence between one’s prediction about an event and the actual event. So, the means of interest evocation affect the psychological mechanism of probabilistic forecasting. They also overcome the contextual predictability of expository text while deploying it. For instance,

APA, Harvard, Vancouver, ISO, and other styles

43

GALLERSDÖRFER, RAINER, MATTHIAS JARKE, and MATTHIAS NICOLA. "THE ADR REPLICATION MANAGER." International Journal of Cooperative Information Systems 08, no. 01 (1999): 15–45. http://dx.doi.org/10.1142/s0218843099000034.

Full text

Abstract:

ADR (Atomic Delayed Replication) is a controllable replication manager implemented on top of commercial distributed relational databases. ADR's goal is to enable various well-defined trade-offs between database coherence, throughput and response time in large database networks, e.g. for telecom applications. By combining a strategy for distributed database design with a specific replication protocol, ADR preserves the ACID properties with a controlled relaxation of coherence between primary and secondary copies. We first discuss formal characteristics of ADR, and present the implementation tec

APA, Harvard, Vancouver, ISO, and other styles

44

Ganzer, Jordi, Natalia Criado, Maite Lopez-Sanchez, Simon Parsons, and Juan A. Rodriguez-Aguilar. "A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment." Journal of Artificial Intelligence Research 77 (July 19, 2023): 1021–86. http://dx.doi.org/10.1613/jair.1.14409.

Full text

Abstract:

In this paper we propose a new model to represent human debates and methods to obtain collective conclusions from them. This model overcomes two drawbacks of existing approaches. First, our model does not assume that participants agree on the structure of the debate. It does this by allowing participants to express their opinion about all aspects of the debate. Second, our model does not assume that participants’ opinions are rational, an assumption that significantly limits current approaches. Instead, we define a weaker notion of rationality that characterises coherent opinions, and we consi

APA, Harvard, Vancouver, ISO, and other styles

45

Djoudi, Brahim, Chafia Bouanaka, and Nadia Zeghib. "Formal Specification of Non-Functional Properties of Context-Aware Systems." International Journal of Organizational and Collective Intelligence 12, no. 2 (2022): 1–31. http://dx.doi.org/10.4018/ijoci.286175.

Full text

Abstract:

During the recent years, there is an increasing demand for software systems that dynamically adapt their behavior at run-time in response to changes in user preferences, execution environment, and system requirements, being thus context-aware. Authors are referring here to requirements related to both functional and non-functional aspects of system behavior since changes can also be induced by failures or unavailability of parts of the software system itself. To ensure the coherence and correctness of the proposed model, all relevant properties of system entities are precisely and formally des

APA, Harvard, Vancouver, ISO, and other styles

46

Frölich, Thomas, F. F. Bevier, A. Babakhani, et al. "Updating the descriptive biopsychosocial approach to fit into a formal person-centered dynamic coherence model - Part II: Applications and some more basics." European Journal for Person Centered Healthcare 4, no. 3 (2016): 557. http://dx.doi.org/10.5750/ejpch.v4i3.1213.

Full text

Abstract:

There is an undeniable difference of approaches in science and humanities. Any model that claims to unify these different approaches must prove to be in accordance with both the objectivistic and the subject-oriented thinking. In the following article we first check our models applicability in two areas that belong to our individual research expertise: biochemistry (TF) and narratology (DSM). Then we try to understand how – be it on a microscopic, e. g. biochemical, be it on a macroscopic body and mind level – distinct coherences manage to survive in a partially or mostly random environment. A

APA, Harvard, Vancouver, ISO, and other styles

47

Kordela, Marzena. "Systemowość aksjologiczna prawa." Przegląd Prawa i Administracji 104 (October 19, 2016): 91–104. http://dx.doi.org/10.19195/0137-1134.104.6.

Full text

Abstract:

AXIOLOGICAL COHERENCE OF LAWLaw, qualified as a system, is characterized as such not only due to formal and content relations but also due to axiological relations. The assumption of legislator’s rationality predetermines that by establishing legal norms the legislator is guided by a cohesive, hierarchical and relatively stable system of values axiological rationality. By introducing a given value into a system of law the legislator makes it a value in legal force with all the consequences, e.g. one that regulations of a inferior legal force may not be in disagreement with it. Legal values the

APA, Harvard, Vancouver, ISO, and other styles

48

Minati, Gianfranco. "Nonclassical Systemics of Quasicoherence: From Formal Properties to Representations of Generative Mechanisms. A Conceptual Introduction to a Paradigm-Shift." Systems 7, no. 4 (2019): 51. http://dx.doi.org/10.3390/systems7040051.

Full text

Abstract:

In this article, we consider how formal models and properties of emergence, e.g., long-range correlations, power laws, and self-similarity are usually platonically considered to represent the essence of the phenomenon, more specifically, their acquired properties, e.g., coherence, and not their generative mechanisms. Properties are assumed to explain, rather than represent, real processes of emergence. Conversely, real phenomenological processes are intended to be approximations or degenerations of their essence. By contrast, here, we consider the essence as a simplification of the phenomenolo

APA, Harvard, Vancouver, ISO, and other styles

49

Sales, Philip. "THE CONTRIBUTION OF LEGISLATIVE DRAFTING TO THE RULE OF LAW." Cambridge Law Journal 77, no. 3 (2018): 630–35. http://dx.doi.org/10.1017/s0008197318000624.

Full text

Abstract:

AbstractDrafters of legislation occupy an important position of constitutional significance, involving the translation of political will into legal form. They help clarify and refine the instructions from politicians and create statutory schemes which are internally coherent and have external coherence with wider legal and constitutional values. They begin the process of disciplining and refining political will through application of constitutional reason, which is then continued at the stage of interpretation of statutes by the courts. Drafters of legislation thus contribute to the formal rul

APA, Harvard, Vancouver, ISO, and other styles

50

Weltman, David, and Martin Upchurch. "The ideal of non-coherence in the World Bank’s social capital reforms." Journal of Language and Politics 9, no. 1 (2010): 50–73. http://dx.doi.org/10.1075/jlp.9.1.03wel.

Full text

Abstract:

This paper presents an analysis of a World Bank document representing a version of the new “Social Capital” approach of International Financial Institutions (IFIs). This stance involves a rhetorical reorientation away from a much criticized unilateral approach to the poor indebted countries and to a more bi-lateral and participatory attitude. Analysis suggests that this “post-ideological” posture is reflected in the text in the form of a copious rhetoric of “complex differentiation”. This consists of characterizing the world in the abstract terms of multiple independent factors which work agai

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!