Results 1  10
of
171
Definitional interpreters for higherorder programming languages
 Reprinted from the proceedings of the 25th ACM National Conference
, 1972
"... Abstract. Higherorder programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language such as pure LISP). Examples include ..."
Abstract

Cited by 338 (2 self)
 Add to MetaCart
McCarthy’s definition of LISP, Landin’s SECD machine, the Vienna definition of PL/I, Reynolds ’ definitions of GEDANKEN, and recent unpublished work by L. Morris and C. Wadsworth. Such definitions can be classified according to whether the interpreter contains higherorder functions, and whether
Flocking for MultiAgent Dynamic Systems: Algorithms and Theory
, 2006
"... In this paper, we present a theoretical framework for design and analysis of distributed flocking algorithms. Two cases of flocking in freespace and presence of multiple obstacles are considered. We present three flocking algorithms: two for freeflocking and one for constrained flocking. A compre ..."
Abstract

Cited by 436 (2 self)
 Add to MetaCart
comprehensive analysis of the first two algorithms is provided. We demonstrate the first algorithm embodies all three rules of Reynolds. This is a formal approach to extraction of interaction rules that lead to the emergence of collective behavior. We show that the first algorithm generically leads to regular
Definitions
, 2002
"... Abstract: This work aims to study and analyze the behavior of flow in an axial flow fan using numerical simulation based on solving Reynoldsaveraged NavierStokes equations coupled with a modified SpalartAllaras turbulence model. In the present work, different flow phenomena occuring in an axial f ..."
Abstract
 Add to MetaCart
Abstract: This work aims to study and analyze the behavior of flow in an axial flow fan using numerical simulation based on solving Reynoldsaveraged NavierStokes equations coupled with a modified SpalartAllaras turbulence model. In the present work, different flow phenomena occuring in an axial
Point Place Reynolds Corners
"... 1“The human mind is not capable of grasping the Universe. We are like a little child entering a huge library. The walls are covered to the ceilings with books in many different tongues. The child knows that someone must have written these books. It does not know who or how. It does not understand th ..."
Abstract
 Add to MetaCart
the languages in which they are written. But the child notes a definite plan in the arrangement of the books – a mysterious order which it does not comprehend, but only dimly suspects.” Albert Einstein A typical economic impact study of a forprofit business or venture is a wellestablished routine in which
Simulation of timedependent viscoelastic channel poiseuille flow at high reynolds numbers
 Chem.Eng.Sc
, 1996
"... AbstractThe development of a fully spectral, threedimensional (in space) and timedependent simulation for viscoelastic flows is described. For smooth flow geometries, uch as the plane Poiseuille flow which is studied here, the method combines the advantages of a high accuracy, exponentially fast ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
on the timestep size and initial conditions. Before the onset of the numerical instabilities, the conformation tensor is always observed to lose its positivedefiniteness. For the constitutive equations utilized here this is due to the accumulation f numerical error since it can be shown that
On selfpropulsion of micromachines at low Reynolds number: Purcell’s threelink swimmer
, 2003
"... Using slenderbody hydrodynamics in the inertialess limit, we examine the motion of Purcell’s swimmer, a planar, fore–aftsymmetric threelink flagellum or propulsive mechanism that translates by alternately moving its front and rear segments. Purcell (1976) concluded via symmetry arguments that the ..."
Abstract

Cited by 35 (0 self)
 Add to MetaCart
and of minimum mechanical work are determined. We use a definition of efficiency based on the straightened configuration as a reference state to compare Purcell’s swimmer with the previously treated swimming motions of an undulating rod and a rotating helix. Finally, we demonstrate the importance
The Use Of Heavy Gas For Increased Reynolds Numbers In Transonic Wind Tunnels
, 1998
"... The use of a high molecular weight test gas to increase the Reynolds number range of transonic wind tunnels is explored. Modifications to a small transonic wind tunnel are described and the real gas properties of the example heavy gas (sulfur hexafluoride) are discussed. Sulfur hexafluoride is shown ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
is shown to be partially successful in transforming the heavy gas results to equivalent nitrogen (air) results, provided the correct definition of gamma is used. Introduction The shortfall in Reynolds number in current U. S. transonic ground test facilities is well known (Mack, et al. 1
Parametric Polymorphism  Universally
, 2015
"... In the 1980s, John Reynolds postulated that a parametrically polymorphic function is an adhoc polymorphic function satisfying a uniformity principle. This allowed him to prove that his settheoretic semantics has a relational lifting which satisfies the Identity Extension Lemma and the Abstraction ..."
Abstract
 Add to MetaCart
and the Abstraction Theorem. However, his definition (and subsequent variants) have only been given for specific models. In contrast, we give a modelindependent axiomatic treatment by characterising Reynolds’ definition via a universal property, and show that the above results follow from this universal property
A Per Model of Polymorphism and Recursive Types
 In Logic in Computer Science. IEEE
, 1990
"... A model of Reynolds' polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The technique is to use a good class of partial equivalence relations over a certain cpo. This allows the combination of inverselimits for recursion and intersection ..."
Abstract

Cited by 63 (3 self)
 Add to MetaCart
A model of Reynolds' polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The technique is to use a good class of partial equivalence relations over a certain cpo. This allows the combination of inverselimits for recursion and intersection
Synonyms Viscous pump; Micro/Nanofluidics Definition
"... Conventional mechanical pumps based on centrifugal or axial turbomachinery are not suitable for micro and nano scales where the Reynolds numbers are usually small. Centrifugal and inertial forces are negligible, and viscous forces dominate the flow field in this length scale (an excellent review ca ..."
Abstract
 Add to MetaCart
Conventional mechanical pumps based on centrifugal or axial turbomachinery are not suitable for micro and nano scales where the Reynolds numbers are usually small. Centrifugal and inertial forces are negligible, and viscous forces dominate the flow field in this length scale (an excellent review
Results 1  10
of
171