Offline handwritten formula recognition is a challenging task due to the variety of handwritten symbols and two-dimensional formula ***,the deep neural network recognizers based on the encoder-decoder frame-work have ...
详细信息
Offline handwritten formula recognition is a challenging task due to the variety of handwritten symbols and two-dimensional formula ***,the deep neural network recognizers based on the encoder-decoder frame-work have achieved great improvements on this ***,the unsatisfactory recognition performance for formulas with long LTeX strings is one shortcoming of the existing ***,lacking sufficient training data also limits the capability of these *** this paper,we design a multimodal dependence attention(MDA)module to help the model learn visual and semantic dependencies among symbols in the same formula to improve the recognition perfor-mance of the formulas with long LTeX *** alleviate overfitting and further improve the recognition performance,we also propose a new dataset,Handwritten Formula Image Dataset(HFID),which contains 25620 handwritten formula images collected from real *** conduct extensive experiments to demonstrate the effectiveness of our proposed MDA module and HFID dataset and achieve state-of-the-art performances,63.79%and 65.24%expression accuracy on CROHME 2014 and CROHME 2016,respectively.
he advance in Non-Volatile Memory(NVM)has changed the traditional *** to DRAM,NVM has the advantages of nonvolatility and large ***,as the read/write speed of NVM is still lower than that of DRAM,building DRAM/NVM-bas...
详细信息
he advance in Non-Volatile Memory(NVM)has changed the traditional *** to DRAM,NVM has the advantages of nonvolatility and large ***,as the read/write speed of NVM is still lower than that of DRAM,building DRAM/NVM-based hybrid memory systems is a feasible way of adding NVM into the current computer *** paper aims to optimize the well-known B^(+)-tree for hybrid *** novelty of this study is ***,we observed that the space utilization of internal nodes in B^(+)-tree is generally below 70%.Inspired by this observation,we propose to maintain hot keys in the free space within internal nodes,yielding a new index named HATree(Hotness-Aware Tree).The new idea of HATree is to use the unused space of the parent of leaf nodes(PLNs)as the hotspot data ***,no extra space is needed,and the in-node hotspot cache can efficiently improve query ***,to further improve the update performance of HATree,we propose to utilize the eADR technology supported by the third-generation Intel Xeon Scalable Processors to enhance HATree with instant log persistence,which results in the new HATree-Log *** conduct extensive experiments on real hybrid memory architecture involving DRAM and Intel Optane Persistent Memory to evaluate the performance of HATree and *** state-of-the-art indices for hybrid memory,namely NBTree,LBTree,and FPTree,are included in the experiments,and the results suggest the efficiency of HATree and HATree-Log.
Functional testing is key to fulfill quality control in laptop manufacturing and is of great economic ***,due to the unavailability of practical data,mathematical model and systematic perspective,it has barely been to...
详细信息
Functional testing is key to fulfill quality control in laptop manufacturing and is of great economic ***,due to the unavailability of practical data,mathematical model and systematic perspective,it has barely been touched from the academic community to *** the first time,this work provides technical understanding of the key principles of functional testing,mathematically models the general framework,elucidates existing testing strategy under the proposed framework and model,and finally proposes a specified optimization strategy which outperforms existing *** work lays the model foundation for the further optimization of functional testing,and can be regarded as a good example of how a systematic approach can solve practical industrial challenges.
Deep learning methods have been shown to be effective in representing ground-state wavefunctions of quantum many-body systems,however the existing approaches cannot be easily used for non-square like or large *** prop...
详细信息
Deep learning methods have been shown to be effective in representing ground-state wavefunctions of quantum many-body systems,however the existing approaches cannot be easily used for non-square like or large *** propose a variational ansatz based on the graph attention network(GAT)which learns distributed latent representations and can be used on non-square lattices.
Lead sulfide quantum dots(PbS QDs)are promising candidates for high-performance solar cells due to their tunable bandgaps and low-cost solution ***,low carrier mobility and numerous surface defects restrict the perfor...
详细信息
Lead sulfide quantum dots(PbS QDs)are promising candidates for high-performance solar cells due to their tunable bandgaps and low-cost solution ***,low carrier mobility and numerous surface defects restrict the performance of the fabricated solar ***,we report the synthesis of novel PbS-perovskite core-shell QDs to solve the low carrier mobility problem of PbS QDs via a facile hot injection ***_(2)Br shell enabled strain-free epitaxial growth on the surface of PbS QDs because of 98%lattice *** results demonstrate a significant improvement in the photoluminescence and stability of the synthesized PbS-CsPbI_(2)Br QDs upon shell formation,attributed to the effective suppression of surface defects by the epitaxial shell of CsPbI_(2)*** a result,the obtained solar cell based on PbS-CsPbI_(2)Br core-shell QD exhibits a power conversion efficiency(PCE)of 8.43%,two times higher than that of pristine PbS ***,the construction of PbS-CsPbI_(2)Br core-shell structures represent a promising strategy for advancing the performance of PbS QDs-based optoelectronic devices.
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom,it has advantages that have led to the use of obstruction-free implementations for softwar...
详细信息
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom,it has advantages that have led to the use of obstruction-free implementations for software transactional memory(STM)and in anonymous and fault-tolerant distributed ***,existing work can only verify obstruction-freedom of specific data structures(e.g.,STM and list-based algorithms).In this paper,to fill this gap,we propose a program logic that can formally verify obstruction-freedom of practical implementations,as well as verify linearizability,a safety property,at the same *** also propose informal principles to extend a logic for verifying linearizability to verifying *** this approach,the existing proof for linearizability can be reused directly to construct the proof for both linearizability and ***,we have successfully applied our logic to verifying a practical obstruction-free double-ended queue implementation in the first classic paper that has proposed the definition of obstruction-freedom.
As a highly promising conductive polymer material,the synthesis method,structure regulation,and performance improvement of polyaniline(PANI)are hot research *** this work,the radiation-induced polymerization of anilin...
详细信息
As a highly promising conductive polymer material,the synthesis method,structure regulation,and performance improvement of polyaniline(PANI)are hot research *** this work,the radiation-induced polymerization of aniline in HNO_(3)solution was successfully achieved at room temperature without the use of chemical *** the analysis of the radiation chemical reactions of inorganic acids and nitrate salt solutions,the characterization of the intermediate free radicals in the irradiated systems,and the influence of the pH of the solutions on the polymerization activity and product morphologies,the radiation-induced polymerization mechanism of aniline is discussed in detail and *** at a condition of[HNO_(3)]>[aniline],i.e.,pH<2.5,PANI can be successfully obtained underγ-ray *** polymerization begins with the oxidation of aniline cations to aniline cation radicals by·NO_(3)generated by radiolysis reactions,and undergoes repeated three steps of monomer free radical recombination,deprotonation,and oxidation reaction of·NO_(3),thus forming a PANI *** addition to the polymerization reaction,the aniline units are protonated and oxidized because of the strongly acidity and oxidation of the reaction system under γ-ray irradiation,which means that the molecular chain structure of the radiation-synthesized PANI can be regulated by pH,nitrate concentration,and irradiation ***-synthesized PANI has a moderate protonation and oxidation state,which can be used for the preparation of PANI supercapacitors with better electrochemical properties than those prepared by chemical oxidation under the same *** work presents a new radiation-synthesis method and polymerization mechanism of PANI,which not only expands the application of radiation technique in the field of polymer synthesis,but also provides a new idea for the structural regulation and electrochemical property optimization of PANI.
Single-particle tracking(SPT)is an immensely valuable technique for studying a variety of processes in the life sciences and *** can help researchers better understand the positions,paths,and interactions of single ob...
详细信息
Single-particle tracking(SPT)is an immensely valuable technique for studying a variety of processes in the life sciences and *** can help researchers better understand the positions,paths,and interactions of single objects in systems that are highly dynamic or require imaging over an extended ***,we propose an all-dielectric onedimensional photonic crystal(1D PC)that enhances spin-to-orbital angular momentum conversion for threedimensional(3D)*** well-designed 1D PC can work as a substrate for optical *** introduce this effect into the interferometric scattering(iSCAT)technique,resulting in a double-helix point spread function(DH-PSF).DH-PSF provides more uniform Fisher information for 3D position estimation than the PSFs of conventional microscopy,such as encoding the axial position of a single particle in the angular orientation of DH-PSF lobes,thus providing a means for 3D *** approach can address the challenge of iSCAT in 3D SPT because DH-PSF iSCAT will not experience multiple contrast inversions when a single particle travels along the axial ***-PSF iSCAT microscopy was used to record the 3D trajectory of a single microbead attached to the flagellum,facilitating precise analysis of fluctuations in motor *** ability to track single nanoparticles,such as 3D diffusion trajectories of 20 nm gold nanoparticles in glycerol solution,was also *** DH-PSF iSCAT technique enabled by a 1D PC holds potential promise for future applications in physical,biological,and chemical science.
Bottle-brush polymers possessing densely grafted side chains have special properties that are distinct from linear ***,an efficient method for preparing bottle-brush polymers based on a selective photoactivation strat...
详细信息
Bottle-brush polymers possessing densely grafted side chains have special properties that are distinct from linear ***,an efficient method for preparing bottle-brush polymers based on a selective photoactivation strategy in the photoinduced electron/energy transfer reversible addition-fragmentation chain transfer(PET-RAFT)polymerization was developed.A methacrylate monomer 2-(2-(dodecylthiocarbonothioylthio)propionate)ethyl methacrylate(DTPEMA)containing a 2-(dodecylthiocarbonothioylthio)propionate(DTP)unit with a secondary R group was *** the unique selectivity of metal naphthalocyanine photocatalyst zinc 2,11,20,29-tetra-tert-butyl-2,3-naphthalocyanine(ZnTtBNc)toward trithiocarbonate with tertiary R group,the PET-RAFT polymerization of DTPEMA catalyzed by ZnTtBNc was performed under near infrared(NIR)light(λ_(max)=760 nm)irradiation at room temperature,using 4-cyano-4-[(dodecylsulfanylthiocarbonyl)-sulfanyl]pentanoic acid(CDTPA)with a tertiary R group as a chain transfer agent(CTA).Proton nuclear magnetic resonance(1H NMR)and gel permeation chromatography(GPC)results demonstrated that the DTP units in the side chains were inert during the *** grafting poly(methyl acrylate)(PMA)from PDTPEMA via thermal-initiated RAFT polymerization,welldefined P(DTPEMA-g-PMA)bottle-brush polymers could be ***,the film prepared from the bottle-brush polymer exhibited excellent scratch self-healing property due to the interlocking of side chains.
Video question answering(VideoQA) is a challenging yet important task that requires a joint understanding of low-level video content and high-level textual semantics. Despite the promising progress of existing efforts...
详细信息
Video question answering(VideoQA) is a challenging yet important task that requires a joint understanding of low-level video content and high-level textual semantics. Despite the promising progress of existing efforts, recent studies revealed that current VideoQA models mostly tend to over-rely on the superficial correlations rooted in the dataset bias while overlooking the key video content, thus leading to unreliable results. Effectively understanding and modeling the temporal and semantic characteristics of a given video for robust VideoQA is crucial but, to our knowledge, has not been well investigated. To fill the research gap, we propose a robust VideoQA framework that can effectively model the cross-modality fusion and enforce the model to focus on the temporal and global content of videos when making a QA decision instead of exploiting the shortcuts in datasets. Specifically, we design a self-supervised contrastive learning objective to contrast the positive and negative pairs of multimodal input, where the fused representation of the original multimodal input is enforced to be closer to that of the intervened input based on video perturbation. We expect the fused representation to focus more on the global context of videos rather than some static keyframes. Moreover, we introduce an effective temporal order regularization to enforce the inherent sequential structure of videos for video representation. We also design a Kullback-Leibler divergence-based perturbation invariance regularization of the predicted answer distribution to improve the robustness of the model against temporal content perturbation of videos. Our method is model-agnostic and can be easily compatible with various VideoQA backbones. Extensive experimental results and analyses on several public datasets show the advantage of our method over the state-of-the-art methods in terms of both accuracy and robustness.
暂无评论