The constantly growing body of scholarly knowledge of science, technology, and humanities is an asset of the mankind. While new discoveries expand the existing knowledge, they may simultaneously render some of it obsolete. It is crucial for scientists and other stakeholders to keep their knowledge up to date. Policy makers, decision makers, and the general public also need an efficient communic...

Our goal as education researchers is to make a difference. We want to help students learn better, or perhaps we want them to learn just as well but at lower cost to our institutions. Decades of research tell us that it is difficult to make a significant difference with technology. This is especially true if we are trying to do the same things. The true value of new technology comes when it perm...

Pure ocular presentation of Lambert-Eaton syndrome is not a common phenomenon. Such presentation poses significant diagnostic challenges and requires conscientious evaluation. In this review, we have described a case of a patient with pure ocular weakness, initially diagnosed as seronegative ocular myasthenia which on further evaluation was found to have ocular Lambert-Eaton myasthenic syndrome...

the most current pursuit algorithms for moving targets which are presented so far in the literatureare pure pursuit and pure rendezvous navigations. recently, one of the present authors has introduced ageometric model for the pure pursuit navigation algorithm. here, in this paper, we study a new algorithm forthe pursuit navigation problem which is a combination of both of the above algorithms. ...

in this paper‎, ‎we introduce the notion of $(m,n)$-‎algebr‎aically compact modules as an analogue of algebraically‎ ‎compact modules and then we show that $(m,n)$-algebraically‎ ‎compactness‎ ‎and $(m,n)$-pure injectivity for modules coincide‎. ‎moreover‎, ‎further characterizations of a‎ ‎$(m,n)$-pure injective module over a commutative ring are given‎.

User-defined functions used in the specification of objectoriented programs are called pure methods. Providing sound and practical support for pure methods in a verification system faces many challenges, especially when pure methods have executable implementations and can be invoked from code at run time. This paper describes a design for reasoning about pure methods in the context of sound, mo...