Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
In order to effectively use machine learning algorithms, e.g., neural networks, for the analysis of survival data, the correct treatment of censored data is crucial. The concordan...
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...