Ras homolog enriched in the striatum (Rhes) is a striatal enriched protein that promotes the formation of thin membranous tubes resembling tunneling nanotubes (TNT)—“Rhes tunnels”—that connect neighboring cell and transport cargoes: vesicles and proteins between the neuronal cells. Here the literature on TNT‐like structures is reviewed, and the implications of Rhes‐mediated TNT, the mechanisms of its formation, and its potential in novel cell‐to‐cell communication in regulating striatal biology and disease are emphasized. Thought‐provoking ideas regarding how Rhes‐mediated TNT, if it exists, (...) in vivo, would radically change the way neurons communicate in the brain are discussed. (shrink)

This book presents a comprehensive exposition of Vedanta Desika`s Satadusani, a polemical classic of Visistadvaita Vedanta, devoted to the criticism of the doctrines of Advaita Vedanta. The thought-provoking arguments found in the Sixty-six Vedas of the original text are brought together, analysed and discussed in a systematic manner under eight broad headings: Pramanas Perception; Consciousness; Individual self; Brahman; Universe; Avidya; Sadhana and Mukti.In presenting the dialectics of Vedanta Desika in a vigorous and scholastic form the author deals with numerous issues (...) that the Vadas raise--epistemological, ontological, religious, and ethical. Thought the issues are many, each discussing a specific problem, they are ultimately directed to refute the central doctrine of Advaita, viz., that Brahman which is pure consciousness devoid of all determinations, constitutes the sole Reality and every thing else is illusory. While carefully tracing the fundamental differences between the two systems of Vedanta, he points out that the differences are mostly due to the difference in the stand-points they adopt.Faithfully conforming to the original in letter and spirit, this work will serve as a useful introduction to the study of the Sribhasya of Ramanuja. A distincy contribution to the study of classical Hindu thought, this book should be of interest to students of Philosophy in general and Vedanta in particular. (shrink)

On concept of liberation (Mokṣa) in Hindu philosophy.

In the data collection phase, the digital images are captured using sensors that often contaminated by noise (undesired random signal). In digital image processing task, enhancing the image quality and reducing the noise is a central process. Image denoising effectively preserves the image edges to a higher extend in the flat regions. Several adaptive filters (median filter, Gaussian filter, fuzzy filter, etc.) have been utilized to improve the smoothness of digital image, but these filters failed to preserve the image edges (...) while removing noise. In this paper, a modified fuzzy set filter has been proposed to eliminate noise for restoring the digital image. Usually in fuzzy set filter, sixteen fuzzy rules are generated to find the noisy pixels in the digital image. In modified fuzzy set filter, a set of twenty-four fuzzy rules are generated with additional four pixel locations for determining the noisy pixels in the digital image. The additional eight fuzzy rules ease the process of finding the image pixels,whether it required averaging or not. In this scenario, the input digital images were collected from the underwater photography fish dataset. The efficiency of the modified fuzzy set filter was evaluated by varying degrees of Gaussian noise (0.01, 0.03, and 0.1 levels of Gaussian noise). For performance evaluation, Structural Similarity (SSIM), Mean Structural Similarity (MSSIM), Mean Square Error (MSE), Normalized Mean Square Error (NMSE), Universal Image Quality Index (UIQI), Peak Signal to Noise Ratio (PSNR), and Visual Information Fidelity (VIF) were used. The experimental results showed that the modified fuzzy set filter improved PSNR value up to 2-3 dB, MSSIM up to 0.12-0.03, and NMSE value up to 0.38-0.1 compared to the traditional filtering techniques. (shrink)

We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...) and the amount of information in a message. (shrink)

This is a scholarly book on one of the oldest living relgions of India.

Reasoning about equilibria in normal form games involves the study of players’ incentives to deviate unilaterally from any profile. In the case of large anonymous games, the pattern of reasoning is different. Payoffs are determined by strategy distributions rather than strategy profiles. In such a game each player would strategise based on expectations of what fraction of the population makes some choice, rather than respond to individual choices by other players. A player may not even know how many players there (...) are in the game. Logicising such strategisation involves many challenges as the set of players is potentially unbounded. This suggests a logic of quantification over player variables and modalities for player deviation, but such a logic is easily seen to be undecidable. Instead, we propose a propositional modal logic using player types as names and implicit quantification over players. With modalities for player deviation and transitive closure, the logic can be used to specify game equilibrium and interesting patterns of reasoning in large games. We show that the logic is decidable and present a complete axiomatisation of the valid formulas. (shrink)

Over the centuries the nature of erroneous perception has been thoroughly discussed by Indian philosophers of nearly every school. This text aims to pursue important issues in the discussion of perceptual error. It sheds light on why Indian philosophers devoted so much attention to the problem of erroneous perception but also on why the ontological status of the object of error became such an important issue. The result is a history of the interactions among rival theories of perceptual error.

Description: This scholarly work of Dr S.M.S. Chari's deals with the critical review of seventeen philosophical systems as presented in an important philosophical treatise of the thirteenth century titled Paramata-bhanga contributed by Vedanta Desika, an illustrious successor to Ramanuja, who is the chief exponent of Visistadvaita Vedanta. The main objective of Paramata-bhanga is to establish that Visistadvaita is a sound system of philosophy as compared to the several other Non-Vedic as well as Vedic schools and also Vedanta schools developed by (...) Samkara, Yadavaprakasa, Bhaskara, and other exponents of the post-Ramanuja period. The original text written in Manipravala (a mixture of Tamil and Sanskrit) language contains, besides a brief account of the fundamental doctrines of Visistadvaita. The schools covered are Carvaka, Buddhism, Jainism, Sankhya, Yoga, Vaisesika, Nyaya, Purvamimamsa, Pasupata, Sabdabrahma-vivartavada, and Advaita Vedanta. Among the extant philosophical classics, Paramata-bhanga is a unique work. Realizing the importance of the Paramata-bhanga for the comparative study of Indian philosophy, late Dr Chari tried to give a lucid exposition of this treatise in English. This volume, which is the first of its kind, would be invaluable for students of Indian philosophy in general and Visistadvaita in particular. (shrink)

The Buddhist monk Upagupta, who preached and taught meditative practices in Northwest India over two thousand years ago, is venerated today by the laity in ...

Description: The Upanisads which contain lofty philosophical teachings of the great seers constitute the most authoritative sourcebook for the Vedanta system of philosophy. However, there is no unanimity among the ancient exponents of Vedanta regarding the nature of the philosophy adumbrated in the Upanisads. Dr. Chari's scholarly work attempts to make a dispassionate study of the philosophical passages of the fourteen Principal Upanisads by giving due consideration to not only the comments of Samkara, Ramanuja and Madhva, but more importantly, the (...) authoritative views of Badarayana as enshrined in his classic Vedantasutras. In the first part of the book, he presents the important passages of the Upanisads along with English rendering indicating the variations in the interpretation by the three commentators and also discusses their philosophical implications with reference to the Vedanta doctrines developed in the post Upanisadic period. In the second part he has attempted to consolidate the variety of philosophical thoughts scattered all over the Upanisads into coherent doctrines under five broad subjects: Brahman, jivatman, jagat, sadhana, and parama-purusartha. In the final chapter he conclusively establishes on the basis of an objective evaluation of the views of the commentators that the Upanisads do not support the main tenets of Advaita such as the concept of Nirvisesa Brahman, the identity of jivatman and Brahman, the phenomenal character of the jagat and the doctrine of maya. The author maintains with sufficient textual support that the nature of the philosophy advocated by the Upanisads is Theistic Monism (savisesadvaita). This book, which is the first of its kind, presents an authentic and comprehensive exposition of the philosophy of the Upanisads. (shrink)

Study of Adhikaraṇasārāvalī of Veṅkaṭanātha, 1268-1369, work on the fundamentals of Viśiṣṭādvaita philosophy.

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering (...) concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book. (shrink)

Prof. Iyengar's biography of Sri Aurobindo, long a standard reference work, is now in its fifth edition. The author's subtitle indicates the depth and breadth of the book, as it links the life of Sri Aurobindo, who played for our age the crucial role of leader of humanity's evolving destiny , with the history of India and the world. It also provides detailed discussions of Sri Aurobindo's writings, from the early poems and plays to the politics of Bande Mataram, from (...) the philosophy and social thought of the Arya to the epic masterpiece of Savitri, as the essential keys to understanding his life and work. This book is available again after a long time. (shrink)

We study term modal logics, where modalities can be indexed by variables that can be quantified over. We suggest that these logics are appropriate for reasoning about systems of unboundedly many reasoners and define a notion of bisimulation which preserves propositional fragment of term modal logics. Also we show that the propositional fragment is already undecidable but that its monodic fragment is decidable, and expressive enough to include interesting assertions.

In large anonymous games, payoffs are determined by strategy distributions rather than strategy profiles. If half the players choose a strategy a, all of them get a certain payoff, whereas if only one-third of the players choose that strategy, the players choosing may get a different payoff. Strategizing in such a game by a player involves reasoning about not who does what but what fraction of the population makes the same choice as that player.We present a simple modal logic to (...) reason about such strategization in large games. Since actual numbers are irrelevant, a player need not even know how many others are in the game, thus leading to the consideration of games with unboundedly many players. The logic we consider is the propositional modal fragment of a first order modal logic. We show that it has a bounded agent property, giving us a decision procedure for satisfiability. We also present a complete axiomatization of the valid formulas. The logic admits a natural model checking algorithm and bisimulation characterization. The logic with quantification over players is more appropriate, but is undecidable. (shrink)

Preface of Festschrift on the occasion of Professor Rohit Parikh's 60th birthday.

Recent studies indicate a role of the sympathetic nervous system in acute and chronic pain. However, the terminology of the clinical sympathetically maintained pain (SMP) syndromes continues to be confusing and the criteria for diagnosis of SMP are being refined. (blumberg et al.) Despite significant progress in recent years, the mechanisms of the interaction between the sympathetic and sensory systems in SMP remain puzzling.

This book offers a comprehensive critique of Advaita, which is very contemporary in its outlook, analysis, and technique. It supplements the classical Indian analysis with many special concepts and techniques extensively used in contemporary Western logic and analytic philosophy.

Contributed essays with focus on Advaita Vedantā.

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good closure (...) properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory. (shrink)

When we reason about strategic games, implicitly we need to reason about arbitrary strategy profiles and how players can improve from each profile. This structure is exponential in the number of players. Hence it is natural to look for subclasses of succinct games for which we can reason directly by interpreting formulas on the (succinct) game description rather than on the associated improvement structure. Priority separable games are one of such subclasses: payoffs are specified for pairwise interactions, and from these, (...) payoffs are computed for strategy profiles. We show that equilibria in such games can be described in Monadic Least Fixed Point Logic (MLFP). We then extend the description to games over arbitrarily many players, but using the monadic least fixed point extension of existential second order logic. (shrink)

We study repeated normal form games where the number of players is large. We argue that it is interesting to look at such games as being divided into subgames, each of which we call a neighbourhood. The structure of such a game is given by a graph G whose nodes are players and edges denote visibility. The neighbourhoods are maximal cliques in G. The game proceeds in rounds where in each round the players of every clique X of G play (...) a strategic form game among each other. A player at a node v strategises based on what she can observe, i.e., the strategies and the outcomes in the previous round of the players at vertices adjacent to v. Based on this, the player may switch strategies in the same neighbourhood, or migrate to another neighbourhood.We are interested in addressing questions regarding the eventual stability of such games. We incrementally impose constraints on the ‘types’ of the players. First, we look at players who are unconstrained in their strategising abilities, in that, players who may use unbounded memory. We then consider the case of memoryless players. We show that in both these cases the eventual stability of the game can be characterised in terms of potentials. We then introduce a simple modal logic in which the types of the players can be specified. We show that when the players play according to these specified types, it can be effectively decided whether the game stabilises. Finally, we look at the important heuristic of imitation. Simple imitative strategies can be specified in the logic introduced by us. We show that in a population of optimisers and imitators, we can decide how ‘worse-off’ the imitators are by playing imitative strategies rather than optimal ones. (shrink)