Results 1 to 10 of about 1,173,430 (270)
Model theoretic forcing in analysis [PDF]
Annals of Pure and Applied Logic 158 (2009) 163-174, 2008 We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
Ben Yaacov, Itaï, Iovino, José
arxiv +6 more sources
Risk of COVID-19 transmission in heterogeneous age groups and effective vaccination strategy in Korea: a mathematical modeling study [PDF]
Epidemiology and Health, 2021 OBJECTIVES This study aims to analyze the possibility and conditions of maintaining an effective reproductive number below 1 using a mathematical model.
Youngsuk Ko +3 more
doaj +1 more source
A common gene drive language eases regulatory process and eco-evolutionary extensions
BMC Ecology and Evolution, 2021 Background Synthetic gene drive technologies aim to spread transgenic constructs into wild populations even when they impose organismal fitness disadvantages. The extraordinary diversity of plausible drive mechanisms and the range of selective parameters
Prateek Verma +2 more
doaj +1 more source
Understanding with Theoretical Models [PDF]
Journal of Economic Methodology, 2014 This paper discusses the epistemic import of highly abstract and simplified theoretical models using Thomas Schelling’s checkerboard model as an example. We argue that the epistemic contribution of theoretical models can be better understood in the context of a cluster of models relevant to the explanatory task at hand.
Aydinonat, N. Emrah, Ylikoski, Petri
openaire +5 more sources
Psychedelic-Assisted Psychotherapy—A Systematic Review of Associated Psychological Interventions
Frontiers in Psychology, 2022 Modern clinical research on psychedelics is generating interesting outcomes in a wide array of clinical conditions when psychedelic-assisted psychotherapy is delivered to appropriately screened participants and in controlled settings.
Mauro Cavarra +5 more
doaj +1 more source
Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$ [PDF]
Discrete Mathematics & Theoretical Computer Science, 2018 We study the following problem: Given $k$ paths that share the same vertex set, is there a simultaneous geometric embedding of these paths such that each individual drawing is monotone in some direction?
David Bremner +8 more
doaj +1 more source
Linear Encodings of Bounded LTL Model Checking [PDF]
Logical Methods in Computer Science, 2006 We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound.
Armin Biere +4 more
doaj +1 more source
Applied Sciences, 2022 This paper presents a comparison of mathematical and cinematic motion analysis regarding the accuracy of the detection of alterations in the patterns of positional sequence during biceps-curl lifting exercise.
André B. Peres +8 more
doaj +1 more source
A Theoretic Model of the T Wave [PDF]
Circulation, 1966 A theoretical model of the T wave based on the sequence of depolarization and multiple action potentials in appropriate time phase has been presented. The methods used to derive T waves and loops from the QRS complex of experimental animals have been described, and derived T waves were closely similar to the T waves recorded from these animals.
J. A. Abildskov +2 more
openaire +3 more sources
Control Theoretic Models of Pointing [PDF]
ACM Transactions on Computer-Human Interaction, 2017 This article presents an empirical comparison of four models from manual control theory on their ability to model targeting behaviour by human users using a mouse: McRuer’s Crossover, Costello’s Surge, second-order lag (2OL), and the Bang-bang model.
Müller, Jörg +3 more
openaire +6 more sources