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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,043 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

2,139 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,272 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 252 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
295 篇 理学
- 226 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,100 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2139 条记录，以下是231-240 订阅

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

详细简洁

排序：

Bug Patterns in Probabilistic programming Systems

Bug Patterns in Probabilistic Programming Systems

引用

IEEE international conference on Software Quality, Reliability and Security Companion (QRS-C)

作者： Shoma Hamada Haibo Yu Vo Dai Trinh Yuri Nishimura Jianjun Zhao Kyushu University Fukuoka Japan Kyushu Sangyo University Fukuoka Japan

Probabilistic programming systems allow developers to model random phenomena and perform reasoning about the model efficiently. As the number of probabilistic programming systems is growing significantly and are used more and more widely, the reliability of such systems is becoming very important. It is crucial to analyze real bugs of existing similar systems in order to develop efficient bug detection tools for probabilistic programming systems. This paper conducts an empirical study investigating bugs and their features on PyMC3, a real probabilistic programming system. Among 271 closed bugs, we identified 20 bugs that are unique to probabilistic programming languages and extracted eight bug patterns from these bugs. The result showed that many of the bugs were caused by types. We also propose some possible methods for automatically detecting these bug patterns. It is expected that this will contribute to the development of bug detection tools by capturing the characteristics of bugs in actual probabilistic programs in the future.

关键词： Computer languages Computer bugs Software quality programming Probabilistic logic Feature extraction Cognition

来源：评论

学校读者我要写书评

暂无评论

Enhancing SALUS Backend Systems Through Strategic Design and Implementation: Changelog Overview in the Case Study

Enhancing SALUS Backend Systems Through Strategic Design and...

引用

IEEE international conference on Software Architecture Workshops (ICSAW)

作者： Aneta Poniszewska-Marańda Maciej Kopa Wojciech Krasnowski Mateusz Owczarek Michal Pawlak Institute of Information Technology Lodz University of Technology Łódź Poland Institute of Information Technology Lodz University of Technology Poland

ISBN: (数字)9798331533366

ISBN: (纸本)9798331533373

This paper presents a detailed account of a series of enhancements made to the backend systems of a software development project, named” Artificial Intelligence and Blockchain for the quality control and product safety system”, SALUS system (https://***/). It covers the design and implementation of a backend database, use of product data hashing for ID optimization, the strategic reorganization of business logic to align with blockchain module technology (***), API interface optimization, the creation of a utility library for contract refactoring, and the comprehensive update of testing protocols. Each section illustrates the rationale, methodology, and outcomes of the implemented solutions, highlighting the project's shift towards more efficient” secure” and scalable systems.

关键词： Technological innovation Protocols Libraries Blockchains Security logic Optimization Testing Business Software development management

来源：评论

学校读者我要写书评

暂无评论

Multi-Modal Transport logic Architecture Analysis Based on Autonomous Transportation System 22

Multi-Modal Transport Logic Architecture Analysis Based on A...

引用

22nd COTA international conference of Transportation Professionals (CICTP) - Intelligence, Connectivity, and Mobility

作者： Liu, Yihan Xu, Guangming Zhong, Linhuan Xiao, Yao Cent South Univ Sch Traff & Transportat Engn Changsha Hunan Peoples R China Sun Yat Sen Univ Sch Intelligent Syst Engn Shenzhen Guangdong Peoples R China

ISBN: (数字)9780784484265

ISBN: (纸本)9780784484265

Transportation technology innovation represented by autonomous driving and car networking has promoted the research on architecture of a new generation of transportation systems characterized by autonomous operation and service. Multi-modal transportation as a comprehensive transportation mode of road, sea, rail and air, plays an increasingly important role in the integrated transportation systems. Based on the development status of multi-modal transport and application of Autonomous Transportation System (ATS) technology, this paper comprehensively analyzes the service objects, vehicles, infrastructure and network platforms involved in the multi-modal transport process. The common service domains are identified that describes the multi-modal transport scenarios with ATS characteristics and the basic system functions within each service domain. The logic architecture of autonomous multi-modal transport is established based on functions as nodes, logical data flows as links, and service operation process. Its construction will promote the rationalization and systematic transformation of multi-modal transport system from "passive" to "active."

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

Parallel implementation of space charge force calculation in SUNRAY-1D using MPI 22

Parallel implementation of space charge force calculation in...

引用

22nd international Vacuum Electronics conference (IVEC)

作者： Latha, A. Mercy Gahlaut, Vishant Srivastava, Vishnu Ghosh, S. K. CSIR Cent Elect Engn Chennai Ctr CSIR Madras Complex Chennai Tamil Nadu India Banasthali Vidyapith Dept Phys Banasthali India CSIR Cent Elect Engn Res Inst Vacuum Electron Devices Design Grp Pilani Rajasthan India

ISBN: (纸本)9781665441056

SUNRAY-1D is a one-dimensional large signal code for analyzing the beam-wave interaction in helix traveling wave tubes (TWT5). In order to improve the performance of SUNRAY-1D, parallelization of few of its modules has been initiated. Parallel implementation of space charge force module using MPI (message passing interface) has been successful. Improvements, in terms of increased accuracy and reduced computational time, have been the key benefits achieved.

关键词： parallel programming MPI space charge force computational time speed-up

来源：评论

学校读者我要写书评

暂无评论

Python as a Tool in Feedback Control System Analysis and Design

Python as a Tool in Feedback Control System Analysis and Des...

引用

IEEE SSD international Multi-conference on Systems, Signals and Devices

作者： Igor Reznichenko Primož Podržaj Tomaž Požrl Gašper Škulj Faculty of Mech. Eng. University of Ljubljana Ljubljana Slovenia

ISBN: (数字)9798331542726

ISBN: (纸本)9798331542733

Feedback control system analysis and design is a vital part of any engineering education. The most commonly applied software solutions related to it are Matlab together with Simulink. In recent years, especially due to an ever-increasing importance of artificial intelligence in all aspects of our life, Python seems to be the programming language of choice in many universities. For this reason there seems to be pressure on Control Engineering society to also adopt Python in both educational and industrial environment. Consequently, a decision was made to present current state of the art in Python libraries that try to offer Matlab/Simulik capabilities for Python users. In this paper, a critical assessment will be made together with some examples being presented.

关键词： Human computer interaction Collimators Software packages Libraries Feedback control Control theory MATLAB System analysis and design programming profession Python

来源：评论

学校读者我要写书评

暂无评论

Variable Neighborhood Search Approach for the Bi-criteria Competitive Location and Design Problem with Elastic Demand 22nd

Variable Neighborhood Search Approach for the Bi-criteria ...

引用

22nd international conference on Mathematical Optimization Theory and Operations Research , MOTOR 2023

作者： Levanova, Tatiana Gnusarev, Alexander Rubtsova, Ekaterina Vyatcheslav, Sigaev Sobolev Institute of Mathematics Omsk Division Pevtsova str. 13 Omsk644043 Russia Dostoevsky Omsk State University Prospekt Mira 55A Omsk644077 Russia Avtomatika-Servis LLC Omsk Russia

ISBN: (纸本)9783031432569

In this paper, we develop a bi-criteria approach to solving the competitive location and design problem with elastic demand. The problem involves a new company, its competitor, and its consumers. The competitor has already placed its enterprises. The new company can choose the locations and the design variants for its facilities within the budget. Consumers independently choose service points from the open facilities of the company or competitor based on their preferences. The goal of the new company is to capture the largest possible share of the total demand. This situation is described using a non-linear integer programming model. In real situations, demand data and other parameters may change. In this case, it is necessary to make a decision that would be stable regarding such changes. We consider one of the concepts of robustness and formulate a new bi-criteria statement of the problem under consideration. In addition to the criterion that maximizes the share of the total demand, it also contains a criterion that maximizes the robustness of the solutions obtained. To solve the bi-criteria problem, we propose an algorithm based on variable neighborhood search and a modified version of the SEMO evolutionary algorithm. The features of the problem and the presence of two criteria are taken into account. Experimental studies have been carried out. The quality of the solutions obtained is analyzed, and a comparison with previous developments is discussed. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

An Ecological Unmanned Hot-Air Balloon for the Agricultural Lands' Inspection 22nd

An Ecological Unmanned Hot-Air Balloon for the Agricultural ...

引用

22nd international conference on Computer Information Systems and Industrial Management (CISIM)

作者： Boucetta, Rahma Fac Sci Sfax Dept Phys Soukra Rd Sfax 3000 Tunisia ENIS Lab STA LR11ES50 Sfax Tunisia

ISBN: (纸本)9783031428227;9783031428234

The current paper presents an ecological design of an autonomous hot-air balloon used for the continuous inspection of large agricultural lands ensuring low power consumption, noise free and long endurance. Currently, growers and cultivators use cars and trucks to examine harvest and trees, evenly to monitor human or animal intruders. These means remain slow, noisy and energy-intensive to produce much more difficulties and pollution problems. Furthermore, farmers receive a limited outlook between trees and plants. For these reasons, and for the imperative need of a rapid and ecological answer, an autonomous unmanned vehicle based on a hot-air balloon powered by photovoltaic panels was proposed to guarantee a permanent supervision of wide fields, and to give a clear expanded view. Therefore, this paper is dedicated to establishment of an autonomous Montgolfier with a detailed description of its different features. Thermodynamic and aerodynamic laws are developed to generate a mathematical model used in the control process. To analyze the system performances, an open-loop numerical simulation is initially carried out with an on/off relay applied to the heater temperature. Then, a feedback control is drawn with a PID to reach a desired altitude. Finally, the PID is replaced by a Sugeno-like fuzzy controller to enhance the balloon performances in a climb phase. The paper is ended with a conclusion and prospects.

关键词： Hot-air Balloon Design Heat Transfer Aerodynamics PID Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A logic of Only-Believing over Arbitrary Probability Distributions 22

A Logic of Only-Believing over Arbitrary Probability Distrib...

引用

22nd international conference on Autonomous Agents and Multiagent Systems, AAMAS 2023

作者： Feng, Qihui Liu, Daxin Belle, Vaishak Lakemeyer, Gerhard RWTH Aachen University Aachen Germany The University of Edinburgh Edinburgh United Kingdom

When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of beliefs and actions to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief in formulas, and in particular, with how that should evolve in the presence of noisy sensing and acting is the first-order logical account by Bacchus, Halpern, and Levesque. The main advantage of such a logical account is that it allows a specification of beliefs that can be partial or incomplete, in keeping with whatever information is available about the domain, making it particularly attractive for general-purpose cognitive robotics. Recently, this model was extended to handle continuous probability distributions. However, it is limited to finitely many nullary fluents and defines beliefs and integration axiomatically, the latter making semantic proofs about beliefs and meta-beliefs difficult. In this paper, we revisit the continuous model and cast it in a modal language. We will go beyond nullary fluents and allow fluents of arbitrary arity as is usual in the standard situation calculus. This necessitates a new and general treatment of probabilities on possible worlds, where we define measures on uncountably many worlds that interpret infinitely many fluents. We then show how this leads to a fairly simple definition of knowing, degrees of belief, and only-knowing. Properties thereof will also be analyzed. In this paper, we focus on the static setting and conclude with some thoughts about extending this account to actions as the next step and what challenges might arise. © 2023 international Foundation for Autonomous Agents and Multiagent Systems (***). All rights reserved.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Design Challenges and Techniques for 5nm FinFET CMOS Analog/Mixed-Signal Circuits

Design Challenges and Techniques for 5nm FinFET CMOS Analog/...

引用

international conference on VLSI Design

作者： Saurabh Goyal Sanjay Kumar Wadhwa Divya Tripathi Gaurav Agrawal Krishna Thakur Deependra Kumar Jain Alvin L.S. Loke Atul Kumar Manish Kumar Upadhyay Bhawna Sanjoy Kumar Dey NXP Semiconductors India Western Digital India Intel Corporation India

Recent CMOS scaling incessantly focuses on improving density, speed, area, and power consumption in digital circuits which is increasingly less applicable to analog/mixed-signal circuits. This paper proposes various practical techniques to overcome technology challenges in several common analog/mixed-signal circuits in 5nm CMOS. Issues addressed include high leakage in dummy devices due to continuous active area layout style, large parasitics in ring oscillators, and gate-induced drain leakage in SAR ADC sampling switches.

关键词： Ring oscillators Power demand Layout Very large scale integration logic gates CMOS technology FinFETs

来源：评论

学校读者我要写书评

暂无评论

Collective of Base Classifiers for Mining Imbalanced Data 22nd

Collective of Base Classifiers for Mining Imbalanced Data

引用

22nd Annual international conference on Computational Science (ICCS)

作者： Jedrzejowicz, Joanna Jedrzejowicz, Piotr Univ Gdansk Inst Informat Fac Math Phys & Informat PL-80308 Gdansk Poland Gdynia Maritime Univ Dept Informat Syst PL-81225 Gdynia Poland

ISBN: (纸本)9783031087547;9783031087530

Mining imbalanced datasets is a challenging and difficult problem. In this paper we adress it by proposing GEP-NB classifier based on the oversampling technique. It combines two learning methods - Gene Expression programming and Naive Bayes, which cooperate to produce a final prediction. At the pre-processing stage a simple mechanism for generating synthetic minority class examples and balancing the training set is used. Next, two genes g1 and g2 are evolved using Gene Expression programming. They differ by applying in each case a different procedure for selecting synthetic minority class examples. If the class prediction by g1 agrees with the class prediction made by g2, their decision is final. Otherwise the final predictive decision is taken by the Naive Bayes classifier. The approach is validated in an extensive computational experiment. Results produced by GEP-NB are compared with performance of several state-of-the-art classifiers. Comparisons show that GEP-NB offers a competitive performance.

关键词： Imbalanced data Oversampling Gene expression programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：