相关论文: Eulogy for Andrew Wiles
This is a report on the work of Robert Langlands, following his award of the Abel Prize in 2018. It includes his contributions to the general areas of Representation Theory, Automorphic Forms, Number Theory and Arithmetic Geometry. We have…
This paper reviews literature pertaining to the development of data science as a discipline, current issues with data bias and ethics, and the role that the discipline of information science may play in addressing these concerns.…
This is neither a summary talk (too much for too short a talk) nor a conclusion (a gigantic work is in progress and we are not at the end of a particular phase), rather an overview of the field as reflected at this Conference.
These notes are based on a lecture given by S. L. Woronowicz at the Institute of Mathematics, Polish Academy of Sciences.
The goal of this article is to invite the reader to get to know and to get involved into higher Teichm\"uller theory by describing some of its many facets.
A personal and subjective recollection, concerning mainly Wilson's lectures delivered over the spring of 1972 at Princeton University (summary of a talk at Cornell University on November 16, 2013 at the occasion of the memorial Kenneth G.…
Rejoinder: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Laudation delivered at the International Congress of Mathematicians in Berlin following the award of the Fields Medal to Richard Borcherds.
We present the motivation, design, outline, and lessons learned from an online course in scientific integrity, research ethics, and information ethics provided to over 2000 doctoral and engineering students in STEM fields, first at the…
I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_and_theories) duality and its category theory extensions as a step toward a solution to Knowledge-Based Systems Theory. In particular I focus on the example of the…
We present a ground-up redesign of the undergraduate physics degree at Loughborough University, driven by the principle of authenticity in academic and industrial practice. Departing from conventional incremental reforms, we adopt a…
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
This is the introductory part of my Ph.D thesis, defended at the Faculty of Science and Technology, NTNU on December 10, 2012.
Lectures presented at the 42nd Scottish Universities Summer School in Physics, St. Andrews, Scotland, August 1993.
The World Wide Web conference is a well-established and mature venue with an already long history. Over the years it has been attracting papers reporting many important research achievements centered around the Web. In this work we aim at…
This paper from 2000 is a presentation of a status qu{\ae}stionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side…
This poster addresses accessibility issues of electronic theses and dissertations (ETDs) in digital libraries (DLs). ETDs are available primarily as PDF files, which present barriers to equitable access, especially for users with visual…
This paper synthesizes the actions performed in order to transform a classic scientific research journal - 'Annals. Computer Science Series' - available only in printed form until 2008, into a modern e-journal with free access to the full…