English
Related papers

Related papers: Stagnant Lakatosian Research Programmes

200 papers

This is a broad and in part unconventional review of our current knowledge of fundamental physics, emphasizing the potential for advances the LHC will open up.

High Energy Physics - Phenomenology · Physics 2007-05-23 Frank Wilczek

Progress in science and technology is punctuated by disruptive innovation and breakthroughs. Researchers have characterized these disruptions to explore the factors that spark such innovations and to assess their long-term trends. However,…

Social and Information Networks · Computer Science 2025-02-25 Munjung Kim , Sadamori Kojaku , Yong-Yeol Ahn

The motivation for this thesis was to recast quantum self-testing [MY98,MY04] in operational terms. The result is a category-theoretic framework for discussing the following general question: How do different implementations of the same…

Quantum Physics · Physics 2021-03-04 Nicholas Gauguin Houghton-Larsen

An analysis of contemporary Cosmology is presented, with the aim of identifying the elements present in it according to the scientific program structure created by I. Lakatos. We look at some modern controversies from this point of view and…

History and Philosophy of Physics · Physics 2023-09-28 J. E. Horvath

The development of scientometric indicators and methods for evaluative purposes, requires a multitude of assumptions, conventions, limitations, and caveats. Given this, we cannot permit ambiguities in the key concepts forming the basis of…

Digital Libraries · Computer Science 2018-11-06 Giovanni Abramo

Linear systems governed by continuous-time difference equations cover a wide class of linear systems. From the Lyapunov-Krasovskii approach, we investigate stability for such a class of systems. Sufficient conditions, and in some particular…

Optimization and Control · Mathematics 2013-12-30 S. Damak , M. Di Loreto , W. Lombardi , V Andrieu

Estimation of time delays from a noisy and gapped data is one of the simplest data analysis problems in astronomy by its formulation. But as history of real experiments show, the work with observed data sets can be quite complex and…

Instrumentation and Methods for Astrophysics · Physics 2011-05-31 A. Hirv , N. Olspert , J. Pelt

We summarize the first exploratory investigation into whether Machine Learning techniques can augment science strategic planning. We find that an approach based on Latent Dirichlet Allocation using abstracts drawn from high impact astronomy…

Instrumentation and Methods for Astrophysics · Physics 2022-03-03 Brian Thomas , Harley Thronson , Anthony Buonomo , Louis Barbier

Despite the significant recent progress in deep generative models, the underlying structure of their latent spaces is still poorly understood, thereby making the task of performing semantically meaningful latent traversals an open research…

Machine Learning · Computer Science 2023-07-04 Yue Song , T. Anderson Keller , Nicu Sebe , Max Welling

Semantic parsing aims to map natural language utterances onto machine interpretable meaning representations, aka programs whose execution against a real-world environment produces a denotation. Weakly-supervised semantic parsers are trained…

Computation and Language · Computer Science 2019-09-11 Bailin Wang , Ivan Titov , Mirella Lapata

Dynamic benchmarks interweave model fitting and data collection in an attempt to mitigate the limitations of static benchmarks. In contrast to an extensive theoretical and empirical study of the static setting, the dynamic counterpart lags…

Machine Learning · Computer Science 2023-03-03 Ali Shirali , Rediet Abebe , Moritz Hardt

Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each…

Artificial Intelligence · Computer Science 2022-02-02 Nir Oren , Bruno Yun , Srdjan Vesic , Murilo Baptista

Reproducibility in research remains hindered by complex systems involving data, models, tools, and algorithms. Studies highlight a reproducibility crisis due to a lack of standardized reporting, code and data sharing, and rigorous…

Software Engineering · Computer Science 2024-11-05 Venkat S. Malladi , Maria Yazykova , Olesya Melnichenko , Yulia Dubinina

The scope of this work is the constraint-based synthesis of termination arguments for the restricted class of programs called linear lasso programs. A termination argument consists of a ranking function as well as a set of supporting…

Logic in Computer Science · Computer Science 2014-01-22 Jan Leike

We provide a brief overview into recent tests of gravity, focusing on its foundational spacetime symmetries. In particular, we work with an agnostic, effective field-theory framework, named the Standard-Model Extension, that allows for…

General Relativity and Quantum Cosmology · Physics 2023-05-24 Kellie O'Neal-Ault

We introduce a class of learning problems where the agent is presented with a series of tasks. Intuitively, if there is relation among those tasks, then the information gained during execution of one task has value for the execution of…

Machine Learning · Computer Science 2012-09-06 Christos Dimitrakakis

The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Here we concentrate on a set of methodologies and technologies…

Programming Languages · Computer Science 2010-06-18 Alan Dearle , Graham Kirby , Ron Morrison

The time needed to exchange information in the physical world induces a delay term when the respective system is modeled by differential equations. Time delays are hence ubiquitous, being furthermore likely to induce instabilities and with…

Chaotic Dynamics · Physics 2019-10-31 Hendrik Wernecke , Bulcsú Sándor , Claudius Gros

In this essay, I argue that modern science is not the dichotomous pairing of theory and experiment that it is typically presented as, and I offer an alternative paradigm defined by its functions as a human endeavor. I also demonstrate how…

History and Philosophy of Physics · Physics 2018-05-24 Ian T. Durham

After a decade and a half of research motivated by the accelerating universe, theory and experiment have a reached a certain level of maturity. The development of theoretical models beyond \Lambda, or smooth dark energy, often called…

Cosmology and Nongalactic Astrophysics · Physics 2015-02-25 Austin Joyce , Bhuvnesh Jain , Justin Khoury , Mark Trodden