Results for 'parameterization'

8 found
Order:
  1. Models, Parameterization, and Software: Epistemic Opacity in Computational Chemistry.Frédéric Wieber & Alexandre Hocquet - 2020 - Perspectives on Science 28 (5):610-629.
    . 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Evaluation of post-Einsteinian gravitational theories through parameterized post-Newtonian formalism.Nicolae Sfetcu - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Modelling competing legal arguments using Bayesian model comparison and averaging.Martin Neil, Norman Fenton, David Lagnado & Richard David Gill - 2019 - Artificial Intelligence and Law 27 (4):403-430.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. A Conjecture About Phenomenality.Edward A. Francisco - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Narrative Determination.Paul Studtmann & Christopher Shields - 2022 - Journal of the American Philosophical Association 9 (4):779-798.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  7. SOFT NEUTROSOPHIC ALGEBRAIC STRUCTURES AND THEIR GENERALIZATION, Vol. 1.Florentin Smarandache, Mumtaz Ali & Muhammad Shabir - 2014 - Columbus, OH, USA: Educational Publisher.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. SOFT NEUTROSOPHIC ALGEBRAIC STRUCTURES AND THEIR GENERALIZATION, Vol. 2.Florentin Smarandache, Mumtaz Ali & Muhammad Shabir - 2014 - Columbus, OH, USA: Educational Publisher.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark