Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process forming (...) the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends (...) on software. Software intensive science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

Researchers in virtually every discipline rely on sophisticated proprietary software for their work. However, some researchers are unable to afford the licenses and instead procure the software illegally. We discuss the prohibition of software piracy by intellectual property laws, and argue that the moral basis for the copyright law offers the possibility of cases where software piracy may be morally justified. The ethics codes that scientific institutions abide by are informed by a rule-consequentialist logic: by (...) preserving personal rights to authored works, people able to do so will be incentivized to create. By showing that the law has this rule-consequentialist grounding, we suggest that scientists who blindly adopt their institutional ethics codes will commit themselves to accepting that software piracy could be morally justified, in some cases. We hope that this conclusion will spark debate over important tensions between ethics codes, copyright law, and the underlying moral basis for these regulations. We conclude by offering practical solutions for researchers. (shrink)

. Through examining a case study of a major fluids modelling code, this paper charts two key properties of software as a material for building models. Scientific software development is characterized by piecemeal growth, and as a code expands, it begins to manifest frustrating properties that provide an important axis of motivation in the laboratory. The first such feature is a tendency towards brittleness. The second is an accumulation of supporting technologies that sometimes cause scientists to express (...) a frustration with the bureaucracy of highly regulated working practices. Both these features are important conditions for the pursuit of research through simulation. (shrink)

There are many tangled normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London covid-19 simulator, set in the context of recent work in epistemology of simulation and philosophy of epidemiology.

Software-intensive systems are ubiquitous in the industrialized world. The reliability of software has implications for how we understand scientific knowledge produced using software-intensive systems and for our understanding of the ethical and political status of technology. The reliability of a software system is largely determined by the distribution of errors and by the consequences of those errors in the usage of that system. We select a taxonomy of software error types from the literature on (...) empirically observed software errors and compare that taxonomy to Giuseppe Primiero’s Minds and Machines 24: 249–273, (2014) taxonomy of error in information systems. Because Primiero’s taxonomy is articulated in terms of a coherent, explicit model of computation and is more fine-grained than the empirical taxonomy we select, we might expect Primiero’s taxonomy to provide insights into how to reduce the frequency of software error better than the empirical taxonomy. Whether using one software error taxonomy can help to reduce the frequency of software errors better than another taxonomy is ultimately an empirical question. (shrink)

The “free” in “free software” refers to a cluster of four specific freedoms identified by the Free Software Definition. The first freedom, termed “Freedom Zero,” intends to protect the right of the user to deploy software in whatever fashion, towards whatever end, he or she sees fit. But software may be used to achieve ethically questionable ends. This highlights a tension in the provision of software freedoms: while the definition explicitly forbids direct restrictions on users’ (...) freedoms, it does not address other means by which software may indirectly restrict freedoms. In particular, ethically-inflected debate has featured prominently in the discussion of restrictions on digital rights management and privacy-violating code in version 3 of the GPL (GPLv3). The discussion of this proposed language revealed the spectrum of ethical positions and valuations held by members of the free software community. In our analysis, we will provide arguments for upholding Freedom Zero; we embed the problem of possible uses of software in the broader context of the uses of scientific knowledge, and go on to argue that the provision of Freedom Zero mitigates against too great a moral burden—of anticipating possible uses of software—being placed on the programmer and that, most importantly, it facilitates deliberative discourse in the free software community. (shrink)

This commentary on John Symons’ and Jack Horner’s paper, besides sharing its main argument, challenges the authors’ statement that there is no effective method to evaluate software-intensive systems as a distinguishing feature of software intensive science. It is underlined here how analogous methodological limitations characterise the evaluations of empirical systems in non-software intensive sciences. The authors’ claim that formal methods establish the correctness of computational models rather than of the represented programme is here compared with the empirical (...) adequacy problem typifying the model-based reasoning approach in physics, and the remark that testing all the paths of a software-intensive system is unfeasible is related to the enumerative induction problem in the justification of empirical law-like hypotheses in non-software intensive sciences. (shrink)

What role can technology play in cultivating a disciplinary stance — raising questions, planning investigations, interpreting data and constructing explanations in a way that reflects disciplinary values and principles? How can overt and tacit expert scientific knowledge be captured, represented and used to design software that enables novices to assume a disciplinary stance in their investigations? We present The Galapagos Finches software designed to foster a biological and evolutionary stance. Our approach, Discipline-Specific Strategic Support , translates the (...) main variable types, comparison types and relationships in a discipline into manipulable objects in the interface. Pre/post-tests show how DSSS helps achieve a balance between content and process goals. A contrastive-case microanalysis of high, medium and low-achieving students' inquiry shows progress toward a disciplinary stance. Our study shows how software representations carry multiple levels of meaning, and that the efficacy of learning technologies hinges on reflection at both the navigation and disciplinary-signification levels. (shrink)

This article inquires whether and to which degree some fundamental traits of the World Wide Web may encourage us to revise traditional conceptions of what constitutes scientific information and knowledge. Turning to arguments for `open access' in scientific publishing and its derivatives (open content, open archives, etc.), contemporary tendencies in `social software' and knowledge sharing, the authors project a new look on knowledge, dissociated with linear notions of cumulation, progression, and hierarchy (e.g. of scientific argument), but (...) related to circularity, heterarchy, and evolution. Arguing from a medium theoretical perspective, they illustrate their ideas with developments in library science, current debates in epistemology and theories about information architecture, with a particular focus on `unsystematic' folksonomies. (shrink)

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used (...) to measure the growth of probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the (...) mappings between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Imagine if each square of pavement on the sidewalk had an owner, and pedestrians required a license to step on it. Imagine the negotiations necessary to walk an entire block under this system. That is what writing a program will be like if software patents continue. The sparks of creativity and individualism that have driven the computer revolution will be snuffed out. Imagine if each square of pavement on the sidewalk had an owner, and pedestrians required a license to (...) step on it. Imagine the negotiations necessary to walk an entire block under this system. That is what writing a program will be like if software patents continue. The sparks of creativity and individualism that have driven the computer revolution will be snuffed out.—Richard Stallman and Simson Garfinkel (1992) This article highlights the vulnerability of the open source software movement to patent infringement lawsuits. With the number of patents on software algorithms predicted to exceed 100,000 this year, it is now virtually impossible to write any computer program, however trivial, that does not violate one or more patents. This paper argues that this situation is not only ludicrous, but it is contrary to any reasonable reading of the Constitution’s intentions with respect to the protection of intellectual property. In addition, the patentability of software algorithms stems from the U.S. Supreme Court’s failure to grasp one of the most fundamental concepts of computer science. From this error stems a long, dysfunctional chain of legal reasoning and patent policies, the effect of which has been to transform the mental reasoning processes, abstract knowledge, and scientific truths of computing into patentable subject matter. The result poses a potentially catastrophic threat not only to the open source software movement and the emerging industry of electronic commerce, but more fundamentally, to the very existence of the sciences of computing, without which further U.S. technological leadership will be impossible to sustain. (shrink)

According to the early futurist Julian Huxley, human life as we know it is ‘a wretched makeshift, rooted in ignorance’. With modern science, however, ‘the present limitations and miserable frustrations of our existence could be in large measure surmounted’ and human life could be ‘transcended by a state of existence based on the illumination of knowledge’ (1957b, p. 16).

Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often (...) overlooked in accounts of reproducibility issues. Software is not only about designing and coding but also about maintaining, supporting, distributing, licensing, and governance; it is not only about developers but also about users. We focus on openness debates among computational chemists involved in molecular modeling software packages as empirical grounding for our argument. We then identify and analyse four epistemic characteristics as key to the role of software in computational reproducibility. (shrink)

Along with economic strength, space technology and software expertise, India is also a leading nation in fraudulent scientific research. The problem is worsened by vested interests working in concert for their own benefits. These self-promoting cartels, together with biased evaluation methods and weak penal systems, combine to perpetuate scientific misconduct. Some of these issues are discussed in this commentary, with supporting examples and possible solutions.

A major, but too-little-considered problem for Software Engineering is a lack of consensus concerning Computer Science and how this relates to developing unpredictable computing technology. We consider some implications for SE of computer systems differing scientific basis, exemplified with the International Standard Organisations Open Systems Interconnection layered architectural model. An architectural view allows comparison of computing technology components facilitating a view of computing as a continuum. For example, at one layer of computer architecture, components written in Turing-complete machine (...) language can be seen as deterministic and consistent with a theoretical paradigm of CS. At another layer, components closer to the human sphere have been seen as non-deterministic and inconsistent with theoretical CS. We compare unpredictable development of computing technology against the cyclic legacy of technological advance and scientific discovery, and suggest that SE indicates an enabling cycle, discernible in previous scientific revolution, is stalled or possibly hidden. The CS consequence of divorcing technological advance from scientific consensus is particularly concerning. For example human/computing events could be seen as unpredictable virtual phenomena that somehow extend the ontology of CS. Our approach challenges practical and philosophical boundaries by investigating if applying scientific method resolves any SE/Science dichotomy. (shrink)

Intellectual property law has been interacting with software for over sixty years. Despite this, the law in this area remains confused and uncertain: this is particularly evident in patent law. Focusing on U.S. patent law from the 1960s through to the mid-1970s, this article argues that a key reason for this confusion relates to the particular way that the subject matter was construed. While the early discussions about subject matter eligibility were framed in terms of the question “is (...) class='Hi'>software patentable?”, what was really at stake in these debates was the preliminary ontological question: what is software? Building on work that highlights the competing ways that software was construed by different parts of the information technology industry at the time, the article looks at the particular way that the law responded to these competing interpretations and how in so doing it laid the foundation for the confusion that characterizes the area. When engaging with new types of subject matter, patent law has consistently relied on the relevant techno-scientific communities not only to provide the law with a relatively clear understanding of the nature of the subject matter being considered; they have also provided the means to allow the law to describe, demarcate, and identify that new subject matter. The inherently divided nature of the nascent information technology industry meant that this was not possible. As a result, the law was forced to develop its own way of dealing with the would-be subject matter. (shrink)

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 (...) Aristotelian abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the (...) discovery of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Throughout human history, thoughts, values and behaviors have been colored by language and the prevailing view of the universe. With the advent of Quantum Mechanics, relativity, non-Euclidean geometries, non-Aristotelian logic and General Semantics, the scientific view of the world has changed dramatically from just a few decades ago. Nonetheless, human thinking is still deeply rooted in the cosmology of the middle ages. Quantum Psychology is the book to change your way of perceiving yourself--and the universe for the 21st Century. (...) Some say it's materialistic, others call it scientific and still others insist it's mystical. It is all of these--and none. (shrink)

Recently, biologists and computer scientists who advocate the "strong thesis of artificial life" have argued that the distinction between life and nonlife is important and that certain computer software entities could be alive in the same sense as biological entities. These arguments have been challenged by Sober (1991). I address some of the questions about the rational reconstruction of biology that are suggested by these arguments: What is the relation between life and the "signs of life"? What work (if (...) any) might the concept of "life" (over and above the "signs of life") perform in biology? What turns on scientific disputes over the utility of this concept? To defend my answers to these questions, I compare "life" to certain other concepts used in science, and I examine historical episodes in which an entity's vitality was invoked to explain certain phenomena. I try to understand how these explanations could be illuminating even though they are not accompanied by any reductive definition of "life.". (shrink)

Combining active externalism in the form of the extended and distributed cognition hypotheses with virtue reliabilism can provide the long sought after link between mainstream epistemology and philosophy of science. Specifically, by reading virtue reliabilism along the lines suggested by the hypothesis of extended cognition, we can account for scientific knowledge produced on the basis of both hardware and software scientific artifacts. Additionally, by bringing the distributed cognition hypothesis within the picture, we can introduce the notion of (...) epistemic group agents, in order to further account for collective knowledge produced on the basis of scientific research teams. (shrink)

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the (...) epistemological heterogeneity of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (shrink)

Knowledge does not exist as an isolated “piece” of knowledge. Knowledge exists in an aggregated collective state. I define knowledge as a capacity for social action and as a model for reality, as the possibility to set “something in motion”, for example, to solve a task, to produce a material object such as a semiconductor chip or to be competent to prevent something from occurring, for example, the onset of an illness. In this sense, knowledge is a universal human phenomenon, (...) or an anthropological constant. This definition of the term “knowledge” is indebted to Francis Bacon’s famous observation that knowledge is power, a somewhat misleading translation of Bacon’s Latin phrase: scientia potential est. A basic assumption should be that knowledge is not a priori practical. The transformation of knowledge as an ability to act into practical knowledge requires congenial circumstances, such as power or authority that dictates the concrete conditions for action. In this con text, it is helpful to ask about the increasingly prominent role of algorithms (intellectual technology) in relation to knowledge such as ChatGPT software as well as contentious issue of the relation/difference between knowledge and information. (shrink)

The aim of the article is to present the results of bibliometric analyzes of scientific papers on the quality management of medical services published in 2001–2017 and indexed in the Scopus database. The analysis uses basic techniques of bibliometric analysis with the technical support of VOSviewer software. The publication proposes an original procedure for analyzing the literature on the subject. The results of the study allowed to determine the trends in the number of publications from 2010 to 2017. (...) At the same time, an analysis of areas of science was presented, in which issues related to the management of the quality of medical services were analyzed, as well as citation of main authors and research centers. The whole analysis concerning the topic of quality management of medical services and bibliometric analysis of scientific works on the concepts and interrelations studied has identified the main six clusters that related to the management of quality of medical services ranging from broadly understood changes in healthcare organizations, internal quality management factors, development issues and education, regulation and standardization of the concept of quality improvement, and technological aspects of quality management in medical services. It seems, therefore, that the conducted studies can be considered as a specific guide for those interested in risk and uncertainty, despite the fact that they are not free of restrictions, for example, due to the narrowing of the time or criteria concerning the types of documents examined. In this context, the analyzes carried out give a wide range of opportunities to propose new research ideas on the above issues in contemporary organizations. (shrink)

ABSTRACT Scientific advances in genetic analysis have been made possible in recent years by technical developments in computational biology, or bioinformatics. Bioinformatics has opened up the human genome to diverse analyses involving automated laboratory hardware and machine learning algorithms and software. As part of an emerging field of social genomics, recent educational genetics studies using big data have begun to raise challenging findings linking DNA to predicted life outcomes. Bioinformatic technologies and techniques including ‘genome-wide association’ and ‘polygenic scoring’ (...) are producing new kinds of genetic biodata and expert knowledge for rethinking the upbringing and education of children. This article takes as an empirical opening a recent epistemic and ethical controversy over the use of biodata to make genetic predictions about educational, socio-economic and life outcomes, detailing the forms of expert knowledge and technologies involved these predictions, and exploring the social and ethical implications of data-intensive bioinformatics. (shrink)

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category Th of ∑‐theories (...) and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

Se realizó una revisión bibliográfica con el objetivo de valorar las implicaciones sociales de la investigación científico-tecnológica en Neurosicología del Adulto Mayor, mediante la caracterización del estado actual del proceso, los condicionantes que favorecen o impiden su desarrollo y los impactos sociales que genera. La investigación científico-tecnológica en esta área está condicionada por necesidades sociales propias del contexto actual. Se han identificado políticas, legislaciones e infraestructuras que la favorecen, aunque, existen algunas limitaciones. La producción tecnológica dirigida a la rehabilitación y (...) estimulación cognitiva continúa en ascenso, utilizando principalmente software y aplicaciones. La investigación del impacto de estas herramientas ha arrojado resultados contradictorios, lo que limita su poder de transformación social. Se pudo concluir que en Cuba es necesario estimular la transferencia de tecnología, la innovación tecnológica y la creación de alternativas de intervención ajustadas a la realidad económico-social de los adultos mayores. A bibliographical review was conducted with the aim of assessing the social implications of scientific-technological research in Senior Citizens' Neurosurgery through the characterization of the current state of the process, the determining factors that favor or stop its development and the social impact it generates. In this field, scientific-technological research is conditioned on social necessities typical of the current context. Policies, legislations and the infrastructures that favor it have been identified. Nevertheless, there are limitations. Technological production directed towards cognitive rehabilitation and stimulation continues to rise using mainly software and applications. The research on the impact of these tools has produced contradictory results, which limit their social transformation power. It was reached the conclusion that in Cuba, there's a need to stimulate technology transfer, technological innovation and the creation of intervention alternatives adapted to senior citizens' social-economic reality. (shrink)

The main objective of this research is to identify the current panorama of scientific production associated with governance in university institutions. A bibliometric analysis was developed in Scopus using R Core Team 2022-Bibliometrix and Vosviewer software. The results highlight the countries with the highest productivity in the topic of study, with the most representative authors favoring the understanding of governance. The main thematic clusters stand out. It recognizes the role of university governance and its migration to direct spaces (...) and the transition from a face-to-face model. (shrink)

Scientometrics has found many applications in describing, explaining and predicting the scientific status of researchers, educational and research groups, universities, organizations and countries in various national and international arenas. By studying the scientific products of different countries, their status in the production of science can be evaluated. Present study was conducted using a scientometrics approach and using co-word analysis and social network analysis (SNA) to investigate relationships in the field of know­ledge organization. In this regard, research indexed in (...) web of science on the topic of “know­ledge organization” has been analyzed using software including VOSviewer, Gephi, Publish or Perish. The findings of the study show that the most frequently used topics and words are know­ledge organization and classification. Also, the most valuable subject areas were identified based on the maps drawn using the closeness and centrality of indexes, taxonomy, ontology and know­ledge organization systems. Co-authorship analysis revealed that the co-authorship network is discrete and has low-density, with a total of 12,491 citations in all articles. Also, the most prolific author is Hjorland, followed by Smiraglia and Dahlberg. using the co-word map of know­ledge organization, policymakers can plan appropriately through the know­ledge of the research and thematic status of know­ledge organization. (shrink)

We track and analyze the re-situation of scientific knowledge in the field of human population genomics ancestry studies. We understand re-situation as a process of accommodating the direct or indirect transfer of objects of knowledge from one site/situation to other sites/situations. Our take on the concept borrows from Mary S. Morgan’s work on facts traveling while expanding it to include other objects of knowledge such as models, data, software, findings, and visualizations. We structure a specific case study by (...) tracking the re-situation of these objects between three research projects studying human population diversity reported in three articles in Science, Genome Research and PLoS Genetics between 2002 and 2005. We characterize these three engagements as a unit of analysis, a “skirmish,” in order to compare: the divergence of interests in how life-scientists answer similar research questions and to track the challenging transformation of workflows in research laboratories as these scientific objects are re-situated individually or in bundles. Our analysis of the case study shows that an accurate understanding of re-situation requires tracking the whole bundle of objects in a project because they interact in particular key ways. The absence or dismissal of these interactions opens the door to unforeseen trade-offs, misunderstandings and misrepresentations about research design and workflow and what these say about the questions asked and the findings produced. (shrink)

Chaucer’s Treatise on the astrolabe is one of the earliest English-language works on an astronomical instrument. It draws on earlier sources, including a work on the astrolabe attributed in the Middle Ages to Messahalla, but reorders and reworks these sources to produce a description of the parts of, and the use of, the planispheric astrolabe. In their turn, fifteenth-century scribes sometimes drew on more than one source when producing a new copy of Chaucer’s text. Conflation of this kind means that (...) working out the relationship between the extant manuscript copies of the text can be complex and confusing. In this paper we reconsider the relationship between copies of Chaucer’s Treatise on the astrolabe by using new techniques derived from evolutionary biology to clarify the copying and conflation of this important early scientific text. We propose a stemma for the extant manuscripts, place fragmentary copies of the text on it in relation to the more complete versions, and argue that the conflation of Chaucer’s text may have been motivated by a concern amongst scribes for the completeness of what always was an incomplete work.Keywords: Astrolabe; Geoffrey Chaucer; Manuscripts; Stemmatics; Phylogenetics. (shrink)

Quantum computing technologies have become a hot topic in academia and industry receiving much attention and financial support from all sides. Building a quantum computer that can be used practically is in itself an outstanding challenge that has become the ‘new race to the moon’. Next to researchers and vendors of future computing technologies, national authorities are showing strong interest in maturing this technology due to its known potential to break many of today’s encryption techniques, which would have significant and (...) potentially disruptive impact on our society. It is, however, quite likely that quantum computing has beneficial impact on many computational disciplines. In this article we describe our vision of future developments in scientific computing that would be enabled by the advent of software-programmable quantum computers. We thereby assume that quantum computers will form part of a hybrid accelerated computing platform like GPUs and co-processor cards do today. In particular, we address the potential of quantum algorithms to bring major breakthroughs in applied mathematics and its applications. Finally, we give several examples that demonstrate the possible impact of quantum-accelerated scientific computing on society. (shrink)

Humanity needs a way to pool scientific community opinion quickly and efficiently on a given statement of interest. This should be on a very large scale, such that one can have confidence that the result reflects international scientific opinion. For this pilot project (2022-23), we developed tailored architecture in the form of a novel polling platform, to survey a network of scientists at 30 academic institutions around the world. Personal, one-to-one emails were sent to all relevant scientists at (...) those institutions, asking them for their position on our pilot statement, "Science has put it beyond reasonable doubt that COVID-19 is caused by a virus." Scientists answered by clicking a URL embedded in the email, and confirming their response on a 5-point Likert scale. Voting was anonymous, with the token linking the scientist to their vote being destroyed upon voting, and their response logged against the demographics of scientific field of expertise (broadly construed) and institution for subsequent data analysis. (shrink)

This study aimed to outline the profile of retractions of scientific articles on COVID-19 published in journals indexed in the Scopus database between 2020 and 2021. To analyze the data, we used a bibliometric technique, with the Bibliometrix package in the R-Studio software, and descriptive statistics. Twenty-nine retractions were analyzed, and we found that the most common reasons for retraction were related to ethical issues and that 68.97% of authors have previously retracted articles. We concluded that there appears (...) to have been a change in the publication policies of journals, which resulted in an increase in scientific retractions related to COVID-19 during the study period. (shrink)

Purpose This paper aims to look at shifts in internet-related content and services economies, from audience labour economies to Web 2.0 user-generated content, and the emerging model of user computing power utilisation, powered by blockchain technologies. The authors look at and test three models of user computing power utilisation based on distributed computing two of which use cryptocurrency mining through distributed pool mining techniques, while the third is based on distributed computing of calculations for scientific research. The three models (...) promise benefits to their users, which the authors discuss throughout the paper, studying how they interplay with the three levels of the digital divide. Design/methodology/approach The goal of this article is twofold as follows: first to discuss how using the mining hype may reduce digital inequalities, and secondly to demonstrate how these services offer a new business model based on value rewarding in exchange for computational power, which would allow more online opportunities for people, and thus reduce digital inequalities. Finally, this contribution discusses and proposes a method for a fair revenue model for content and online service providers that uses user device computing resources or computational power, rather than their data and attention. The method is represented by a model that allows for consensual use of user computing resources in exchange for accessing content and using software tools and services, acting essentially as an alternative online business model. Findings Allowing users to convert their devices’ computational power into value, whether through access to services or content or receiving cryptocurrency and payments in return for providing services or content or direct computational powers, contributes to bridging digital divides, even at fairly small levels. Secondly, the advent of blockchain technologies is shifting power relations between end-users and content developers and service providers and is a necessity for the decentralisation of internet and internet services. Originality/value The article studies the effect of services that rely on distributed computing and mining on digital inequalities, by looking at three different case studies – Coinhive, Gridcoin and Cryptotab – that promise to provide value in return for using computing resources. The article discusses how these services may reduce digital inequalities by affecting the three levels of the digital divide, namely, access to information and communication technologies, skills and motivations in using ICTs and capacities in using ICTs to get concrete benefits. (shrink)

This study analyzes the possible occurrence of plagiarism and self-plagiarism in a sample of articles published in the Scientific Periodicals Electronic Library, an open database that indexes business journals in Brazil. The author compared one sample obtained in 2013 and another selected from 2018. In both samples, we verified the guidelines that each of the journals provided to authors regarding plagiarism and the adoption of software to detect textual similarities. In the analysis conducted in 2013, it was found (...) that only one journal mentioned the word “plagiarism” in its policies, although the majority of the directives required guarantees that no type of violation of authors’ rights was contained in the manuscript. In the analysis conducted in 2013, it was determined that there were literal reproductions in 31 published articles, and no relevant similarities with other publications were encountered in 16 articles. In the 2018 analysis, 69 of the publications included observations and guidelines related to plagiarism and self-plagiarism. In the analysis conducted in 2018, it was found that similarities occurred in 52 articles, and no relevant evidence of plagiarism or self-plagiarism was found in 66 manuscripts. Although a reduction in the index of the occurrence of plagiarism was observed, as was an increase in the instructions on the prevention of plagiarism by authors, practices directed at guiding authors by means of directives concerning the importance of preventing plagiarism in manuscripts submitted for publication can be recommended. (shrink)

Can research be studied in a way that is neither logical reconstruction nor empirical psychology or sociology of science? In contemporary philosophy of science this is usually denied—in spite of the recent 'paradigm shift' there. A system-philosophy approach in theory of research is outlined by means of some models : a research enterprise is viewed as a productive, innovative system, the research process as a transformation of complexes of knowledge-problems-instruments (software and hard ware). The direction this development takes is (...) guided by preconceptions about the subject matter and a programmatic conception of the discipline based on them ('internal steering factors'). The dynamics of the research process are schematized as a co-agency of 'theoretical and 'empirical' moments, which is viewed as a flow of problems, information, and conceptual frameworks. Empirically discovered pieces of knowledge may resist all attempts to explain them: the flow is disturbed, and only an extraordinary innovation on the 'theoretical' level can restore the balance. This involves a shift in perspective: a shift in the 'internal steering factors'. (In this way one type of 'scientific revolution' (Kuhn's type) is conceptualized). After a perspectival shift one will ask 'Does it constitute progress ?' Types of criteria are suggested. Although they do not apply to all research situations, they over-arch research-traditions. Eventually the above models are applied in the reflection of Research Theory on itself. Research Theory should improve our knowledge about knowledge-production. This knowledge should contribute to improving our image of science and the researcher's sensitivity—by providing better tools for concept ualizing research situations and for imagining possible alternatives. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Appropriate language use is essential to ensure inclusion of diverse populations in research. We aimed to identify possible language-related barriers regarding the informed consent process and propose interventions to improve clarity and understanding of pregnant and breastfeeding women participating in research. A cross-sectional qualitative study employing focus group discussions (FGD) was conducted in Uganda from August 2023 to September 2023, involving a diverse group of stakeholders from the community, including community members, research participants, and Community Advisory Board members. 19 FGD (...) comprised adult participants representing at least six different mother tongues (Luganda, Acholi, Runyankole, Runyoro, Lugbara and English). An inductive thematic approach was utilized for data analysis using NVivo version 12 software to identify language factors that influence informed consent. A series of community validation workshops ensured concurrence. At the individual level, language barriers, and low levels of literacy contributed to poor comprehension, thus hindering ability to achieve genuine informed consent. At the health facility level, participants reported that there was use of inappropriate, unclear language including inaccurate translations, with poor and complicated grammar in some consent forms. Participants reported that complex medical terminologies are difficult to translate to local languages. Community members highlighted that social/cultural norms in language use affected cultural perceptions of informed consent. To enhance understanding for individuals without education in science, participants suggested simplification of terminologies and avoidance of complex medical jargon. Researchers should identify participants’ preferred languages and communicate in those languages whenever possible. If researchers are not fluent, trained interpreters should be identified. Informed consent documents must be translated into local languages to ensure participants comprehend the study’s purpose, procedures, risks, and benefits. Involving community members during development and translation of these documents can provide valuable insights into local dialects and culturally specific concepts, ensuring that study tools like surveys and consent forms are accurate and respectful. Language barriers influence the informed consent process within communities in Uganda. These can potentially be resolved at individual, health system and community levels. Consideration of locally understandable terms in community-facing study documentation is likely to enhance understanding and could improve research participation, although further studies are needed to assess these. The use of appropriate language ensures that informed consent is genuine in keeping with principles of Good Clinical Practice, and developing a research communication strategy should be part of inclusive research design. (shrink)

To create an astronomical software, one should use the most effective method to produce the quickest hardware calculation. However, the not so effective object oriented paradigm seems to have bigger influence on the astronomical domain. We discuss the status quo of its methodology. The traditional, Turing computation model does not have so distinct influence on knowledge creation because it is hardware-oriented. An object oriented programming language is more influential on discovery, because it works directly in the scientific domain.

In this study, we explore a 100 years of Work and Organizational Psychology. To do this, we carry out a bibliometric performance and network analysis to understand the evolution structure and the most important themes in the field of study. To perform the BNPA, 8,966 documents published since 1919 were exported from the Web of Science and Scopus databases. The SciMAT software was used to process data and to create the evolution structure, the strategic diagram, and the thematic network (...) structure of the strategic themes of the field of WOP. We identified 29 strategic clusters and discuss the most important themes and their relationship with other clusters. This research presents the complete evolution of the field of study, identifying emerging themes and others with a high degree of development. We hope that this work will support researchers and future research in the field of WOP. (shrink)

Global warming and other climate issues seriously threaten global sustainable development. As citizen environmental behavior can have a positive impact on the environment, it is of great theoretical significance and practical reference value to study the impact of psychological distance theory on citizen environmental behavior. This study obtained 2,633 related studies from 1980 to 2020 from the Web of Science as research objects, and used CiteSpace, VOSviewer, Netdraw, and other software programs to perform a bibliometric analysis, which can show (...) the complex relationship implied in the citation, intuitively grasp the development context and hot frontier in this field, and help scholars better study citizen environmental behavior. The results and conclusions are as follows. The related research covered three periods: infancy, growth, and outbreak. Chronologically, the relevant research evolved from building models to analyze the impact of environmental enrichment on human environmental behavior, to studying the motivation behind citizen environmental behavior, and finally to paying attention to sustainable development. A cluster analysis of high-frequency keywords identified three research hotspots: “drivers of psychological distance of environmental change perception on citizen environmental behavior,” “impact of social distance on adolescents’ behavior,” and “construal level theory and citizen green behavior.” Based on these findings, possible future research directions were identified, including changing from a single theory to a combination of multiple theories to comprehensively study citizen environmental protection behavior; analyzing the motivation of citizen environmental behavior and summarizing the general motivation of environmental behavior according to its internal relationship; and determining how to narrow the global psychological distance, strengthen the awareness of the community of human destiny, and explore the establishment of an efficient global climate cooperation mechanism. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, (...) the analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Famously, scientific theories are underdetermined by their evidence. This occurs in the factor analytic model, which is often used to connect concrete data to hypothetical notions. After introducing FA, three general topics are addressed. Underdetermination: the precise reasons why FA is underdetermined illuminates various claims about underdetermination, abduction, and theoretical terms. Uncertainties: FA helps distinguish at least four kinds of uncertainties. The prevailing practice, often encoded in statistical software, is to ignore the most difficult kinds, which are essential (...) to FA's underdetermination. What to do: some suggestions for dealing with these hardest types of uncertainty are offered. (shrink)