Results 21 to 30 of about 605,840 (270)
Arguing as Trying to Show That a Target-claim is Correct
In Giving Reasons, Bermejo-Luque rightly claims that a normative model of the speech act of argumentation is more defensible if it rests on an internal aim that is constitutive of the act of arguing than if it rests, as she claims existing normative ...
David Hitchcock
doaj +1 more source
Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm
In this paper, we present a comprehensive proof of the correctness and soundness of our previously published algorithm for transforming partially ordered multisets (Pomsets) into labeled transition systems (LTS).
Asma Bezza +3 more
doaj +1 more source
Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain.
Peng Zhou +6 more
doaj +1 more source
ΜΕΤΡΟΝ, ΜΕΤΡΙΟΝ, ΜΕΤΡΙΟΤΗΣ. Early Greek Concepts of Measure
Submitted article presents a variety of the concept of measure in the early Greek investigations of nature, development of ethical and political structures, fundamental norms of the arts and crafts, and conclusively, searches for understanding of the ...
Aleksandra Mathiesen
doaj +1 more source
POLITICAL CORRECTNESS IN BUSINESS COMMUNICATION [PDF]
In a world increasingly trying to erase past inequalities and discriminations, words must communicate intent as much as ideas. We live in politically correct cultures, where unspoken rules of respectability govern conduct in cross-cultural interactions ...
Anamaria-Mirabela Pop, Monica-Ariana Sim
doaj
Structural and Symbolic Information in the Context of the General Theory of Information
The general theory of information, which includes syntactic, semantic, pragmatic, and many other special theories of information, provides theoretical and practical tools for discerning a very large diversity of different kinds, types, and classes of ...
Mark Burgin, Rainer Feistel
doaj +1 more source
Program Repair by Stepwise Correctness Enhancement [PDF]
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect ...
Nafi Diallo, Wided Ghardallou, Ali Mili
doaj +1 more source
Attention Correctness in Neural Image Captioning
Attention mechanisms have recently been introduced in deep learning for various tasks in natural language processing and computer vision. But despite their popularity, the "correctness" of the implicitly-learned attention maps has only been assessed ...
Liu, Chenxi +3 more
core +1 more source
Political Correctness and the Obfuscation of Politics
During the PC spasm last year I was talking regularly with friends on the board of this magazine, with colleagues at Wesleyan planning for cultural studies there, and with a group of left academics from colleges and universities in southern ...
Richard Ohmann
doaj +1 more source
ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter +17 more
wiley +1 more source

