Inauguration speech at chair number 18 of the Brasilian Academy of Philosophy.

We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.

In this paper epistemological, ontological and sociological questions concerning the statistical significance of sharp hypotheses in scientific research are investigated within the framework provided by Cognitive Constructivism and the FBST (Full Bayesian Significance Test). The constructivist framework is contrasted with the traditional epistemological settings for orthodox Bayesian and frequentist statistics provided by Decision Theory and Falsificationism.

This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective interpretations that (...) are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (shrink)

The full Bayesian signi/cance test (FBST) for precise hypotheses is presented, with some illustrative applications. In the FBST we compute the evidence against the precise hypothesis. We discuss some of the theoretical properties of the FBST, and provide an invariant formulation for coordinate transformations, provided a reference density has been established. This evidence is the probability of the highest relative surprise set, “tangential” to the sub-manifold (of the parameter space) that defines the null hypothesis.

The main goal of this article is to use the epistemological framework of a specific version of Cognitive Constructivism to address Piaget’s central problem of knowledge construction, namely, the re-equilibration of cognitive structures. The distinctive objective character of this constructivist framework is supported by formal inference methods of Bayesian statistics, and is based on Heinz von Foerster’s fundamental metaphor of objects as tokens for eigen-solutions. This epistemological perspective is illustrated using some episodes in the history of chemistry concerning the definition (...) or identification of chemical elements. Some of von Foerster’s epistemological imperatives provide general guidelines of development and argumentation. (shrink)

Heinz Von Forester characterizes the objects “known” by an autopoietic system as eigen-solutions, that is, as discrete, separable, stable and composable states of the interaction of the system with its environment. Previous articles have presented the FBST, Full Bayesian Significance Test, as a mathematical formalism specifically designed to access the support for sharp statistical hypotheses, and have shown that these hypotheses correspond, from a constructivist perspective, to systemic eigen-solutions in the practice of science. In this article several issues related to (...) the role played by language in the emergence of eigen-solutions are analyzed. The last sections also explore possible connections with the semiotic theory of Charles Sanders Peirce. (shrink)

This article presents a simple derivation of optimization models for reaction networks leading to a generalized form of the mass-action law, and compares the formal structure of Minimum Information Divergence, Quadratic Programming and Kirchhoff type network models. These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and statistical significance of sharp or precise hypotheses in empirical science.

Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...) However, Izbicki and Esteves shows that the only tests that are in accordance with three logical requirements (monotonicity, invertibility and consonance) are trivial tests based on point estimation, which generally lack statistical optimality. As a possible solution to this dilemma, this paper adapts the above logical requirements to agnostic tests, in which one can accept, reject or remain agnostic with respect to a given hypothesis. Each of the logical requirements is characterized in terms of a Bayesian decision theoretic perspective. Contrary to the results obtained for regular hypothesis tests, there exist agnostic tests that satisfy all logical requirements and also perform well statistically. In particular, agnostic tests that fulfill all logical requirements are characterized as region estimator-based tests. Examples of such tests are provided. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

Kim’s causal exclusion argument purports to demonstrate that the non-reductive physicalist must treat mental properties (and macro-level properties in general) as causally inert. A number of authors have attempted to resist Kim’s conclusion by utilizing the conceptual resources of Woodward’s interventionist conception of causation. The viability of these responses has been challenged by Gebharter, who argues that the causal exclusion argument is vindicated by the theory of causal Bayesian networks (CBNs). Since the interventionist conception of causation relies crucially on CBNs (...) for its foundations, Gebharter’s argument appears to cast significant doubt on interventionism’s anti-reductionist credentials. In the present article, we both (1) demonstrate that Gebharter’s CBN-theoretic formulation of the exclusion argument relies on some unmotivated and philosophically significant assumptions (especially regarding the relationship between CBNs and the metaphysics of causal relevance), and (2) use Bayesian networks to develop a general theory of causal inference for multi-level systems that can serve as the foundation for an anti-reductionist interventionist account of causation.1. (shrink)

This paper presents affirmation as the central normative category of Nietzsche’s positive ethics. The paper argues in particular for two interpretive claims: first, that from Beyond Good and Evil onwards, we find a new variety of Nietzschean affirmation (‘natural affirmation’), which is crucial to the strategy of his later works; and second, for reasons internal to his own philosophical aims, Nietzsche’s new variety of affirmation is seriously flawed. The author argues for the second claim on the basis that Nietzsche himself (...) requires that affirmation not perform exactly the role he requires that it perform. The author contends that we are thus faced with a major challenge to Nietzsche’s late philosophical project—that (late) Nietzschean affirmation fails by Nietzsche’s own standards. (shrink)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

Decoupling is a general principle that allows us to separate simple components in a complex system. In statistics, decoupling is often expressed as independence, no association, or zero covariance relations. These relations are sharp statistical hypotheses, that can be tested using the FBST - Full Bayesian Significance Test. Decoupling relations can also be introduced by some techniques of Design of Statistical Experiments, DSEs, like randomization. This article discusses the concepts of decoupling, randomization and sparsely connected statistical models in the epistemological (...) framework of cognitive constructivism. (shrink)

A new Evidence Test is applied to the problem of testing whether two Poisson random variables are dependent. The dependence structure is that of Holgate’s bivariate distribution. These bivariate distribution depends on three parameters, 0 < theta_1, theta_2 < infty, and 0 < theta_3 < min(theta_1, theta_2). The Evidence Test was originally developed as a Bayesian test, but in the present paper it is compared to the best known test of the hypothesis of independence in a frequentist framework. It is (...) shown that the Evidence Test is considerably more powerful when the correlation is not too close to zero, even for small samples. (shrink)

This article analyzes the role of entropy in Bayesian statistics, focusing on its use as a tool for detection, recognition and validation of eigen-solutions. “Objects as eigen-solutions” is a key metaphor of the cognitive constructivism epistemological framework developed by the philosopher Heinz von Foerster. Special attention is given to some objections to the concepts of probability, statistics and randomization posed by George Spencer-Brown, a figure of great influence in the field of radical constructivism.

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

Karl Pearson is the leading figure of XX century statistics. He and his co-workers crafted the core of the theory, methods and language of frequentist or classical statistics – the prevalent inductive logic of contemporary science. However, before working in statistics, K. Pearson had other interests in life, namely, in this order, philosophy, physics, and biological heredity. Key concepts of his philosophical and epistemological system of anti-Spinozism (a form of transcendental idealism) are carried over to his subsequent works on the (...) logic of scientific discovery. This article’s main goal is to analyze K. Pearson early philosophical and theological ideas and to investigate how the same ideas came to influence contemporary science, either directly or indirectly – by the use of variant theories, methods and dialects of statistics, corresponding to variant statistical inference procedures and their specific belief calculi. (shrink)

The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.

A critical comment on methods in Nietzsche scholarship, and some suggestions about how to improve things.

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

Comments presented at the 35th International Seminar on the -- New Institutional Economics -- Empirical Methods for the Law; Syracuse, 2018.

This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...) the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective. (shrink)

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...) consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...) and giving form to heuristic arguments. At the other hand, it is inherently difficult to control, lacking effective mechanisms needed for rigorous manipulation. Our discussion is illustrated with many examples from the Hebrew Bible, and some final examples from modern science. (shrink)

This article discusses some continuous limit cases of Susan Haack’s crossword puzzle metaphor for the coherent development and foundation of science. The main objective of this discussion is to build a bridge between Haack’s foundherentism and the epistemological framework of objective cognitive constructivism, including its key metaphor of objects as tokens for eigen-solutions. The historical development of chemical affinity tables is used to illustrate our arguments.

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (shrink)

This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These pragmatic (...) versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais. (shrink)

We present a module based criterion, i.e. a sufficient condition based on the absolute value of the matrix coefficients, for the convergence of Gauss–Seidel method (GSM) for a square system of linear algebraic equations, the Generalized Line Criterion (GLC). We prove GLC to be the “most general” module based criterion and derive, as GLC corollaries, some previously know and also some new criteria for GSM convergence. Although far more general than the previously known results, the proof of GLC is simpler. (...) The results used here are related to recent research in stability of dynamical systems and control of manufacturing systems. (shrink)

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

ABSTRACTAmor fati—the love of fate—is one of many Nietzschean terms which seem to point towards a positive ethics, but which appear infrequently and are seldom defined. On a traditional understanding, Nietzsche is asking us to love whatever it is that happens to have happened to us—including all sorts of horrible things. My paper analyses amor fati by looking closely at Nietzsche's most sustained discussion of the concept—in book four of The Gay Science—and at closely related passages in that book. I (...) argue that by ignoring the context in which Nietzsche writes about amor fati in The Gay Science, we are liable to ignore several exegetical and philosophical problems with the traditional understanding of the term. I'll argue for a different interpretation which locates Nietzsche's amor fati within the philosophical project of The Gay Science and which copes better with the objections that plague the traditional view. (shrink)

ABSTRACT ABSTRACT: Nietzsche, we are often told, had an account of 'self' or 'mind' or a 'philosophical psychology', in which what he calls our 'drives' play a highly significant role. This underpins not merely his understanding of mind, in particular, of consciousness and action. but also his positive ethics, be they understood as authenticity, freedom, knowledge, autonomy, self-creation, or power. But Nietzsche did not have anything like a coherent account of 'the drives' according to which the self, the relationship between (...) thought and action, or consciousness could be explained; consequently, he did not have a stable account of drives on which his positive ethics could rest. By this, I do not mean that his account is incomplete or that it is philosophically indefensible: both would leave open, misleadingly, the possibility of a rational reconstruction of Nietzsche’s views; both would already assume more unity and coherence than we find in his texts. Specifically, as I show through detailed analysis, Nietzsche provides varied and inconsistent accounts of what a 'drive' is, how much we can know about drives, and the relationship between drives and conscious deliberations about action. I conclude by questioning the hunt for a Nietzschean theory: is this the best way to be reading him? (shrink)

The Gompertz distribution is commonly used in biology for modeling fatigue and mortality. This paper studies a class of models proposed by Adham and Walker, featuring a Gompertz type distribution where the dependence structure is modeled by a lognormal distribution, and develops a new multivariate formulation that facilitates several numerical and computational aspects. This paper also implements the FBST, the Full Bayesian Significance Test for pertinent sharp (precise) hypotheses on the lognormal covariance structure. The FBST’s e-value, ev(H), gives the epistemic (...) value of hypothesis, H, or the value of evidence in the observed in support of H. (shrink)

Nietzsche writes a great deal about freedom throughout his work, but never more explicitly than in Twiling of the Idols, a book he described as 'my philosophy in a nutshell'. This paper offers an analysis of Nietzsche's conception freedom and the role it plays within Twilight.

We describe a software system for the analysis of defined benefit actuarial plans. The system uses a recursive formulation of the actuarial stochastic processes to implement precise and efficient computations of individual and group cash flows.

The reader of RTP is granted just a few paragraphs before habit is introduced: Habit! That able but slow-moving arranger who begins by letting our minds sufer for weeks on end in temporary quarters, but whom our mind is nonetheless only too happy to fnd, for without it, reduced to its own devices, it would be powerless to make any room habitable. (SW, 9, translation altered; I 8) Implied is a view of mind: powerless to interfere with habit’s course, but (...) equally powerless to reconcile us even to something as innocuous as a room, were it not for habit’s work. Corresponding to this is a view of the world: hostile. The objects are nasty, imposing, menacing: a ‘mentally poisoning’ smell, malicious curtains and a cruel mirror (SW, 9; I 8). Habit, unbidden but welcome, steps in. The mirror becomes compassionate. Habit is a central aspect of the narrator’s worldview. It appears both at major plot points and in signifcant theoretical passages. Proust had already thematised habit in some of his earliest published work – notably in ‘Violante ou la Mondanité’ (1892) (‘Violante, or High Society’) – as well as in unpublished material (see II 1352 fn. 2). His ideas have their roots in his philosophical education, where habit formed a key part of the syllabus. Indeed, in retrospect, we can say that Proust may have been taught philosophy at a time and place where habit, as a philosophical topic, was approaching its high watermark, as a major theme in French philosophical thought. Another major theme, of course, was time. (shrink)

The central question in this paper is the following: how does Nietzsche use history in his critique of morality? The answer, in sum: interestingly, not how you (i.e. most Nietzsche scholars) think, and not well enough. My focus is on The Antichrist, not his Genealogy of Morality, which is more commonly used to answer this question. And I look, in particular, at Nietzsche’s use of good, contemporary scholarship on the origins of Judaism. The chapter also examines the so-called 'genetic fallacy', (...) arguing that Nietzsche has a provisional response to it, but that this response leads to further complications. (shrink)

The aim of this paper is to begin a conversation about how we read and write about Nietzsche and, related to this, other figures in the history of philosophy. The principle of charity can appear to be a way to bridge two dif-ferent interpretative goals: getting the meaning of the text right and offering the best philosophy. I argue that the principle of charity is multiply ambiguous along three different dimensions, which I call “unit,” “mode,” and “strength”: consequently, it is (...) not a single, neutral or independent principle to which we can helpfully appeal and it cannot, in itself, perform this bridging function. Nietzsche, I suggest, is particularly ill suited to some forms of charitable reading. I compare charity to what I call “misreporting” a philosopher’s words, in order to highlight some problematic structural similarities. Finally, I assess what charity might be doing instead, if it is not intended to bridge meaning and best philosophy. (shrink)

In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of using (...) the proposed degree of inconsistency based sensitivity evaluation as an alternative to traditional statistical power analysis is also discussed. (shrink)

Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...) real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (shrink)

To estimate causal relationships, time series econometricians must be aware of spurious correlation, a problem first mentioned by Yule (1926). To deal with this problem, one can work either with differenced series or multivariate models: VAR (VEC or VECM) models. These models usually include at least one cointegration relation. Although the Bayesian literature on VAR/VEC is quite advanced, Bauwens et al. (1999) highlighted that “the topic of selecting the cointegrating rank has not yet given very useful and convincing results”. The (...) present article applies the Full Bayesian Significance Test (FBST), especially designed to deal with sharp hypotheses, to cointegration rank selection tests in VECM time series models. It shows the FBST implementation using both simulated and available (in the literature) data sets. As illustration, standard non informative priors are used. (shrink)

Gene clustering is a useful exploratory technique to group together genes with similar expression levels under distinct cell cycle phases or distinct conditions. It helps the biologist to identify potentially meaningful relationships between genes. In this study, we propose a clustering method based on multivariate normal mixture models, where the number of clusters is predicted via sequential hypothesis tests: at each step, the method considers a mixture model of m components (m = 2 in the first step) and tests if (...) in fact it should be m - 1. If the hypothesis is rejected, m is increased and a new test is carried out. The method continues (increasing m) until the hypothesis is accepted. The theoretical core of the method is the full Bayesian significance test, an intuitive Bayesian approach, which needs no model complexity penalization nor positive probabilities for sharp hypotheses. Numerical experiments were based on a cDNA microarray dataset consisting of expression levels of 205 genes belonging to four functional categories, for 10 distinct strains of Saccharomyces cerevisiae. To analyze the method’s sensitivity to data dimension, we performed principal components analysis on the original dataset and predicted the number of classes using 2 to 10 principal components. Compared to Mclust (model-based clustering), our method shows more consistent results. (shrink)

Randomization procedures are used in legal and statistical applications, aiming to shield important decisions from spurious influences. This article gives an intuitive introduction to randomization and examines some intended consequences of its use related to truthful statistical inference and fair legal judgment. This article also presents an open-code Java implementation for a cryptographically secure, statistically reliable, transparent, traceable, and fully auditable randomization tool.

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

Statistical tests that detect and measure deviation from the Hardy-Weinberg equilibrium (HWE) have been devised but are limited when testing for deviation at multiallelic DNA loci is attempted. Here we present the full Bayesian significance test (FBST) for the HWE. This test depends neither on asymptotic results nor on the number of possible alleles for the particular locus being evaluated. The FBST is based on the computation of an evidence index in favor of the HWE hypothesis. A great deal of (...) forensic inference based on DNA evidence assumes that the HWE is valid for the genetic loci being used. We applied the FBST to genotypes obtained at several multiallelic short tandem repeat loci during routine parentage testing; the locus Penta E exemplifies those clearly in HWE while others such as D10S1214 and D19S253 do not appear to show this. (shrink)

Sortition, i.e. random appointment for public duty, has been employed by societies throughout the years as a firewall designated to prevent illegitimate interference between parties in a legal case and agents of the legal system. In judicial systems of modern western countries, random procedures are mainly employed to select the jury, the court and/or the judge in charge of judging a legal case. Therefore, these random procedures play an important role in the course of a case, and should comply with (...) some principles, such as transparency and complete auditability. Nevertheless, these principles are neglected by random procedures in some judicial systems, which are performed in secrecy and are not auditable by the involved parties. The assignment of cases in the Brazilian Supreme Court is an example of such a procedure, for it is performed using procedures unknown to the parties involved in the judicial cases. This article presents a review of how sortition has been historically employed by societies and discusses how Mathematical Statistics may be applied to random procedures of the judicial system, as it has been applied for almost a century on clinical trials, for example. A statistical model for assessing randomness in case assignment is proposed and applied to the Brazilian Supreme Court. As final remarks, guidelines for the development of good randomization procedures are outlined. (shrink)

This paper shows how an efficient and parallel algorithm for inference in Bayesian Networks (BNs) can be built and implemented combining sparse matrix factorization methods with variable elimination algorithms for BNs. This entails a complete separation between a first symbolic phase, and a second numerical phase.