Results 61 to 70 of about 251 (176)
Verification Conditions are Code
, 2006 This paper presents a new theoretical result concerning Hoare Logic. It is shown here that the verification conditions which support a Hoare Logic program derivation are themselves sufficient to construct a correct implementation of the given pre-, post-
Gravell, Andrew M, Andrew M Gravell
core
Agribusiness, EarlyView.ABSTRACT In May 2020, China abruptly suspended imports from several major Australian beef processors, escalating a diplomatic dispute between the two countries. This trade measure disrupted one of the largest beef export relationships in the world almost overnight.
K. Aleks Schaefer, Youngjune Kim
wiley +1 more source
Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
, 2014 In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences.
Grygiel, Katarzyna, Lescanne, Pierre
core +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This study introduces a data‐driven framework that combines deep reinforcement learning with classical path planning to achieve adaptive microrobot navigation. By training a surrogate neural network to emulate microrobot dynamics, the approach improves learning efficiency, reduces training time, and enables robust real‐time obstacle avoidance in ...
Amar Salehi +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Complex dynamics, often avoided in electromechanical design, can enhance soft robotics. We develop durable magnetic soft actuators operating in tunable dynamic regimes, enabling random number generation, stochastic computing, and time‐series prediction.
Eduardo Sergio Oliveros‐Mata +14 more
wiley +1 more source
Lambda-calculus and combinators: an introduction
, 2008 This book gives an account of combinatory logic and lambda-calculus ...
Seldin, Jonathan P, Hindley, J Roger
core
, 1981 The main aim of this paper is to formulate "natural" logical foundations for type-free lambda-calculus. The importance of such foundations for analyzing arbitrary order computational properties of programs is emphasized.
Rudin, Leonid
core
Linear realizability and full completeness for typed lambda calculi
, 2005 We present the model construction technique called Linear Realizability. It consists in building a category of Partial Equivalence Relations over a Linear Combinatory Algebra.
ABRAMSKY S., LENISA, Marina
core +1 more source