Results 91 to 100 of about 24,130 (303)
JMIR AgingBackgroundRemote programming enables physicians to adjust implantable pulse generators over the internet for patients with Parkinson disease who have undergone deep brain stimulation (DBS) surgery. Despite these technological advances, the demand for and
Xiaonan Wan +5 more
doaj +1 more source
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation [PDF]
Logical Methods in Computer ScienceWe propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic ...
Sewon Park +9 more
doaj +1 more source
Constraint Imperative Programming with Higher-Order Functions
, 2003 Constraint imperative programming languages combine declarative constraints and imperative language features into an integrated programming language.
Martin Grabmüller +1 more
core
Programming Language Semantics using Miranda [PDF]
, 1995 This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core
Discovering Functional Programming Through Imperative Languages
, 1992 The pedagogical desirability of functional programming is effectively swamped by an overwhelmingly imperative-language-oriented culture. Because a meaningful subset of the functional paradigm is accessible within imperative languages, it is possible to ...
Bailes P.A.
core +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Replicated Synchronization for Imperative BSP Programs
Procedia Computer Science, 2017 The BSP model (Bulk Synchronous Parallel) simplifies the constructionand evaluation of parallel algorithms, with its simplifiedsynchronization structure and cost model. Nevertheless, imperativeBSP programs can suffer from synchronization errors.Programs with textually aligned barriers are free from such errors,and this structure eases program ...
Jakobsson, Arvid +4 more
openaire +1 more source
Action semantics in retrospect [PDF]
, 2009 This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
Watt, D.A., David A. Watt
core +1 more source
From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures
Advanced Robotics Research, EarlyView.This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley +1 more source
, 1996 Machine, which has proven extremely successful in the context of logic programming. The WAM approach essentially provides a view of the compilation of these languages as a generalization of the standard techniques used in conventional languages, allowing
The Constraint Programming Working Group
core