From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8916 Path: news.gmane.org!not-for-mail From: John Stell Newsgroups: gmane.science.mathematics.categories Subject: PhD Scholarship: Logic for Multiscale Network Modelling Date: Mon, 30 May 2016 16:30:19 +0000 Message-ID: Reply-To: John Stell NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1464627992 30778 80.91.229.3 (30 May 2016 17:06:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 30 May 2016 17:06:32 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Mon May 30 19:06:24 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1b7Qe0-0007bo-0M for gsmc-categories@m.gmane.org; Mon, 30 May 2016 19:06:24 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49788) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1b7Qdi-0002a5-J7; Mon, 30 May 2016 14:06:06 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1b7QdX-00087e-Bi for categories-list@mlist.mta.ca; Mon, 30 May 2016 14:05:55 -0300 Accept-Language: en-GB, en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8916 Archived-At: Applications are invited for a PhD Scholarship at The University of Leeds, School of Computing on Logic for Multiscale Network Modelling. Students from UK, European Union, and Internationally are all eligible. Deadline for applications: 17th June 2016 Overall up to six PhD Scholarships will be awarded for projects from the list of topics at http://engineering.leeds.ac.uk/research-opportunity/201323/research-degrees /614/funded-studentships-in-the-school-of-computing- The Logic for Multiscale Network Modelling project would be supervised by Dr John Stell (j.g.stell@leeds.ac.uk) Computing with data in the form of networks is important for many purposes. Examples include: social networks modelling relationships between people; road networks for navigation; biological networks describing processes of interaction; networks of connections between concepts in ontologies for knowledge representation in artificial intelligence. In these and other areas networks are needed at multiple scales. Multiscale networks can arise from the need to model different processes at different levels of detail as well as from the need to 'zoom out' from large volumes of data to visualise overall patterns. This PhD project will develop mathematical foundations for modelling multiscale networks to provide logical tools for reasoning about knowledge at diverse scales. The project builds on recent research which has resulted in a novel modal logic based on relations between graphs and, more generally, hypergraphs. These relations model similarities between elements (links and nodes) of a network. When moving to a less detailed level different but similar elements can collapse to a single element. Work in the PhD will include establishing algebraic properties of these relations, applying them in logics for reasoning about levels of detail, and evaluating the resulting techniques with respect to network data. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]