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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,156 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

1,250 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

921 篇 工学
- 869 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
241 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
26 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,235 篇 英文
8 篇 其他
8 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1251 条记录，以下是141-150 订阅

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

详细简洁

排序：

PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop 2020, co-located with the 10th international Joint conference on automated reasoning, IJCAR 2020

PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop ...

引用

Joint of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop, PAAR+SC-Square 2020

the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for saturation-based theorem proving;simplifying casts and coercions;evaluation of axiom selection techniques;equality preprocessing in connection calculi;give reasoning a Trie;directed graph networks for logical reasoning;efficient implementation of large-scale watchlists;cutting down the TPTP language (and others);and Boolean reasoning in a higher-order superposition prover.

关键词：

来源：评论

学校读者我要写书评

暂无评论

automated Testing and Deployment Strategies for Quantum Algorithms

Automated Testing and Deployment Strategies for Quantum Algo...

引用

international conference on Contemporary Computing and Informatics (IC3I)

作者： Mohit Chandra Saxena Abhishek Tamrakar Ulises Arranz Universidad Politécnica de Madrid Madrid Spain

ISBN: (数字)9798350350067

ISBN: (纸本)9798350350074

the advent of quantum computing has ushered in a new era of technological innovation, promising unprecedented computational power and efficiency. As quantum technology matures, the need for robust, scalable, and efficient software development practices becomes increasingly critical. this paper proposes a novel DevOps framework tailored specifically for quantum software development, addressing unique challenges posed by quantum computing. the proposed architecture incorporates continuous integration and continuous deployment (CI/CD) pipelines, optimized for quantum algorithms, facilitating seamless integration and deployment of quantum applications. Key components include a Quantum Circuit Service for circuit design and optimization, a Quantum CI Service for continuous integration, and a comprehensive testing suite encompassing unit, integration, functional, and probabilistic testing. the framework emphasizes the use of large language models (LLMs) for automated microservice code generation, Kubernetes (K8s) cluster deployment for scalable infrastructure management, and a central quantum artifacts registry for efficient version control and resource management. A significant portion of this paper is dedicated to addressing the unique aspects of quantum computing, including the probabilistic nature of quantum algorithms, the need for specialized testing strategies, and the integration of classical and quantum software components. the proposed framework not only enhances the efficiency and reliability of quantum software development but also provides a structured approach to managing the complexities associated with quantum computing.

关键词： Software testing Technological innovation Quantum computing DevOps Quantum algorithm Continuous integration Probabilistic logic Software Software reliability Resource management

来源：评论

学校读者我要写书评

暂无评论

RoboCIM: Towards a domain model for industrial robot system configurators 15

RoboCIM: Towards a domain model for industrial robot system ...

引用

15th international Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021, RuleML+RR-Companion 2021

作者： Tola, Daniella Gomes, Cláudio Schultz, Carl Schlette, Christian Hansen, Casper Esterle, Lukas Aarhus University Aarhus Denmark University of Southern Denmark Odense Denmark Technicon ApS Hobro Denmark

Determining which components are required for a system configuration, and whether they are compatible, can be a difficult task, especially in an industry with significant amounts of information that resides within a group of experts. In this paper we illustrate some of the main challenges we and our industrial partner (Technicon) face when configuring a robot system (typically consisting of a robotic arm, end effector, coupling device, and a base) and present our domain model, Robot System Configurator Information Model (RoboCIM). We formalise the model within a defeasible reasoning framework, in order to explicitly capture cases where information is missing or is obtained from the system integrators' experience. We provide a prototype implementation of the framework in ASP and evaluate it on a subset of components from Technicon's component catalogue, illustrating the feasibility of the configurator. © 2021 for this paper by its authors.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Novel Enthusiasm Evaluating Method for Code programming Curriculum

Novel Enthusiasm Evaluating Method for Code Programming Curr...

引用

7th international conference on Applied System Innovation, ICASI 2021

作者： Wu, JainShing Chien, Ting-Hsuan Yang, Chin-Yi Chien, Li-Ren Department of Computer Science and Information Management Providence University Taichung City Taiwan 18 DICE Education Technology Co. Ltd Taichung City Taiwan National Chung Cheng University Department of Computer Science and Information Engineering Taichung City Taiwan

ISBN: (纸本)9781665441438

In order to improve the logical ability of all youths, the governments of different countries have set the code programming curriculum in high school as one of their education policies. Hence, some programming aid software are developed for student trying to learn how to program, taking exams on the system, and evaluating the students according to the codes of students. However, it is hard to know the enthusiasm from learning of the students which directly impact the following learning status of students. Hence, observing the enthusiasm from learning of the students is important for teachers. In our previous work, we used the Fuzzy logic to evaluate the enthusiasm of the students from the log files in the DICE system. However, it only observes the login frequency and during time. In this paper, we provide a novel way to improve the evaluating the enthusiasm of the students. First, we analyze the all the information from the log files. And then, we store all behaviors with time stamp of one student into one special tensor. After all tensors of all students ready, we send input them to the Convolution Neural Network (CNN) to classify the students to three categories 'passion', 'normal' and 'apathetic.' We used log files with the number of over 206. We separate the dataset into training and testing datasets 20 times randomly. the accuracy of training dataset is 100%, and the accuracy of average testing dataset is 93.01%. the experimental results show that we can separate the students into the three categories. Hence, for our new method can significantly measure the learning enthusiasm of the students. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

14th international conference on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools, ICAFS 2020

14th International Conference on Applications of Fuzzy Syste...

引用

14th international conference on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools, ICAFS 2020

ISBN: (纸本)9783030640576

the proceedings contain 103 papers. the special focus in this conference is on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools. the topics include: Vegetation Index Formation Using Fuzzy Analyses of Object Multispectral Reflection;the Challenge of Adaptation in Future Networking Environment: Engineering Methodology;machine Learning in automated Chest Radiographs Classification;machine Learning for Better Understanding of Autistics;Evaluation of the Management and Prevention of Covid-19 Pandemic in Most Infected Countries via Fuzzy PROMEthEE Approach;fuzzy Dynamic programming-Based Multi-stage Transportation Problem;comparative Assessment of the Regional Freight Transportation by Method of Fuzzy Linear Regression;construction of Device for Fuzzy Chaos Signal Generation;monadic Automata with Relational Morphisms;dental Disease Detection Using Fuzzy logic;evaluation of the Effectiveness of Integration Processes in Production Enterprises Based on the Fuzzy logic Model;fuzzy Approach for Evaluation of Student’s Performance;the Man Who Changed the Scientific World: To the Centenary of the Birth of Lotfi Zadeh;z-set Based Approach to Control System Design;combined Heat and Power Economic Emission Dispatch Applying Exchange Market Algorithm with Fuzzy Satisfying Techniques;intuitionistic Fuzzy Assessment of Aggregated Quality of Life Index;review of Place Recognition Approaches: Traditional and Deep Learning Methods;fuzzy reasoning in Music;integrative Jurisprudence from Fuzzy logic Perspective;ecological and Economic Security Processes Modeling with Cloud-Based Soft Computing;transformation of Mathematical Methods for Assessing the State of Economic Systems in Digitalization Based on the theory of Fuzzy Sets (Review);Prediction of Daily Solar Irradiation Using CNN and LSTM Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Some the approximate reasoning models over attribute logic semantic

Some the approximate reasoning models over attribute logic s...

引用

international conference on Systems and Informatics (ICSAI)

作者： Jialu Zhang Juan Xiao College of Mathematics and Information Science Xiangnan University Chenzhou China College of Computer and Artificial Intelligence Xiangnan University Chenzhou China

ISBN: (纸本)9781665426251

By using the methods of triple-I reasoning for all implication, we give the solutions of generalized MP rules and MT rules in attribute logic, and propose some approximate reasoning methods based on generalized MP rules and MT rules. We also proposed an approximate reasoning method based on the attribute logic pseudo-metric, and discuss the relation among various approximate reasoning methods.

关键词： Semantics Cognition Mathematical models Informatics Context modeling

来源：评论

学校读者我要写书评

暂无评论

Dynamic programming-Based Optimal Charging Scheduling for Electric Vehicles

Dynamic Programming-Based Optimal Charging Scheduling for El...

引用

IEEE international conference on Intelligent Transportation Engineering (ICITE)

作者： Kuan Li Ying Zhang Chenglie Du Tao You Lu Bai Jiaming Wu School of Software Northwestern Polytechnical University Xi’an China School of Computer Science Northwestern Polytechnical University Xi’an China Department of Architecture and Civil Engineering Chalmers University of Technology Gothenburg Sweden

the charging scheduling of electric vehicles not only affects the operation of the grid system, but also affects the charging cost of vehicle users. this paper studies the charging scheduling problem of electric vehicles from the user’s perspective by considering the grid’s as well as the user’s needs. On the basis of real-time electricity prices, an electric vehicle charging scheduling system aiming at the lowest charging cost is designed and an optimal charging scheduling method based on dynamic programming is established. In order to reduce the unnecessary computational expenses, this paper optimizes the dynamic programming algorithm, and defines the state transition limit of the dynamic programming search space according to the actual constraints, which reduces the computational complexity. the simulation results show that, on the premise of satisfying the power constraints and user charging demands, the electric vehicles charging scheduling system can effectively reduce the charging cost and time. In addition, the charging process has little impact on the power system from the perspective of grid fluctuation.

关键词： Fuzzy logic Vehicle-to-grid Costs Fluctuations Processor scheduling Simulation Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 5th

Combining Deep Learning and ASP-Based Models for the Semanti...

引用

5th international Joint conference on Rules and reasoning (RuleML+RR)

作者： Bruno, Pierangela Calimeri, Francesco Marte, Cinzia Manna, Marco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy

ISBN: (纸本)9783030911676;9783030911669

Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and medicine, as it allows to provide clinicians important with information for interventional and diagnostic tasks. Recent advancements in Deep Learning (DL), such as Convolutional Neural Networks (CNNs), have proved to be greatly promising in identifying anatomical and pathological structures, and in extracting meaningful patterns from huge amounts of data. However, such approaches suffer from the lack of proper means for interpreting the choices made by the models, and it is not easy to drive the decisions according to prior knowledge. In this context, deductive rule-based approaches, such as Answer Set programming (ASP), can allow to effectively encode problems or specific features via logic programs in a declarative fashion, while possibly also helping at improving performance. In this seminal work, we propose the use of ASP to drive DL approaches in performing semantic segmentation of medical images. Specifically, we encoded prior medical knowledge via ASP, thus defining a rule-based model for deducting all admitted combinations of classes and right locations in medical images. the results of an experimental analysis are reported with the aim to assess the viability of the proposed approach.

关键词： Answer set programming Knowledge representation and reasoning Deep learning Semantic segmentation Inductive-deductive coupling

来源：评论

学校读者我要写书评

暂无评论

Algorithms Design for Fuzzy Control by Power Streams in Conditions of Underground Extraction of Iron Ore 7

Algorithms Design for Fuzzy Control by Power Streams in Cond...

引用

7th IEEE international conference on Energy Smart Systems (IEEE ESS)

作者： Sinchuk, Oleg Kupin, Andrey Sinchuk, Igor Dozorenko, Oleg Krasnopolsky, Roman Kryvyi Rih Natl Univ Dept AESIT Kryvyi Rih Ukraine Kryvyi Rih Natl Univ Dept CSN Kryvyi Rih Ukraine

ISBN: (纸本)9781728197876

the relevance of automated controlling of energy flows in conditions of underground extraction of iron ore has been shown. the vector of the object state, the main information parameters, controlling actions and disturbances have been determined. Algorithms of automated controlling have been developed using several strategies and controlling channels. the principles of the implementation of mentioned algorithms based on the using of fuzzy logic (Fuzzy logic) have been proposed. the simulation of the fuzzy controllers operation in the environment of the software package MatLab has been implemented. the efficiency of the algorithms of the operation of fuzzy controllers in conditions of single-channel and multi-channel controlling has been proved.

关键词： automated controlling of energy flows Fuzzy logic algorithms criteria system mine

来源：评论

学校读者我要写书评

暂无评论

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order logic 22nd

Facets of the PIE Environment for Proving, Interpolating and...

引用

22nd international conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint logic programming, WFLP 2019

作者： Wernhard, Christoph Berlin Germany

ISBN: (纸本)9783030467135

PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and as outputs of reasoning tasks such as second-order quantifier elimination and Craig interpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and-formatted natural language text. Starting from various examples, the paper discusses features and application possibilities of PIE along with current limitations and issues for future research. © 2020, Springer Nature Switzerland AG.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：