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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

545 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"

共 545 条记录，以下是311-320 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Monitoring and Facilitating Students programming Skill Development using Robotic Process Automation (RPA) and Artificial Intelligence (AI)-A Case Study 4

Monitoring and Facilitating Students Programming Skill Devel...

引用

4th international conference on Emerging Research in Electronics, Computer Science and Technology, ICERECT 2022

作者： Somasundaram, M. Sumitra, V. Vardan, Reddy S P Vijaya Sakthipriya, B. Pavithra, K. Nivedha, M.K. R.M.K. Engineering Colleg Chennai India

ISBN: (纸本)9781665456357

Students are provided with an online training program programming Skill Development. the Program conducts programming tests every day by which the students have to solve programming problems within the given time duration. Based on the solutions given by students, a daily report is generated by the online training program. Robotic Process Automation (RPA) can be effectively used to generate more reports (based on the above data) daily focused on students' attendance, problems solved and other details categorized as the students' mentors. As each mentor has about 20 to 25 students, the mentor can use the reports further to analyze the performance and individually mentor and guide the students. the paper describes an RPA- based reporting tool developed using UiPath and implemented successfully in the Department of Electronics and Communication (ECE) of R.M.K. Engineering College for about 540 students and 35 faculty members as mentors. Currently, further enhancements are planned in the tool to provide more useful reports based on Artificial Intelligence (AI) principles. Reports will include the students' cumulative past performance in the programming, areas of his/her strengths and weaknesses in the programming skills (like the type of problems solved: arithmetic, logical, etc., type of errors: logic or programming language-related, etc.). the RPA- based tool will also enable such analysis to be sent to each student's email automatically using a software bot so that he/she can plan for improvement. © 2022 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Data security and validation framework for a scientific data processing SOA based system

Data security and validation framework for a scientific data...

引用

4th international conference on Developments in eSystems Engineering, DeSE 2011

作者： Gancheva, Veska Programming and Computer Technologies Department Technical University of Sofia Sofia Bulgaria

ISBN: (纸本)9781457721861

A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. the framework covers the three levels of data security: authorized user access;data encryption and data validation. To ensure authorized user access three access levels are provided: ownership, distribution rights and read rights. To ensure the data encryption an asymmetric 128-bit encrypting method based on public and private key is implemented. A universal approach for complete data validation has been suggested and implemented as web service. Data validation service allows validating the input data processed by each of the modules in the system. A declarative language defining the data validation and their interpretation based on XML standard is specified, by which precise rules in XML format are established and simultaneously with a library that supports this grammar is performed. In the language structures are included elements describing the data, rules and logic, which have to satisfy the input data. the actual definition is supported by a definition repository XML file and allows adding additional field types or complex validation logic as needed and easy modification of the validation rules. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

ICEAST 2018 - 4th international conference on Engineering, Applied Sciences and Technology: Exploring Innovative Solutions for Smart Society

ICEAST 2018 - 4th International Conference on Engineering, A...

引用

4th international conference on Engineering, Applied Sciences and Technology, ICEAST 2018

ISBN: (纸本)9781538649565

the proceedings contain 81 papers. the topics discussed include: traffic light color identification for automatic traffic light violation detection system;development of a software management for capital investment decision using Microsoft visual basic programming;an evaluation of SVM and naive Bayes with SMOTE on sentiment analysis data set;a simplified algorithm of space vector modulation for diode-clamped three-level inverter;classification models for stock's performance prediction: a case study of finance sector in the stock exchange of thailand;combine multi particle swarm in supporting trapping in local optima;improved random forest (RF) classifier for imbalanced classification of lung nodules;incremental discovery of crowd from evolving trajectory data;the adaptive balloon forces for active surface models in skull repair technique;longitudinal magnetic field effect in critical current characteristics of Bi-2223 superconducting tape;application of the OpenCV-Python for personal identifier statement;development of a vision based mapping in rubber tree orchard;design of MPPT based fuzzy logic for solar-powered unmanned aerial vehicle application;and implementation of high voltage gain DC-DC boost converter for fuel cell application.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ALPUK92 1

引用

丛书名： Workshops in Computing

1000年

作者： Krysia Broda

ISBN: (数字)9781447134213

ISBN: (纸本)9783540197836

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. there are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for logic programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. this volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. the papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. the wide scope of the papers refelects the breadth of interest in this important area of computer science.;provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.

关键词： programming Techniques logics and Meanings of Programs Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Graphic algorithms to identify defects while reusing object-oriented software components

Graphic algorithms to identify defects while reusing object-...

引用

4th international conference on Computer Science and Informatics, JCIS 1998, 1st international Workshop on High Performance, 1st international Workshop on Computer Vision, Pattern Recognition and Image Processing Volume 4

作者： Hwang, Yih-Feng Rine, David C. Computer Science Department George Mason University Fairfax VA 22030-4444

A solution to a corrective maintenance problem arising when reusing object-oriented software components is presented. this solution is presented by means of an effective method using a formal logic basic concept, INV, for identifying and assessing defects in a given object-oriented structure. Object structures are directed graphs where edges are either inheritances or client-server associations, and nodes are abstract data types. Several different kinds of formal logic defects are identified that can occur during reusing of object definitions represented as abstract data types in object-oriented structures. Efficient graphic algorithms to identify reuse defects are presented and their algorithmic complexities are discussed.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Program logic and equivalence in the presence of garbage collection

Program logic and equivalence in the presence of garbage col...

引用

4th international conference on Foundations of Software Science and Computation Structures

作者： Calcagno, C O'Hearn, P Bornat, R Univ London Queen Mary & Westfield Coll Dept Comp Sci London E1 4NS England

it is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the presence or absence of unreachable cells, and Reynolds has pointed out that the Hoare triples derivable in these logics are even incompatible with garbage collection. We present a study of a small language whose operational semantics includes a rule for reclaiming garbage. Our main results include an analysis of propositions that are garbage insensitive, and full abstraction results connecting partial and total correctness to two natural notions of observational equivalence between programs. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A proof search system for a modal substructural logic based on labelled deductive systems 4th

引用

4th international conference on logic programming and Automated Reasoning, LPAR 1993

作者： Chau, Hiu Fai Dept. of Computing Imperial College United Kingdom

ISBN: (纸本)9783540569442

this paper describes a proof search system for a modal substructural (concatenation) logic based on Gabbay’s Labelled Deductive System (LDS) as a case study. the logic combines resource (linear or Lambek Calculus) with modal features, and has applications in AI and natural language processing. We present axiomatic and LDS style proof theories and semantics for the logic, with soundness and completeness results. For non-classical logic theorem proving, we show that LDS is flexible and generic, and can be mechanised directly. this partially verifies Gabbay’s open claims that LDS is suitable to study combinations of logics. We believe our approach can be extended to any variant which combines substructurality and modality. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Scalable Uncertainty Management - 4th international conference, SUM 2010, Proceedings

Scalable Uncertainty Management - 4th International Conferen...

引用

4th international conference on Scalable Uncertainty Management, SUM 2010

ISBN: (纸本)3642159508

the proceedings contain 32 papers. the topics discussed include: Markov chain Monte Carlo and databases;answer set programming, the solving paradigm for knowledge representation and reasoning;graphical and logical-based representations of uncertain information in a possibility theory framework;probabilistic data: a tiny survey;the role of epistemic uncertainty in risk analysis;uncertainty in clustering and classification;information fusion;use of the domination property for interval valued digital signal processing;managing lineage and uncertainty under a data exchange setting;a formal analysis of logic-based argumentation systems;handling inconsistency with preference-based argumentation;a possibility theory-oriented discussion of conceptual pattern structures;on the use of fuzzy cardinalities for reducing plethoric answers to fuzzy queries;and from Bayesian classifiers to possibilistic classifiers for numerical data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Defeasibility in Answer Set Programs via Argumentation theories 1

引用

4th international conference on Web Reasoning and Rule Systems

作者： Wan, Hui Kifer, Michael Grosof, Benjamin SUNY Stony Brook Stony Brook NY 11794 USA Vulcan Inc Seattle WA 98104 USA

ISBN: (数字)9783642159183

ISBN: (纸本)9783642159176

Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. this multitude of ideas has made the field hard to navigate and the different techniques hard to compare. Our earlier work on logic programming with Defaults and Argumentation theories (LPDA) introduced a degree of unification into the approaches that rely on the well-founded semantics. the present work takes this idea further and introduces ASPDA a unifying framework for defeasibility of disjunctive logic programs under the Answer Set programming (ASP). Since the well-founded and the answer set semantics underlie almost all existing approaches to defensible reasoning in logic programming, LPDA and ASPDA together capture most of those approaches. In addition to ASPDA, we obtained a number of interesting and non-trivial results. First, we show that ASPDA is reducible to ordinary ASP programs, albeit at the cost of exponential blowup in the number of rules. Second, we study reducibility of ASPDA to the non-disjunctive case and show that head-cycle-free ASPDA programs reduce to the non-disjunctive case similarly to head-cycle-free ASP programs, but through a more complex transformation. the blowup in the program size is linear in this case.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Comparison between PID and Sliding Mode Controllers for Rotary Inverted Pendulum Using PLC 4

Comparison between PID and Sliding Mode Controllers for Rota...

引用

4th international conference on Automation, Control and Robots (ICACR)

作者： Howimanporn, Suppachai Chookaew, Sasithorn Silawatchananai, Chaiyaporn King Mongkuts Univ Technol North Bangkok Fac Tech Educ Dept Teacher Training Mech Engn Bangkok Thailand

ISBN: (纸本)9781728192079

this research proposes the balancing control of the rotary inverted pendulum (RIP) by using PLC. the platform was designed and developed for PLC training kit, in order to enhance the learning a nonlinear control for stabilization problem. By using ST programming language, a modern PLC is capable to implement a robust control handling with complex task. In this work, OMRON PLC model CP1L-M30DTD which providing high-speed counter and high speed pulse output was used as main controller to provide real-time control. To compare the performance of stabilizing RIP, two controllers: PID and SMC control were designed and implemented in PLC. the optimal gain of PID controller was tuned by Ziegler Nichols first method, while SMC controller was designed based on system dynamic model. the conducted experiment result shows that the balancing performance was improved by SMC controller for 54.30%, even though PID controller provided lower oscillation result. the propose of SMC controller is to deal with an uncertainty in nonlinear system, while PID controller is to reduce the tracking error.

关键词： rotary inverted pendulum programmable logic controller PID sliding mode control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共55页 << < 28 29 30 31 32 33 34 35 36 37 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：