相关论文: Eulogy for Andrew Wiles
Argumentation is based on the exchange and valuation of interacting arguments, followed by the selection of the most acceptable of them (for example, in order to take a decision, to make a choice). Starting from the framework proposed by…
This article shows the importance that has had the scientific research, the technological development and the innovation processes in increasing the lethality of the available weapons during the last century. A set of initiatives promoted…
In this study, the academic status of users of scientific publications in Mendeley is explored in order to analyse the usage pattern of Mendeley users in terms of subject fields, citation and readership impact. The main focus of this study…
Recollections by the author about how his interactions with John Wheeler influenced his career in physics.
In this article, inspired by Lawrence Krauss' plenary talk at the 2007 CAP congress, the relation between faith and science is examined.
Many people hold this truth to be self-evident, that there should be more female students in science and engineering. Typical arguments include possible benefits to women, possible benefits to the economy, and the unfairness of the current…
Clear and effective explanations are essential for human understanding and knowledge dissemination. The scope of scientific research aiming to understand the essence of explanations has recently expanded from the social sciences to machine…
It is well known in bibliometrics that the average number of citations per paper differs greatly between the various disciplines. The differing citation culture (in particular the different average number of references per paper and thereby…
We detail an experimental programme we have been testing in our university. Our Advanced Hackspace, attempts to give all members of the university, from students to technicians, free access to the means to develop their own…
While various traditions under the 'virtue ethics' umbrella have been studied extensively and advocated by ethicists, it has not been clear that there exists a version of virtue ethics rigorous enough to be a target for machine ethics…
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technology for classical higher-order logic. Thanks to its…
${\cal Q}_0$ is an elegant version of Church's type theory formulated and extensively studied by Peter B. Andrews. Like other traditional logics, ${\cal Q}_0$ does not admit undefined terms. The "traditional approach to undefinedness" in…
Research on acknowledgment sections of scientific papers has gained significant attention, but there remains a dearth of studies examining acknowledgments in the context of Electronic Theses and Dissertations. This paper addresses this gap…
Contribution to the volume "In Memory of Steven Weinberg" to appear in Nuclear Physics B.
In a piece published in 1981, H. M. Edwards touts the benefits of reading the masters. A quarter-century later, Edwards takes seriously his own advice by publishing an encomium on Euler's Institutiones (1755). While we agree with Edwards…
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms…
The existence of an open access (OA) citation advantage, that is, whether OA increases citations, has been a topic of interest for many years. Although numerous previous studies have focused on whether OA increases citations, expectations…
This is a retrospective of some of William Arveson's many contributions to operator theory and operator algebras.
It is introduced the concept of Superiority Degree one competitive decision over another. On the basis of this concept the mathematics theoretic structure is developed, which is part of pairs comparisons branch in modern decision making…
This column advocates for including artificial intelligence (AI)-specific metadata on those academic papers that are written with the help of AI in an attempt to analyze the use of such tools for disseminating research.