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

12th international conference on Knowledge Management in Organizations (KMO) - Emerging Technology

作者： Jari, Kaivo-oja theresa, Lauraeus Univ Turku FFRC TSE Turku Finland Aalto Univ Helsinki Finland

ISBN: (纸本)9783319626987;9783319626970

the idea of the article is to integrate knowledge management thinking to triangulation logic. Triangulation logic can be seen as a quality control mechanism in the field of knowledge management. Triangulation logic can also see as a critical knowledge management mechanism, which helps integrate inductive and deductive thinking in scientific projects. Triangulation is a vehicle for cross validation when two or more distinct methods are found to be congruent and yield comparable data. Today various scholars have noted that qualitative and quantitative methods should be viewed as complementary rather than as rival approaches. In fact, most textbooks underscore the desirability of mixing methods given the strengths and weaknesses found in single mono-method designs. In this kind of scientific discussion, the triangulation logic, which integrates quantitative and qualitative methods, is a highly relevant knowledge management issue. Today future-oriented foresight research is mostly based on quantitative and qualitative analyses. the three key elements of foresight activity are diagnosis (hindsight), prognosis (foresight) and description (decision support). In order to integrate triangulation logic to these foresight activities, experts and knowledge management scientists must think carefully alternative strategies, how to build up logical link between triangulation logic and foresight activities. this article provides some new ideas, how these novel knowledge management strategies could be constructed, when we look KM issues from broader triangulation perspective.

关键词： Knowledge management strategies Foresight research Triangulation logic Foresight activities Foresight methods

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

8th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2017

ISBN: (纸本)9781450353502

the proceedings contain 12 papers. the topics discussed include: modelling and formal verification of neuronal archetypes coupling;estimating respiration rate using an accelerometer sensor;formal validation of neural networks as timed automata;the effect of reference species on reference-guided genome assembly;a machine learning approach for drug discovery from herbal medicine: metabolite profiles to therapeutic effects;identifying microRNA targets in epithelial-mesenchymal transition using joint-intervention causal inference;position-residue specific dynamic gap penalty scoring strategy for multiple sequence alignment;extraction of disease-related genes from PubMed paper using word2vec;proposal of application method of inductive logic programming to microarray data;meta-analysis of whole-transcriptome data for prediction of novel genes associated with autism spectrum disorder;in silico structure based designing of dihydrofolate reductase enzyme antagonists and potential small molecules that target DHFR protein to inhibit the folic acid biosynthetic pathways;drug repurposing: targeting mTOR inhibitors for anticancer activity;AI and big data analytics for health and bioinformatics;and revealing deep proteome diversity with community-scale proteomics big data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the enhancement mode AlGaN/GaN high electron mobility transistor based on charge storage

The enhancement mode AlGaN/GaN high electron mobility transi...

引用

international conference on ASIC

作者： Hui Wang Lingli Jiang Ning Wang Xinpeng Lin Hongyu Yu Shenzhen Key Laborary of The Third Generation Semi-conductor Shenzhen Guangdong China Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen Guangdong China

In this paper, we sums up our resent progress on the enhancement-mode (E-mode) AlGaN/GaN high electron mobility transistors (HEMTs) which are based on charge storage, including the split floating gates (FGs) HEMT and the one with oxide-SiN-oxide (ONO) gate dielectrics stack. For the FGs HEMT, the V th variation with the polarization charge density, the density of two dimensional electron gas, the tunnel dielectric thickness, the blocking dielectric thickness, the length and isolating spacing of FGs are presented. the reliability of the FGs HEMT are also revealed. For the HEMT with ONO gate dielectrics stack, the E-mode is realized by negative charge storage within the SiN trap layer. the V th variation with the programming condition and the thickness of the dielectrics are presented. Under proper programming voltage and time, the V th can be increased to more than 2V. Moreover, it is found that the breakdown voltage of such HEMT can be adjusted by varying the gate dielectric stacks.

关键词： HEMTs MODFETs Dielectrics logic gates Aluminum oxide Aluminum gallium nitride Wide band gap semiconductors

来源：评论

学校读者我要写书评

暂无评论

Graphene nanodots with high-k dielectrics for flash memory applications

Graphene nanodots with high-k dielectrics for flash memory a...

引用

international conference on ASIC

作者： Kai-Ping Chang Han-Hsiang Tai Jer-Chyi Wang Chao-Sung Lai Department of Electronic Engineering Chang Gung University Taoyuan Taiwan Department of Electronic Engineering Ming Chi University of Technology New Taipei City Taiwan Department of Neurosurgery Chang Gung Memorial Hospital Taovuan Taiwan Department of Materials Engineering Ming Chi University of Technology New Taipei City Taiwan Department of Nephrology Chang Gung Memorial Hospital Taoyuan Taiwan

In this work, graphene nanodots have been fabricated and characterized as it has the potential for nanodevices application. Here we show non-volatile memory devices based on the capacitor structure by using graphene nanodots as the charge storage nodes. the graphene nanodots on silicon dioxide tunneling barrier were fabricated by etching the graphene with gold nanoparticles as self-aligned mask. Furthermore, different blocking oxide layer were also adopted to optimize the memory characteristics, including retention and operation speed. the memory of graphene nanodots with high-k blocking oxide layer shows higher flat-band voltage shift at low programming voltage, and excellent charge loss less than 12% after 10 4 sec, potentially provides a promising route for non-volatile memory application.

关键词： Graphene Nonvolatile memory Aluminum oxide programming logic gates Plasmas Gold

来源：评论

学校读者我要写书评

暂无评论

Characterization of logic program revision as an extension of propositional revision

引用

thEORY AND PRACTICE OF logic programming 2016年第1期16卷 111-138页

作者： Schwind, Nicolas Inoue, Katsumi Transdisciplinary Res Integrat Ctr Chiyoda Ku Tokyo 1018430 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan

We address the problem of belief revision of logic programs (LPs), i.e., how to incorporate to a LP P a new LP Q. Based on the structure of SE interpretations, Delgrande et al. (2008. Proc. of the 11th international conference on Principles of Knowledge Representation and Reasoning (KR'08), 411-421;2013b. Proc. of the 12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR'13), 264-276) adapted the well-known AGM framework (Alchourron et al. 1985. Journal of Symbolic logic 50, 2, 510-530) to LP revision. they identified the rational behavior of LP revision and introduced some specific operators. In this paper, a constructive characterization of all rational LP revision operators is given in terms of orderings over propositional interpretations with some further conditions specific to SE interpretations. It provides an intuitive, complete procedure for the construction of all rational LP revision operators and makes easier the comprehension of their semantic and computational properties. We give a particular consideration to LPs of very general form, i.e., the generalized logic programs (GLPs). We show that every rational GLP revision operator is derived from a propositional revision operator satisfying the original AGM postulates. Interestingly, the further conditions specific to GLP revision are independent from the propositional revision operator on which a GLP revision operator is based. Taking advantage of our characterization result, we embed the GLP revision operators into structures of Boolean lattices, that allow us to bring to light some potential weaknesses in the adapted AGM postulates. To illustrate our claim, we introduce and characterize axiomatically two specific classes of (rational) GLP revision operators which arguably have a drastic behavior. We additionally consider two more restricted forms of LPs, i.e., the disjunctive logic programs (DLPs) and the normal logic programs (NLPs) and adapt our characterization result t

关键词： belief revision logic programming characterization theorems

来源：评论

学校读者我要写书评

暂无评论

An empirical study on robustness of UAV path planning algorithms considering position uncertainty

An empirical study on robustness of UAV path planning algori...

引用

international conference on Intelligent System and Knowledge Engineering, ISKE

作者： Minyang Kang Yang Liu Yijie Ren Yijing Zhao Zheng Zheng Science and Technology on Avionics Integration Laboratory Shanghai China Department of Automatic Control Beihang University Beijing China

UAV(Unmanned Aerial Vehicle) needs to accomplish its task with obstacle avoidance. However, uncertainties in the actual complex flight environment affect the application of UAV. In consideration of the error of UAV's position estimation, this paper attempts to evaluate the robustness which is measured by the safety degree of the path. UAV path planning algorithms, including A-Star, BLP(bi-level programming based algorithm), PSO(Particle Swarm Optimization) and RRT(Rapid-exploring Random Trees), are selected for the empirical study. Results demonstrate that RRT and BLP behave much better than A* and PSO, considering variance and scenario complexity. RRT algorithm performs better in the simpler scenario and larger variance and BLP algorithm is more robust in the case of low variance.

关键词： Robustness Uncertainty Path planning Safety Indexes Unmanned aerial vehicles Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic

Holistic deductive framework theorem proving based on standa...

引用

international conference on Intelligent System and Knowledge Engineering, ISKE

作者： Feng Cao Yang Xu Jian Zhong Guanfeng Wu National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China

Nowadays, famous and powerful first-order logic automated theorem proving almost use saturation which called given-clause algorithm as the deductive framework. the given-clause algorithm is a divisional framework which divides the entire clauses into selected clause set and deductive clause set. It is efficient with large heuristic strategies and inference calculus. In this paper, we present a holistic deductive framework based on standard contradiction separation. the framework allows arbitrary clause to take part in deduction in the holistic clause set as many as possible which can take full advantage of synergetic effect between clauses. It is a multi-ary, dynamic, sound, complete deduction which can generate more new unit clauses as the goal. We implement the preliminary version of prover, it can find proofs in fewer inferential steps for some Mizar and TPTP problems under effective strategies. Related definitions and useful methods are proposed for programming search paths, avoiding repetition, simplifying clauses and the key strategies, they are contribute to finding proof more efficiently. Performance analysis and some conclusions are outlined at the end of this paper.

关键词： Complexity theory Algorithm design and analysis Inference algorithms Standards Performance analysis Planning Path planning

来源：评论

学校读者我要写书评

暂无评论

An Exercise in Declarative Modeling for Relational Query Mining 1

引用

25th international conference on inductive logic programming (ILP)

作者： Paramonov, Sergey van Leeuwen, Matthijs Denecker, Marc De Raedt, Luc Katholieke Univ Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium

ISBN: (数字)9783319405667

ISBN: (纸本)9783319405667;9783319405650

Motivated by the declarative modeling paradigm for data mining, we report on our experience in modeling and solving relational query and graph mining problems with the IDP system, a variation on the answer set programming paradigm. Using IDP or other ASPlanguages for modeling appears to be natural given that they provide rich logical languages for modeling and solving many search problems and that relational query mining (and ILP) is also based on logic. Nevertheless, our results indicate that second order extensions to these languages are necessary for expressing the model as well as for efficient solving, especially for what concerns subsumption testing. We propose such second order extensions and evaluate their potential effectiveness with a number of experiments in subsumption as well as in query mining.

关键词： Knowledge representation Answer set programming Data mining Query mining Pattern mining

来源：评论

学校读者我要写书评

暂无评论

Solving Odd Even Sudoku Puzzles by Binary Integer Linear programming 12

Solving Odd Even Sudoku Puzzles by Binary Integer Linear Pro...

引用

12th international conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)

作者： Yu, Hui Tang, Yuchao Zong, Chunxiang Nanchang Univ Sch Informat Engn Nanchang 330031 Peoples R China Nanchang Univ Dept Math Nanchang 330031 Peoples R China Nanchang Univ High Performance Comp Lab Nanchang Peoples R China Nanchang Univ Dept Math Nanchang 330031 Peoples R China

ISBN: (纸本)9781509040933

Solving sudoku is a very challenging problem. It is not only a logic problem, but also can be seen as a mathematic problem. In this paper, we develop a binary integer linear programming (BILP) model for solving Odd/Even sudoku puzzles. Consequently, we solve the BILP model by using the optimization toolbox of MATLAB software. the performance of the proposed model was tested under different difficulty levels of Odd/Even sudoku puzzles. Numerical results show that it can successfully solve the Odd/Even sudoku puzzles in a quick time.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic and lexicological support of the creation of terminological dictionary of intermediate language in bilingual education 12th

Fuzzy logic and lexicological support of the creation of ter...

引用

12th international conference on Application of Fuzzy Systems and Soft Computing (ICAFS)

作者： Abdullayev, Tarlan Umarova, Niyar Jamalov, Zeynal Alekperov, A. Odlar Yurdu Univ Dept Comp Engn AZ-1008 Baku Azerbaijan Baku State Univ Dept Informat Technol & Programming AZ-1148 Baku Azerbaijan Azerbaijan State Econ Univ AZ-1001 Baku Azerbaijan

the paper is formulated and tested a fuzzy approach to the formation of a lexicological dictionary of intermediate language in bilingual education. To estimate the degree of assimilation of the new term it is selected block of evaluation criteria, which based on observations students range marks and aggregated for subsequent assignment of the degree of comprehensibility concerning to this term as part of lexicological dictionary. (C) 2016 the Authors. Published by Elsevier B.V.

关键词： Intermediate language bilingual education glossary of terms fuzzy set fuzzy conclusion

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：