Results 1 to 10 of about 343,581 (85)
Constructing categories and setoids of setoids in type theory [PDF]
Logical Methods in Computer Science, 2014 In this paper we consider the problem of building rich categories of setoids, in standard intensional Martin-L\"of type theory (MLTT), and in particular how to handle the problem of equality on objects in this context.
Erik Palmgren, Olov Wilander
doaj +4 more sources
Irrelevant natural extension for choice functions [PDF]
, 2019 We consider coherent choice functions under the recent axiomatisation proposed by De Bock and De Cooman that guarantees a representation in terms of binary preferences, and we discuss how to define conditioning in this framework. In a multivariate context, we propose a notion of marginalisation, and its inverse operation called weak (cylindrical ...
Van Camp, Arthur, Miranda, Enrique
openaire +3 more sources
Frontiers in Neuroscience, 2023 IntroductionThe electroencephalographic (EEG) based on the motor imagery task is derived from the physiological electrical signal caused by the autonomous activity of the brain.
Meng Zhang +4 more
doaj +1 more source
Irrelevant and independent natural extension for sets of desirable gambles
Journal of Artificial Intelligence Research, 2012 The results in this paper add useful tools to the theory of sets of desirable gambles, a growing toolbox for reasoning with partial probability assessments. We investigate how to combine a number of marginal coherent sets of desirable gambles into a joint set using the properties of epistemic irrelevance and independence.
Cooman, Gert de +1 more
openaire +4 more sources
A new statistical solution to the generality problem [PDF]
, 2018 The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In
Baumann +13 more
core +1 more source
Frontiers in Psychology, 2014 It is a truism that conceptual understanding of a hypothesis is required for its empirical investigation. However the concept of recursion as articulated in the context of linguistic analysis has been perennially confused.
Jeffrey eWatumull +4 more
doaj +1 more source
Credal Networks under Epistemic Irrelevance [PDF]
, 2017 A credal network under epistemic irrelevance is a generalised type of Bayesian network that relaxes its two main building blocks. On the one hand, the local probabilities are allowed to be partially specified.
De Bock, Jasper
core +2 more sources
ORGANICITY OF THE PHENOMENON OF CULTURE AS AN EXPLICATION OF VITALITY
Antropologìčnì Vimìri Fìlosofsʹkih Doslìdžen', 2019 Purpose. The aim of the article is to clarify the content of the concept of culture as an explication of vitality within the philosophy of life and its further modifications in current problems of contemporary.
D. B. Svyrydenko +2 more
doaj +1 more source
Some solutions for one of the cosmological constant problems [PDF]
, 2016 We propose several covariant models which may solve one of the problems in the cosmological constant. One of the model can be regarded as an extension of sequestering model. Other models could be regarded as extensions of the covariant formulation of the
69330, Nojiri, Shin’ichi
core +2 more sources
New Higgs physics from the lattice [PDF]
, 2007 We report the first results from our comprehensive lattice tool set to explore non-perturbative aspects of Higgs physics in the Standard Model. We demonstrate in Higgs-Yukawa models that Higgs mass lower bounds and upper bounds can be determined in ...
Fodor, Zoltan +4 more
core +2 more sources