https://www.fst.um.edu.mo/wp-content/uploads/2019/05/sem20190528_01.jpg

Instructors/Speakers Prof. Daojian CHENG Professor of Department of Chemical Engineering Beijing University of Chemical and Technology China Abstract In this talk, Prof. Cheng will present an overview of some exciting results from our recently proposed structure descriptor, mapping the quantitative relationship between intrinsic structural feature and catalytic performance for transition metal catalysis, as well as its application in the high-throughput screening on catalyst and rational construction of catalytic sites. The central concept of our structure descriptor contains following points: (1) The features parameters inside structure descriptor have to be unique in representing electronic and geometric structures of a catalytic site. (2) The features parameters inside structure descriptor must be easily computed, experimentally quantified or readily available physical properties from databases, ...

Instructors/Speakers Prof. Zijiang YANG Western Michigan University United States Abstract Bugs in concurrent software systems are very difficult to detect and replay. This is due to the complexity of the software itself and the non-determinism of concurrency. To detect data races, the major source of concurrent bugs, we present a new approach to sample memory accesses across two threads and executions as a data race involves two threads and a program under testing is repeatedly executed. To detect deadlocks, we interestingly observe that every two events of a deadlock usually occur within a short range called bug radius. Based on bug radius we present an approach to select priority change points within the bug radius that guarantees larger probabilities to ...

Instructors/Speakers Prof. Jeff SANDERS Academic Director of the African Institute for Mathematical Sciences (AIM) Professor of Mathematics of Stellenbosch University South Africa Abstract The remarkable decade-old history of blockchain is summarised and the (usual?) case is made for its non-financial applications. The properties of blockchain are compared with those of a distributed database and a parameterization considered for a variety of instantiations. This talk is planned to be midway between a research seminar and a tutorial. Biography Jeff Sanders is Academic Director of AIMS, the African Institute for Mathematical Sciences, South Africa and a Professor of Mathematics at Stellenbosch University. He is Australian: BSc (Hons), Pure Mathematics, Monash University and PhD (Abstract Harmonic Analysis), Australian National University. He worked for ...