西南大学第二届青年学者含弘科技论坛

计算机与信息科学学院分论坛

学术报告（二）

时间：2017年12月22日（星期五）下午2:30

地点：日博体育注册0114学术报告厅

报告一：

题目： Aspired to Become the Next Library Directors?  Conversations with the World's Leading National and Public Library Directors.

报告人：Dr. Patrick LO (盧敬之)

报告人简介：

   Dr. Patrick Lo is currently serving as Associate Professor at the Faculty of Library, Information & Media Science, the University of Tsukuba in Japan.  He earned his Doctor of Education (Ed.D.) from the University of Bristol (U.K.), and has a Master of Arts in Design Management (M.A.) from the Hong Kong Polytechnic University, a Master of Library & Information Science (M.L.I.S.) from McGill University (Canada), and a Bachelor of Fine Arts (B.F.A.) from Mount Allison University (Canada). He also took part in a one-year academic exchange at the University of Tübingen in Germany from 1990–91.  He is efficient in Chinese (both Cantonese and Putonghua), English and German.

Dr. Patrick Lo has presented about 100 research papers and project reports focusing on librarianship, humanities, and education at different local and international workgroup meetings, seminars, conferences, etc., including: Mainland China, Hong Kong, Austria, France, Germany, Italy, Japan, Korea, Turkey, United States, and Sweden, and at institutions including the Library of Congress (U.S.), Austrian National Library (Vienna), University of Vienna, National Library of France (Paris), National Institute of Informatics (Japan), Konrad-Zuse-Center for Information Technology (Berlin), etc.

His research interests and areas of specialty include: comparative studies in library and information science (LIS); art and design librarianship and information literacy.

Current employment and link to your webpage

Faculty of Library, Information & Media Science, University of Tsukuba (Japan)

Homepage available at: http://www.trios.tsukuba.ac.jp/en/researcher/0000003268

内容摘要：

This presentation is based on a new book entitled: World′s Leading National, Public, Monastery and Royal Library Directors Leadership, Management, Future of Libraries, published by De Gruyter Press – featuring a series of informational interviews with top-level directors worldwide, who have all made their marks in the field of librarianship – reporting from a variety of perspectives, including economic, social, educational, cultural developmental, and political. This information could increase the understanding of the managerial decisions, and other factors that affect the decisions and determine the library’s overall policy and operations.  Detailed information about this book is available at: https://www.degruyter.com/view/product/484475

报告二：

题目：Trans-omic characterisation of cell identity and differentiation

报告人：杨鹏翼

报告人简介：

   Pengyi Yang is a DECRA Fellow at the University of Sydney. He received his PhD in Bioinformatics at the University of Sydney in 2012. He then undertook an interdisciplinary training in Systems Biology at the National Institutes of Health, USA, as a Research Fellow. After being awarded a University of Sydney Postdoctoral Fellowship in 2015, he returned to Australia to pursue his independent research and started his own group in 2017.

His work focuses on developing computational and statistical approaches to understand trans-omic networks that cut across cell signalling, epigenomics and transcriptional regulation that underlie cellular identity and cell-fate decisions.

Current employment and link to your webpage

DECRA Fellow, Senior Lecturer (continuing), School of Mathematics and Statistics, University of Sydney.

内容摘要：

Understanding how cells work at a systems level requires computational and statistical approaches that assist with the investigation of complex interactions in biological networks at a global viewpoint. Our research lies at the interface of bioinformatics and systems biology. We develop computational and statistical models to reconstruct signalling cascades, epigenomics and transcriptional networks, and characterise their cross-talk and cross-regulations in various cellular systems and processes. By integrating heterogeneous -omics data with the goal of generating testable hypotheses and predictions, our research contributes to the comprehensive understanding of trans-omic networks that underlie cellular homeostasis, proliferation, differentiation, and cell-fate decisions.

//pengyiyang.github.io/

报告三：

题目：Verification of Logical Consistency in Robotic Reasoning

报告人：Hongyang Qu

报告人简介：Dr Hongyang Qu is a Senior Software Engineer at ARM ltd, and a visitor in the Department of Automatic Control & Systems Engineering, University of Sheffield. Before joining ARM, Dr Qu was a Senior Research Fellow and a member of Autonomous Systems and Robotics Research Group within the Department. He obtained his Ph.D. from the University of Warwick in 2006 and has previously held research positions at the Universite de Provence, Imperial College London and the University of Oxford. His research interests includes formal verification and model checking, in particular, efficient model checking techniques for discrete systems, real-time systems and probabilistic systems, as well as their application.

内容摘要：Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the consistency between its rules, its perception-based beliefs, its planned actions and their consequences. This paper investigates how a robotic agent can use model checking to examine the consistency of its rules, beliefs and actions. A rule set is modelled by a Boolean evolution system with synchronous semantics, which can be translated into a labelled transition system (LTS). It is proven that stability and consistency can be formulated as computation tree logic (CTL) and linear temporal logic (LTL) properties. Two new algorithms are presented to perform realtime consistency and stability checks respectively. Their implementation provides us a computational tool, which can form the basis of efficient consistency checks on-board robots.