Correspondence between Aurobindo Ghose, 1872-1950 and Dilip Kumar Roy, 1897-1980.

Color conveys critical information about the flavor of food and drink by providing clues as to edibility, flavor identity, and flavor intensity. Despite the fact that more than 100 published papers have investigated the influence of color on flavor perception in humans, surprisingly little research has considered how cognitive and contextual constraints may mediate color–flavor interactions. In this review, we argue that the discrepancies demonstrated in previously-published color–flavor studies may, at least in part, reflect differences in the sensory expectations that (...) different people generate as a result of their prior associative experiences. We propose that color–flavor interactions in flavor perception cannot be understood solely in terms of the principles of multisensory integration but that the role of higher-level cognitive factors, such as expectations, must also be considered. (shrink)

Recent work suggests that DNA replication origins are regulated by the number of multiple mini‐chromosome maintenance (MCM) complexes loaded. Origins are defined by the loading of MCM – the replicative helicase which initiates DNA replication and replication kinetics determined by origin's location and firing times. However, activation of MCM is heterogeneous; different origins firing at different times in different cells. Also, more MCMs are loaded in G1 than are used in S phase. These aspects of MCM biology are explained by (...) the observation that multiple MCMs are loaded at origins. Having more MCMs at early origins makes them more likely to fire, effecting differences in origin efficiency that define replication timing. Nonetheless, multiple MCM loading raises new questions, such as how they are loaded, where these MCMs reside at origins, and how their presence affects replication timing. In this review, we address these questions and discuss future avenues of research. (shrink)

It can be demonstrated in a very straightforward way that confirmation and evidence as spelled out by us can vary from one case to the next, that is, a hypothesis may be weakly confirmed and yet the evidence for it can be strong, and conversely, the evidence may be weak and the confirmation strong. At first glance, this seems puzzling; the puzzlement disappears once it is understood that confirmation is of single hypotheses, in which there is an initial degree of (...) belief which is adjusted up or down as data accumulate, whereas evidence always has to do with a comparison of one hypothesis against another with respect to the data and is belief-independent. Confusing them is, we suggest, a plausible source of the so-called “base-rate fallacy” identified by Kahneman and Tversky which leads most of us to make mistaken statistical inferences. It is also in the background, or so we argue in some detail, of the important policy controversies concerning human-induced global warming. (shrink)

A close observation on the rapid change in the mind of young cohort has been made. Our Surveillance is before and after pandemic periods compels us to re-write some pre-occupied conceptions in the core of Philosophy and Psychology. We have worked on mind-body & mind-soul relationship from three angles that are Medical Science, Psychology and Philosophy. It is seen that the level of confidence is gradually diminishing among the youth due to different impetus and as a result many powerful strengths (...) are going out. Proclamation of human values in a new way must be declared so that we can save a thankful number of creative lives. Discussions have been made on thoughts, distress, medical causes of suicide or suicidal attempts, personality disorders, neuropsychology to open up a new world before the present generation. Each and every characteristics of life has positive impact and here we have tried to establish this fact. Physical and metaphysical aspects are reciprocating our lives and this should be injected in the mind of present generation and an approach can be taken to incorporate the matter in the curriculum right now. We have the intention to explain metaphysical love and its high, intelligent values proclaimed strength of mind of youth to infuse our dear world with great moral values. It may also save the earth from natural decay with their surprising discoveries. (shrink)

The hidden brain has its finger on the scale when we make all of our most complex and important decisions – it decides who we fall in love with, whether we should convict someone of murder, or which way to run when someone yells “fire ...

We are living in an algorithmic age where mathematics and computer science are coming together in powerful new ways to influence, shape and guide our behaviour and the governance of our societies. As these algorithmic governance structures proliferate, it is vital that we ensure their effectiveness and legitimacy. That is, we need to ensure that they are an effective means for achieving a legitimate policy goal that are also procedurally fair, open and unbiased. But how can we ensure that algorithmic (...) governance structures are both? This article shares the results of a collective intelligence workshop that addressed exactly this question. The workshop brought together a multidisciplinary group of scholars to consider barriers to legitimate and effective algorithmic governance and the research methods needed to address the nature and impact of specific barriers. An interactive management workshop technique was used to harness the collective intelligence of this multidisciplinary group. This method enabled participants to produce a framework and research agenda for those who are concerned about algorithmic governance. We outline this research agenda below, providing a detailed map of key research themes, questions and methods that our workshop felt ought to be pursued. This builds upon existing work on research agendas for critical algorithm studies in a unique way through the method of collective intelligence. (shrink)

Providing people with information is considered an important first step in encouraging them to behave sustainably as it influences their consumption beliefs, attitudes and intentions. However, too much information can also complicate these processes and negatively affect behaviour. This is exacerbated when people have accepted the need to live a more sustainable lifestyle and attempt to enact its principles. Drawing on interview data with people committed to sustainability, we identify the contentious role of knowledge in further disrupting sustainable consumption ideals. (...) Here, knowledge is more than just information; it is familiarity and expertise or how information is acted upon. We find that more knowledge represents a source of dilemma, tension and paralysis. Our data reveal a dark side to people’s knowledge, leading to a ‘self-inflicted sustainable consumption paradox’ in their attempts to lead a sustainable consumption lifestyle. Implications for policy interventions are discussed. (shrink)

Sri Aurobindo is one of the most prominent figures in the Indian Philosophy of twentieth century and yet we barely find any mention of his work in the philosophy circles. He has written extensively on metaphysics, aesthetics, and ethics. Sri Aurobindo’s work is all-encompassing and carries marks of a deep yogic insight into both the individual self (with all its parts and their integrated working) and the universe that ultimately shares a relation of identity with the individual in secret. He (...) talks about a world-process that contains evolution qualified with involution. It is one of the most unique features of Sri Aurobindo’s philosophy. He deals with the questions of ignorance also in the most satisfying way. Sri Aurobindo has an integral vision that sees everything in the movement of one and develops the methods and practices of Integral Yoga. In his yogic vision, he not only tries to solve the problems of humanity but also attempts to make a very bold move of transforming the whole earthly existence into a divine existence through one large stride. The epistemological discussion we find in his work is deeply connected with his metaphysics. He articulates the limits and extents of reason and senses and attempts to surpass them. Sri Aurobindo is not an armchair philosopher; he attempts to salvage the human condition by empowering humanity to consciously guide the march of human evolution towards a divine future. The boldness of his vision, the originality of his philosophical work is spectacular. In this paper, I will discuss his World-process, i.e. the evolution qualified with involution. I will also discuss the epistemological foundation of his philosophy, cosmology and integral yoga psychology. For the sake of clarity in understanding, the paper is divided into five major sections starting with an introduction. Integralism is a central idea in Sri Aurobindo’s philosophy and I have tried to do justice with it throughout this paper. In the end, the paper attempts to deals with three main themes—cosmology, integral yoga psychology and integral experience. All these three themes shall bring out—The integral experience of Sri Aurobindo is deeply intertwined with his cosmology and yogic psychology and shall not be seen in isolation. Integral experience of reality is also intertwined and works in tandem with his Integral Yoga. There is a yogic exploration of oneness between the self and world that informs and shapes both his philosophical and yogic endeavors. The rationale behind undertaking this study is to question whether the observations of the physical world from the standpoint of yogic experience could suggest some new theoretical framework for the metaphysical ontology of the world. Taking perspectives from the states of consciousness described by Sri Aurobindo may furnish us with a deeper understanding of the material and metaphysical character of physical categories, such as matter, energy, force, space, and time. This paper however is an introductory overview of Aurobindo’s relevance for cosmology, psychology and integral experience which provides a philosophical framework to reinterpret and arrive at a synthetic metaphysics. (shrink)

Computational models of semantic memory exploit information about co-occurrences of words in naturally occurring text to extract information about the meaning of the words that are present in the language. Such models implicitly specify a representation of temporal context. Depending on the model, words are said to have occurred in the same context if they are presented within a moving window, within the same sentence, or within the same document. The temporal context model (TCM), which specifies a particular definition of (...) temporal context, has proved useful in the study of episodic memory. The predictive temporal context model (pTCM) uses the same definition of temporal context to generate semantic memory representations. Taken together pTCM and TCM may prove to be part of a general model of declarative memory. (shrink)

In the curve fitting problem two conflicting desiderata, simplicity and goodness-of-fit pull in opposite directions. To solve this problem, two proposals, the first one based on Bayes's theorem criterion (BTC) and the second one advocated by Forster and Sober based on Akaike's Information Criterion (AIC) are discussed. We show that AIC, which is frequentist in spirit, is logically equivalent to BTC, provided that a suitable choice of priors is made. We evaluate the charges against Bayesianism and contend that AIC approach (...) has shortcomings. We also discuss the relationship between Schwarz's Bayesian Information Criterion and BTC. (shrink)

Language and Materiality integrates linguistic anthropological and sociolinguistic scholarship on a range of topics: semiotic approaches to language, language commodification, sound, embodiment, mediatization, and aesthetics. Empirically rigorous, the volume engages scholars and students interested in language, its use, and meanings. It consists of three sections - 'Texts, Objects, Mediality', 'Sound, Aesthetics, Embodiment', and 'Time, Place, Circulation' - containing chapters and short commentaries, framed by a curated conversation about semiotics and materiality in anthropology. Each section theorizes intersections, connections, and relationships between (...) language and materiality across diverse topics and ethnographic contexts. The volume shows that materiality may be approached as a feature of political economy, sensual experience, aesthetics, and affective relationships in its relation to language as talk, register, genre, ideology, and acoustic object. It consists of new perspectives on materiality as a vital dimension of social life and signification in global capitalism, connecting inquiries on subjects as diverse as food, media, fonts, and music. (shrink)

The role of Human Research Ethics Committees (HRECs) in health research is well established. Ethics committees have the good of research participants in mind but they must also assess scientific merit including the design and conduct of studies. In this article the authors’ focus is on qualitative research method and the challenge that the National Statement on Ethical Conduct in Human Research (2007) poses for ethics committees when they assess proposals using the methods outlined in the National Statement.We set out (...) a process for judging the standard of qualitative research proposals and propose that qualitative health research can be assessed using a hierarchy designed for evaluating interview studies. We contrast well-designed studies with those that have design flaws in order to focus on the hallmarks of research merit in studies that use qualitative research methods. Finally, we show that our proposal is compatible with the National Statement.Ethics review provides an early opportunity to identify and redesign inadequate studies that will not contribute to our knowledge base. The challenge for members of ethics committees with little experience in qualitative studies is to be able to assess research excellence by assessing research merit in proposals, recognising the special design features of qualitative research methods. (shrink)

This article argues why and how a participatory approach to implement corporate social responsibility (CSR) in a cluster would be beneficial for small-and medium-sized enterprises (SMEs) who are members of the NCE -Subsea cluster in Bergen, Norway. The political and strategic reasons as well as internal motivation for SMEs to incorporate CSR into their business strategies are discussed with support from relevant literature. Furthermore, we offer a discussion on the characteristics of different approaches to incorporating CSR as part of business (...) strategy and provide examples from the Norwegian context. As part of this discussion, we look into some of the clusters in Europe which have adopted a systematic approach to implement CSR as part of their agenda. We propose a means to undertake CSR as part of the cluster through a network model to address the limitations faced by the SMEs when they try to implement CSR individually. A network model (cluster approach) to CSR will motivate the uptake of CSR among SMEs when the network (cluster) is characterized by close geographical proximity and operates in the same sector. The uptake of CSR as part of the network (cluster) agenda can also lead to innovation through cooperation and competition. The particular challenges faced by the SMEs in implementing and sustaining CSR can be also minimized by being part of a network (cluster). (shrink)

The Trika school, which is popularly known as Pratyabhijñā-darśana or Kashmir Śaivism is an absolutist and theistic school of Śaivism in the 9th Century. For the Trika school, the self is synonymous with pure consciousness, equated with Śiva. The path elaborated by the school is from self-ignorance to the realisation of pure consciousness. The Trika philosophy strives to answer two fundamental and interrelated questions. Firstly, understanding oneself as a reduced form of Śiva? Secondly, how does an individual attain “Śivatva”? In (...) this study, we explicate answers to these queries by resorting to the metaphysics of the Trika school along with interpretative textual analysis and present a model proposed by Bhoja Raja based on the three guṇas. This model attributed to Sāṅkhya philosophy and puruṣārtha could help to place the metaphysics of upāya in Trika philosophy in the context of the question of attaining “Śivatva”. (shrink)

We investigate the epistemological consequences of a positive polymerase chain reaction SARS-CoV test for two relevant hypotheses: V is the hypothesis that an individual has been infected with SARS-CoV-2; C is the hypothesis that SARS-CoV-2 is the cause of flu-like symptoms in a given patient. We ask two fundamental epistemological questions regarding each hypothesis: First, how much confirmation does a positive test lend to each hypothesis? Second, how much evidence does a positive test provide for each hypothesis against its negation? (...) We respond to each question within a formal Bayesian framework. We construe degree of confirmation as the difference between the posterior probability of the hypothesis and its prior, and the strength of evidence for a hypothesis against its alternative in terms of their likelihood ratio. We find that test specificity—and coinfection probabilities when making inferences about C—were key determinants of confirmation and evidence. Tests with 8) for V against ¬V regardless of sensitivity. Accordingly, low specificity tests could not provide strong evidence in favor of C in all plausible scenarios modeled. We also show how a positive influenza A test disconfirms C and provides weak evidence against C in dependence on the probability that the patient is influenza A infected given that his/her symptoms are not caused by SARS-CoV-2. Our analysis points out some caveats that should be considered when attributing symptoms or death of a positively tested patient to SARS-CoV-2. (shrink)

This study notes three research requirements in workplace spirituality namely; need for conducting empirical studies, building on the existing research, and linking spirituality to organizational topics in general and leadership in particular. It also notes that the existing literature indicates a requirement for examining the spiritual sources of a leader’s spiritual behaviors toward subordinates. To address these research requirements in workplace spirituality, this study conducts an empirical examination of the effect of two spiritual factors—leader’s individual spirituality and organizational spirituality—on leadership (...) spiritual behaviors toward subordinates. It specifies and empirically examines a direct effects model hypothesizing direct effects of these two variables on a leader’s spiritual behaviors toward subordinates. It also specifies and empirically examines a moderating effect model hypothesizing that organizational spirituality will moderate the relationship between a leader’s individual spirituality and the leader’s spiritual behaviors toward subordinates. The results of this study provided support for the direct effects model but not for the moderating effect model. Specifically, in the direct effects model, a leader’s individual spirituality accounted for statistically significant variance in leadership spiritual behaviors toward subordinates but organizational spirituality did not. (shrink)

This article specifies a comprehensive model for workplace spirituality facilitation that integrates various views from the existing research on workplace spirituality facilitation. It outlines the significance of workplace spirituality topic and highlights its relevance to the area of ethics. It then briefly outlines the various directions the existing workplace spirituality research has taken. Based on this, it indicates that an integration of the elements from various existing research works on workplace spirituality facilitation into a comprehensive workplace spirituality facilitation model could (...) make relevant contributions to the existing workplace spirituality research. It then indicates that there are various points of focus in workplace spirituality conceptualization and facilitation views. It outlines various views from the existing research on workplace spirituality facilitation. Drawing on the elements of these various workplace spirituality facilitation views, it specifies a comprehensive model of workplace spirituality facilitation. It outlines how the various parts and linkages depicted in the comprehensive model of workplace spirituality facilitation are consistent with and are supported by the various views of workplace spirituality facilitation that it seeks to integrate. It then outlines how the comprehensive model specified can guide the future research in the area of workplace spirituality and how it can provide inputs to leadership and organization development (OD) efforts for workplace spirituality facilitation. (shrink)

The notion of a severe test has played an important methodological role in the history of science. But it has not until recently been analyzed in any detail. We develop a generally Bayesian analysis of the notion, compare it with Deborah Mayo’s error-statistical approach by way of sample diagnostic tests in the medical sciences, and consider various objections to both. At the core of our analysis is a distinction between evidence and confirmation or belief. These notions must be kept separate (...) if mistakes are to be avoided; combined in the right way, they provide an adequate understanding of severity. Those who think that the weight of the evidence always enables you to choose between hypotheses “ignore one of the factors (the prior probability) altogether, and treat the other (the likelihood) as though it ...meant something other than it actually does. This is the same mistake as is made by someone who has scruples about measuring the arms of a balance (having only a tape measure at his disposal ...), but is willing to assert that the heavier load will always tilt the balance (thereby implicitly assuming, although without admitting it, that the arms are of equal length!). (Bruno de Finetti, Theory of Probability)2. (shrink)

In his book “Medical Philosophy: Conceptual issues in Medicine”, Mario Bunge provides a unique account of medical philosophy that is deeply rooted in a realist ontology he calls “systemism”. According to systemism, the world consists of systems and their parts, and systems possess emergent properties that their parts lack. Events within systems may form causes and effects that are constantly conjoined via particular mechanisms. Bunge supports the views of the evidence-based medicine movement that randomized controlled trials (RCTs) provide the best (...) evidence to establish the truth of causal hypothesis; in fact, he argues that _only_ RCTs have this ability. Here, we argue that Bunge neglects the important feature of patients being open systems which are in steady interaction with their environment. We show that accepting this feature leads to counter-intuitive consequences for his account of medical hypothesis testing. In particular, we point out that (i) the confirmation of hypotheses is inherently stochastic and affords a probabilistic account of both confirmation and evidence which we provide here; (ii) RCTs are neither necessary nor sufficient to establish the truth of a causal claim; (iii) testing of causal hypotheses requires taking into account background knowledge and the context within which an intervention is applied. We conclude that there is no “best” research methodology in medicine, but that different methodologies should coexist in a complementary fashion. (shrink)

An embedding of the implicational propositional intuitionistic logic into the nonmodal fragment of intuitionistic linear logic is given. The embedding preserves cut-free proofs in a proof system that is a variant of IIL. The embedding is efficient and provides an alternative proof of the PSPACE-hardness of IMALL. It exploits several proof-theoretic properties of intuitionistic implication that analyze the use of resources in IIL proofs.

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

PurposeThe purpose of this paper is to describe some of the methodological challenges of investigating privacy and ubiquitous computing in the home, particularly among the healthy elderly.Design/methodology/approachThe paper is based on focus groups with 60 senior citizens either living independently or in an assisted living facility. Prototypes of home‐based ubiquitous computing devices were created and deployed in a home‐like living lab setting; elders were brought to the lab to interact with the prototypes, then brought together in focus groups to discuss (...) their insights and concerns.FindingsInitial analyses suggest that extant metaphors of privacy may be inadequate for understanding pervasive computing in the home. Concepts of data, affective concerns, and the creation of appropriate prototypes for eliciting privacy are considered. Considerations for future studies of the elderly and privacy are made.Research limitations/implicationsThe homogeneity of the study population in terms of socioeconomic status, location, and community networks suggests that the study needs to be repeated with wider populations.Originality/valueAlthough a number of projects and studies have examined the usability of home‐based ubiquitous computing and design for aging, there has been little integration of privacy and ethical concerns into general research discourse. (shrink)

This article contributes to debates concerning the sexualization of culture in the European context by analysing shifts in contemporary forms of British women’s sexual sexual subjectivities in relation to consumer culture. The article employs a ‘heterotopological’ analysis of how space is materialized through history, power and discourse. A two-part analysis is employed that, first, maps the history of British sex shops in relation to two discourses of sexuality and consumption, namely ‘safe’ and ‘seedy’; and second, analyses how these discourses can (...) be taken up and negotiated by young women today, as evidenced in a focus group discussion on ‘Ann Summers’. It concludes that new directions and interesting insights into the intersections of space, power, gender and sexuality within neoliberal postfeminist shifts in feminine identity can be made by considering female-oriented sex shops as ‘postfeminist heterotopias’. (shrink)

National and international guidelines outlining ethical conduct in research involving humans and animals have evolved into large and complex documents making the process of gaining ethics approval a complicated task for researchers in the area. Researchers, in particular those who are relatively new to the ethics approval process, can struggle to understand the parts of an ethics guideline that apply to their research and the nature of their ethical obligations to trial participants. With the scope of medical research likely to (...) continue to expand in the future, it is clear that ethics guidelines will only increase in complexity and number. This paper describes one possible solution to the problem: the use of an internet-based expert system to intelligently and interactively distribute the information stored in ethics guidelines to individual researchers. This paper also details how one such system was designed and tested with respect to Australian medical research ethics guidelines. (shrink)

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.

There are three questions associated with Simpson’s Paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP?, and (iii) What should be done about SP? By developing a logic-based account of SP, it is argued that (i) and (ii) must be divorced from (iii). This account shows that (i) and (ii) have nothing to do with causality, which plays a role only in addressing (iii). A counterexample is also presented against the causal account. Finally, the causal and logic-based (...) approaches are compared by means of an experiment to show that SP is not basically causal. (shrink)

In the Bṛhadāraṇyaka Upaniṣad, one of the principal Upaniṣads, we find a venerable and famous story where the god Prajāpati separately instructs three groups of people (gods, humans, and demons) simply by uttering the syllable “Da.” In this paper, our concern is not with ethics but theories of meaning and interpretation: How can all divergent interpretations of a single expression be correct, and, indeed, endorsed by the speaker? As an exercise in cross-cultural philosophical reflection, we consider some of the leading (...) modern theories of meaning—those of Grice, Quine, and Davidson—in order to see if the Upaniṣadic story receives a natural home in any of them. We conclude that the story is best understood through Grice’s theory of meaning rather than Quine’s or Davidson’s. (shrink)

This paper addresses researchers’ call for integrating workplace spirituality with organizational literature. This paper points out that self-interest transcendence is a common aspect in the workplace spirituality concept that emerged in the last decade and also in four OB concepts – transformational leadership, organizational citizenship behavior, organizational support, and procedural justice – that emerged in OB about two decades ago. Based on this common aspect of self-interest transcendence and the temporal precedence of these four OB concepts’ emergence, it indicates that (...) these four OB concepts constitute a precursor of workplace spirituality. It places workplace spirituality in the larger context of OB␣and outlines the associated research and practice implications. (shrink)

Description: 'Religion is a doing and doing what is moral'. In Buddhism, particularly, there is such a great emphasis on moral doing that is very often designated as an 'ethical religion' (silaparaka dharma). The present work seeks to study Buddhist ethics as a development process not only in terms of inner dynamics of Buddhism inherent in its doctrinal and ethical formulations but also in terms of its response to various historical compulsions which motivated its followers to introduce in its general (...) framework novelties of forms and expressions. It is hoped that such an approach would lead to a greater appreciation of Buddhist ethics both as an emergent of a unique spiritual vision and a social force. The book which is divided in six chapters cover the entire range of Buddhist development in India. The work is novel both in its approach and treatment of the subject. It studies conceptual formulations in their proper historical contexts. Modern debates on various ethical problems have been taken into account to bring about greater clarity in discussions. (shrink)

The underdetermination thesis poses a threat to rational choice of scientific theories. We discuss two arguments for the thesis. One draws its strength from deductivism together with the existence thesis, and the other is defended on the basis of the failure of a reliable inductive method. We adopt a partially subjective/objective pragmatic Bayesian epistemology of science framework, and reject both arguments for the thesis. Thus, in science we are able to reinstate rational choice called into question by the underdetermination thesis.

The present study aimed at understanding the subjective perception of happiness in a sample of Indian participants from diverse socio-economic backgrounds. Using convenience sampling, individual interviews were conducted with 60 participants aged between 19 to 73 years. This study employed reflexive thematic analysis to analyse the written transcripts. Nine themes were generated which captured the essence of happiness for Indians—Feelings and Expressions of Happiness; Human Ties and Happiness which encompassed four sub-themes—family bond, the company one keeps, the pandemic and social (...) disengagement, and the nation, society and happiness; Satisfaction with Material Needs and Resources; Lifestyle and Health; Work and Play; Accomplishment and Appreciation; Nature Connectedness; Religious and Spiritual beliefs; and Happiness as a Personal responsibility—Role of Positive Personality Traits. These findings revealed our respondent's multidimensional conceptualization of happiness, and adds to the growing body of happiness literature from the South Asian context. (shrink)

The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...) theorems in metamathematics including those of Gödel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. (shrink)

Corporate Governance (CG) issues have driven organisations to set their house right. There is a continual effort by organisations to build on a good framework of policies, not only as an undertaking enforced by a regulatory body, but also to sustain and win. However, these organisations are facing a dilemma in terms of their focus priority. Is it the composition of the board or is it the employee as the stakeholder that has high determining power to reach their goals. The (...) aim of this article is to build upon a structure of enablers of good governance. The paper utilises the Interpretive Structural Modelling (ISM) methodology to understand the mutual influence among the various enablers in such a fashion that the enablers having high driving power and dependency power can be identified. (shrink)