Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
Background: The alignment of multiple protein sequences is a fundamental step in the analysis of biological data. It has traditionally been applied to analyzing protein families f...
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
— This paper presents a high-speed multiple-channel optical time division multiplexed (OTDM) demultiplexer based on a chained symmetric Mach-Zehnder (CSMZ) switch. In CSMZ switch...
Hoa Le Minh, Zabih Ghassemlooy, Wai Pang Ng, Ming-...
This paper considers online stochastic optimization problems where uncertainties are characterized by a distribution that can be sampled and where time constraints severely limit t...