相关论文: Eulogy for Andrew Wiles
Academia owes the public a fresh look at its education and research mission. First and foremost, researchers must communicate the results of their latest studies in a truthful and meaningful way. Second, the traditional boundaries among…
Due to the emergence of the semantic Web and the increasing need to formalize human knowledge, ontologie engineering is now an important activity. But is this activity very different from other ones like software engineering, for example ?…
Lecture notes on selected topics in the theory of gravitation.
The well-quasi-orders (WQO) play an important role in various fields such as Computer Science, Logic or Graph Theory. Since the class of WQOs lacks closure under some important operations, the proof that a certain quasi-order is WQO…
This is an expanded and revised text for a fifteen minute talk given at the University of Queensland Physics Camp, September 2000. The focus is on the goals and motivations for studying quantum information theory, rather than on technical…
A recent article in which John Searle claims to refute dualism is examined from a scientific perspective.
Ogburn et al. (2019, arXiv:1910.05438) discuss "The Blessings of Multiple Causes" (Wang and Blei, 2018, arXiv:1805.06826). Many of their remarks are interesting. But they also claim that the paper has "foundational errors" and that its…
I propose a new measure, the w-index, as a particularly simple and useful way to assess the integrated impact of a researcher's work, especially his or her excellent papers. The w-index can be defined as follows: If w of a researcher's…
This article is an elementary introduction to opers without new results. We hope it can be useful for students.
Cyber security has become an issue of national concern in the UK, USA and many other countries worldwide. Universities have reacted to this by launching numerous cyber security degree programmes. In this paper we explore the structure of…
These lecture notes concern information-theoretic notions of entropy. They are intended for, and have been successfully taught to, undergraduate students interested inresearch careers. Besides basic notions of analysis related to…
Thesis submitted for the degree of PhD, Queens University Belfast, UK
In this short article, I would like to briefly summarize my research in the first 5 years in my university academia life in USA. I think that my research results obtained in these 5 years are the best in my career, at least which I like the…
This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic…
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…
This is a series of remedial lectures on open and unoriented strings for the heterotic string generation. The particular focus is on the interesting features that arise under T-duality---D-branes and orientifolds. The final lecture…
There has been a recent resurgence in the area of explainable artificial intelligence as researchers and practitioners seek to make their algorithms more understandable. Much of this research is focused on explicitly explaining decisions or…
Access to content and services online is increasingly important for everyone, including people with disabilities. National commitments, including the Americans with Disabilities Act, and international resolutions, including the United…
Publishing articles in high-impact English journals is difficult for scholars around the world, especially for non-native English-speaking scholars (NNESs), most of whom struggle with proficiency in English. In order to uncover the…
This is a write-up of the lectures given by the author during the Master Class "Categorification" at {\AA}rhus University, Denmark in October 2010.