Related papers: Stagnant Lakatosian Research Programmes
Scientific and technological frontiers advance through punctuated dynamics, yet the principles governing these dynamics remain poorly understood. Here we collect and analyze datasets tracking the evolution of frontiers across 9 different…
This paper pays a tribute to Loet's work in a specific way. More than 20 years ago Loet Leydesdorff and myself designed a programme for future innovation studies 'Measuring the knowledge base - a programme of innovation studies'. Although,…
The crisis in the reproducibility of experiments invites a re-evaluation of methods of inquiry and validation procedures. The text challenges current assumptions of knowledge acquisition and introduces G-complexity for defining decidable…
This thesis addresses the question of stability of systems defined by differential equations which contain nonlinearity and delay. In particular, we analyze the stability of a well-known delayed nonlinear implementation of a certain…
A qualitatively new, much more liberal and efficient organisation of science is proposed and justified, in connection with growing debate about further role and development of fundamental science. Although the key ideas can be explained…
This book is an extension of my doctoral dissertation, focusing on techniques for analyzing stability (dissipativity) and achieving stabilization of linear systems that are characterized by non-trivial distributed delays. It specifically…
In this paper we describe a systematic procedure to analyze the convergence of degenerate preconditioned proximal point algorithms. We establish weak convergence results under mild assumptions that can be easily employed in the context of…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
This paper develops a process-based account of scientific explanation that reconceives grounding in terms of stabilisation. Grounding theories capture hierarchical dependence but lack criteria for when explanations remain adequate under…
Employing the ideas of non-linear preconditioning and testing of the classical proximal point method, we formalise common arguments in convergence rate and convergence proofs of optimisation methods to the verification of a simple…
Current research funding systems are subject to structural imbalances, where formal criteria such as the H-index and the number of publications dominate over the potential and actual scientific prospects of researchers. This leads to the…
In this paper we provide an extension for the method of Discrete Lagrangian Descriptors with the purpose of exploring the phase space of unbounded maps. The key idea is to construct a working definition, that builds on the original approach…
In this paper I propose a micro-based innovation driven general equilibrium growth-model allowing for endogenous entry and exit as well as three different types of research. I make the novel distinction between three types of firms, namely…
A critical note on some of the existing proposals for performing the "delayed choice" experiment is placed. By abandoning the original idea and intention, some modern theoretical proposals and experimental evidence are simply incorrectly…
The general setting of this work is the constraint-based synthesis of termination arguments. We consider a restricted class of programs called lasso programs. The termination argument for a lasso program is a pair of a ranking function and…
In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more…
We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded…
Latent space is rapidly emerging as a native substrate for language-based models. While modern systems are still commonly understood through explicit token-level generation, an increasing body of work shows that many critical internal…
We present a method that is optimized to explicitly obtain all the constraints and thereby count the propagating degrees of freedom in (almost all) manifestly first order classical field theories. Our proposal uses as its only inputs a…
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…