Results 31 to 40 of about 4,414,858 (168)
First-Order Orbit Queries [PDF]
Theory of Computing Systems, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Almagor, Shaull +2 more
openaire +3 more sources
Fisheries‐induced evolution of alternative male life history tactics in Coho salmon
Evolutionary Applications, 2020 Fisheries‐induced evolution (FIE) can result when harvest imposes artificial selection on variation in heritable phenotypic traits. While there is evidence for FIE, it remains difficult to disentangle the contributions of within‐generation demographic ...
Kyle A. Young +2 more
doaj +1 more source
Proceedings of the ACM on Programming LanguagesIn strict languages, laziness is typically modeled with explicit thunks that defer a computation until needed and memoize the result. Such thunks are implemented using a closure. Implementing lazy data structures using thunks thus has several disadvantages: closures cannot be printed or inspected during ...
Anton Lorenzen +3 more
openaire +3 more sources
The succinctness of first-order logic on linear orders [PDF]
Logical Methods in Computer Science, 2004 Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the same size, but some properties can be expressed in L_1 by (significantly) smaller formulas.
Martin Grohe, Nicole Schweikardt
openaire +5 more sources
First order data types and first order logic [PDF]
, 1991 This paper concerns the relation between parameterized first order data types and first order logic. Augmenting first order logic by data type definitions yields in general a strictly stronger logic than first order logic. Some modeltheoretic properties of the new logic are investigated. While the new logic always fulfills the downward Skolem-Lowenheim
openaire +1 more source
Mathematical Kinetic Modeling on Isoniazid Release from Dex-HEMA-PNIPAAm Nanogels [PDF]
Nanomedicine Research Journal, 2016 Objective(s): The quantitative calculation of release data is more facil when mathematics come to help. mathematically modeling could aid optimizing and amending the delivery systems design. Aim of this study is to find out the isoniazid release kinetic.
Maryam Jafari, Babak Kaffashi
doaj +1 more source
Interactive Interpretation Viewer for Typed First-order Logic
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.
Jack McKeown, Geoff Sutcliffe
doaj +1 more source
On behaviours of functional Volterra integro-differential equations with multiple time lags
Journal of Taibah University for Science, 2018 In this paper, the authors consider a non-linear Volterra integro-differential equation (NVIDE) of first order with multiple constant time lags. They obtain new sufficient conditions on stability (S), boundedness (B), global asymptotic stability (GAS) of
Cemil Tunç, Osman Tunç
doaj +1 more source
First Order Paths in Ordered Trees [PDF]
, 2004 We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled tree is definable in that XPath language. They are phrased in terms of expansions of navigational (sometimes called “Core”) XPath.
openaire +3 more sources
Pharmaceutics, 2020 Introduction: Dacomitinib is an epidermal growth factor receptor (EGFR) inhibitor approved for the treatment of metastatic non-small cell lung cancer (NSCLC) in the first line in patients with EGFR activating mutations.
Ana Ruiz-Garcia +6 more
doaj +1 more source