Results 41 to 50 of about 4,414,858 (168)
First-order logical filtering [PDF]
Artificial Intelligence, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Afsaneh Shirazi, Eyal Amir
openaire +2 more sources
Journal of Inequalities and Applications, 2010 The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective ...
Bruno Ascenso Simões
doaj +2 more sources
Intelligent adaptable systems: First order approach
Communications, 2000 Future of communications inevitably calls for technologies that feature high-level flexibility, adaptability, and intelligence. Intelligent adaptable systems are particularly suitable for this mission.
Peter Geczy, Shiro Usui
doaj +1 more source
HEAT AND MASS TRANSFER EFFECTS ON FLOW PAST PARABOLIC STARTING MOTION OF ISOTHERMAL VERTICAL PLATE IN THE PRESENCE OF FIRST ORDER CHEMICAL REACTION [PDF]
Journal of Mechanical Engineering and Sciences, 2013 An exact solution of unsteady flow past a parabolic starting motion of the infinite isothermal vertical plate with uniform mass diffusion, in the presence of a homogeneous chemical reaction of the first order, has been studied.
R. Muthucumaraswamy, S. Velmurugan
doaj
First-Order Peaks Determination for Direction-Finding High-Frequency Radar
Journal of Marine Science and Engineering, 2020 Direction-finding (DF) high-frequency radar (HFR) is preferred among the HFR family and is widely used around the world due to its compact structure.
Yeping Lai, Yuhao Wang, Hao Zhou
doaj +1 more source
The structure of first-order causality [PDF]
Mathematical Structures in Computer Science, 2009 Game semantics describe the interactive behaviour of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order propositional logic.
openaire +4 more sources
Cancer Medicine, 2023 Background Current follow‐up models in cancer are seen to be unsustainable and inflexible, and there is growing interest in alternative models, such as patient‐initiated follow‐up (PIFU). It is therefore important to understand whether PIFU is acceptable
Janine Dretzke +7 more
doaj +1 more source
Definability in First Order Theories of Graph Orderings
Journal of Logic and Computation, 2015 AbstractWe study definability in the first-order theory of graph order: i.e. the set of all isomorphism types of simple finite graphs ordered by either the minor, subgraph or induced subgraph relation. Natural graph families like cycles and trees are definable in these orders, as also notions like connectivity, maximum degree, etc.
Ramaswamy Ramanujam +1 more
openaire +1 more source
First-Order and Second-Order Ambiguity Aversion [PDF]
Management Science, 2015 Different models of uncertainty aversion imply strikingly different economic behavior. The key to understanding these differences lies in the dichotomy between first-order and second-order ambiguity aversion, which I define here. My definition and its characterization are independent of specific representations of decisions under uncertainty.
openaire +4 more sources
The Journal of Symbolic Logic, 2023 AbstractWe introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We then use this formulation to prove the central property of this interpretation, namely homotopy invariance ...
openaire +3 more sources