Results for 'Sudhir Anand'

42 found
Order:
  1.  36
    Are the Barriers That Inhibit Mathematical Models of a Cyclic Universe, Which Admits Broken Symmetries, Dark Energy, and an Expanding Multiverse, Illusory?Bhupinder Singh Anand - manuscript
    We argue the thesis that if (1) a physical process is mathematically representable by a Cauchy sequence; and (2) we accept that there can be no infinite processes, i.e., nothing corresponding to infinite sequences, in natural phenomena; then (a) in the absence of an extraneous, evidence-based, proof of `closure' which determines the behaviour of the physical process in the limit as corresponding to a `Cauchy' limit; (b) the physical process must tend to a discontinuity (singularity) which has not been reflected (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  36
    Do Goedel's Incompleteness Theorems Set Absolute Limits on the Ability of the Brain to Express and Communicate Mental Concepts Verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
    Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  39
    The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
    We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. New Directions in the Epistemology of Modality: Introduction.Antonella Mallozzi - 2019 - Synthese:1-19.
    The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  36
    Relations in Biomedical Ontologies.Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, , Fabian Neuhaus, Alan Rector & Cornelius Rosse - 2005 - Genome Biology 6 (5):R46.
    To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   62 citations  
  7. On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  8. Ontology-Based Error Detection in SNOMED-CT.Werner Ceusters, Barry Smith, Anand Kumar & Christoffel Dhaen - 2004 - Proceedings of Medinfo 2004:482-6.
    Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  9. The Epistemology of Modality and the Problem of Modal Epistemic Friction.Anand Jayprakash Vaidya & Michael Wallner - forthcoming - Synthese:1-27.
    There are three theories in the epistemology of modality that have received sustained attention over the past 20 years : conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Controlled Vocabularies in Bioinformatics: A Case Study in the Gene Ontology.Barry Smith & Anand Kumar - 2004 - Drug Discovery Today: Biosilico 2 (6):246-252.
    The automatic integration of information resources in the life sciences is one of the most challenging goals facing biomedical informatics today. Controlled vocabularies have played an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources secure in the knowledge that the same terms will also represent the same entities on all occasions of use. One of the most impressive achievements in this regard is the Gene Ontology (GO), which is rapidly acquiring the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  46
    Investigating Subsumption in DL-Based Terminologies: A Case Study in SNOMED CT.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2004 - In Proceedings of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004). pp. 12-20.
    Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  70
    Oncology Ontology in the NCI Thesaurus.Anand Kumar & Barry Smith - 2005 - Artificial Intelligence in Medicine:213-220.
    The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains of oncology. It is intended to be used for purposes of annotation in ways designed to ensure the integration of data and information deriving from these various sub-domains, and thus to support more powerful cross-domain inferences. In order to evaluate its suitability for this purpose, we examined the NCIT’s treatment of the kinds of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Unified Medical Language System and the Gene Ontology: Some Critical Reflections.Anand Kumar & Barry Smith - 2003 - In A. Günter, R. Kruse & B. Neumann (eds.), KI 2003: Advances in Artificial Intelligence. Berlin: Springer. pp. 135-148.
    The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  49
    Mistakes in Medical Ontologies: Where Do They Come From and How Can They Be Detected?Werner Ceusters, Barry Smith, Anand Kumar & Christoffel Dhaen - 2004 - Studies in Health and Technology Informatics 102:145-164.
    We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  78
    Revising the UMLS Semantic Network.Steffen Schulze-Kremer, Barry Smith & Anand Kumar - 2004 - In MedInfo.
    The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Context-Based Task Ontologies for Clinical Guidelines.Anand Kumar, Paolo Ciccarese, Barry Smith & Matteo Piazza - 2004 - In D. Pisanelli (ed.), Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies, Rome October 2003 (Studies in Health and Technology Informatics, 102). Amsterdam: IOS Press. pp. 81-94.
    Evidence-based medicine relies on the execution of clinical practice guidelines and protocols. A great deal of of effort has been invested in the development of various tools which automate the representation and execution of the recommendations contained within such guidelines and protocols by creating Computer Interpretable Guideline Models (CIGMs). Context-based task ontologies (CTOs), based on standard terminology systems like UMLS, form one of the core components of such a model. We have created DAML+OIL-based CTOs for the tasks mentioned in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. A Strategy for Improving and Integrating Biomedical Ontologies.Cornelius Rosse, Anand Kumar, Jose L. V. Mejino, Daniel L. Cook, Landon T. Detwiler & Barry Smith - 2005 - In Proceedings of the Annual Symposium of the American Medical Informatics Association. AMIA. pp. 639-643.
    The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  18.  62
    Towards a Proteomics Meta-Classification.Anand Kumar & Barry Smith - 2004 - In IEEE Fourth Symposium on Bioinformatics and Bioengineering, Taichung, Taiwan. IEEE Press. pp. 419–427.
    that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  70
    Bridging the Gap Between Medical and Bioinformatics: An Ontological Case Study in Colon Carcinoma.Anand Kumar, Yum Lina Yip, Barry Smith & Pierre Grenon - 2006 - Computers in Biology and Medicine 36 (7):694--711.
    Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  7
    Perception, Causally Efficacious Particulars, and the Range of Phenomenal Consciousness.Christian Coseru - 2015 - Journal of Consciousness Studies 22 (9-10):55-82.
    This paper responds to critical commentaries on my book, Perceiving Reality (OUP, 2012), by Laura Guerrero, Matthew MacKenzie, and Anand Vaidya. Guerrero focuses on the metaphysics of causation, and its role in the broader question of whether the ‘two truths’ framework of Buddhist philosophy can be reconciled with the claim that science provides the best account of our experienced world. MacKenzie pursues two related questions: (i) Is reflexive awareness (svasaṃvedana) identical with the subjective pole of a dual-aspect cognition or (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  69
    Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions.Anand Kumar & Barry Smith - 2003 - In Proceedings of 9th Conference on Artificial Intelligence in Medicine Europe (AIME 2003). Berlin: Springer. pp. 71-75.
    The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  50
    Investigating Subsumption in SNOMED CT: An Exploration Into Large Description Logic-Based Biomedical Terminologies.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2007 - Artificial Intelligence in Medicine 39 (3):183-195.
    Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  33
    An Ontology for Carcinoma Classification for Clinical Bioinformatics.Anand Kumar, Yum Lina Yip, Barry Smith, Dirk Marwede & Daniel Novotny - 2005 - Studies in Health Technology and Informatics 116 (1):635-640.
    There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  41
    Biomedical Informatics and Granularity.Anand Kumar & Barry Smith - 2004 - Comparative and Functional Genomics 5 (6-7):501-508.
    An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  28
    Dependence Relationships Between Gene Ontology Terms Based on TIGR Gene Product Annotations.Anand Kumar, Barry Smith & Christian Borgelt - 2004 - Proceedings of the 3rd International Workshop on Computational Terminology 2004:31-38.
    The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  81
    On Carcinomas and Other Pathological Entities.Barry Smith, Anand Kumar, Werner Ceusters & Cornelius Rosse - 2005 - Comparative and Functional Genomics 6 (7/8):379–387.
    Tumors, abscesses, cysts, scars, fractures are familiar types of what we shall call pathological continuant entities. The instances of such types exist always in or on anatomical structures, which thereby become transformed into pathological anatomical structures of corresponding types: a fractured tibia, a blistered thumb, a carcinomatous colon. In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a, part_of and transformation_of can facilitate the integration of such ontologies in ways which have (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  39
    Six Questions on the Construction of Ontologies in Biomedicine.Anand Kumar, A. Burgun, W. Ceusters, J. Cimino, J. Davis, P. Elkin, I. Kalet, A. Rector, J. Rice, J. Rogers, Barry Smith & Others - 2005 - Report of the AMIA Working Group on Formal Biomedical Knowledge Representation 1.
    (Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  49
    Anatomical Information Science.Barry Smith, Jose Mejino, Stefan Schulz, Anand Kumar & Cornelius Rosse - 2005 - In A. G. Cohn & D. M. Mark (eds.), Spatial Information Theory. Springer. pp. 149-164.
    The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  31
    Enhancing GO for the Sake of Clinical Bioinformatics.Anand Kumar & Barry Smith - 2004 - Proceedings of the Bio-Ontologies Workshop , Glasgow 133.
    Recent work on the quality assurance of the Gene Ontology (GO, Gene Ontology Consortium 2004) from the perspective of both linguistic and ontological organization has made it clear that GO lacks the kind of formalism needed to support logic-based reasoning. At the same time it is no less clear that GO has proven itself to be an excellent terminological resource that can serve to combine together a variety of biomedical database and information systems. Given the strengths of GO, it is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  31
    Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model.Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli - 2004 - In IFOMIS Reports. Saarbrücken: IFOMIS.
    An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  36
    The “The Life Divine’’ as It Begins: An Essential Understanding of the First Chapter of Life Divine – “The Human Aspiration”.Anand Vaidya - manuscript
    Human Aspiration is the first chapter of the magnum opus book "Life Divine". Here in in this chapter Sri Aurobindo one of the most modern prolific philosophers of Renaissance India has highlighted his focal points as to what Man's eternal aspiration has been, that is, God, Light , Freedom & Eternity. Despite technological and scientific advancements, Mans is still thirsty, it is because he aspires for a Divine Life. The article talks about the "Human aspiration" of eternity in details.
    Download  
     
    Export citation  
     
    Bookmark  
  32.  26
    Implementing Clinical Guidelines in an Organizational Setup.Anand Kumar, Barry Smith, Mario Stefanelli, Silvana Quaglini & Matteo Piazza - 2003 - In Proceedings of the Workshop on Model-Based and Qualitative Reasoning in Biomedicine, AIME . pp. 39-44.
    Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  25
    A Framework for Protein Classification.Anand Kumar & Barry Smith - 2003 - In Proceedings of the 2003 German Conference on Bioinformatics, Vol. II. pp. 55-57.
    It is widely understood that protein functions can be exhaustively described in terms of no single parameter, whether this be amino acid sequence or the three-dimensional structure of the underlying protein molecule. This means that a number of different attributes must be used to create an ontology of protein functions. Certainly much of the required information is already stored in databases such as Swiss-Prot, Protein Data Bank, SCOP and MIPS. But the latter have been developed for different purposes and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  21
    Clinical Guidelines as Plans: An Ontological Theory.Anand Kumar, Barry Smith, Domenica Pisanelli, Aldo Gangemi & Mario Stefanelli - 2006 - Methods of Information in Medicine 45 (2):204-210.
    Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  96
    The Ontology of Blood Pressure: A Case Study in Creating Ontological Partitions in Biomedicine.Anand Kumar & Barry Smith - 2003 - IFOMIS Reports.
    We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  18
    On the Proper Treatment of Pathologies in Biomedical Ontologies.Barry Smith & Anand Kumar - 2005 - In Proceedings of the Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB 2005). Detroit: pp. 22-23.
    In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a and part_of can support new types of auto-mated reasoning about biomedical phenomena. We here extend this approach to the transformation_of characteristic of pathologies.
    Download  
     
    Export citation  
     
    Bookmark  
  37.  83
    Basic Formal Ontology for Bioinformatics.Barry Smith, Anand Kumar & Thomas Bittner - 2005 - IFOMIS Reports.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  34
    Bridging Practices, Institutions, and Landscapes Through a Scale-Based Approach for Research and Practice: A Case Study of a Business Association in South India.Vivek Anand Asokan, Masaru Yarime & Motoharu Onuki - 2019 - Ecological Economics 160:240-250.
    There is a need for enterprises to incorporate information on the environment into decision making and to take action on ecological restoration. Within academia, a comprehensive understanding of the impacts on how business can serve sustainability transformation is still lacking as diverging holistic approaches and reductive approaches cloud academic thinking. The authors take a science-policy interface perspective to cover the role of cognitive proximity, matching and coordination of scientific knowledge from diverse stakeholders for effective policy making and implementation. We show (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  20
    Power of Networks and Peer Pressure: An Analysis of Slum Sanitation Program in Mumbai.Vivek Anand Asokan - 2017 - International Journal Sustainable Future for Human Security 5 (2):11-20.
    With the advent of the “Clean India” campaign in India, a renewed focus on cleanliness has started, with a special focus on sanitation. There have been efforts in the past to provide sanitation related services. However, there were several challenges in provisioning. Provision of sanitation is a public health imperative given increased instances of antimicrobial resistance in India. This paper focuses on sanitation provisioning in the city of Mumbai, especially in the slums of Mumbai. The paper compares and contrasts different (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  19
    Introducing Flexibility to Complex, Resilient Socio-Ecological Systems: A Comparative Analysis of Economics, Flexible Manufacturing Systems, Evolutionary Biology, and Supply Chain Management.Vivek Anand Asokan, Masaru Yarime & Miguel Esteban - 2017 - Sustainability 7 (9):1091.
    In this paper, a framework incorporating flexibility as a characteristic is proposed for designing complex, resilient socio-ecological systems. In an interconnected complex system, flexibility allows prompt deployment of resources where they are needed and is crucial for both innovation and robustness. A comparative analysis of flexible manufacturing systems, economics, evolutionary biology, and supply chain management is conducted to identify the most important characteristics of flexibility. Evolutionary biology emphasises overlapping functions and multi-functionality, which allow a system with structurally different elements to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  46
    Gunomoy Mannar 'Mute' : Satyer Aloksandhani.Priyakanta Nath - 2014 - Pratidhwani the Echo (III):25-31.
    Novel is a time-art. Gunamoy Manna writes novel, express truth with the help of time. Gunamoy Manna is an anti-establish writer. He enlightens those people, whom live for truth and life. 'Mute` is one of the most extra-ordinary novel in history of Bengali novel, because most popular religious and cultural festival 'Gaajan` and its philosophy is the main theme in this novel. The main character Sudhir overcomes all the problems through his faith on lord Shiva.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Lokāyata: Journal of Positive Philosophy (ISSN 2249-8389), Vol.II, September 2012.Desh Raj Sirswal - 2012 - CPPIS Pehowa.
    In this issue…………….. Sheeja.O.K. : An Enquiry into Swami Vivekananda’s Philosophy of Education in the light of Modern Education System (4-10) T.V.Krishnan: Philosophical Divergence: A Leap towards Humanity (Special reference to Indian Social Order) (11-16) V.Prabhu & Tanuja Kalita: A Response to Peter Singer’s Position on Euthanasia(17-21) Irshad Ahmad & Umesh Chandra: Islamic Concept of Education: Aims and Objectives (22-29) Krishna Paswan: Non-violence and Love: A Gandhian Appraisal (30-34) Sheena Krishnan Ulamparambath: The Role of Philosophy behind the Growth of Hero (...)
    Download  
     
    Export citation  
     
    Bookmark