https://arxiv.org/api/7y7wecgqok9OKFjFBAXZEngW4ps 2026-06-10T05:18:45Z 239 120 15 http://arxiv.org/abs/1810.02724v1 2018-10-02T20:01:43Z

It is possible to rely on current corporate law to grant legal personhood to Artificially Intelligent (AI) agents. In this paper, after introducing pathways to AI personhood, we analyze consequences of such AI empowerment on human dignity, human safety and AI rights. We emphasize possibility of creating selfish memes and legal system hacking in the context of artificial entities. Finally, we consider some potential solutions for addressing described problems.

2018-10-02T20:01:43Z Roman V. Yampolskiy http://arxiv.org/abs/1803.05998v4 2018-09-19T01:20:34Z

Philosophical thinking has a side effect: by aiming to find the essence of a diverse set of phenomena, it often makes it difficult to see the differences between them. This can be the case with Mathematics, Programming, Writing and Philosophy itself. Their unified essence is having a shared understanding of the world helped by off-loading our cognitive efforts to suitable languages.

2018-03-06T07:19:55Z v4 some clarifications Attila Egri-Nagy http://arxiv.org/abs/1806.04002v2 2018-08-26T09:10:53Z

Michael Gordon was a pioneer in the field of interactive theorem proving and hardware verification. In the 1970s, he had the vision of formally verifying system designs, proving their correctness using mathematics and logic. He demonstrated his ideas on real-world computer designs. His students extended the work to such diverse areas as the verification of floating-point algorithms, the verification of probabilistic algorithms and the verified translation of source code to correct machine code. He was elected to the Royal Society in 1994, and he continued to produce outstanding research until retirement. His achievements include his work at Edinburgh University helping to create Edinburgh LCF, the first interactive theorem prover of its kind, and the ML family of functional programming languages. He adopted higher-order logic as a general formalism for verification, showing that it could specify hardware designs from the gate level right up to the processor level. It turned out to be an ideal formalism for many problems in computer science and mathematics. His tools and techniques have exerted a huge influence across the field of formal verification.

2018-06-11T14:09:03Z Accepted to Biographical Memoirs of Fellows of the Royal Society Biographical Memoirs of Fellows of the Royal Society 65 (2018), 89-113 Lawrence C Paulson 10.1098/rsbm.2018.0019 http://arxiv.org/abs/1807.09515v1 2018-07-25T10:26:51Z

We argue that the boldest claims of Big Data are in need of revision and toning-down, in view of a few basic lessons learned from the science of complex systems. We point out that, once the most extravagant claims of Big Data are properly discarded, a synergistic merging of BD with big theory offers considerable potential to spawn a new scientific paradigm capable of overcoming some of the major barriers confronted by the modern scientific method originating with Galileo. These obstacles are due to the presence of nonlinearity, nonlocality and hyperdimensions which one encounters frequently in multiscale modelling.

2018-07-25T10:26:51Z Sauro Succi Peter V. Coveney 10.1098/rsta.2018.0145 http://arxiv.org/abs/1807.03750v1 2018-07-05T21:32:18Z

Data Science is currently a popular field of science attracting expertise from very diverse backgrounds. Current learning practices need to acknowledge this and adapt to it. This paper summarises some experiences relating to such learning approaches from teaching a postgraduate Data Science module, and draws some learned lessons that are of relevance to others teaching Data Science.

2018-07-05T21:32:18Z 4th Workshop on Curricula and Teaching Methods in Cloud Computing, Big Data, and Data Science, 2017 Yehia Elkhatib 10.1109/CloudCom.2017.58 http://arxiv.org/abs/1807.07824v1 2018-07-03T18:00:40Z

The article presents the main milestones of the science and technology biography of Ivan Edward Sutherland. The influence of the family and the school on the development of its research competencies is shown, and little-known biographical facts explaining the evolution of his scientific interests is presented: from dynamic object-oriented graphic systems through systems of virtual reality to asynchronous circuits.

2018-07-03T18:00:40Z 16 pages, 8 figures, in Ukrainian New computer technology 16 (2018) 9-24 S. O. Semerikov A. M. Striuk K. I. Slovak N. V. Rashevska Yu. V. Yechkalo http://arxiv.org/abs/1708.08205v2 2018-06-18T08:26:30Z

Scientific code is not production software. Scientific code participates in the evaluation of a scientific hypothesis. This imposes specific constraints on the code that are often overlooked in practice. We articulate, with a small example, five characteristics that a scientific code in computational science should possess: re-runnable, repeatable, reproducible, reusable and replicable.

2017-08-28T06:45:57Z Frontiers in Neuroinformatics, Frontiers, In press Fabien Benureau Mnemosyne Nicolas Rougier Mnemosyne 10.3389/fninf.2017.00069 http://arxiv.org/abs/1806.09525v1 2018-06-11T12:22:05Z

Researchers spend a great deal of time reading research papers. Keshav (2012) provides a three-pass method to researchers to improve their reading skills. This article extends Keshav's method for reading a research compendium. Research compendia are an increasingly used form of publication, which packages not only the research paper's text and figures, but also all data and software for better reproducibility. We introduce the existing conventions for research compendia and suggest how to utilise their shared properties in a structured reading process. Unlike the original, this article is not build upon a long history but intends to provide guidance at the outset of an emerging practice.

2018-06-11T12:22:05Z Manuscript repository publicly available at https://github.com/nuest/how-to-read-a-research-compendium/ Daniel Nüst Carl Boettiger Ben Marwick http://arxiv.org/abs/1806.09541v1 2018-06-06T10:47:20Z

"Fake news" is a recent phenomenon, but misinformation and propaganda are not. Our new communication technologies make it easy for us to be exposed to high volumes of true, false, irrelevant, and unprovable information. Future AI is expected to amplify the problem even more. At the same time, our brains are reaching their limits in handling information. How should we respond to propaganda? Technology can help, but relying on it alone will not suffice in the long term. We also need ethical policies, laws, regulations, and trusted authorities, including fact-checkers. However, we will not solve the problem without the active engagement of the educated citizen. Epistemological education, recognition of self biases and protection of our channels of communication and trusted networks are all needed to overcome the problem and continue our progress as democratic societies.

2018-06-06T10:47:20Z 12 pages Panagiotis Metaxas http://arxiv.org/abs/1707.08164v2 2018-01-16T14:59:32Z

The global energy system is undergoing a major transition, and in energy planning and decision-making across governments, industry and academia, models play a crucial role. Because of their policy relevance and contested nature, the transparency and open availability of energy models and data are of particular importance. Here we provide a practical how-to guide based on the collective experience of members of the Open Energy Modelling Initiative (Openmod). We discuss key steps to consider when opening code and data, including determining intellectual property ownership, choosing a licence and appropriate modelling languages, distributing code and data, and providing support and building communities. After illustrating these decisions with examples and lessons learned from the community, we conclude that even though individual researchers' choices are important, institutional changes are still also necessary for more openness and transparency in energy research.

2017-07-20T08:39:29Z 9 pages, 1 figure Energy Strategy Reviews, Volume 19, January 2018, Pages 63-71 Stefan Pfenninger Lion Hirth Ingmar Schlecht Eva Schmid Frauke Wiese Tom Brown Chris Davis Birgit Fais Matthew Gidden Heidi Heinrichs Clara Heuberger Simon Hilpert Uwe Krien Carsten Matke Arjuna Nebel Robbie Morrison Berit Müller Guido Pleßmann Matthias Reeg Jörn C. Richstein Abhishek Shivakumar Iain Staffell Tim Tröndle Clemens Wingenbach 10.1016/j.esr.2017.12.002 http://arxiv.org/abs/1709.01609v1 2017-09-05T22:08:22Z

Double-blind review relies on the authors' ability and willingness to effectively anonymize their submissions. We explore anonymization effectiveness at ASE 2016, OOPSLA 2016, and PLDI 2016 by asking reviewers if they can guess author identities. We find that 74%-90% of reviews contain no correct guess and that reviewers who self-identify as experts on a paper's topic are more likely to attempt to guess, but no more likely to guess correctly. We present our findings, summarize the PC chairs' comments about administering double-blind review, discuss the advantages and disadvantages of revealing author identities part of the way through the process, and conclude by advocating for the continued use of double-blind review.

2017-09-05T22:08:22Z Effectiveness of Anonymization in Double-Blind Review. Communications of the ACM. 2017 Communications of the ACM, vol. 61, no. 6, June 2018, pp. 34-37 Claire Le Goues Yuriy Brun Sven Apel Emery Berger Sarfraz Khurshid Yannis Smaragdakis 10.1145/3208157 http://arxiv.org/abs/1708.07160v1 2017-08-23T19:32:55Z

The world had witnessed several generations of the Internet. Starting with the Fixed Internet, then the Mobile Internet, scientists now focus on many types of research related to the "Thing" Internet (or Internet of Things). The question is "what is the next Internet generation after the Thing Internet?" This paper envisions about the Tactile Internet which could be the next Internet generation in the near future. The paper will introduce what is the tactile internet, why it could be the next future Internet, as well as the impact and its application in the future society. Furthermore, some challenges and the requirements are presented to guide further research in this near future field.

2017-08-23T19:32:55Z Hung Cao http://arxiv.org/abs/1708.02654v1 2017-07-27T07:44:49Z

We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birthday'. Hans van Ditmarsch and Barteld Kooi authored the puzzlebook 'One Hundred Prisoners and a Light Bulb' that contains other knowledge puzzles, and that can also be found on the webpage http://personal.us.es/hvd/lightbulb.html dedicated to the book.

2017-07-27T07:44:49Z In Proceedings TARK 2017, arXiv:1707.08250 EPTCS 251, 2017, pp. 1-9 Hans van Ditmarsch Michael Ian Hartley Barteld Kooi Jonathan Welton Joseph B. W. Yeo 10.4204/EPTCS.251.1 http://arxiv.org/abs/1706.08803v1 2017-06-01T03:31:20Z

I describe my path to unconventionality in my exploration of theoretical and applied aspects of computation towards revealing the algorithmic and reprogrammable properties and capabilities of the world, in particular related to applications of algorithmic complexity in reshaping molecular biology and tackling the challenges of causality in science.

2017-06-01T03:31:20Z Extended version of an invited contribution to a special issue of the journal of Progress in Biophysics & Molecular Biology (Elsevier) Hector Zenil http://arxiv.org/abs/1703.07194v1 2017-03-21T12:57:26Z

This paper aims to introduce an application to Kalman Filtering Theory, which is rather unconventional. Recent experiments have shown that many natural phenomena, especially from ecology or meteorology, could be monitored and predicted more accurately when accounting their evolution over some geographical area. Thus, the signals they provide are gathered together into a collection of distributed time series. Despite the common sense, such time series are more or less correlated each other. Instead of processing each time series independently, their collection can constitute the set of measurable states provided by some open system. Modeling and predicting the system states can take benefit from the family of Kalman filtering algorithms. The article describes an adaptation of basic Kalman filter to the context of distributed signals collections and completes with an application coming from Meteorology.

2017-03-21T12:57:26Z 7 pages, 9 figures, International Conference on Control Systems and Computer Science 2009 Dan Stefanoiu Janetta Culita