Увійти

Готові списки джерел за темами / Assertion abstraction / Статті в журналах

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Assertion abstraction.

Статті в журналах з теми "Assertion abstraction"

Автор: Grafiati

Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Assertion abstraction".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Uchevler, Bahram N., and Kjetil Svarstad. "Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions." International Journal of Reconfigurable Computing 2018 (July 10, 2018): 1–25. http://dx.doi.org/10.1155/2018/3276159.

Повний текст джерела

Анотація:

With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice. A reconfigurable hardware combines the flexibility of the software domain with the high performance of the hardware domain and provides a flexible life cycle management for the product with a lower cost. A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this artic

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Zheng, Desheng, Xiaoyu Li, Guowu Yang, Hai Wang, and Lulu Tian. "An assertion graph based abstraction algorithm in GSTE and Its application." Integration 63 (September 2018): 1–8. http://dx.doi.org/10.1016/j.vlsi.2018.03.009.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

AUGUSTON, M., and P. FRITZSON. "PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 06, no. 04 (1996): 609–40. http://dx.doi.org/10.1142/s0218194096000259.

Повний текст джерела

Анотація:

PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories. PARFORM AN is based on a precise model of target progra

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Revoy, Bert. "Jevons on measurement. Replay: The mathematisation of economics in the Jevonsonian theory." Recherches économiques de Louvain 64, no. 3 (1998): 353–56. http://dx.doi.org/10.1017/s0770451800012860.

Повний текст джерела

Анотація:

The article entitled, “Jevons on measurement: A comment” (Mosselmans [1998]), betrays a lack of comprehension of the Jevonsonian process of productive abstraction of numbers. This misapprehension is clearly apparent when B. Mosselmans wrongly confuses units for numbers. This especially furthers the circumvention of the Jevonsonian idea according to which the world is ruled by numbers.Utility is not a measurable magnitude, yet it is impossible to feature it in the theory of exchange? Jevons responds by the negative. In his view, it does exist a general theory concerning the mathematical express

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Alimi, Nejmeddine, Younes Lahbib, Mohsen Machhout, and Rached Tourki. "Functional Verification of Large-integers Circuits using a Cosimulation-based Approach." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 4 (2017): 2192. http://dx.doi.org/10.11591/ijece.v7i4.pp2192-2205.

Повний текст джерела

Анотація:

Cryptography and computational algebra designs are complex systems based on modular arithmetic and build on multi-level modules where bit-width is generally larger than 64-bit. Because of their particularity, such designs pose a real challenge for verification, in part because large-integer’s functions are not supported in actual hardware description languages (HDLs), therefore limiting the HDL testbench utility. In another hand, high-level verification approach proved its efficiency in the last decade over HDL testbench technique by raising the latter at a higher abstraction level. In this wo

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Menis, Susanna. "How to Write a Positivist Legal History: Lessons from the 18th and 19th Centuries English Jurists William Blackstone and James Fitzjames Stephen." Histories 1, no. 3 (2021): 169–83. http://dx.doi.org/10.3390/histories1030017.

Повний текст джерела

Анотація:

This paper is about the shaping of the law understood as a positivist enterprise. Positivist law has been the object of contentious debate. Since the 1960s, and with the surfacing of revisionist histories, it has been suggested that the abstraction of the doctrine of criminal law is due to its categorisation in early histories. However, it is argued here that positivism was hardly an intentional master plan of autocratic social control. Rather, it is important to recognise that historians do not provide a value-free recount of history. This paper examines this assertion by drawing on the writi

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Biro, Andrew. "Reading a water menu: Bottled water and the cultivation of taste." Journal of Consumer Culture 19, no. 2 (2017): 231–51. http://dx.doi.org/10.1177/1469540517717779.

Повний текст джерела

Анотація:

The market for bottled water is growing and increasingly segmented. How do we explain not just the willingness to pay for a substance (water) that is almost free but also the increasing discernment in a drink generally considered tasteless? We argue that bottled water market segmentation is a leading edge of processes of water commodification, associated with the crisis of Fordism and rise of consumerist capitalism, where the assertion of status through commodity consumption is increasingly necessary. The extensive Ray’s & Stark water menu is analyzed to show how the taste for bottled wate

Стилі APA, Harvard, Vancouver, ISO та ін.

8

van Rooij, Malou. "Carefully Constructed Yet Curiously Real: How Major American Animation Studios Generate Empathy Through a Shared Style of Character Design." Animation 14, no. 3 (2019): 191–206. http://dx.doi.org/10.1177/1746847719875071.

Повний текст джерела

Анотація:

Contemporary computer-animated films by the major American animation studios Pixar, Disney and DreamWorks are often described as evoking (extremely) emotional responses from their ever-growing audiences. Following Murray Smith’s assertion that characters are central to comprehending audiences’ engagement with narratives in Engaging Characters: Fiction, Emotion, and the Cinema (1995), this article points to a specific style of characterization as a possible reason for the overwhelming emotional response to and great success of these films, exemplified in contemporary examples including Inside O

Стилі APA, Harvard, Vancouver, ISO та ін.

9

GARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES, and MANUEL V. HERMENEGILDO. "Semantic code browsing." Theory and Practice of Logic Programming 16, no. 5-6 (2016): 721–37. http://dx.doi.org/10.1017/s1471068416000417.

Повний текст джерела

Анотація:

AbstractProgrammers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Harriger, Katy J. "In Defense of Cooper v. Aaron: Distinguishing among Judicial Supremacy Claims." Review of Politics 78, no. 3 (2016): 443–65. http://dx.doi.org/10.1017/s0034670516000346.

Повний текст джерела

Анотація:

AbstractIn the debate about the legitimacy of judicial supremacy, Cooper v. Aaron, the Little Rock desegregation case, is identified by both sides as critical to their argument. Defenders insist that Cooper exemplifies the need for a final authority in matters constitutional. Critics argue that the Court was wrong as a matter of democratic theory or empirical reality. In this article I argue that while it is true as a matter of empirical reality that the Court's interpretation is not the final word, the Court's assertion can be defended nonetheless. Relying on archival sources from the case, I

Стилі APA, Harvard, Vancouver, ISO та ін.

11

JONES, JUSTIN. "‘Acting upon our Religion’: Muslim women's movements and the remodelling of Islamic practice in India." Modern Asian Studies 55, no. 1 (2020): 40–74. http://dx.doi.org/10.1017/s0026749x1900043x.

Повний текст джерела

Анотація:

AbstractIn the last 15 years, India has witnessed the expression of a variety of new non-conformist religious practices performed by Muslim women. A range of vibrant campaigns has been pioneered by Muslim women's associations, asserting women's claims to hold and lead congregational prayers, enter and manage mosques, visit shrines, officiate Muslim marriages, and issue shari‘ah-based legal decisions. This article explores the twin questions of why these experimental remodellings of women's Islamic observance and leadership have been so pronounced in the Indian context compared with much of the

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Mac-Barango, D. O., and P. C. Nwogu. "Ranking of Variables Influencing Construction Project." WORLD JOURNAL OF FINANCE AND INVESTMENT RESEARCH 6, no. 1 (2022): 49–61. http://dx.doi.org/10.56201/wjfir.v6.no1.2022.pg49.61.

Повний текст джерела

Анотація:

Construction projects are successfully delivered when they are completed at targeted cost, time as well as meeting the required performance quality wise. The above assertion is often times more of an abstraction than reality. This research aims to identify several of those factors that inhibit project success with a view to ranking the degree of impact of these factors on project delivery time and consequently on success. The research using questionnaires as its instrument for data collection, obtains the personal data of the respondents as well as research components and other variables that

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Addie, Jean-Paul D. "Stuck inside the urban with the dialectical blues again: abstraction and generality in urban theory." Cambridge Journal of Regions, Economy and Society 13, no. 3 (2020): 575–92. http://dx.doi.org/10.1093/cjres/rsaa020.

Повний текст джерела

Анотація:

Abstract This article discusses how critical urban theory understands generalisation and particularity by unpacking the process of abstraction. It develops an urban interpretation of dialectics through the philosophy of internal relations to: (i) heuristically examine conceptual and political fissures within contemporary urban studies and (ii) critically recalibrate neo-Marxist planetary urban theorising. Examining the conceptual extension, levels of generality and vantage points of our abstractions can assist in constructively negotiating relations between urban difference and generality. The

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Ilina, Irina, and Andrey Klypin. "SCIENTIFIC AND TECHNOLOGICAL ADVANCEMENT OF THE RUSSIAN FEDERATION: CURRENT STATE AND PROSPECTS." Science Governance and Scientometrics 15, no. 4 (2020): 458–85. http://dx.doi.org/10.33873/2686-6706.2020.15-4.458-485.

Повний текст джерела

Анотація:

Introduction. The article is devoted to the study of the current state of the research and development sector in the Russian Federation during the transition from the first to the second stage of the implementation of the Strategy for the Scientific and Technological Development of the Russian Federation. In addition, the authors also prepare proposals for improving the state scientific and technical policies. Methods. This paper employs theoretical methods, including non-comparative and comparative analysis, cognitive synthesis, abstraction and concretization, systemic approach and structural

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Houlgate, Stephen. "Hegel's Critique of the Triumph of Verstand in Modernity." Hegel Bulletin 18, no. 01 (1997): 54–70. http://dx.doi.org/10.1017/s0263523200001191.

Повний текст джерела

Анотація:

In his lectures on the philosophy of history Hegel passes this famous judgement on the French Revolution. “Anaxagoras had been the first to say that nous governs the world; but only now did humanity come to recognize that thought should rule spiritual actuality. This was thus a magnificent dawn”. What first gave rise to discontent in France, in Hegel's view, were the heavy burdens that pressed upon the people and the government's inability to procure for the Court the means of supporting its luxury and extravagance. But soon the new spirit of freedom and enlightenment began to stir in men's mi

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Santiago, Amitha. "NURTURING ABSTRACTIONS OF THE NATION IN RELIGIO-CULTURAL IDENTITY ASSERTIONS AND SPACES OF GENEROSITY IN SUFI DARGHAS OF KARNATAKA." International Journal of Interreligious and Intercultural Studies 1, no. 1 (2018): 85–94. http://dx.doi.org/10.32795/ijiis.vol1.iss1.2018.33.

Повний текст джерела

Анотація:

Socio-political reality is often brought into being through performative acts. To say that religio-cultural identity stakes its claim on the socio-political through performative utterances is to also state that socio-political realities appear as effects of articulated ideology. It has been well acknowledged that socio-political ideology presents itself as if it were offering some ‘deeper, extra political truths’ of being and becoming that are constant. This brings forth a believing community, which functions as a stabilizing occurrence for these ‘deeper, extra political truths’ of being and b

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Fudge, Judy. "What Do We Mean by Law and Social Transformation?." Canadian journal of law and society 5 (1990): 47–70. http://dx.doi.org/10.1017/s082932010000171x.

Повний текст джерела

Анотація:

AbstractIn Canada the entrenchment of the Charter of Rights and Freedoms generated a good deal of debate about the possibility of using law in the struggle for social transformation. Although couched in general terms, the current debate is ultimately about the possibility of asserting liberal democratic legal rights in courts in order to transform existing relations of subordination and domination. Somewhat remarkably, the positive claim that litigating entrenched legal rights encourages social transformation tends to be made almost exclusively at the theoretical level. Theoretical possibiliti

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Dunning, David. "Get thee to a laboratory." Behavioral and Brain Sciences 34, no. 1 (2011): 18–19. http://dx.doi.org/10.1017/s0140525x10002530.

Повний текст джерела

Анотація:

Abstractvon Hippel & Trivers's central assertion that people self-deceive to better deceive others carries so many implications that it must be taken to the laboratory to be tested, rather than promoted by more indirect argument. Although plausible, many psychological findings oppose it. There is also an evolutionary alternative: People better deceive not through self-deception, but rather by not caring about the truth.

Стилі APA, Harvard, Vancouver, ISO та ін.

19

EKONG, JOSEPH T. "A Ratiocinative Study and Assessment of W. V. O. Quine’s “Criterion of Ontological Commitment”." International Journal of Philosophy 1, no. 1 (2022): 41–58. http://dx.doi.org/10.47941/ijp.1052.

Повний текст джерела

Анотація:

Purpose: This work has three main objectives: Firstly, it offers an elucidation of the notion of ontological commitment. Secondly, it assesses the adequacy of the criterion of ontological commitment for different languages. Thirdly, it offers some speculative and evaluative remarks regarding the significance of Quine’s criterion of ontological commitment. Many ontologists, within the analytic tradition, often appeal to Quine's criterion of ontological commitment, when debating whether an assertion or theory implies the existence of a certain entity. Regarding his goal in formulating this crite

Стилі APA, Harvard, Vancouver, ISO та ін.

20

RAMS, MICHAŁ, and KÁROLY SIMON. "Projections of fractal percolations." Ergodic Theory and Dynamical Systems 35, no. 2 (2013): 530–45. http://dx.doi.org/10.1017/etds.2013.45.

Повний текст джерела

Анотація:

AbstractIn this paper we study the radial and orthogonal projections and the distance sets of the random Cantor sets $E\subset { \mathbb{R} }^{2} $, which are called Mandelbrot percolation or percolation fractals. We prove that the following assertion holds almost surely: if the Hausdorff dimension of $E$ is greater than $1$ then the orthogonal projection to every line, the radial projection with every centre, and the distance set from every point contain intervals.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Howard, Paul. "Unions of well-ordered sets." Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 56, no. 1 (1994): 117–24. http://dx.doi.org/10.1017/s1446788700034753.

Повний текст джерела

Анотація:

AbstractIn Zermelo-Fraenkel set theory weakened to permit the existence of atoms and without the axiom of choice we investigate the deductive strength of five statements which make assertions about the cardinality of the union of a well-ordered collection of sets. All five of the statements considered are consequences of the axiom of choice.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Kim, Junyeol. "Does Frege Have a Metalinguistic Truth-Predicate in Begriffsschrift?" Canadian Journal of Philosophy 51, no. 3 (2021): 191–203. http://dx.doi.org/10.1017/can.2021.3.

Повний текст джерела

Анотація:

AbstractIn the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “$ p $” is equivalent to a nonsentential phrase like “the truth-value of the thought that $ p $.” In particular, this paper attempts to establish two points concerning this argumen

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Cooper, Alan, and Bernard R. Goldstein. "The Cult of the Dead and the Theme of Entry Into the Land." Biblical Interpretation 1, no. 3 (1993): 285–303. http://dx.doi.org/10.1163/156851593x00179.

Повний текст джерела

Анотація:

AbstractIn a number of biblical texts, including both prescriptive texts and narratives, the erection of stones, pillars, or altars commemorates entry into the land of Israel. The present paper is an investigation of the mythic and cultic basis for this action. It is suggested that the erection of the or together with accompanying ritual actions, may be traced to the Israelite ancestor cult. The underlying ritual pattern constitutes the ceremonial installation of the ancestors on the land, and manifests an assertion of ownership in perpetuity.

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Ambos-Spies, Klaus, Bjørn Kjos-Hanssen, Steffen Lempp, and Theodore A. Slaman. "Comparing DNR and WWKL." Journal of Symbolic Logic 69, no. 4 (2004): 1089–104. http://dx.doi.org/10.2178/jsl/1102022212.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Ware, Owen. "Accessing the Moral Law through Feeling." Kantian Review 20, no. 2 (2015): 301–11. http://dx.doi.org/10.1017/s1369415415000060.

Повний текст джерела

Анотація:

AbstractIn this article I offer a critical commentary on Jeanine Grenberg’s claim that, by the time of the second Critique, Kant was committed to the view that we only access the moral law’s validity through the feeling of respect. The issue turns on how we understand Kant’s assertion that our consciousness of the moral law is a ‘fact of reason’. Grenberg argues that all facts must be forced, and anything forced must be felt. I defend an alternative interpretation, according to which the fact of reason refers to the actuality of our moral consciousness.

Стилі APA, Harvard, Vancouver, ISO та ін.

26

WIELENBERG, ERIK J. "Sceptical theism and divine lies." Religious Studies 46, no. 4 (2010): 509–23. http://dx.doi.org/10.1017/s0034412510000247.

Повний текст джерела

Анотація:

AbstractIn this paper I develop a novel challenge for sceptical theists. I present a line of reasoning that appeals to sceptical theism to support scepticism about divine assertions. I claim that this reasoning is at least as plausible as one popular sceptical theistic strategy for responding to evidential arguments from evil. Thus, I seek to impale sceptical theists on the horns of a dilemma: concede that either (a) sceptical theism implies scepticism about divine assertions, or (b) the sceptical theistic strategy for responding to evidential arguments from evil fails. An implication of (a) i

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Hasty, Olga. "Memory, Consciousness, and Time in Nabokov's Lolita." KronoScope 4, no. 2 (2004): 225–38. http://dx.doi.org/10.1163/1568524042801400.

Повний текст джерела

Анотація:

AbstractIn his "Confession of a White Widowed Male," Humbert Humbert, the fictional narrator of Nabokov's Lolita, writes: "I am not concerned with so-called 'sex' at all." In the context of a narrative that centers on his pedophilia, it is difficult to take this assertion seriously. Yet if we do, we come to appreciate that Humbert's sexuality is emblematic of a distinctly modernist response to the perennial question of how to counter temporal passage and the inevitable loss attendant on it. Nabokov's configuration of memory, consciousness, and time in Lolita shows how passage itself might be e

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Gostanian, Anthony. "How the FDA Can Overturn Wyeth v. Levine." American Journal of Law & Medicine 36, no. 1 (2010): 249–69. http://dx.doi.org/10.1177/009885881003600106.

Повний текст джерела

Анотація:

AbstractIn Wyeth v. Levine, the Supreme Court held that an FDA-approved drug label did not preempt state tort law. Although the Supreme Court did not defer to the FDA's position, language in the opinion, and Breyer's concurring opinion, suggest that the FDA may be able to abrogate Wyeth v. Levine using the administrative law doctrine originally announced in Chevron v. Natural Resources Defense Council. That is, the FDA may claim deference to its position in a future case involving the same legal questions. This Note explains how Wyeth impacts the Chevron doctrine and identifies how the FDA ass

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Rüede, Christian. "Transfinite dependent choice and ω-model reflection". Journal of Symbolic Logic 67, № 3 (2002): 1153–68. http://dx.doi.org/10.2178/jsl/1190150155.

Повний текст джерела

Анотація:

AbstractIn this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences among the introduced subsystems. In particular we prove the equivalence of Σ11 transfinite dependent choice and Π21 reflection on ω-models of Σ11-DC.

Стилі APA, Harvard, Vancouver, ISO та ін.

30

McCall, Grant S. "Altitude Adjustments: More on Didima Gorge and New Directions in Rock Art Research." American Antiquity 77, no. 4 (2012): 813–17. http://dx.doi.org/10.7183/0002-7316.77.4.813.

Повний текст джерела

Анотація:

AbstractIn their comment, Challis et al. (this issue) find fault with several aspects of my earlier paper on rock paintings in the Didima Gorge, South Africa (McCall 2010). In this reply, I acknowledge that they may be correct in certain assertions concerning rock shelter altitudes. I argue, however, that the significance of these “altitude adjustments” for my broader arguments concerning variability in San rock art site use patterns is minor. I close by considering more substantive challenges for the use of quantitative analytical methods in the examination rock art assemblage composition and

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Engelmann, Sebastian. "Konflikt als Movens – Chancen für Schule, Religion und Demokratie." Zeitschrift für Pädagogik und Theologie 71, no. 2 (2019): 131–41. http://dx.doi.org/10.1515/zpt-2019-0018.

Повний текст джерела

Анотація:

AbstractIn times of antidemocratic resentment and rising societal diversity, harmony and unity become questionable as the normative foundation for modern approaches to education. This article makes plausible the assertion that educational thought needs to change one of its basic theoretical assump- tions: the overall perception of conflicts. In a first step, the article introduces the concept of the “School Republic”, summarizing the ideas of Hermann Lietz and then its advancements by Minna Specht. In a second step, the article ties this specific pedagogical arrangement to recent political the

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Torres-Martínez, Sergio. "Translating Wittgenstein: A semiotic translation of the Tractatus." Semiotica 2020, no. 233 (2020): 91–123. http://dx.doi.org/10.1515/sem-2017-0111.

Повний текст джерела

Анотація:

AbstractIn this article, I introduce a semiosic translation of Wittgenstein’s Tractatus Logico-Philosophicus. The theoretical framework is Semiosic Translation, a theory that combines Peirce’s interpretive semiotics and Wittgenstein’s notions of rule-following and complex-fact. I seek to show that this approach is particularly adroit at the task of making the sometimes cryptic philosophy of Ludwig Wittgenstein accessible to readers. To support this assertion, I compare and analyze several canonical translations of the Tractatus with possible semiosic translations. The results show that Wittgen

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Goldberg, Sanford C. "Social Epistemic Normativity: The Program." Episteme 17, no. 3 (2020): 364–83. http://dx.doi.org/10.1017/epi.2019.54.

Повний текст джерела

Анотація:

AbstractIn this paper I argue that epistemically normative claims regarding what one is permitted or required to believe (or to refrain from believing) are sometimes true in virtue of what we owe one another as social creatures. I do not here pursue a reduction of these epistemically normative claims to claims asserting one or another (ethical or social) interpersonal obligation, though I highlight some resources for those who would pursue such a reduction.

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Studlar, Donley T., and Richard E. Matland. "The Growth of Women's Representation in the Canadian House of Commons and the Election of 1984: A Reappraisal." Canadian Journal of Political Science 27, no. 1 (1994): 53–79. http://dx.doi.org/10.1017/s0008423900006211.

Повний текст джерела

Анотація:

AbstractIn the 1980s, Canada went from having one of the lowest levels of female representation in its national legislature to having one of the highest among countries with single-member district electoral systems. The authors examine the common assertion that this increase was largely due to the surprising Progressive Conservative landslide in the 1984 federal election. By simulating plausible alternative election results they find there would have been a substantial increase in the number of women in the parliament, regardless of how the vote split in 1984. The simulations are followed by p

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Pinciroli, F., G. Pozzi, and C. Combi. "Managing Different Time Granularities of Clinical Information by an Interval-based Temporal Data Model." Methods of Information in Medicine 34, no. 05 (1995): 458–74. http://dx.doi.org/10.1055/s-0038-1634623.

Повний текст джерела

Анотація:

Abstract:In the field of databases, time management at different levels of granularity has been an issue for several years, for instance when dealing with clinical information from different databases using different time units, dealing with natural language expressions, or when dealing with temporal uncertainty. A temporal data model is proposed to manage the temporal aspect of data, presented at various and mixed levels of granularity. The concept of temporal assertions shapes the entire temporal information. The model provides a temporal dimension to the data by using intervals that can be

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Strączek, Bogumił. "Beyond Contagion of Violence: Passionate Love and Empathy in the Thought of René Girard and Max Scheler." Human Studies 45, no. 1 (2021): 157–72. http://dx.doi.org/10.1007/s10746-021-09613-3.

Повний текст джерела

Анотація:

AbstractIn his last book René Girard depicts apocalypse as disclosure of mimetic violence that is world-ending. He claims that in times of violent pandemic we are not called to fight for this world, but follow Christ in his withdrawal from the world. However, such an assertion creates serious theoretical and practical issues for the effort to heal interhuman relations from the virus of mimetic hostility. I argue for the importance of restoring a foundational distinction between passionate love and acquisitive mimetic desire from the forgotten regions of Girard’s oeuvre. With Max Scheler’s inte

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Vidalie, Julien, Michel Batteux, Faïda Mhenni, and Jean-Yves Choley. "Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies." Applied Sciences 12, no. 12 (2022): 5880. http://dx.doi.org/10.3390/app12125880.

Повний текст джерела

Анотація:

In recent decades, there has been a significant increase in systems’ complexity, leading to a rise in the need for more and more models. Models created with different intents are written using different formalisms and give diverse system representations. This work focuses on the system engineering domain and its models. It is crucial to assert a critical system’s compliance with its requirements. Thus, multiple models dedicated to these assertions are designed, such as safety or multi-physics models. As those models are independent of the architecture model, we need to provide means to assert

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Niewolny, Kim L. "Boundary politics and the social imaginary for sustainable food systems." Agriculture and Human Values 38, no. 3 (2021): 621–24. http://dx.doi.org/10.1007/s10460-021-10214-0.

Повний текст джерела

Анотація:

AbstractIn this essay, Kim Niewolny, current President of AFHVS, responds to the 2020 AFHVS Presidential Address given by Molly Anderson. Niewolny is encouraged by Anderson’s message of moving “beyond the boundaries” by focusing our gaze on the insurmountable un-sustainability of the globalized food system. Anderson recommends three ways forward to address current challenges. Niewolny argues that building solidarity with social justice movements and engendering anti-racist praxis take precedence. This work includes but is not limited to dismantling the predominance of neoliberal-fueled technoc

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Lindhardt, Martin. "‘If you are saved you cannot forget your parents’: Agency, Power, and Social Repositioning in Tanzanian born-again Christianity." Journal of Religion in Africa 40, no. 3 (2010): 240–72. http://dx.doi.org/10.1163/157006610x530330.

Повний текст джерела

Анотація:

AbstractIn much of the literature on African Pentecostalism, conversion has been associated with a striving for modernist individualist identities and a strategy for legitimising social, generational rupture. This article contributes to the existing scholarly field by shedding light on the ways in which urban Tanzanian born-again Christians address generational antagonisms and position themselves in relation to elder generations. Drawing on anthropological discussions of the concept of agency and focusing particular attention on the ways in which a specific kind of agency is cultivated through

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Miller, Vincent J. "An Abyss at The Heart of Mediation: Louis-Marie Chauvet's Fundamental Theology of Sacramentality." Horizons 24, no. 2 (1997): 230–47. http://dx.doi.org/10.1017/s0360966900017151.

Повний текст джерела

Анотація:

AbstractIn his imposing work, Symbol and Sacrament, Louis-Marie Chauvet creatively explores the implications of symbolic mediation for the whole of Christian theology. Central to Chauvet's “fundamental theology of sacramentality” is the assertion that there is an inescapable absence within any mediation of presence. With this critical principle, he attempts to counter ecclesial triumphalism. Despite this critical concern, Chauvet's impressive project suffers from a naive optimism concerning symbolic mediation. Religious symbols are misused not only by those who assume direct, unmediated presen

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Thomas, K. Bailey. "Intersectionality and Epistemic Erasure: A Caution to Decolonial Feminism." Hypatia 35, no. 3 (2020): 509–23. http://dx.doi.org/10.1017/hyp.2020.22.

Повний текст джерела

Анотація:

AbstractIn this article I caution that María Lugones's critiques of Kimberlé Crenshaw's intersectional theory posit a dangerous form of epistemic erasure, which underlies Lugones's decolonial methodology. This essay serves as a critical engagement with Lugones's essay “Radical Multiculturalism and Women of Color Feminisms” in order to uncover the decolonial lens within Crenshaw's theory of intersectionality. In her assertion that intersectionality is a “white bourgeois feminism colluding with the oppression of Women of Color,” Lugones precludes any possibility of intersectionality operating as

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Nolan, Brian. "Computing the meaning of the assertive speech act by a software agent." Journal of Computer-Assisted Linguistic Research 1, no. 1 (2017): 20. http://dx.doi.org/10.4995/jclr.2017.7786.

Повний текст джерела

Анотація:

This paper examines the nature of the assertive speech act of Irish. We examine the syntactical constructional form of the assertive to identify its constructional signature. We consider the speech act as a construction whose meaning as an utterance depends on the framing situation and context, along with the common ground of the interlocutors. We identify how the assertive speech act is formalised to make it computer tractable for a software agent to compute its meaning, taking into account the contribution of situation, context and a dynamic common ground. Belief, desire and intention play a

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Watson, Jada, and Lori Burns. "Resisting exile and asserting musical voice: the Dixie Chicks are ‘Not Ready to Make Nice’." Popular Music 29, no. 3 (2010): 325–50. http://dx.doi.org/10.1017/s0261143010000231.

Повний текст джерела

Анотація:

AbstractIn 2003, Natalie Maines of the Dixie Chicks denounced President George W. Bush from a concert stage in London, England leading to serious career consequences for the country music trio. In response to three years of public criticism and radio boycotts, the Dixie Chicks released their single ‘Not Ready to Make Nice’, with an accompanying video critiquing the oppressive institutional power that sought to silence them. Through an analysis of music, text and images in this song, this paper explores how the Dixie Chicks responded to the backlash and regained their voice in the music industr

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Hunt, Julian, Antonio Sanchez, Win Tadd, and Sinead O'Mahony. "Organizational culture and performance in health care for older people: a systematic review." Reviews in Clinical Gerontology 22, no. 3 (2012): 218–34. http://dx.doi.org/10.1017/s0959259812000044.

Повний текст джерела

Анотація:

AbstractIn recent years, there has been a growing understanding that organizational culture is an important characteristic that may influence the effectiveness of health care provision, not least for the growing numbers of older people needing care. The purpose of this paper is to review the literature to uncover any reliable evidence supporting the assertion that organizational culture in health care organizations is related, in terms of activity and outcome, to their performance. Searches identified 20 relevant papers published between 1993 and 2010. A number of studies reviewed claims to ha

Стилі APA, Harvard, Vancouver, ISO та ін.

45

McKenna, Richard J., and Mark Campbell Williams. "Paradigms and Approaches to Learning Preparing for the Third Millenium." Journal of Management & Organization 3, no. 1 (1997): 30–50. http://dx.doi.org/10.1017/s1833367200005988.

Повний текст джерела

Анотація:

AbstractIn this paper, we contend that business education could benefit from attention to a field of study concerned with the way in which adults learn, and their motivation as students. We warrant the assertion that, although university business faculty tend to present a conventional wisdom set in the traditional paradigm(s) of their discipline areas, there is growing need for managers and academics to reject the concept of certainty, and to be open to conflicting values, change, uncertainty, and continuous learning. Conformity to a central paradigm requires that any ideas that stray from the

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Grove, DeeAnn. "White Voters, A Key Piece of the Puzzle: Education, Race, and Electoral Politics." PS: Political Science & Politics 51, no. 03 (2018): 517–22. http://dx.doi.org/10.1017/s1049096518000100.

Повний текст джерела

Анотація:

ABSTRACTIn 2004, Jennifer L. Hochschild challenged political scientists to give greater attention to education policy and politics. Although it challenges Hochschild’s interpretation of the politics of school vouchers, this article demonstrates her central assertion that the era of school desegregation continues to impact American politics. Internal campaign strategy documents from presidential election campaigns reveal how the two parties have arrived at different school voucher positions because of the different challenges each party faced as a result of the battle over school desegregation.

Стилі APA, Harvard, Vancouver, ISO та ін.

47

McKenna, Richard J., and Mark Campbell Williams. "Paradigms and Approaches to Learning Preparing for the Third Millenium." Journal of the Australian and New Zealand Academy of Management 3, no. 1 (1997): 30–50. http://dx.doi.org/10.5172/jmo.1997.3.1.30.

Повний текст джерела

Анотація:

AbstractIn this paper, we contend that business education could benefit from attention to a field of study concerned with the way in which adults learn, and their motivation as students. We warrant the assertion that, although university business faculty tend to present a conventional wisdom set in the traditional paradigm(s) of their discipline areas, there is growing need for managers and academics to reject the concept of certainty, and to be open to conflicting values, change, uncertainty, and continuous learning. Conformity to a central paradigm requires that any ideas that stray from the

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Martínez-Bascuñán, Máriam. "Misgivings on Deliberative Democracy: Revisiting the Deliberative Framework." World Political Science 12, no. 2 (2016): 195–218. http://dx.doi.org/10.1515/wps-2016-0006.

Повний текст джерела

Анотація:

AbstractIn the last few years, the Deliberative Framework has become the main model in the consolidation of democratic processes. Deliberative theorists argue that deliberation helps to promote the democratic level of our societies, and they have good reasons to support this view. This article, however, is critical with some of these claims, questioning the widespread assumption of an existing connection between deliberation and democracy. With this objective in mind, we will examine the following three questions: Who deliberates? Under what conditions does deliberation take place? What is the

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Steenbuch, Johannes Aakjær. "From abstraction to unsaying: how the Eunomian controversy changed Gregory of Nyssa’s aphairetic ethics to an apophatic ethics." Vox Patrum 68 (December 16, 2018): 149–64. http://dx.doi.org/10.31743/vp.3339.

Повний текст джерела

Анотація:

In early Christian thinking negative theology was often applied for polemical purposes, as a means of asserting the Christian distinction between God and everything else. Only later did negative theology develop into a philosophical and contemplative method. But even then it often kept a polemical function. This was the case for Gregory of Nyssa who applied forms of negative theology in his spiritual and exegetical works as well as in his polemical works, especially those against Eunomius. Using a distinction between aphairetic and apophatic kinds of negative theology, it can be argued that G

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Bond, Alan H. "A predicate logic approach to CAD/CAM modeling." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 6, no. 1 (1992): 39–58. http://dx.doi.org/10.1017/s0890060400002936.

Повний текст джерела

Анотація:

An approach to CAD and CAM modeling and to the design of CAD/CAM systems is presented. Models of the product and of the process are represented by logical assertions in a common logical language. CAD/CAM functions are represented by the application of logical inference rules, which correspond to the derivation of new information as well as to actions. This allows all the different kinds of model and specification used in design and manufacturing to be represented in a computer in a common form. It therefore allows the representation of constraints and rules connecting any aspects of design and

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!