检索结果-内蒙古大学图书馆

2010 2nd International Conference on Future Computer and Communication, ICFCC 2010

作者： Xu, Youjun Ouyang, Dantong Ye, Yuxin He, Jialiang College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

ISBN: (纸本)9781424458226

The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and extension rule. Besides methods mentioned above, we find that the SAT problem can be solved with hitting set algorithms. If a set of clause is satisfiable, there must be a hitting set of the clause set which containing no complementary pairs of literals. Algorithm NEWHS-tree is an efficient hitting set algorithm proposed by Ouyang. RNHST proposed in this paper is a revised algorithm in respect of NEWHS-tree. It judges the satisfiability of a clause set by confirming the existence of the set's hitting set without complementary pairs of literals. The test result shows that RNHST is an efficient algorithm. ©2010 IEEE.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

Solving constrained traveling salesman problems by genetic algorithms

引用

自然科学进展(英文版) 2004年第7期14卷 631-637页

作者： WU Chunguo LIANG Yanchun LEE Heowpueh LU Chun LIN Wuzhong College of Computer Science and Technology Jilin University Key Laboratory for Symbol Computation and Knowledge Engineering Ministry of Education of China Changchun 130012 China Institute of High Performance Computing Singapore 117528 Singapore Institute of High Performance Computing Singapore 117528 Singapore

Three kinds of constrained traveling salesman problems (TSP) arising from application problems, namely the open route TSP, the end-fixed TSP, and the path-constrained TSP, are proposed. The corresponding approaches based on modified genetic algorithms (GA) for solving these constrained TSPs are presented. Numerical experiments demonstrate that the algorithm for the open route TSP shows its advantages when the open route is required, the algorithm for the end-fixed TSP can deal with route optimization with constraint of fixed ends effectively, and the algorithm for the path-constraint could benefit the traffic problems where some cities cannot be visited from each other.

关键词： constrained traveling salesman problem genetic algorithm Hamiltonian path open route fixed end

来源：评论

学校读者我要写书评

暂无评论

Warburg Effects in Cancer and Normal Proliferating Cells:Two Tales of the Same Name

引用

Genomics, Proteomics & Bioinformatics 2019年第3期17卷 273-286页

作者： Huiyan Sun Liang Chen Sha Cao Yanchun Liang Ying Xu The China-Japan Union Hospital Jilin UniversityChangchun 130033China MOE Key Laboratory of Symbolic Computation and Knowledge Engineering College of Computer Science and TechnologyJilin UniversityChangchun 130012China Computational Systems Biology Lab Department of Biochemistry and Molecular Biology and Institute of BioinformaticsUniversity of GeorgiaAthensGA 30602USA Faculty of Health Sciences University of MacaoTaipaMacao SAR 999078China Department of Biostatistics School of MedicineIndiana UniversityIndianapolisIN 46202USA Zhuhai Laboratory of MOE Key Laboratory of Symbolic Computation and Knowledge Engineering Zhuhai College of Jilin UniversityZhuhai 519041China

It has been observed that both cancer tissue cells and normal proliferating cells(NPCs)have the Warburg *** goal here is to demonstrate that they do this for different *** accomplish this,we have analyzed the transcriptomic data of over 7000 cancer and control tissues of 14 cancer types in TCGA and data of five NPC types in *** analyses reveal that NPCs accumulate large quantities of ATPs produced by the respiration process before starting the Warburg effect,to raise the intracellular pH from 6.8 to 7.2 and to prepare for cell division *** cell cycle starts,the cells start to rely on glycolysis for ATP generation followed by ATP hydrolysis and lactic acid release,to maintain the elevated intracellular pH as needed by cell division since together the three processes are pH *** cells go back to the normal respirationbased ATP production once the cell division phase *** comparison,cancer cells have reached their intracellular pH at 7.4 from top down as multiple acid-loading transporters are up-regulated and most acid-extruding ones except for lactic acid exporters are *** cells use continuous glycolysis for ATP production as way to acidify the intracellular space since the lactic acid secretion is decoupled from glycolysis-based ATP generation and is pH balanced by increased expressions of acid-loading ***-expression analyses suggest that lactic acid secretion is regulated by external,non-pH related ***,our data strongly suggest that the two cell types have the Warburg effect for very different reasons.

关键词： Cancer Warburg effect Fenton reaction Cell proliferation pH homeostasis

来源：评论

学校读者我要写书评

暂无评论

Blind identification of image copy-paste tampering based on logarithm polar coordinate transformation

Blind identification of image copy-paste tampering based on ...

引用

2011 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2011

作者： Lv, A. Ying-Da Shen, B. Xuan-Jing Chen, C. Hai-Peng College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China

ISBN: (纸本)9781601321916

To detect image copy-paste tampering, an improved blind identification was proposed in this study. Firstly, according to gray-level and gray-structure, every couple of doubtful blocks can be located. Secondly, for each located couple of doubtful blocks, use logarithm polar coordinate transformation to translate the rotation and scaling in Cartesian coordinate system into translation in logarithm polar coordinate system;and use phase correlation method to obtain rotation angle, scaling size and position offset;and then, the tampered regions would be located roughly. Finally, use geometry method to accurately calculate the rotation angle, scaling size and position offset between the copy-paste regions, and according to these values, the tampered region can be located accurately. Experimental results showed that our algorithm can detect the copy-paste tampering, even with rotation and scaling transformation, and it can resist some post-processing, such as blurring, adding noise, and so on.

关键词： Rotation

来源：评论

学校读者我要写书评

暂无评论

Quasi-periodic Solutions of the General Nonlinear Beam Equations

引用

Communications in Mathematical Research 2012年第1期28卷 51-64页

作者： GAO YI-XIAN College of Mathematics and Statistics Northeast Normal University Changchun 130024 Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012

In this paper, one-dimensional （1D） nonlinear beam equations of the form utt - uxx ＋ uxxxx ＋ mu = f （u） with Dirichlet boundary conditions are considered, where the nonlinearity f is an analytic, odd function and f（u） = O（u3）. It is proved that for all m ∈ （0, M＊]  R （M＊ is a fixed large number）, but a set of small Lebesgue measure, the above equations admit small-amplitude quasi-periodic solutions corresponding to finite dimensional invariant tori for an associated infinite dimensional dynamical system. The proof is based on an infinite dimensional KAM theory and a partial Birkhoff normal form technique.

关键词： beam equation KAM theorem quasi-periodic solution partial Birkhoffnormal form

来源：评论

学校读者我要写书评

暂无评论

Singleton arc consistency based on failure-first principle

Singleton arc consistency based on failure-first principle

引用

International Conference on Machine Learning and Cybernetics

作者： Li, Zhan-Shan Xing, Shi-Mei Yang, Feng-Jie Du, Hui-Ying Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China College of Computer Science and Technology Changchun 130012 China

ISBN: (纸本)9781424465262

Constraint satisfaction problems play a significant role in the field of Artificial Intelligence. Reducing the search space can improve the efficiency of solving the problems before the search of solutions. Applying in preprocessing step, arc consistency technique can remove some values which are arc inconsistent, so that it can reduce the search space. Using heuristic strategies can improve the efficiency of the algorithms. In this paper we propose a new singleton arc consistency algorithm based on failure-first principle, which improves the practical time efficiency through the earlier detection of variables which contain null values and removal of the values which are arc inconsistency during the preprocessing step. © 2010 IEEE.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

A Morphology Focused Cell Detection Model for Histopathology Images

A Morphology Focused Cell Detection Model for Histopathology...

引用

2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023

作者： Wang, Zhe Wei, Fangyue Guo, Shuyu Che, Xiaoting Bai, Tian Jilin University College of Computer Science and Technology Changchun China Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China

ISBN: (纸本)9798350337488

The accurate automatic recognition of cell locations is of great significance for downstream tasks in pathology. Due to the various size and distribution of different cell types, previous cell detection methods applied fixed circles as labels to localize cell position by default, which makes less precise and more difficult to adapt various cell morphology. In this paper, we integrate adaptive areas of interests based on morphology to address the limitation in detecting cells with irregular shapes in pathological images. Moreover, a EGSI module is proposed to extract global distribution of cells in slices, which enables model to acquire more rich semantic information. We exhibit favorable F1 score of our method on four public datasets. Experimental results demonstrate that the proposed method could detect cells more accurately in those images with different cell morphologies and dense cell distribution. © 2023 IEEE.

关键词： cell detection cellular morphology digital pathology medical image analysis

来源：评论

学校读者我要写书评

暂无评论

An improved particle swarm algorithms for global optimization

An improved particle swarm algorithms for global optimizatio...

引用

2010 International Conference on Machine Vision and Human-Machine Interface, MVHI 2010

作者： Tian, Ye Liu, Dayou College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China

ISBN: (纸本)9780769540092

Particle swarm optimization (PSO) algorithm is a robust and efficient approach for solving complex real-world problems. In this paper, a modified particle swarm algorithm (IMPSO) is introduced for unconstrained global optimization. The whole swarm is partitioned to three different sub-populations according to their fitness, and different velocity updating strategies are used to different sub-populations. Besides, we take advantage of crossover to maintain the diversity of the swarm and avoid getting into local optimum. IMPSO are extensively compared with other two modified PSO algorithms on three well-known benchmark functions with different dimensions. Experimental results show that IMPSO achieves not only better solutions but also faster convergence. © 2010 IEEE.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Harmfully Manipulated Images Matter in Multimodal Misinformation Detection 24

Harmfully Manipulated Images Matter in Multimodal Misinforma...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： Wang, Bing Wang, Shengsheng Li, Changchun Guan, Renchu Li, Ximing College of Computer Science and Technology Jilin University Jilin Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education Jilin University China

ISBN: (纸本)9798400706868

Nowadays, misinformation is widely spreading over various social media platforms and causes extremely negative impacts on society. To combat this issue, automatically identifying misinformation, especially those containing multimodal content, has attracted growing attention from the academic and industrial communities, and induced an active research topic named Multimodal Misinformation Detection (MMD). Typically, existing MMD methods capture the semantic correlation and inconsistency between multiple modalities, but neglect some potential clues in multimodal content. Recent studies suggest that manipulated traces of the images in articles are non-trivial clues for detecting misinformation. Meanwhile, we find that the underlying intentions behind the manipulation, e.g., harmful and harmless, also matter in MMD. Accordingly, in this work, we propose to detect misinformation by learning manipulation features that indicate whether the image has been manipulated, as well as intention features regarding the harmful and harmless intentions of the manipulation. Unfortunately, the manipulation and intention labels that make these features discriminative are unknown. To overcome the problem, we propose two weakly supervised signals as alternatives by introducing additional datasets on image manipulation detection and formulating two classification tasks as positive and unlabeled learning problems. Based on these ideas, we propose a novel MMD method, namely Harmfully Manipulated Images Matter in MMD (Hami-m3d). Extensive experiments across three benchmark datasets can demonstrate that Hami-m3d can consistently improve the performance of any MMD baselines. © 2024 ACM.

关键词： image manipulation

来源：评论

学校读者我要写书评

暂无评论

Black-box expectation propagation for Bayesian models

Black-box expectation propagation for Bayesian models

引用

2018 SIAM International Conference on Data Mining, SDM 2018

作者： Li, Ximing Li, Changchun Chi, Jinjin Ouyang, Jihong Wang, Wenting College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China College of Mathematics Jilin University China

In this paper, we develop a generic black-box expectation propagation (BBEP) algorithm that can be directly applied to Bayesian models without model-specific derivations. BBEP is built on the spirit of using Monte Carlo estimates, where the moment matching step in EP is replaced with Monte Carlo approximations. To avoid high variance, we employ importance sampling for variance reduction and analyze how to find an optimal proposal distribution. We compare BBEP against the state-of-the-art black-box algorithms on both synthetic and real-world data sets. The experimental results indicate that BBEP can reach better predictive performance than baseline algorithms, and even can be on a par with analytical solutions in some settings. © 2018 by SIAM.

关键词： Importance sampling

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：