Robustness analysis of systems' safety through a new notion of input‐to‐state safety
Sign Up to like & getrecommendations! Published in 2019 at "International Journal of Robust and Nonlinear Control"
DOI: 10.1002/rnc.4482
Abstract: In this paper, we propose a new robustness notion that is applicable for certifying systems' safety with respect to external disturbance signals. The proposed input‐to‐state safety notion allows us to certify systems' safety in the… read more here.
Keywords: notion; safety; input state; systems safety ... See more keywords
Relation algebras and groups
Sign Up to like & getrecommendations! Published in 2018 at "Algebra universalis"
DOI: 10.1007/s00012-018-0505-0
Abstract: Generalizing results of Jónsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The notion of a pair below the identity element is readily… read more here.
Keywords: algebra; relation algebras; relation; notion ... See more keywords
The Random Members of a Π10${\Pi }_{1}^{0}$ Class
Sign Up to like & getrecommendations! Published in 2017 at "Theory of Computing Systems"
DOI: 10.1007/s00224-017-9824-3
Abstract: We examine several notions of randomness for elements in a given Π10${\Pi }_{1}^{0}$ class P$\mathcal {P}$. Such an effectively closed subset P$\mathcal {P}$ of 2ωmay be viewed as the set of infinite paths through the… read more here.
Keywords: class; measure; members class; random members ... See more keywords
The Tensor Completion Functor in Categories of Exponential MR-Groups
Sign Up to like & getrecommendations! Published in 2018 at "Algebra and Logic"
DOI: 10.1007/s10469-018-9482-9
Abstract: The notion of an exponential R-group, where R is an arbitrary associative ring with unity, was introduced by R. Lyndon. A. G. Myasnikov and V. N. Remeslennikov refined this notion by adding an extra axiom.… read more here.
Keywords: tensor completion; notion; exponential groups; functor categories ... See more keywords
Comment on “The Notion of Locality in Relational Quantum Mechanics”
Sign Up to like & getrecommendations! Published in 2019 at "Foundations of Physics"
DOI: 10.1007/s10701-019-00303-w
Abstract: A recent paper [P. Martin-Dussaud, C. Rovelli, F. Zalamea, arXiv:1806.08150] has given a lucid treatment of Bell's notion of local causality within the framework of the relational interpretation of quantum mechanics. However, the authors went… read more here.
Keywords: notion locality; notion; quantum mechanics; comment notion ... See more keywords
In Defense of the Notion of Truthlikeness
Sign Up to like & getrecommendations! Published in 2017 at "Journal for General Philosophy of Science"
DOI: 10.1007/s10838-016-9343-y
Abstract: The notion of truthlikeness (verisimilitude, approximate truth), coined by Karl Popper, has very much fallen into oblivion, but the paper defends it. It can be regarded in two different ways. Either as a notion that… read more here.
Keywords: truthlikeness; notion truthlikeness; defense notion; science ... See more keywords
Non-Tethered Understanding and Scientific Pluralism
Sign Up to like & getrecommendations! Published in 2021 at "Journal for General Philosophy of Science"
DOI: 10.1007/s10838-020-09547-x
Abstract: I examine situations in which we say that different subjects have ‘different’, ‘competing’, or ‘conflicting understandings’ of a phenomenon. In order to make sense of such situations, we should turn our attention to an often… read more here.
Keywords: philosophy; notion; different competing; non tethered ... See more keywords
Quantum conference
Sign Up to like & getrecommendations! Published in 2018 at "Quantum Information Processing"
DOI: 10.1007/s11128-018-1931-9
Abstract: A notion of quantum conference is introduced in analogy with the usual notion of a conference that happens frequently in today’s world. Quantum conference is defined as a multiparty secure communication task that allows each… read more here.
Keywords: notion; conference; quantum conference;
A note on Horwich’s notion of grounding
Sign Up to like & getrecommendations! Published in 2018 at "Synthese"
DOI: 10.1007/s11229-018-1780-1
Abstract: Horwich (Deflationism and paradox, Oxford University Press, Oxford, pp 75–84, 2005 ) proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s (J Philos 72:690–716, 1975 )… read more here.
Keywords: notion grounding; paradox; horwich notion; notion ... See more keywords
An ecumenical notion of entailment
Sign Up to like & getrecommendations! Published in 2019 at "Synthese"
DOI: 10.1007/s11229-019-02226-5
Abstract: Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single… read more here.
Keywords: system; ecumenical notion; notion entailment; notion ... See more keywords
In the Space of Reasonable Doubt
Sign Up to like & getrecommendations! Published in 2019 at "Synthese"
DOI: 10.1007/s11229-019-02488-z
Abstract: This paper explores ‘reasonable doubt’ as an enlightening notion to think of reasoning and decision-making generally, beyond the judicial domain. The paper starts from a decision-theoretic understanding of the notion, whereby it can be defined… read more here.
Keywords: decision; doubt; paper; reasonable doubt ... See more keywords