منابع مشابه
Pearl drops
– If deposited on a hydrophobic rough substrate, a small drop of water can look like a pearl, with a contact angle close to 180. We examine the conditions for observing such a phenomenon and show practical achievements where the contact angle can be predicted and thus quantitatively tuned by the design of the surface microstructure. Presentation. – The contact angle of a drop on a solid is idea...
متن کاملFUNCTIONAL PEARL InvertingtheBurrowsWheelertransform
The objective of this pearl is to derive the inverse of the Burrows-Wheeler transform from its specification, using simple equational reasoning. In fact, we derive the inverse of a more general version of the transform, proposed by Schindler.
متن کاملProfiling Specification PEARL Designs
An approach to holistic system modelling is presented, based on the Specification PEARL hardware/software co-design methodology, having its origin in the standard Multiprocessor PEARL specification language. Specification PEARL specifications and models represent prototypes of systems and programs, based on the PEARL program model. The system models built are checked for timely execution by co-...
متن کاملEducation Council Symposium (Pearl)
Computed radiography (CR) systems are becoming prevalent in diagnostic radiology as the availability of lower cost devices and the increased emphasis on digital image networks in radiology occurs. Basic knowledge of the CR system and an understanding of system characteristics by the radiologist, physicist, and technologist are important for the installation and operation of these devices in the...
متن کاملFUNCTIONAL PEARL Pickler Combinators
The tedium of writing pickling and unpickling functions by hand is relieved using a combinator library similar in spirit to the well-known parser combinators. Picklers for primitive types are combined to support tupling, alternation, recursion, and structure sharing. Code is presented in Haskell; an alternative implementation in ML is discussed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Dance Research Journal
سال: 1995
ISSN: 0149-7677,1940-509X
DOI: 10.1017/s014976770000423x