Results 71 to 80 of about 9,800,925 (164)

Hydrodynamic evaluation of a spider-inspired underwater robot using distributed flapping fin propulsion. [PDF]

open access: yesSci Rep
Nair VG   +6 more
europepmc   +1 more source

Lifting Transformations

open access: yes, 1991
Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety of nondeterministic procedures.
Siskind, Jeffrey, McAllester, David
core  

Span Efficiency of Flying Animals. [PDF]

open access: yesIntegr Comp Biol
Yasuda H   +5 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy