Search results for 'Validation and Verification' (try it on Scholar)

997 found
Order:
  1.  13
    Naomi Oreskes, Kristin Shrader-Frechette & Kenneth Belitz (1994). Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences. Science 263 (5147):641-646.
    Verification and validation of numerical models of natural systems is impossible. This is because natural systems are never closed and because model results are always nonunique. Models can be confirmed by the demonstration of agreement between observation and prediction, but confirmation is inherently partial. Complete confirmation is logically precluded by the fallacy of affirming the consequent and by incomplete access to natural phenomena. Models can only be evaluated in relative terms, and their predictive value is always open to (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   25 citations  
  2.  10
    Vitaly Pronskikh, Computer Modeling and Simulation: Towards Epistemic Distinction Between Verification and Validation.
    Verification and validation of computer codes and models used in simulation are two aspects of the scientific practice of high importance and have recently been discussed by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to model’s relation to the real world and its intended use. It has been argued that because complex simulations are generally not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  15
    David J. Kijowski, Harry Dankowicz & Michael C. Loui (2013). Observations on the Responsible Development and Use of Computational Models and Simulations. Science and Engineering Ethics 19 (1):63-81.
    Most previous works on responsible conduct of research have focused on good practices in laboratory experiments. Because computation now rivals experimentation as a mode of scientific research, we sought to identify the responsibilities of researchers who develop or use computational modeling and simulation. We interviewed nineteen experts to collect examples of ethical issues from their experiences in conducting research with computational models. We gathered their recommendations for guidelines for computational research. Informed by these interviews, we describe the respective professional responsibilities (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  66
    Gordana Dodig-Crnkovic (2008). Empirical Modeling and Information Semantics. Mind & Society 7 (2):157.
    This paper investigates the relationship between reality and model, information and truth. It will argue that meaningful data need not be true in order to constitute information. Information to which truth-value cannot be ascribed, partially true information or even false information can lead to an interesting outcome such as technological innovation or scientific breakthrough. In the research process, during the transition between two theoretical frameworks, there is a dynamic mixture of old and new concepts in which truth is not well (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5.  13
    Nuno David, Jaime Sichman & Helder Coelho (2007). Simulation as Formal and Generative Social Science: The Very Idea. In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Saikou Y. Diallo, Jose J. Padilla, Ross Gore, Heber Herencia‐Zapana & Andreas Tolk (2014). Toward a Formalism of Modeling and Simulation Using Model Theory. Complexity 19 (3):56-63.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  9
    Paula S. Weber, James E. Weber, Bradley R. Sleeper & Ken L. Schneider (2004). Self-Efficacy Toward Service, Civic Participation and the Business Student: Scale Development and Validation. [REVIEW] Journal of Business Ethics 49 (4):359-369.
    This paper presents the development andvalidation of new measurement tools to exploreself-efficacy toward service and toward civicparticipation. We developed and administereda survey to 851 students in an AACSB-accreditedcollege of business at a comprehensive publicuniversity located in the Midwest. Traditionalscale development methodologies plusconfirmatory factor analysis and simultaneousfactor analysis in several populations wereused to analyze both a primary sample and aholdback sample. Results strongly support thevalidity and reliability of the surveyinstrument. Future use for the instrumentincludes verification of the effectiveness ofpedagogies designed (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  67
    Luciano Floridi (2011). Semantic Information and the Correctness Theory of Truth. Erkenntnis 74 (2):147-175.
    Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  9.  34
    Andreea Mihali (2015). Squaring the Circle in Descartes’ Meditations The Strong Validation of Reason STEPHEN I. WAGNER Cambridge, New York: Cambridge University Press, 2014; Xi + 244 Pp.; $99.95 ISBN: 9781107072060. [REVIEW] Dialogue 54 (4):799-802.
    In Squaring the Circle in Descartes’ Meditations, Stephen Wagner aims to show that Descartes’ project in the Meditations is best understood as a ‘strong validation of reason’ i.e., as proving in a non-circular way that human reason is a reliable, truth-conducive faculty. For such an enterprise to qualify as a ‘strong’ validation, Wagner contends, skeptical doubt must be given its strongest force. The most stringent doubt available in the Meditations is the deceiving God. To rule out the possibility (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10. Franck Varenne (2001). What Does a Computer Simulation Prove? The Case of Plant Modeling at CIRAD. In N. Giambiasi & C. Frydman (eds.), Simulation in industry - ESS 2001, Proc. of the 13th European Simulation Symposium. Society for Computer Simulation (SCS)
    The credibility of digital computer simulations has always been a problem. Today, through the debate on verification and validation, it has become a key issue. I will review the existing theses on that question. I will show that, due to the role of epistemological beliefs in science, no general agreement can be found on this matter. Hence, the complexity of the construction of sciences must be acknowledged. I illustrate these claims with a recent historical example. Finally I temperate (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  74
    Barry Smith (2000). Logic and Formal Ontology. Manuscrito 23 (2):29-67.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Antonio Escobar, Marta González, José Ma Quintana, Amaia Bilbao & Berta Ibañez (2009). Validation of a Prioritization Tool for Patients on the Waiting List for Total Hip and Knee Replacements. Journal of Evaluation in Clinical Practice 15 (1):97-102.
    RATIONALE AND AIMS: Total hip and knee replacements, usually, have long waiting lists. There are several prioritization tools for these kind of patients. A new tool should undergo a standardized validation process. The aim of the present study was to validate a new prioritization tool for primary hip and knee replacements. METHODS: We carried out a prospective study. Consecutive patients placed on the waiting list were eligible for the study. Patients included were mailed a questionnaire which included, among other (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  3
    Valentin Cheshko & Yulia Kosova (2012). SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Three. DYNAMICS OF GROWTH OF NEW KNOWLEDGE IN POSTACADEMICAL SCIENCE. Practical Philosophy 1:59-69.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  14.  17
    Uri Pincas (2011). Program Verification and Functioning of Operative Computing Revisited: How About Mathematics Engineering? [REVIEW] Minds and Machines 21 (2):337-359.
    The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  2
    Valentin Cheshko & Yulia Kosova (2011). SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part One. Practical Philosophy 1:94-100.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  16.  39
    Pepijn Visser, Trevor Bench-Capon & Jaap van den Herik (1997). A Method for Conceptualising Legal Domains. An Example From the Dutch Unemployment Benefits Act. Artificial Intelligence and Law 5 (3):207-242.
    There has been much talk of the need to build intermediate models of the expertise required preparatory to constructing a knowledge-based system in the legal domain. Such models offer advantages for verification, validation, maintenance and reuse. As yet, however, few such models have been reported at a useful level of detail. In this paper we describe a method for conceptualising legal domains as well as its application to a substantial fragment of the Dutch Unemployment Benefits Act (DUBA).We first (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  10
    Tatjana Crnjanski, Dusanka Krajnovic, Ivana Tadic, Svetlana Stojkov & Mirko Savic (2016). An Ethical Issue Scale for Community Pharmacy Setting : Development and Validation. Science and Engineering Ethics 22 (2):497-508.
    Many problems that arise when providing pharmacy services may contain some ethical components and the aims of this study were to develop and validate a scale that could assess difficulties of ethical issues, as well as the frequency of those occurrences in everyday practice of community pharmacists. Development and validation of the scale was conducted in three phases: generating items for the initial survey instrument after qualitative analysis; defining the design and format of the instrument; validation of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  22
    Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11 (2):195-225.
    Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  6
    Yong Shik Hwang (2008). On the Basic Components of Knowledge Acquisition in Integral Theory. Proceedings of the Xxii World Congress of Philosophy 8:115-124.
    This paper is about comparison and appraisal of Ken Wilber’s theory of the “three components or strands of knowledge” set forth especially in his Eye to Eye and Mark Edwards’s “Integral Cycle of Knowledge” which attempts through its critique to integrate Wilber’s developmental and epistemological models. Realizing the problem of today’s scientism, Wilber introduces the concepts of the “three eyes”—the eye of flesh, of reason, and of contemplation—thusconceiving science in a broad sense. Then in order to secure verification of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  30
    Timothy R. Colburn (1991). Program Verification, Defeasible Reasoning, and Two Views of Computer Science. Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  12
    David A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  12
    Martin Kavka (2012). Verification (Bewahrung) in Martin Buber. Journal of Jewish Thought and Philosophy 20 (1):71-98.
    Abstract The work of Martin Buber oscillates between talk in which transcendence is experienced and talk in which transcendence is merely postulated. In order to show and mend this incoherence in Buber's thought, this essay attends to the rhetoric of verification ( Bewährung ), primarily but not solely in I and Thou (1923), both in order to show how it is a symptom of this incoherence, and also to show a broad pragmatic strain in Buber's thought. Given this pragmatic (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  15
    Kathi Fisler (1999). Timing Diagrams: Formalization and Algorithmic Verification. [REVIEW] Journal of Logic, Language and Information 8 (3):323-361.
    Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces to established notations for which verification is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable of expressing certain context-free and context-sensitive properties. It shows that verification is decidable for properties expressible in this logic. More specifically, it (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos (forthcoming). Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Studia Logica:1-35.
    We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  4
    Ada Rapoport-Albert (1988). Hagiography with Footnotes: Edifying Tales and the Writing of History in Hasidism. History and Theory 27:119-159.
    The sources to which one has to turn for information about the lives of Hasidic masters belong to the hagiographical tradition. During its first stage of compilation in the early nineteenth century, this tradition preserved much authentic historical and biographical material, in spite of the explicit disavowal of any historiographical intent by its editors. They were apologetic about the publication of "mere tales and histories" whose value lay not in the preservation of historical records but rather in their capacity for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  3
    Dirk Westerkamp (2014). Alethischer Pragmatismus. Zeitschrift für Kulturphilosophie 2014 (2):295-309.
    »Alethic Pragmatism« is the seemingly complicated term for a rather trivial philosophical enterprise. Coined in allusion to Alston's »alethic realism,« alethic pragmatism calls attention not only to the propositional but also to the _procedural_ aspects of truth. Reaching back to the Peircean and Jamesian origins of pragmatism's tradition, this paper deciphers different _acts_ of verification, validation and truth-making. Special attention is devoted to alethic pragmatism's concept of facticity and validity. It is argued that one possible sense of bringing (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  11
    Michael Riesen & Gursel Serpen (2008). Validation of a Bayesian Belief Network Representation for Posterior Probability Calculations on National Crime Victimization Survey. Artificial Intelligence and Law 16 (3):245-276.
    This paper presents an effort to induce a Bayesian belief network (BBN) from crime data, namely the national crime victimization survey (NCVS). This BBN defines a joint probability distribution over a set of variables that were employed to record a set of crime incidents, with particular focus on characteristics of the victim. The goals are to generate a BBN to capture how characteristics of crime incidents are related to one another, and to make this information available to domain specialists. The (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  28.  3
    Louis J. Gross (2013). Selective Ignorance and Multiple Scales in Biology: Deciding on Criteria for Model Utility. [REVIEW] Biological Theory 8 (1):74-79.
    Much of the scientific process involves “selective ignorance”: we include certain aspects of the systems we are considering and ignore others. This is inherent in the models that we utilize as proxies for biological systems. Our goal usually is to isolate components of these systems and consider them at only certain temporal and spatial scales. The scales and questions induce different metrics for what might be considered a “good” model. The study of mathematical and computational models is replete with differing (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    Norman H. Anderson (1974). Cross-Task Validation of Functional Measurement Using Judgments of Total Magnitude. Journal of Experimental Psychology 102 (2):226.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   33 citations  
  30.  39
    Rick Dale & Nicholas D. Duran (2011). The Cognitive Dynamics of Negated Sentence Verification. Cognitive Science 35 (5):983-996.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  53
    Valmi D. Sousa & Wilaiporn Rojjanasrirat (2011). Translation, Adaptation and Validation of Instruments or Scales for Use in Cross‐Cultural Health Care Research: A Clear and User‐Friendly Guideline. Journal of Evaluation in Clinical Practice 17 (2):268-274.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32. Nancy M. Salbach & Susan B. Jaglal (2011). Creation and Validation of the Evidence‐Based Practice Confidence Scale for Health Care Professionals. Journal of Evaluation in Clinical Practice 17 (4):794-800.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  8
    Geert M. J. Rutten, Janneke Harting, Stephen T. J. Rutten, Geertruida E. Bekkering & Stef P. J. Kremers (2006). Measuring Physiotherapists' Guideline Adherence by Means of Clinical Vignettes: A Validation Study. Journal of Evaluation in Clinical Practice 12 (5):491-500.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  2
    Valentin Cheshko & Yulia Kosova (2011). SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Two. Practical Philosophy 2:46-55.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  35.  5
    Jen‐Chieh Lin & Wei‐Chu Chie (2010). Psychometric Validation of the Taiwan Chinese Version of the 25‐Item National Eye Institute Visual Functioning Questionnaire. Journal of Evaluation in Clinical Practice 16 (5):1024-1024.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  57
    James H. Fetzer (1991). Philosophical Aspects of Program Verification. Minds and Machines 1 (2):197-216.
    A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  18
    Boris Tilov, Donka Dimitrova, Maria Stoykova, Bianka Tornjova, Gergana Foreva & Drozdstoj Stoyanov (2012). Cross‐Cultural Validation of the Revised Temperament and Character Inventory in the Bulgarian Language. Journal of Evaluation in Clinical Practice 18 (6):1180-1185.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  38.  32
    J. W. Meiland (1966). Analogy, Verification, and Other Minds. Mind 75 (October):564-568.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  6
    Francien Dechesne & Yanjing Wang (2010). To Know or Not to Know: Epistemic Approaches to Security Protocol Verification. Synthese 177 (Supplement-1):51-76.
    Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40.  11
    John O. Nelson (1963). The Validation of Memory and Our Conception of a Past. Philosophical Review 72 (January):35-47.
  41.  3
    Evridiki Papastavrou, Chrysoula Karlou, Haritini Tsangari, Georgios Efstathiou, Valmi D. Sousa, Anastasios Merkouris & Elisabeth Patiraki (2011). Cross‐Cultural Validation and Psychometric Properties of the Greek Version of the Caring Behaviors Inventory: A Methodological Study. Journal of Evaluation in Clinical Practice 17 (3):435-443.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    Albert S. Rodwan (1964). An Empirical Validation of the Concept of Coherence. Journal of Experimental Psychology 68 (2):167.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Ilona Schwentner, Christian Schwentner, Joachim Schmutzhard, Christian Radmayr, Gudrun Grabher, Georg Sprinzl & Stefan Höfer (2007). Validation of the German Glasgow Children's Benefit Inventory. Journal of Evaluation in Clinical Practice 13 (6):942-946.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Shelton Macleod (1952). A Construction and Attempted Validation of Sensory Sweetness Scales. Journal of Experimental Psychology 44 (5):316.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45. Juan E. Mezzich, Neal L. Cohen, Maria A. Ruiperez, Claudio E. M. Banzato & Maria I. Zapata‐Vega (2011). The Multicultural Quality of Life Index: Presentation and Validation. Journal of Evaluation in Clinical Practice 17 (2):357-364.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  53
    John Turri & Peter Blouw (2015). Excuse Validation: A Study in Rule-Breaking. Philosophical Studies 172 (3):615-634.
    Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  47.  22
    Monty L. Lynn, Michael J. Naughton & Steve VanderVeen (2009). Faith at Work Scale (Fws): Justification, Development, and Validation of a Measure of Judaeo-Christian Religion in the Workplace. [REVIEW] Journal of Business Ethics 85 (2):227 - 243.
    Workplace spirituality research has side-stepped religion by focusing on the function of belief rather than its substance. Although establishing a unified foundation for research, the functional approach cannot shed light on issues of workplace pluralism, individual or institutional faith-work integration, or the institutional roles of religion in economic activity. To remedy this, we revisit definitions of spirituality and argue for the place of a belief-based approach to workplace religion. Additionally, we describe the construction of a 15-item measure of workplace religion (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  48.  4
    Cheshko Valentin & Yulia Kosova (2015). The Semantics of Transdisciplinary Concepts of Socio-Natural Co-Evolution: A Constructive Utopia, Social Verification and Evolutionary Risk. In Teodor N. Țîrdea (ed.), Strategia supravie uirii din perspectiva bioeticii, filosofiei și medicinei. Culegere de articole științifice. Vol. 21 / Sub redacția prof. univrsitar, dr. hab. în filosofie . – Chișinău: Print-Caro. Print-Caro 112-116.
    The utopian character of modern scientific theories, with the human nature as a subject, is an inevitable consequence of the presence of an imperative component of transdisciplinary human dimensional scientific knowledge. Its social function is the adaptation of the descriptive component of the theory to the given socio-cultural type that simplifies the passage of the process of social verification of the theory. The genesis of bioethics can be seen as one of the basic premises for the actualization of the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  21
    Nicola Angius (2013). Abstraction and Idealization in the Formal Verification of Software Systems. Minds and Machines 23 (2):211-226.
    Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50. Harvey Friedman, Adventures in the Verification of Mathematics.
    Mathematical statements arising from program verification are believed to be much easier to deal with than statements coming from serious mathematics. At least this is true for “normal programming”.
     
    Export citation  
     
    My bibliography  
1 — 50 / 997