Results 11 to 20 of about 21,307,672 (156)
Modelling and verification of multiple UAV mission Using SMV [PDF]
, 2009 Presented at Formal Methods for Aeronautics, November 3, 2009, Eindhoven, NetherlandsModel checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite ...
Tsourdos, Antonios +3 more
core +8 more sources
Citizen_Petition_from_Daniel_F Kripke,_MD [PDF]
, 2016 The undersigned, Daniel F. Kripke, M.D., submits this Citizen Petition under the Federal Food, Drug & Cosmetic Act, 21 C.F.R. §§ 10.30, to request that the Commissioner of Food and Drugs take the following administrative actions with respect to the ...
Kripke, DF, Kripke, DF,
core +1 more source
STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED
Barekeng, 2014 Konsep koaljabar universal yang merupakan dualitas dari aljabar dapat dipandang sebagai suatu teori dalam sistem state based. Dalam kotak hitam (black boxes), automata dan struktur Kripke yang merupakan contoh sistem state-based, struktur koaljabar ...
Henry W. M. Patty
doaj +1 more source
Entre Merleau-Ponty, Lacan et Kripke : le(s) Descartes de Lyotard
Methodos, 2018 This contribution is an attempt to question the stakes of the reference to Descartes in the works of one of the most important representatives of the French post-structuralism at the end of the XXth century.
Claude Smith
doaj +1 more source
EXISTENCE REQUIREMENT, WORLD-INDEXED PROPERTIES, AND CONTINGENT APRIORI
Kriterion, 2022 The article is dedicated to the argument against the Existence Requirement provided by Takashi Yagisawa. We argue that the core of Yagisawa s argument – the Strong Iterability – cannot be inferred from the idea of contingent apriori (Kripke), and is ...
Oleh Bondar
doaj +1 more source
MS171: Interview with Margaret Kripke [PDF]
, 2014 An oral history interview with Margaret Kripke.
Kripke, Margaret, Ph.D. +1 more
core +1 more source
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
Nordic Wittgenstein ReviewNordic Wittgenstein Review Symposium on James R. Shaw’s Wittgenstein on Rules: Justification, Grammar, and Agreement. With contributions by James R. Shaw, Oskari Kuusela, Alex Miller, and Hannah Ginsborg.
James R. Shaw +3 more
doaj +1 more source
Comparison of Actigraphy and Polysomnography in a Sleep Centre Cohort
Journal of Sleep Research, EarlyView.MotionWatch 8 actigraphy correlated most strongly with PSG for total sleep time and showed modest group‐level bias, but wide individual limits of agreement precluded interchangeability. PLMS modified actigraphy‐PSG differences, while recording setting influenced actigraphy‐derived sleep continuity across home and inpatient recordings.
Panagis Drakatos +8 more
wiley +1 more source
Wittgenstein´s “Private Language Argument” According to Kripke
, 2012 Wittgenstein was a very important philosopher of the early twentieth century. One of his most important points was that which has been known as the Private Language Argument.
Nilsson, Kenny
core +2 more sources