OF DOCTORAL DISSERTATION AALTO UNIVERSITY SCHOOL OF SCIENCE AND TECHNOLOGY P.O. BOX 11000, FI-00076 AALTO http://www.aalto.fi Author Jari Juhani Jalkanen Name of the dissertation Manuscript submitted 26.03.2010 Manuscript revised 05.05.2010 Date of the defence 28.05.2010 Article dissertation (summary + original articles) Monograph Faculty Department Field of research Opponent(s) Supervisor Inst...

For nonsingular n× n (n ≥ 6) pentadiagonal matrices P having nonzero entries on its second subdiagonal, we propose a procedure for computing both the determinant detP in O(n) times, and accurate information for obtaining the inverse P−1 in O(n) times. In the general nonsingular case, n ≥ 5, a suitable decomposition of P, as a product of two nonsingular upper Hessenberg matrices, allows us anoth...

The very title of my paper may cause many eyebrows to be raised. For anyone who is familiar with Popper’s philosophy of science knows well that he distinguished clearly between two types of historical processes, namely, the process of conceiving a new scientific theory or idea and the methods of examining it logically, and asserted that the task of the philosophers is not to ponder on these act...

The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving significant mathematical theorems. Our first implementation, the Markgraf Karl Refutation Procedure1 (MKRP) realizes some of the ideas we have developed to this end. It is a general purpose resolution based deduction ...

This paper revisits a meta-analysis method proposed by Pearson (1934) and first used by David (1933). It was thought to be inadmissible, for over fifty years, dating back to a paper of Birnbaum (1954). It turns out that the method Birnbaum analyzed is not the one that Pearson proposed. We show that Pearson’s proposal is admissible. Because it is admissible it has better power than the standard ...

O presente estudo nos mostra uma revisão bibliográfica fundamentada na obra A Lógica da Pesquisa Científica de Karl Popper, destacando suas contribuições para o Ensino Ciências. Portanto, foi possível perceber alguns aspectos principais deste autor e a colocação problemas fundamentais, como: problema indução, prova dedutiva teorias, demarcação, falseabilidade base empírica, que consistem em ins...

The following text is a transcript of conversation I had with Prof. Zygmunt Bauman and Aleksandra Jasińska-Kania in the spring 2014. At that time was finishing writing my doctoral dissertation on Karl Popper’s social theory. just grappling one most serious objections raised against it when – quite by accident came across Bauman’s Liquid Modernity quickly realized number arguments formulated Bau...

Emissions of volatile organic compounds inferred from airborne flux measurements over a megacity T. Karl, E. Apel, A. Hodzic, D. Riemer, D. Blake, and C. Wiedinmyer National Center for Atmospheric Research, Boulder, CO, USA Received: 24 June 2008 – Accepted: 24 June 2008 – Published: 25 July 2008 Correspondence to: T. Karl ([email protected]) Published by Copernicus Publications on behalf of the...