https://arxiv.org/api/npCLOPrRg7rLsN9P0ll7vbaw2Eg 2026-06-10T07:07:08Z 239 135 15 http://arxiv.org/abs/1703.04080v2 2017-03-15T07:06:07Z

Research methods are essential parts in conducting any research project. Although they have been theorized and summarized based on best practices, every field of science requires an adaptation of the overall approaches to perform research activities. In addition, any specific research needs a particular adjustment to the generalized approach and specializing them to suit the project in hand. However, unlike most well-established science disciplines, computing research is not supported by well-defined, globally accepted methods. This is because of its infancy and ambiguity in its definition, on one hand, and its extensive coverage and overlap with other fields, on the other hand. This article discusses the research methods in science and engineering in general and in computing in particular. It shows that despite several special parameters that make research in computing rather unique, it still follows the same steps that any other scientific research would do. The article also shows the particularities that researchers need to consider when they conduct research in this field.

2017-03-12T08:10:59Z Hossein Hassani http://arxiv.org/abs/1701.07769v1 2017-01-26T16:52:22Z

The recent surge in interest in ethics in artificial intelligence may leave many educators wondering how to address moral, ethical, and philosophical issues in their AI courses. As instructors we want to develop curriculum that not only prepares students to be artificial intelligence practitioners, but also to understand the moral, ethical, and philosophical impacts that artificial intelligence will have on society. In this article we provide practical case studies and links to resources for use by AI educators. We also provide concrete suggestions on how to integrate AI ethics into a general artificial intelligence course and how to teach a stand-alone artificial intelligence ethics course.

2017-01-26T16:52:22Z 29 pages including all case studies and links to video media on YouTube Emanuelle Burton Judy Goldsmith Sven Koenig Benjamin Kuipers Nicholas Mattei Toby Walsh http://arxiv.org/abs/1702.02107v1 2017-01-18T15:23:41Z

We introduce the idea of Data Readiness Level (DRL) to measure the relative richness of data to answer specific questions often encountered by data scientists. We first approach the problem in its full generality explaining its desired mathematical properties and applications and then we propose and study two DRL metrics. Specifically, we define DRL as a function of at least four properties of data: Noisiness, Believability, Relevance, and Coherence. The information-theoretic based metrics, Cosine Similarity and Document Disparity, are proposed as indicators of Relevance and Coherence for a piece of data. The proposed metrics are validated through a text-based experiment using Twitter data.

2017-01-18T15:23:41Z 9 pages Hui Guan Thanos Gentimis Hamid Krim James Keiser http://arxiv.org/abs/1607.00858v1 2016-07-04T12:40:15Z

Statistics is running the risk of appearing irrelevant to today's undergraduate students. Today's undergraduate students are familiar with data science projects and they judge statistics against what they have seen. Statistics, especially at the introductory level, should take inspiration from data science so that the discipline is not seen as somehow lesser than data science. This article provides a brief overview of data science, outlines ideas for how introductory courses could take inspiration from data science, and provides a reference to materials for developing stand-alone data science courses.

2016-07-04T12:40:15Z 9 pages, 1 figure The UMAP Journal 36 (2015) 285-292 Adam Loy http://arxiv.org/abs/1605.08639v1 2016-05-26T19:36:40Z

In 1632, Galileo Galilei wrote a book called \textit{Dialogue Concerning the Two Chief World Systems} which compared the new Copernican model of the universe with the old Ptolemaic model. His book took the form of a dialogue between three philosophers, Salviati, a proponent of the Copernican model, Simplicio, a proponent of the Ptolemaic model, and Sagredo, who was initially open-minded and neutral. In this paper, I am going to use Galileo's idea to present a dialogue between three modern philosophers, Mr. Spock, a proponent of the view that $\mathsf{P} \neq \mathsf{NP}$, Professor Simpson, a proponent of the view that $\mathsf{P} = \mathsf{NP}$, and Judge Wapner, who is initially open-minded and neutral.

2016-05-26T19:36:40Z 5 pages Progress in Physics, 2016 (vol. 12), issue 3, pp. 280-283 Craig Alan Feinstein http://arxiv.org/abs/1605.05566v1 2016-05-17T05:54:01Z

Over nearly three decades at the University of Wisconsin, Jeff Naughton has left an indelible mark on computer science. He has been a global leader of the database research field, deepening its core and pushing its boundaries. Many of Naughton's ideas were translated directly into practice in commercial and open-source systems. But software comes and goes. In the end, it is the ideas themselves that have had impact, ideas written down in papers. Naughton has been a prolific scholar over the last thirty years, with over 175 publications in his bibliography, covering a wide range of topics. This document does not attempt to enumerate or even summarize the wealth of ideas that Naughton has published over the course of his academic career--the task is too daunting. Instead, the best this short note aims to do is to serve as a rough map of the territory: something to help other researchers navigate the wide spaces of Naughton's work.

2016-05-17T05:54:01Z Presented at the Wisconsin Database Group 40 Year Event, on the occasion of Jeff Naughton's retirement from the University of Wisconsin Joseph M. Hellerstein http://arxiv.org/abs/1603.06018v1 2016-03-19T00:02:51Z

The P=?NP problem is philosophically solved by showing P is equal to NP in the random access with unit multiply (MRAM) model. It is shown that the MRAM model empirically best models computation hardness. The P=?NP problem is shown to be a scientific rather than a mathematical problem. The assumptions involved in the current definition of the P?=NP problem as a problem involving non deterministic Turing Machines (NDTMs) from axiomatic automata theory are criticized. The problem is also shown to be neither a problem in pure nor applied mathematics. The details of The MRAM model and the well known Hartmanis and Simon construction that shows how to code and simulate NDTMs on MRAM machines is described. Since the computation power of MRAMs is the same as NDTMs, P is equal to NP. The paper shows that the justification for the NDTM P?=NP problem using a letter from Kurt Godel to John Von Neumann is incorrect by showing Von Neumann explicitly rejected automata models of computation hardness and used his computer architecture for modeling computation that is exactly the MRAM model. The paper argues that Deolalikar's scientific solution showing P not equal to NP if assumptions from statistical physics are used, needs to be revisited.

2016-03-19T00:02:51Z 9 pages, 25 references Steven Meyer http://arxiv.org/abs/1602.03934v2 2016-03-11T19:54:55Z

The problem of the Hanoi Tower is a classic exercise in recursive programming: the solution has a simple recursive definition, and its complexity and the matching lower bound are the solution of a simple recursive function (the solution is so easy that most students memorize it and regurgitate it at exams without truly understanding it). We describe how some very minor changes in the rules of the Hanoi Tower yield various increases of complexity in the solution, so that they require a deeper analysis than the classical Hanoi Tower problem while still yielding exponential solutions. In particular, we analyze the problem fo the Bouncing Tower, where just changing the insertion and extraction position from the top to the middle of the tower results in a surprising increase of complexity in the solution: such a tower of $n$ disks can be optimally moved in $\sqrt{3}^n$ moves for $n$ even (i.e. less than a Hanoi Tower of same height), via $5$ recursive functions (or, equivalently, one recursion function with $5$ states).

2016-02-12T00:19:42Z 18 pages and many figures, one appendix with the disk pile problem, code in Python Jérémy Barbay http://arxiv.org/abs/1602.07646v2 2016-02-25T18:02:20Z

Incompleteness theorems of Godel, Turing, Chaitin, and Algorithmic Information Theory have profound epistemological implications. Incompleteness limits our ability to ever understand every observable phenomenon in the universe. Incompleteness limits the ability of evolutionary processes from finding optimal solutions. Incompleteness limits the detectability of machine consciousness. This is an effort to convey these thoughts and results in a somewhat entertaining manner.

2016-02-19T18:16:57Z 25 pages, 5 figures Gary R. Prok http://arxiv.org/abs/1503.08776v2 2015-08-20T16:37:13Z

The Gordon and Betty Moore Foundation ran an Investigator Competition as part of its Data-Driven Discovery Initiative in 2014. We received about 1,100 applications and each applicant had the opportunity to list up to five influential works in the general field of "Big Data" for scientific discovery. We collected nearly 5,000 references and 53 works were cited at least six times. This paper contains our preliminary findings.

2015-03-30T18:17:30Z Mark Stalzer Chris Mentzel http://arxiv.org/abs/1506.06270v1 2015-06-20T17:07:55Z

Turing's (1936) paper on computable numbers has played its role in underpinning different perspectives on the world of information. On the one hand, it encourages a digital ontology, with a perceived flatness of computational structure comprehensively hosting causality at the physical level and beyond. On the other (the main point of Turing's paper), it can give an insight into the way in which higher order information arises and leads to loss of computational control - while demonstrating how the control can be re-established, in special circumstances, via suitable type reductions. We examine the classical computational framework more closely than is usual, drawing out lessons for the wider application of information-theoretical approaches to characterizing the real world. The problem which arises across a range of contexts is the characterizing of the balance of power between the complexity of informational structure (with emergence, chaos, randomness and 'big data' prominently on the scene) and the means available (simulation, codes, statistical sampling, human intuition, semantic constructs) to bring this information back into the computational fold. We proceed via appropriate mathematical modelling to a more coherent view of the computational structure of information, relevant to a wide spectrum of areas of investigation.

2015-06-20T17:07:55Z 35 pages, to appear in journal 'Synthese' S. Barry Cooper http://arxiv.org/abs/1506.00555v1 2015-06-01T16:09:53Z

Over 15 years of teaching, advising students and coordinating scientific research activities and projects in computer science, we have observed the difficulties of students to write scientific papers to present the results of their research practices. In addition, they repeatedly have doubts about the publishing process. In this article we propose a conceptual framework to support the writing and publishing of scientific papers in computer science, providing a kind of guide for computer science students to effectively present the results of their research practices, particularly for experimental research.

2015-06-01T16:09:53Z 2 pages, 2 figures, Brazilian Portuguese Wladmir Cardoso Brandão http://arxiv.org/abs/1410.6968v4 2015-05-10T16:23:39Z

Sustainability is a central concern for our society, and software systems increasingly play a central role in it. As designers of software technology, we cause change and are responsible for the effects of our design choices. We recognize that there is a rapidly increasing awareness of the fundamental need and desire for a more sustainable world, and there is a lot of genuine goodwill. However, this alone will be ineffective unless we come to understand and address our persistent misperceptions. The Karlskrona Manifesto for Sustainability Design aims to initiate a much needed conversation in and beyond the software community by highlighting such perceptions and proposing a set of fundamental principles for sustainability design.

2014-10-25T22:43:33Z Christoph Becker Ruzanna Chitchyan Leticia Duboc Steve Easterbrook Martin Mahaux Birgit Penzenstadler Guillermo Rodriguez-Navas Camille Salinesi Norbert Seyff Colin Venters Coral Calero Sedef Akinli Kocak Stefanie Betz http://arxiv.org/abs/1402.1099v1 2014-02-05T17:43:12Z

In a recent article, Luciano Floridi explains his view of Turing's legacy in connection to the philosophy of information. I will very briefly survey one of Turing's other contributions to the philosophy of information and computation, including similarities to Shannon's own methodological approach to information through communication, showing how crucial they are and have been as methodological strategies to understanding key aspects of these concepts. While Floridi's concept of Levels of Abstraction is related to the novel methodology of Turing's imitation game for tackling the question of machine intelligence, Turing's other main contribution to the philosophy of information runs contrary to it. Indeed, the seminal concept of computation universality strongly suggests the deletion of fundamental differences among seemingly different levels of description. How might we reconcile these apparently contradictory contributions? I will argue that Turing's contribution should prompt us to plot some directions for a philosophy of information and computation, one that closely parallels the most important developments in computer science, one that understands the profound implications of the works of Turing, Shannon and others.

2014-02-05T17:43:12Z A version of the essay published in the Q, the AISB Quarterly bulletin of the Society for the Study of Artificial Intelligence and Simulation of Behaviour Hector Zenil http://arxiv.org/abs/1307.5448v2 2014-01-29T14:15:59Z

Over the last 15 years, Software Carpentry has evolved from a week-long training course at the US national laboratories into a worldwide volunteer effort to raise standards in scientific computing. This article explains what we have learned along the way the challenges we now face, and our plans for the future.

2013-07-20T18:44:29Z 11 pages, 2 figures Greg Wilson