Results 21 to 30 of about 27,374 (212)
Slisp: A Flexible Software Toolkit for Hybrid, Embedded and Distributed Applications [PDF]
We describe Slisp (pronounced ‘Ess-Lisp’), a hybrid Lisp–C programming toolkit for the development of scriptable and distributed applications. Computationally expensive operations implemented as separate C-coded modules are selectively compiled into a ...
Brinkley, James F, Prothero, J. S.
core +1 more source
Lisp, Jazz, Aikido -- Three Expressions of a Single Essence
The relation between Science (what we can explain) and Art (what we can't) has long been acknowledged and while every science contains an artistic part, every art form also needs a bit of science.
Verna, Didier
core +2 more sources
User-extensible sequences in common Lisp [PDF]
Common Lisp is often touted as the programmable programming language, yet it sometimes places large barriers in the way, with the best of intentions. One of those barriers is a limit to the extensibility by the user of certain core language constructs, such as the ability to define subclasses of built in classes usable with standard functions: even ...
openaire +2 more sources
Abstract figure legend A high‐fat diet (HFD) induces brown adipose tissue (BAT) whitening, mitochondrial dysfunction (damaged cristae, fragmentation), reduced NAD+ levels and impaired thermogenesis, leading to lower energy expenditure and metabolic inflexibility.
Renata R. Braga +8 more
wiley +1 more source
A common subset of selected facilities available in Maclisp and its derivatives (PDP-10 and Multics Maclisp, Lisp Machine Lisp (Zetalisp), and NIL) is decribed.
Bawden, A., Burke, G. S., Hoffman, C. W.
core +1 more source
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid [PDF]
In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification ...
E.A. Ashcroft +8 more
core +2 more sources
CLCN4 ‐Related Neurodevelopmental Condition: Characterization of Speech and Language Abilities
ABSTRACT Speech and language difficulties are a core feature of the CLCN4‐related neurodevelopmental condition, but these have not been well described. Here we systematically phenotype speech and language in 13 participants (10 female, aged 1 year 10 months–41 years 10 months) with pathogenic CLCN4 variants (12 missense de novo, 1 premature stop codon ...
Alexandra Garrett +4 more
wiley +1 more source
A verified Common Lisp implementation of Buchberger's algorithm in ACL2 [PDF]
In this article, we present the formal verification of a Common Lisp implementation of Buchberger's algorithm for computing Gröbner bases of polynomial ideals.
Medina Bulo, Inmaculada +2 more
core
Providing Self-Aware Systems with Reflexivity
We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion.
A Church +21 more
core +1 more source
Abstract Goal‐directed tasks unfold in hierarchies of larger and smaller sub‐tasks, and pursuing them jointly implies that participants must agree on whether they are continuing an ongoing sub‐task (horizontal transition) or switching to the next sub‐task (vertical transition).
Natalia Morozova +2 more
wiley +1 more source

