There has been much discussion in the conservation and policy realms of COVID-19 as a zoonotic disease, or a disease transmitted from wildlife to humans. However, wildlife consumption in China is not only a potential source of disease but also a practice embedded in complex beliefs about health. This paper...
Efficient time-series analysis can impact multiple application domains such as motif discovery in gene analysis or music data, extracting spectro-temporal patterns in acoustic scene analysis, or annotating and classifying electrical bio-signals (such as ECG, EEG, and EMG) for medical applications.
Time-series analysis involves a variety of tasks.
To predict future...
Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
Fishery villages (Van Chai) has been formed for about 300 years since pioneered fishers settled in Phan Thiet for their livelihoods. This was a original social professional organization found before official administrative system established.
Binh Thuan has more than 30 Van Chai in coastal areas, in which about 20 importantly...
Over the past several years we have been developing Fishery Performance Indicators (FPIs) to measure the degree of success fisheries systems have in achieving environmental, economic and community outcomes. We have also developed indicators of key input factors. Among the input factors we have explicitly developed indicators for women’s participation and leadership...
Enabled by a rich ecosystem of Machine Learning (ML) libraries, programming using learned models, i.e., Software-2.0, has gained substantial adoption. However, we do not know what challenges developers encounter when they use ML libraries. With this knowledge gap, researchers miss opportunities to contribute to new research directions, tool builders do...
A bad software development process leads to wasted effort and inferior products. In order to improve a software process, it must be first understood. In this work I focus on understanding software processes.
The first process we seek to understand is Continuous Integration (CI). CI systems automate the compilation, building,...
Developers frequently change the type of a program element and update all its references for performance, security, concurrency, library migration, or better maintainability. Despite type changes being a common program transformation, it is the least automated and the least studied. Manually performing type changes is tedious since the programmers have...
In this thesis, we introduce a novel Explanation Neural Network (XNN) to explain the predictions made by a deep network. The XNN works by embedding a high-dimensional activation vector of a deep network layer non-linearly into a low-dimensional explanation space while retaining faithfulness i.e., the original deep learning predictions can...