Results 31 to 40 of about 1,357,262 (304)
Relational semantics of linear logic and higher-order model-checking
, 2015 In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any ...
C Grellois +4 more
core +2 more sources
Advanced Robotics Research, EarlyView.Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley +1 more source
Where Do We Go From Here? [PDF]
, 2017 (excerpt) Truth is, though, we need wise and discerning counsel in order learn how to be liturgists for our assemblies. Liturgists, whether worship leaders or planners, presiding or assisting, spoken or musical, all need a coherent sense of their ...
Brugh, Lorraine
core +2 more sources
A Skills Gap Analysis of Farmer Directors of US Farmer Cooperatives
Agribusiness, EarlyView.ABSTRACT Boards of directors are vital to firm performance and are an integral part of the decision‐making process of any business. Several studies have been conducted that observe corporate or nonprofit board characteristics, skills, and the board's connection to firm performance.
Jody S. Herchenbach +5 more
wiley +1 more source
An Open Declaration [Openlike Verklaring] concerning the Presbyterian Church government system
In die SkrifligThe challenge posed by 18th-century rationalism to the 16th-century Reformed doctrine, initiated a trajectory in which Reformed churches assumed the responsibility of preserving the essence of the Reformation.
Chaka C. Mathundela
doaj +1 more source
Kerkorde en doop – Toegespits op twee gereformeerde kerkordes
In die Skriflig, 2019 Church order and baptism – with reference to two reformed church orders: The purpose of a church order is not an end itself, but to serve the church in its calling as an institute of the Christian faith.
Piet J. Strauss
doaj +1 more source
Kerk en recht in balans. Aandag voor de kwaliteit van de kerkelijke rechtsorde
Acta Theologica, 2022 Dr. A. Celliers writes a bookreview of: T.E. Boele-Noort & P.T. Pel (red.), (Apeldoornse Studies nr. 78, Teologiese Universiteit, Apeldoorn 2021), 84 pp, ISBN: 978-90-75847-55-0.
A. Celliers
doaj +1 more source
Material‐Based Intelligence: Autonomous Adaptation and Embodied Computation in Physical Substrates
Advanced Intelligent Systems, EarlyView.This perspective formulates a unifying framework for Material‐Based Intelligence (MBI), defining the physical requirements for materials to achieve embodied action, active memory and embodied information processing through intrinsic nonequilibrium dynamics. The design of intelligent materials often draws parallels with the complex adaptive behaviors of
Vladimir A. Baulin +4 more
wiley +1 more source
Besluitneming in die Gereformeerde Kerkverband
In die SkrifligDecision-making in the Reformed Churches in South Africa The hypothesis for this article is that no complete certainty can exist on whether a resolution taken by a meeting of people is an authoritative expression of the will of God. The church [ekklésia]
Francois Venter
doaj +1 more source
HTS Teologiese Studies/Theological Studies, 1995 Church and church order. This paper discusses the connection and relationship between church and church order within the context of the presbyterial-synodal system of church polity with a view to the rewriting of the church order of the Nederduitsch ...
S. J. Botha
doaj +1 more source