Instructors/Speakers Dr. Volker Stolz Bergen University College and the University of Oslo Norway Abstract Refactorings often require that non-trivial semantic correctness conditions are met. IDEs such as Eclipse’s Java Development Tools rely on simpler, static pre- condition checks for refactorings. This leads to the phenomenon that a seemingly innocuous refactoring can change the behavior of the program. In this thesis we demonstrate our technique of introducing runtime checks of two particular refactorings for the Java programming language: Extract And Move Method, and Extract Local Variable. These checks can, in combination with unit tests, detect changed behavior and identify the refactoring step that introduced it. Biography Dr. Volker Stolz is an associate professor at the Bergen University College and the University ...

Instructors/Speakers Prof. Xin GAO Associate Professor of Computer Science, Computational Bioscience Research Center (CBRC) King Abdullah University of Science and Technology (KAUST) Saudi Arabia Abstract Transcription factors (TF) are an important family of proteins that control the transcription rate from DNAs to messenger RNAs through the binding to specific DNA sequences. An accurate characterization of TF-DNA binding affinity landscape is crucial to a quantitative understanding of the molecular mechanisms underpinning endogenous gene regulation. In this talk, I will introduce two machine learning methods that we recently developed for modeling TF-DNA binding affinity. The first method is a two-round support vector regression with weighted degree kernel, which can accurately capture important k-mers that contribute to high and low affinity values. In ...

Instructors/Speakers Prof. Tiejun LI Professor School of Mathematical Sciences Peking University China Abstract The construction of energy landscape for bio-dynamics is attracting more and more attention recent years. In this talk, I will introduce the strategy to construct the landscape from its connection with rare events, which relies on the large deviation theory for Gillespie-type jump dynamics. In the application to a typical genetic switching model, the two-scale large deviation theory is developed to take into account the fast switching of DNA states. The comparison with other proposals are also discussed. We demonstrate different diffusive limits arise when considering different regimes for genetic translation and switching processes. I will also talk about its applications in understanding the S-phase checkpoint activation ...

Instructors/Speakers Prof. Hong LI Professor School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan Abstract Hyperspectral image (HSI) classification aims to allocate a unique label to each pixel in the HSI dataset. However, limited number of labeled pixels and high dimensionality of the HSI dataset makes HSI classification a challenging task. To address these issues, we propose local one dimensional embedding (L1DE), which makes full use of the characteristics of HSI dataset. First, pixels have similar spectral signatures should be the same class. Second, pixels in the same spatial area are more likely to be the same class. Advantages of L1DE can be summarized as follows. The L1DE maps the high dimensional feature vector into 1D space. ...

Instructors/Speakers Prof. Tao Xie Associate Professor Department of Computer Science University of Illinois at Urbana-Champaign USA Abstract Big data analytic or artificial intelligence (AI) systems are software systems too; thus, software engineering for such software systems plays a critical role for improving development productivity and system dependability. On the other hand, a huge wealth of various data exists in software life cycle, including source code, feature specifications, bug reports, test cases, execution traces/logs, and real-world user feedback, etc. Data plays an essential role in modern software development, because hidden in the data is information about the quality of software and services as well as the dynamics of software development. In recent years, software analytics has emerged to utilize data-driven approaches ...

Instructors/Speakers Prof. Peter G. CASAZZA Director of The Frame Research Center and Curators' Professor Department of Mathematics University of Missouri Columbia Abstract Over the 100 year history of phase retrieval, it has had broad application to x-ray crystallography, electron microscopy, diffractive imaging, DNA, x-ray tomography and much more. Phase retrieval will even be needed to align the mirrors of the new James Webb Space Telescope scheduled for launch in 2018. We will start with the history and fundamentals of phase retrieval and its applications which have garnered a dozen Nobel Prizes over the years. Only recently have mathematicians entered this area to give a solid mathematical foundation to phase retrieval. In the second half of this talk we will look ...

Instructors/Speakers Prof. Yanping CHEN Professor of School of Mathematical Sciences South China Normal University Abstract The miscible displacement of one incompressible fluid by another in a porous medium is governed by a system of two equations. One is elliptic form equation for the pressure and the other is parabolic form equation for the concentration of one of the fluids. Since only the velocity and not the pressure appears explicitly in the concentration equation, we use a mixed finite element method for the approximation of the pressure equation. In order to find a stable finite element discretization method, we use different discretization method for the concentration equation, such as finite element method with characteristic; mixed finite element method with characteristic; expanded ...

Instructors/Speakers Prof. James Kwok Hong Kong University of Science and Technology Abstract We will present our work in software engineering, AI and mobile computing. In software engineering, it is common to find user reviews in Android play store complaining the performance and energy issues in various Android applications. This talk introduces some recent studies made by the CASTLE research group at HKUST on these issues. We will discuss several interesting empirical findings made from the bug reports and code fixes of popular Android applications. Challenges and opportunities are identified. We will discuss some preliminary approaches and their results. In AI, big data is everywhere. Besides the huge data scale, big data problems are also characterized by their high complexities. Often, ...