Results 51 to 60 of about 24,210 (235)
Revisiting the Literal Sense of Scripture, in Dialogue With Thomas Aquinas
International Journal of Systematic Theology, EarlyView.Abstract Brevard Childs suggests that ‘one of the burning issues in theology lies in a search to recover a new understanding of the sensus literalis’. In this article, I retrieve and commend Thomas Aquinas's account of the literal sense, using Peter's Pentecost speech in Acts 2 as a way of testing Thomas's mettle.
Christopher R. J. Holmes
wiley +1 more source
Revista Metropolitana de Ciencias Aplicadas, 2021 La enseñanza de la programación implica un elevado nivel de complejidad, lo quiere decir, representa una dificultad extra en el aprendizaje en las aulas; más aún, cuando la programación cambia su paradigma, distinta a la programación tradicional; este es
Tonysé De la Rosa Martín +2 more
doaj
Theory and Practice of Logic Programming, 2008 AbstractProlog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make it a prime candidate for programming robust Web services. Although Prolog is commonly seen as a component in a Web application that is either embedded or communicates
Wielemaker, J. +2 more
openaire +4 more sources
Nations and Nationalism, EarlyView.Abstract The article explores the harrowing use of sexual violence as a tool in the ethnic cleansing of Germans in post‐World War II Czechoslovakia. By examining the grim realities of internment camps, prisons, and border regions, it reveals a disturbing pattern of abuse aimed primarily at German women by Czech men.
Jaromír Mrňka
wiley +1 more source
Desarrollo de un sistema experto para el diagnostico de fallas automotrices
Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, 2013 Se presenta un prototipo experimental de un sistema experto para el diagnóstico de fallas mecánicas en automóviles, a partir de una interacción en tiempo real.
Ricardo Fuentes Covarrubias +1 more
doaj
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
Coaxing Compliance: Ethiopian Lawyers, Chinese Companies, and the Cultivation of Respect
Regulation &Governance, EarlyView.ABSTRACT Over the past three decades, a growing number of Chinese enterprises have entered Ethiopia's construction and manufacturing sectors as contractors and investors. While adapting to a new regulatory environment, many of these companies have faced administrative challenges and accusations of noncompliance, some of which have been brought to court.
Miriam Driessen
wiley +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
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
The Material and Textual Value of Manuscript and Print Binding Waste☆
Renaissance Studies, EarlyView.Abstract In 2019, the Foundation of Christ's Hospital at Lincoln made a bequest of early printed books to the Bodleian Library. The collection is rich in sixteenth‐century tooled bindings, many of which preserve manuscript and printed waste in the form of pastedowns, endleaves and endleaf guards.
Tamara Atkin
wiley +1 more source