We propose an adaptive regularized algorithm for remote sensing image fusion based on variational methods. In the algorithm, we integrate the inputs using a "grey world" assumption to achieve visual uniformity. We p...
详细信息
We propose an adaptive regularized algorithm for remote sensing image fusion based on variational methods. In the algorithm, we integrate the inputs using a "grey world" assumption to achieve visual uniformity. We propose a fusion operator that can automatically select the total variation (TV)-LI term for edges and L2-terms for non-edges. To implement our algorithm, we use the steepest descent method to solve the corresponding Euler-Lagrange equation. Experimental results show that the proposed algorithm achieves remarkable results.
Purpose: We aimed to build a machine learning-based model to predict radiation-induced optic neuropathy in patients who had treated head and neck cancers with radiotherapy. Materials and methods: To measure radiation-...
详细信息
Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system wit...
详细信息
Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system with look-ahead mode, is discussed for decreasing the inherent non-determinism of tissue P systems and helping implementing tissue P systems on computers. Such systems are proved to be universal by simulating register machine, and they are also proved to be able to efficiently solve computationally hard problems by means of a spacetime tradeoff, which is illustrated with a polynomial solution to 3-coloring problem.
Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap- proaches have been proposed, such as deterministic multithreading (DMT) and deterministic replay. However, thes...
详细信息
Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap- proaches have been proposed, such as deterministic multithreading (DMT) and deterministic replay. However, these sys- tems either are inefficient or target a single purpose, which is not flexible. In this paper, we propose an efficient and flexible deterministic framework for multithreaded programs. Our framework implements determinism in two steps: relaxed determinism and strong determinism. Relaxed determinism solves data races eificiently by using a proper weak memory consistency model. After that, we implement strong determinism by solving lock contentions deterministically. Since we can apply different approaches for these two steps independently, our framework provides a spectrum of deterministic choices, including nondeterministic system (fast), weak deterministic system (fast and conditionally deterministic), DMT system, and deternfinistic replay system. Our evaluation shows that the DMT configuration of this framework could even outperform a state-of-the-art DMT system.
This paper describes a new approach to the scheduling problem that assigns tasks of a parallel program described as a task graph onto parallel machines. The approach handles interprocessor communication and heterogene...
详细信息
This paper describes a new approach to the scheduling problem that assigns tasks of a parallel program described as a task graph onto parallel machines. The approach handles interprocessor communication and heterogeneity, based on using both the theoretical results developed so far and a lookahead scheduling strategy. The experimental results on randomly generated task graphs demonstrate the effectiveness of this scheduling heuristic.
Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program...
详细信息
Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program α induces an M-computable function fα M on the universe of M; and the M-recursive functions are defined on M. It will be proved that the class of all the M-computable functions fα M induced by programs is equal to the class of all the M- recursive functions. Moreover, each M-recursive function is ∑ 1 NM -definable in M, where the universal quantifier is a num- ber quantifier ranging over the standard part of a nonstandard model M.
Depleting fossil energy sources and conventional polluting power generation pose a threat to sustainable *** generation from ubiquitous and spontaneous phase transitions between liquid and gaseous water has been consi...
详细信息
Depleting fossil energy sources and conventional polluting power generation pose a threat to sustainable *** generation from ubiquitous and spontaneous phase transitions between liquid and gaseous water has been considered a promising strategy for mitigating the energy *** materials with unique flexibility,processability,multifunctionality,and practicability have been widely applied for fibrous materials-based hydroelectricity generation(FHG).In this review,the power generation mechanisms,design principles,and electricity enhancement factors of FHG are first ***,the fabrication strategies and characteristics of varied constructions including 1D fiber,1D yarn,2D fabric,2D membrane,3D fibrous framework,and 3D fibrous gel are ***,the advanced functions of FHG during water harvesting,proton dissociation,ion separation,and charge accumulation processes are analyzed in ***,the potential applications including power supply,energy storage,electrical sensor,and information expression are also ***,some existing challenges are considered and prospects for future development are sincerely proposed.
The objective of optimizing a projection matrix is to decrease the mutual coherence between a projection matrix and a basis matrix. In this paper, a novel block-based method is proposed to design a projection matrix i...
详细信息
The objective of optimizing a projection matrix is to decrease the mutual coherence between a projection matrix and a basis matrix. In this paper, a novel block-based method is proposed to design a projection matrix in compressed sensing. Here, the projection matrix is divided into two blocks. The relationship between the two blocks was obtained by reasoning and proving. Theoretical analysis demonstrates that the mutual coherence between the whole projection matrix and the whole basis matrix keeps as good as the mutual coherence between the block matrix and blocked basis matrix. Experimental results show that the proposed method obtains better performance compared to existing methods.
Metal artifacts in computed tomography (CT) images can significantly degrade image quality and impede accurate diagnosis. Supervised metal artifact reduction (MAR) methods, trained using simulated datasets, often stru...
详细信息
The scale of global data center market has been explosive in recent years. As the market grows, the demand for fast provisioning of the virtual resources to support elas- tic, manageable, and economical computing over...
详细信息
The scale of global data center market has been explosive in recent years. As the market grows, the demand for fast provisioning of the virtual resources to support elas- tic, manageable, and economical computing over the cloud becomes high. Fast provisioning of large-scale virtual ma- chines (VMs), in particular, is critical to guarantee quality of service (QoS). In this paper, we systematically review the existing VM provisioning schemes and classify them in three main categories. We discuss the features and research status of each category, and introduce two recent solutions, VMThunder and VMThunder+, both of which can provision hundreds of VMs in seconds.
暂无评论