Results 71 to 80 of about 416,627 (195)
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
Comparing inductive and deductive methodologies for design patterns identification and articulation [PDF]
, 2007 Design patterns offer a valuable format to communicate knowledge of successful design solutions to recurring problems. However, there is a lack of research into design patterns that differentiate the applicability of the proposed design solutions across ...
Jachna, Timothy, Schadewitz, Nicole
core
Deductionism assimilates nature to conceptual artifacts (models, equations), and tacitly holds that real physical systems are such artifacts. Some physical concepts represent properties of deductive systems rather than of nature.
Bruiger, Dan
core
Verification of the TESLA protocol in MCMAS-X [PDF]
, 2006 We present MCMAS-X, an extension of the OBDD-based model checker MCMAS for multi-agent systems, to explicit and deductive knowledge.
Lomuscio, A., Raimondi, F., Wozna, B.
core
Deductive Theories and Non-deductive Knowledge
I start by briefly considering three different epistemological conceptions associated with deductive theories. I then relate the conceptions to the debate about whether non-deductive knowledge of mathematical claims is possible. The hope is that getting clearer about the different types of deductive science sheds light on whether a mathematical ...
openaire +2 more sources
Logical Pluralism: Where the Conflict Really Lies [PDF]
Recent years have seen a surge of attention to the problem of logical pluralism; most of which has been a reaction to Beall and Restall’s account of logical pluralism as the existence of more than one equally correct semantic relation of logical ...
Haeri, Mohsen, Hosseini, Davood
core
Why economics should be a modest and reasonable science [PDF]
Unlike the methodological sciences such as mathematics and decision theory, which use the hypothetical-deductive method and may be fully expressed in complex mathematical models because their only truth criterion is logical consistency, the substantive ...
Bresser Pereira, Luiz Carlos
core
Multidisciplinary Journal of School Education, 2019 The primary intention of the presented paper is to contribute to the understanding of 1. what deductive-hypothetical reasoning is and 2. what deductive inference is, manifested in the ability to decode and learn words from context. The WCT - WORD CONTEXT
Iveta Kovalčíková +5 more
doaj
Deductive semiparametric estimation in Double-Sampling Designs with application to PEPFAR
, 2019 Non-ignorable dropout is common in studies with long follow-up time, and it can bias study results unless handled carefully. A double-sampling design allocates additional resources to pursue a subsample of the dropouts and find out their outcomes, which ...
Frangakis, Constantine +2 more
core