Results 1 to 10 of about 207,997 (268)
A Proof Theory for Model Checking: An Extended Abstract [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking.
Quentin Heath, Dale Miller
doaj +4 more sources
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Biomath, 2023 In this paper, we study the well-posedness and the qualitative behavior of equilibria of a SEIR epidemic models with spatial diffusion for the spreading of COVID-19.
José Paulo Carvalho dos Santos +4 more
doaj +1 more source
A categorical perspective towards aerodynamic models for aeroelastic analyses of bridge decks [PDF]
Royal Society Open Science, 2019 Reliable modelling in structural engineering is crucial for the serviceability and safety of structures. A huge variety of aerodynamic models for aeroelastic analyses of bridges poses natural questions on their complexity and thus, quality.
I. Kavrakov +3 more
doaj +1 more source
Confinement/deconfinement transition in the D0-brane matrix model — A signature of M-theory?
Journal of High Energy Physics, 2022 We study the confinement/deconfinement transition in the D0-brane matrix model (often called the BFSS matrix model) and its one-parameter deformation (the BMN matrix model) numerically by lattice Monte Carlo simulations.
Monte Carlo String/M-theory collaboration (MCSMC) +8 more
doaj +1 more source
An Abstraction Theory for Qualitative Models of Biological Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Multi-valued network models are an important qualitative modelling approach used widely by the biological community. In this paper we consider developing an abstraction theory for multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model.
Richard Banks, L. Jason Steggles
openaire +6 more sources
Perturbative string theory from Newtonian limit of string geometry theory
European Physical Journal C: Particles and Fields, 2020 String geometry theory is one of the candidates of the non-perturbative formulation of string theory. In Sato (Int J Mod Phys A 34(23):1950126, 2019), the perturbative string theory is reproduced from a string geometry model coupled with a u(1) gauge ...
Matsuo Sato, Yuji Sugimoto
doaj +1 more source
Kink crystalline condensate and multi-kink solution in holographic superconductor
Journal of High Energy Physics, 2020 The theory of superconductivity can be divided into two groups depending on whether it has multi-kink solutions. For example, the BCS theory and the Gross-Neveu model have metastable multi-kink solutions whereas the conventional Ginzburg-Landau theory ...
Masataka Matsumoto +2 more
doaj +1 more source
Boundary Value Problems, 2023 This paper investigates a delayed predator-prey model with discontinuous harvesting and Beddington–DeAngelis functional response. Using the theory of differential inclusion theory, the existence of positive solutions in the sense of Filippov is discussed.
Yingying Wang, Zhinan Xia
doaj +1 more source
Internal Parametricity for Cubical Type Theory [PDF]
Logical Methods in Computer Science, 2021 We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Evan Cavallo, Robert Harper
doaj +1 more source