Sangiorgi has shown that the semantics induced by Milner's encoding of the call-by-name-calculus in the-calculus is the equality of LLvy-Longo trees. Later it was realized that Milner's encodings are actually variations on well-known continuation passing style transforms. Then a question is: is the discriminating ability due to-calculus features, or is it already ooered by the cps transform? We...

Malicious agents like self-propagating worms often rely on port or address scanning to discover new potential victims. The ability to detect active scanners based on passive traffic monitoring is an important prerequisite for taking appropriate countermeasures. In this work we evaluate experimentally two common algorithms for scanner detection based on extensive analysis of real traffic traces ...

Latent Dirichlet Allocation (LDA) and its variants have been widely used to discover latent topics in textual documents. However, some of topics generated by LDA may be noisy with irrelevant words scattering across these topics. We name this kind of words as topic-indiscriminate words, which tend to make topics more ambiguous and less interpretable by humans. In our work, we propose a new topic...

We customize a transversely structured, tunable light landscape on the basis of orbital angular momentum (OAM)-carrying beams for purpose advanced optical manipulation. Combining Laguerre-Gaussian (LG) modes with helical phase fronts opposite OAM handedness, counter-rotating transfer is enabled in concentric intensity structure, creating dynamic "grinding" scenario dielectric microparticles. de...

Price discrimination is the practice of charging different consumers different prices for the same good, where the price difference cannot be accounted for by differences in cost. The ability to price discriminate enables a seller to charge buyers prices that more closely approximate their willingness-to-pay for the item. By price discriminating, sellers are able not only to maximize their own ...

OBJECTIVE To evaluate the validity and reliability of the Portuguese language version of a work ability index. METHODS Cross sectional survey of a sample of 475 workers from an electrical company in the state of Sao Paulo, Southeastern Brazil (spread across ten municipalities in the Campinas area), carried out in 2005. The following aspects of the Brazilian version of the Work Ability Index w...

The ability to track when and which neurons fire in the vicinity of an electrode, in an efficient and reliable manner can revolutionize the neuroscience field. The current bottleneck lies in spike sorting algorithms; existing methods for detecting and discriminating the activity of multiple neurons rely on inefficient, multi-step processing of extracellular recordings. In this work, we show tha...

Response accuracy and odor-sampling times were used to compare the ability of mice to detect (+)-carvone and (+)-terpinen-4-ol and to discriminate between enantiomers of carvone and of terpinen-4-ol. Except for increased odor sampling when mice were first exposed to the (+)-carvone odor, there was no difference in odor-sampling time or response accuracy in tests of odor detection or in discrimi...

Radiofrequency (RF) catheter ablation has become a method of choice in curative treatment of pharmacologically refractory paroxysmal supraventricular tachycardias involving an accessory atrioventricular connection. Prerequisite for successful ablative treatment is the precise identification of an aberrant pathway. Although magnetic field mapping has shown promise in facilitating the localizatio...

THE ABUNDANCE and variety of man's food depend upon his control over environment. For primitive tribes this meant success in hunting and fishing, and discovery and discriminating use of roots, leaves, fruit, and seeds of wild plants. Later, as animals were domesticated and agriculture got under way, control over environment came to mean good management of crops and flocks. Today for a large par...