Results 21 to 30 of about 27,374 (212)

Slisp: A Flexible Software Toolkit for Hybrid, Embedded and Distributed Applications [PDF]

open access: yes, 1997
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

open access: yes, 2018
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]

open access: yesProceedings of the 2007 International Lisp Conference, 2007
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

NAD replenishment restores mitochondrial function and thermogenesis in the brown adipose tissue of mice with obesity

open access: yesThe Journal of Physiology, EarlyView.
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

Maclisp extensions [PDF]

open access: yes, 1981
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]

open access: yes, 2011
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

open access: yesAmerican Journal of Medical Genetics Part A, Volume 197, Issue 12, December 2025.
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]

open access: yes, 2010
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

open access: yes, 2017
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

Language‐Invariant Strategies of Navigating Transitions in Joint Activities: Forms and Functions of Coordination Markers

open access: yesCognitive Science, Volume 49, Issue 11, November 2025.
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

Home - About - Disclaimer - Privacy