Results 21 to 30 of about 13,787 (204)
Arguing as Trying to Show That a Target-claim is Correct
Theoria, 2011 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
Journal of Communications Software and SystemsIn 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
Sensors, 2019 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
POLITICAL CORRECTNESS IN BUSINESS COMMUNICATION [PDF]
Annals of the University of Oradea: Economic Science, 2021 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
ΜΕΤΡΟΝ, ΜΕΤΡΙΟΝ, ΜΕΤΡΙΟΤΗΣ. Early Greek Concepts of Measure
Ethics in Progress, 2014 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
Structural and Symbolic Information in the Context of the General Theory of Information
Information, 2017 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]
Electronic Proceedings in Theoretical Computer Science, 2016 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
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye +33 more
wiley +1 more source
On the Bringer–Chabanne EPIR protocol for polynomial evaluation
Journal of Mathematical Cryptology, 2012 Extended private information retrieval (EPIR) was defined by Bringer, Chabanne, Pointcheval and Tang at CANS 2007 and generalized by Bringer and Chabanne at AFRICACRYPT 2009.
Chee Yeow Meng +2 more
doaj +1 more source