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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
7 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
14 篇 inductive logic ...
11 篇 logic
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 artificial intel...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...
6 篇 probabilistic lo...
5 篇 optimization
5 篇 wireless sensor ...
5 篇 abstracts

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

363 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

检索条件"任意字段=12th International Conference on Inductive Logic Programming"

共 368 条记录，以下是41-50 订阅

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

详细简洁

排序：

Robot based Challenges to Develop Disciplinary and Soft Competencies in Engineering Students 20

Robot based Challenges to Develop Disciplinary and Soft Comp...

引用

Proceedings of the 12th international conference on Education Technology and Computers

作者： Israel Zamora-Hernandez Miguel X. Rodriguez-Paz Jorge A. Gonzalez-Mendivil Tecnologico de Monterrey Tecnologico de Monterrey and WritingLab TecLabs Tecnologico de Monterrey Mexico Tecnologico de Monterrey Mexico

ISBN: (纸本)9781450388276

In this paper, we present the results on the developing of competencies in Engineering students during a week called “i-week” in our Educational Model in which students from different disciplines work together on a given challenge using educational robot kits. the development of disciplinary competencies as well as soft competencies are studied. the challenge is related to the construction of a manufacturing cell using robots and Programmable logic Controllers (PLC) in which we look to develop disciplinaries competencies such as basic programming and logical thinking. On the other hand, the challenge also allows for the developing of soft competencies in students of Engineering such as Negotiation skills, Time Management, Working in a Multidisciplinary and Multicultural Team. In this paper we show the educational strategy, the methodology and the results of the implementation as well as a proposal to extend this methodology so that more students can participate in this type of projects. the results obtained exceeded the expectations and are very positive according to the students’ perceptions.

关键词： Robots in education Higher Education programming Educational Innovation Engineering Education

来源：评论

学校读者我要写书评

暂无评论

WILLIAM: A Monolithic Approach to AGI 1

引用

12th international conference on Artificial General Intelligence (AGI)

作者： Franz, Arthur Gogulya, Victoria Loffler, Michael Odessa Competence Ctr Artificial Intelligence & M Odesa Ukraine

ISBN: (数字)9783030270056

ISBN: (纸本)9783030270049;9783030270056

We present WILLIAM - an inductive programming system based on the theory of incremental compression. It builds representations by incrementally stacking autoencoders made up of trees of general Python functions, thereby stepwise compressing data. It is able to solve a diverse set of tasks including the compression and prediction of simple sequences, recognition of geometric shapes, write code based on test cases, self-improve by solving some of its own problems and play tic-tactoe when attached to AIXI and without being specifically programmed for it.

关键词： inductive programming Incremental compression Algorithmic complexity Universal induction AIXI Seed AI Recursive self-improvement

来源：评论

学校读者我要写书评

暂无评论

12th international conference on Computability and Complexity in Analysis, CCA 2015 - Proceedings

12th International Conference on Computability and Complexit...

引用

12th international conference on Computability and Complexity in Analysis, CCA 2015

the proceedings contain 25 papers. the topics discussed include: on the uniform computational content of computability theory;computable analysis from an engineering perspective;real numbers in exact geometric computation;nonstandard analysis meets programming language theory;low functions of reals;logic for gray code computation;on the computational content of Ramsey’s theorem;extending continuous valuations on quasi-polish spaces to borel measures;weakenings of Cauchy convergence;computation of the asymptotic behavior of dynamical systems;the Baire property holds in the projective hierarchy almost uniformly;and on the image and length of polynomial time computable curves.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Data Mining Algorithms Parallelization in logic programming Framework for Execution in Cluster 19th

Data Mining Algorithms Parallelization in Logic Programming ...

引用

19th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems (NEW2AN) / 12th conference on the Internet of things and Smart Spaces ruSMART (Are You Smart)

作者： Malov, Aleksey Rodionov, Sergey Shorov, Andrey St Petersburg Electrotech Univ LETI St Petersburg Russia

this article describes an approach to parallelizing of data mining algorithms in logical programming framework, for distributed data processing in cluster. As an example Naive Bayes algorithm implementation in Prolog ... 详细信息

ISBN: (纸本)9783030308599;9783030308582

关键词： Parallel algorithms Distributed algorithms Data mining Distributed data mining MapReduce logical programming

来源：评论

学校读者我要写书评

暂无评论

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit Layout Classification and Error Detection Using EfficientNet Model

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit...

引用

international conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management (HNICEM)

作者： Lorena Ilagan Ronnie Concepcion Melvin Cabatuan Christian Raymund Roque University of Perpetual Help System DALTA Las Piñas City Philippines De La Salle University Manila Philippines Center for Applied Microelectronics and Programming Inc. Muntinlupa Philippines

ISBN: (纸本)9781665429979

Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of computer vision and computational intelligence in the field of constraint engineering and integrated circuit layout has high tendency to resolve this ambiguity. In this study, vision-based architecture is integrated with deep transfer learning network to classify NOT, NAND (no fold and two-finger), and NOR logic gates with 1 μm physical gate polysilicon and 0.5 μ m gate length using 90 nm CMOS technology. Inverter designs with contact (CO) error is generated using missing CO, metal 1 in place and not fully placed, and off positioned CO via an incorporated Python-triggered tool command language (TCL) program in the Synopsys platform. EfficientNetB7 perfectly classified NOT and NAND gates, and subcategorized NOT contact error designs. Overall, the developed seamless approach in classifying gate-level integrated circuit design and predicting contact errors using EfficientNetB7 is easy to replicate and can enhance layout assessment.

关键词： Integrated circuit layout Layout Transfer learning logic gates Tools CMOS technology Integrated circuit modeling

来源：评论

学校读者我要写书评

暂无评论

Low-Latency CoAP Processing in FPGA for the Internet of things 12

Low-Latency CoAP Processing in FPGA for the Internet of Thin...

引用

IEEE Int Congr on Cybermat / 12th IEEE Int Conf on Cyber, Phys and Social Comp (CPSCom) / 15th IEEE Int Conf on Green Computing and Communications (GreenCom) / 12th IEEE Int Conf on Internet of things (ithings) / 5th IEEE Int Conf on Smart Data

作者： Brasilino, Lucas R. B. Swany, Martin Indiana Univ Sch Informat Comp & Engn Bloomington IN 47408 USA

ISBN: (纸本)9781728129808

A prominent characteristic of Internet of things is the seamless integration of diverse, heterogeneous technologies working together to empower cyber-physical spaces and experiences, effectively changing how we perceive the environment around us. Myriads of applications supported by IoT require diverse communication patterns and network requirements. Although IoT infrastructure is often associated to high latency communication, a significant number of applications demand low latency - Augmented Reality and Industrial IoT, for instance. A considerable amount of embedded devices' processing power is dedicated to performing network message exchanges. thus, speeding up their execution while alleviating the CPU load is crucial and has a beneficial impact to the whole IoT application. In this paper, we present a design and implementation of a CoAP Accelerator as a hardware module synthesizable in an FPGA, and a companion programming model. the accelerator cooperates with the device's CPU and/or other embedded hardware, enabling the entire IoT device to sustain high protocol processing rates at low latency. Evaluations were carried out and have demonstrated the endpoint's performance improvement on the order of 308%.

关键词： Internet of things IoT FPGA Programmable logic Hardware Embedded Systems CoAP Networking

来源：评论

学校读者我要写书评

暂无评论

Comparative Study of Fuzzy Controller Optimization with Dynamic Parameter Adjustment Based on Type 1 and Type 2 Fuzzy logic

Comparative Study of Fuzzy Controller Optimization with Dyna...

引用

Joint World Congress of the international-Fuzzy-Systems-Assoc (IFSA) and the Annual conference of the North-American-Fuzzy-Information-Proc-Soc (NAFIPS) / 12th international Workshop on Constraint programming and Decision Making (CoProd)

作者： Lagunes, Marylu L. Castillo, Oscar Valdez, Fevrier Soria, Jose Tijuana Inst Technol Tijuana BC Mexico

ISBN: (纸本)9783030219208;9783030219192

this paper presents a comparison of fuzzy controller optimization results using dynamic parameter adjustment Type 1 (T1) and Interval Type 2 (T2) fuzzy logic to the Firefly Algorithm (FA). the FA is used for optimizations parameters of the membership functions in the fuzzy controllers. the dynamic adjustment is applied to the randomness parameter of the search space, which represents the exploration of the method, avoiding stagnation or premature convergence. the FA generates the values that the parameters of the membership functions take for optimization use in the fuzzy systems for control. the control plants have one or more input variables that are processed and result in one or more output variables, it would be very difficult to model the human reasoning in equations to achieve a machine acquires the knowledge acquired by humans. For that reason the fuzzy logic that generates that insertion is used as if it were human reasoning.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

Nonvolatile Analog Switch

Nonvolatile Analog Switch

引用

international conference on Electronics, Computers and Artificial Intelligence (ECAI)

作者： Giorgiana-Catalina Ilie Chiranu Cristian Tudoran Otilia Neagoe Gheorghe Brezeanu Power Solutions Group ON Semiconductor University "Politehnica"of Bucharest Bucharest Romania Power Solutions Group ON Semiconductor Bucharest Romania

ISBN: (数字)9781728168432

ISBN: (纸本)9781728168449

this paper describes an analog switch capable of retaining its state even when powered off. It is in fact a floating gate transistor whose floating gate charge is programmed through a memory cell by means of Fowler-Nordheim tunneling. Its nonvolatile characteristic makes it very useful in low power consumption applications. Moreover, depending on the amount of charge stored into the floating gate, it can work with signals exceeding the supply voltage and provide small ON resistance when used in low voltage applications. this switch was designed in a 0.18um CMOS EEPROM process and HSPICE simulations were done to prove its functionality and performances.

关键词： Nonvolatile memory Transistors Switches Switching circuits logic gates Resistance programming

来源：评论

学校读者我要写书评

暂无评论

Type-2 Fuzzy logic Augmentation of the Imperialist Competitive Algorithm with Dynamic Parameter Adaptation

Type-2 Fuzzy Logic Augmentation of the Imperialist Competiti...

引用

作者： Bernal, Emer Castillo, Oscar Soria, Jose Valdez, Fevrier Tijuana Inst Technol Tijuana BC Mexico

ISBN: (纸本)9783030219208;9783030219192

In this paper we propose the utilization of type-2 fuzzy systems for the dynamic adjustment of parameters in the imperialist competitive algorithm (ICA), a type-1 fuzzy system was used as a basis, with decades as the input variable and the beta parameter as the output variable, then it was extended to interval type-2 fuzzy systems, and three variants with triangular, Gaussian and trapezoidal membership functions were performed. the imperialist competitive algorithm is based on the concept of imperialism, where the strongest countries absorb the weakest and make then their colonies. To measure the performance of the proposed method 10 mathematical functions with different number of decades are used and finally, a comparison was made between our variants and the results obtained with the type-1 fuzzy system to observe their behavior in the face of optimization problems.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerant Controller Using Interval Type-2 TSK logic Control Systems: Application to three Interconnected Conical Tank System

Fault Tolerant Controller Using Interval Type-2 TSK Logic Co...

引用

作者： Patel, Himanshukumar R. Shah, Vipul Dharmsinh Desai Univ Nadiad 387001 Gujarat India

ISBN: (纸本)9783030219208;9783030219192

Type-2 fuzzy logic systems have recently been utilized in many control process due to their ability to model uncertainties. this paper proposes an inference mechanism for an interval type-2 Takagi-Sugeno-Kang fuzzy logic control system (IT2 TSK FLCS) when antecedents are type-2 fuzzy sets and consequent are crisp. this paper focus on fault-tolerant control application for the three inter-connected conical tank system with following cases: (1) Servo control without fault, and, (2) Regulatory control with the actuator, system component faults, and process disturbances. In both the cases, IAE and ISE are calculated. the methods presented in this paper facilitating the design of fault-tolerant controller design using IT2 TSK FLCs with significantly improved performance over type-1 FLCs approaches.

关键词： Actuator fault Fault tolerant control Interval type 2 fuzzy logic control System component fault three interconnected conical tank

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：