Results 51 to 60 of about 61,516 (240)
The Systematic Normativity of Nicene Theology☆
International Journal of Systematic Theology, EarlyView.Abstract The 1700th anniversary of the Nicene Council is an opportune moment to consider the possibility that the production and defense of the Nicene confession represent the fruition and manifestation of a way of doing theology that is perennially valid and normative precisely with respect to its systematic integration of the contents of Christian ...
Khaled Anatolios
wiley +1 more source
MATEC Web of Conferences, 2018 PROLOG is a programming language widely used in the generation of expert and intelligent systems, generally limited to data that is entered directly by a user in the form of software, having little or no interaction with data that is captured directly ...
Ts’zul Pinedo Arriaga O. +3 more
doaj +1 more source
All-Fiber Highly Sensitive Bragg Grating Bend Sensor
Sensors, 2019 In this paper, we demonstrated a novel, all-fiber highly sensitive bend sensor based on a four-core fiber rod with a diameter of 2.1 mm. We observed a high resolution of the sensor at a level of 3.6 × 10−3 m−1.
Oleg V. Butov +4 more
doaj +1 more source
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +1 more source
The Nature of Christian Doctrine: A Conversation with My Critics
International Journal of Systematic Theology, EarlyView.Abstract This article opens with a brief account of the six main themes of The Nature of Christian Doctrine, noting in particular the role of the early church as an ‘epistemic community’ of knowledge production, and the significant and helpful parallels between the modern scientific tool of ‘inference to the best explanation’ and early Christian ...
Alister E. McGrath
wiley +1 more source
Tor: modular search with hookable disjunction [PDF]
, 2013 Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Desouter, Benoit, Schrijvers, Tom
core
OR-parallel PROLOG in flat concurrent PROLOG
The Journal of Logic Programming, 1989 AbstractWe describe a simple or-parallel execution algorithm for PROLOG that naturally collects all solutions to a goal. For a large class of programs the algorithm has O(log n) overhead and exhibits O(n/(log n)2) parallel speedup over the standard sequential algorithm.
openaire +2 more sources
Becoming Dostoevsky (how Rowan Williams opens up Bakhtin)
Modern Theology, EarlyView.Abstract With the end of Communism in Russia, non‐materialist contexts were enthusiastically restored to Mikhail Bakhtin's globally famous ideas of carnival, dialogism, and polyphony. This essay surveys Rowan Williams's 2008 study Dostoevsky: Language, Faith + Fiction as a major contribution to this effort, concentrating on those general philosophical ...
Caryl Emerson
wiley +1 more source
An evaluation of Turbo Prolog with an emphasis on its application to the development of expert systems [PDF]
Turbo Prolog is a recently available, compiled version of the programming language Prolog. Turbo Prolog is designed to provide not only a Prolog compiler, but also a program development environment for the IBM Personal Computer family.
Loftin, Richard B.
core +1 more source
A Paper Chase: Call a Group of Foxes
Critical Quarterly, EarlyView.
Charmaine Cadeau
wiley +1 more source