. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail (...) the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

Right after the elaboration and success of general relativity (GR), alternative theories for gravity began to appear. In order to verify and classify all these theories, specific tests have been developed, based on self-consistency and on completeness. In the field of experimental gravity, one of the important applications is formalism. For the evaluation of gravity models, several sets of tests have been proposed. Parameterized post-Newtonian formalism considers approximations of Einstein's gravity equations by the lowest order deviations from Newton's law for (...) weak fields. DOI: 10.13140/RG.2.2.25994.82881. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

This is a conjecture about the conditions and operating structures that are required for the phenomenality of certain mental states. Specifically, full-blown phenomenality is assumed, as contrasted with constrained examples of phenomenal experience such as sensations of color and pain. Propositional attitudes and content, while not phenomenal per se, are standardly concurrent and may condition phenomenal states (e.g., when tied to false beliefs). It is conjectured that full phenomenality natively arises in coherent processes of situated sensory synthesis and representation (with (...) conceptual content) that are looped, mereologically whole and multi-dimensional. And that phenomenal states are typically phase-states within a parameterized conjoint structure of world and experiencer processes that are causally modulated across Markov blankets (which are conditionally independent and may be nested: cf. M. Kirchoff, et. al., 2017, 2018; and T. Burge, 2010, re: anti-individualism). Though they may, it is not accepted that phenomenally conscious states must be targets of higher-order representations (cf. A. Byrne, 2004). (shrink)

The traditional problem of free will has reached an impasse; we are unlikely to see progress without rethinking the terms in which the problem had been cast. Our approach offers an alternative to the standard terms of the debate, by developing an authorially parameterized approach articulated within a two-dimensional semantics for temporal predicates.

In this book the authors introduced the notions of soft neutrosophic algebraic structures. These soft neutrosophic algebraic structures are basically defined over the neutrosophic algebraic structures which means a parameterized collection of subsets of the neutrosophic algebraic structure. For instance, the existence of a soft neutrosophic group over a neutrosophic group or a soft neutrosophic semigroup over a neutrosophic semigroup, or a soft neutrosophic field over a neutrosophic field, or a soft neutrosophic LA-semigroup over a neutrosophic LAsemigroup, or a soft (...) neutosophic loop over a neutrosophic loop. It is interesting to note that these notions are defined over finite and infinite neutrosophic algebraic structures. These structures are even bigger than the classical algebraic structures. This book contains five chapters. Chapter one is about the introductory concepts. In chapter two the notions of soft neutrosophic group, soft neutrosophic bigroup and soft neutrosophic N-group are introduced and many fantastic properties are given with illustrative examples. (shrink)

In this book we define some new notions of soft neutrosophic algebraic structures over neutrosophic algebraic structures. We define some different soft neutrosophic algebraic structures but the main motivation is two-fold. Firstly the classes of soft neutrosophic group ring and soft neutrosophic semigroup ring defined in this book is basically the generalization of two classes of rings: neutrosophic group rings and neutrosophic semigroup rings. These soft neutrosophic group rings and soft neutrosophic semigroup rings are defined over neutrosophic group rings and (...) neutrosophic semigroup rings respectively. This is basically the collection of parameterized subneutrosophic group ring and subneutrosophic semigroup ring of a neutrosophic group ring and neutrosophic semigroup ring respectively. These soft neutrosophic algebraic structures are even bigger than the corresponding classical algebraic structures. It is interesting to see that it wider the area of research for the researcher of algebraic structures. (shrink)