Results 71 to 80 of about 12,699 (243)
Interpreting Barth's Eschatology: An Eco‐Theological Reappraisal
International Journal of Systematic Theology, EarlyView.Abstract Critical eco‐theologians do not consider Karl Barth's theology of creation helpful in addressing the contemporary ecological crisis. In this article, I explore a way to interpret Barth's theology that could lead to a fruitful eco‐theological perspective.
Othniël de Jong
wiley +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
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
Transforming Coroutining Logic Programs into Equivalent CHR Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational ...
Vincent Nys, Danny De Schreye
doaj +1 more source
A Practical Type Analysis for Verification of Modular Prolog Programs
, 2008 Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Pietrzak, Pawel +10 more
core +1 more source
Modern Theology, EarlyView.Abstract This essay, designed as a complement to opinions expressed by Rowan Williams and some speakers at the conference in his honour, explores features of early Christianity which suggest a positive evaluation of artificial intelligence. Noting that the fear of reducing humans to machines has been joined in the modern age by the fear that machines ...
Mark J. Edwards
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
A Prolog programozási nyelv a könyvtárosi munka aspektusából [PDF]
, 2010 A szakdolgozat célja, hogy bemutassa, hogyan használható a Prolog programozási nyelv a könyvtárosi munka során, milyen jellegzetességei és alkalmazási lehetőségei vannak ennek a logikai programozási nyelvnek.
Túri, József Attila
core
The Analogia Entis for Reformed Theology: Retrieving Calvin's Implicit Metaphysics
Modern Theology, EarlyView.Abstract The famous controversy between Emil Brunner and Karl Barth which led to Barth's ‘No!’ was driven by disagreements over how to read John Calvin: Barth and Brunner never agreed on whether Calvin had a doctrine of the analogy of being. This article rekindles the debate.
Silvianne Aspray
wiley +1 more source