Distributed algorithms are known for being tedious to design and assess. Since they are based on the interaction of several independent components, they are hard to envision for the sequential human brains. Deadlocks, race conditions and resource starvation are unfortunately common problems of distributed computing. Model checking is one of the most successful techniques to assess that a distri...

We investigate the problem of guessing a random vector X within distortion level D. Our aim is to characterize the best attainable performance in the sense of minimizing, in some probabilistic sense, the number of required guesses G(X) until the error falls below D. The underlying motivation is that G(X) is the number of candidate codewords to be examined by a rate-distortion block encoder unti...

The possibility of differentiating our senses comes from our ability to determine the means by which they are aroused. The game of peek-a-boo teaches babies that although their eyes may be covered, the world they see does not disappear. The connection between one aspect of understanding one's surroundings, and the eyes, is developed: vision is not reality. The different perception of an object ...

*Corresponding author: Email: [email protected]; Tel.: +91 9442041624

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

Humans have an extremely complex brain anatomy because of its complicated structure as well as functions. The brain is an integral part of the Central Nervous System (CNS) and is the center that controls the mental processes as well as physical actions of the human body. Brain abnormalities are symptoms wherein motor impairments or neuropsychological issues impact the CNS [1]. It is typically a...

Corresponding author: Email: [email protected]; Tel: +91202 344 6048

(a) Definition of a ∆-system, statement and proof of the ∆-system lemma. (b) Statement of MA (Martin’s Axiom) and MAκ, proof that MAω holds and MAc fails. (c) Definition of a club and a stationary subset of κ, of the club filter and proof that the club filter on a regular cardinal κ is κ-complete. (d) Statement and proof of the Pressing Down Lemma. i. An application: Statement and proof of Thom...