Results 11 to 20 of about 2,032,139 (266)
From proof theory to theories theory
CoRR, 2023 In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In this paper, we show that mathematical theories can be also be defined as algorithms and that this definition has ...
openaire +2 more sources
‘‘Theory of theories’’ approach to string theory [PDF]
Physical Review D, 1994 20 pages, LaTeX, KUNS ...
openaire +3 more sources
Understanding anomalous particle production in massless QED via time-varying θ angle
Journal of High Energy Physics, 2022 The Maxwell equations imply that, under the background of non-zero B, varying θ term produces E · B. An interesting example is the Witten effect where a magnetic monopole becomes a dyon which, however, should disappear in the exact massless limit of the ...
Yu Hamada +3 more
doaj +1 more source
Epistemological Considerations about Big Data and Prediction in Ecology
Proceedings, 2022 The aim of this paper is to analyze the philosophical implications of the techno-scientific promises and discourses that generally surround big data, but also to nuance their content with respect to the concrete uses of these technologies in the natural ...
Léo Trocmé--Nadal
doaj +1 more source
One-loop jet functions by geometric subtraction
Journal of High Energy Physics, 2020 In factorization formulae for cross sections of scattering processes, final-state jets are described by jet functions, which are a crucial ingredient in the resummation of large logarithms.
Avanish Basdew-Sharma +3 more
doaj +1 more source
, 2007 Game semantics is a valuable source of fully abstract models of programming languages or proof theories based on categories of so-called games and strategies. However, there are many variants of this technique, whose interrelationships largely remain to be elucidated. This raises the question: what is a category of games and strategies?
Hirschowitz, Michel +2 more
openaire +2 more sources
La SF de la Théorie : Baudrillard et Haraway
ReS Futurae, 2023 With the expansion of the technological construction of social life in the postmodem period, SF ceases to be a genre of art and becomes instead a mode of quotidian awareness.
Istvan Csicsery-Ronay (Jr.)
doaj +1 more source
Вестник Российского экономического университета имени Г. В. Плеханова, 2021 The goal of the research is to elaborate methodology how to systematize findings in the field of management published during previous years. Special attention is paid to typology of reviews. In this case the author distinguished systematic (meta-analysis
I. V. Denisov
doaj +1 more source