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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,160 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 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...
27 篇 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,217 篇 英文
30 篇 其他
9 篇 中文
1 篇 葡萄牙文

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

共 1255 条记录，以下是241-250 订阅

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

详细简洁

排序：

Proofs in conflict-driven theory combination 2018

Proofs in conflict-driven theory combination

引用

7th ACM SIGPLAN international conference on Certified Programs and Proofs, CPP 2018

作者： Bonacina, Maria Paola Graham-Lengrand, Stéphane Shankar, Natarajan Dipartimento di Informatica Università degli Studi di Verona Verona Italy CNRS INRIA École Polytechnique Palaiseau France SRI International Menlo Park United States SRI International Menlo Park United States

ISBN: (纸本)9781450355865

Search-based satisfiability procedures try to construct a model of the input formula by simultaneously proposing candidate models and deriving new formulas implied by the input. When the formulas are satisfiable, these procedures generate a model as a witness. Dually, it is desirable to have a proof when the formulas are unsatisfiable. Conflict-driven procedures perform nontrivial inferences only when resolving conflicts between the formulas and assignments representing the candidate model. CDSAT (Conflict-Driven SATisfiability) is a method for conflict-driven reasoning in combinations of theories. It combines solvers for individual theories as theory modules within a solver for the union of the theories. In this paper we endow CDSAT with lemma learning and proof generation. For the latter, we present two techniques. the first one produces proof objects in memory: it assumes that all theory modules produce proof objects and it accommodates multiple proof formats. the second technique adapts the LCF approach to proofs from interactive theorem proving to conflict-driven SMT-solving and theory combination, by defining a small kernel of reasoning primitives that guarantees that CDSAT proofs are correct by construction. © 2018 Copyright held by the owner/author(s). Publication rights licensed to the Association for Computing Machinery.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Enriched modeling and reasoning on business processes with ontologies and answer set programming 16th

Enriched modeling and reasoning on business processes with o...

引用

16th international conference on Business Process Management Forum, BPM Forum 2018

作者： Giordano, Laura theseider Dupré, Daniele DISIT Università del Piemonte Orientale Alessandria Italy

ISBN: (纸本)9783319986500

Domain ontologies may provide the proper level of abstraction in modeling semantic constraints and business rules in BPM;in fact, ontologies are intended to define terminologies to be shared within and across organizations and reused in different applications. In this paper we show how Answer Set programming (ASP), a powerful framework for declarative problem solving, can accommodate for domain ontologies in modeling and reasoning about Business Processes, especially for process verification. Description logics (DLs) provide the formal counterpart of ontologies, and in our approach knowledge on the process domain is expressed in a low-complexity DL. Terms from the ontology can be used in embedding business rules in the model as well as in expressing constraints that should be verified to achieve compliance by design. Causal rules for reasoning on side-effects of activities in the process domain can be derived, based on knowledge expressed in the DL. We show how ASP can accommodate them, relying on a reasoning about actions and change approach, for process analysis, and, in particular, for verifying formulas in temporal logic. © Springer Nature Switzerland AG 2018.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Statistical Optical Image Analysis for Information System

Statistical Optical Image Analysis for Information System

引用

IEEE international conference on Future Internet of things and Cloud Workshops (FiCloudW)

作者： Oleksandr O. Ryazantsev Ganna M. Khoroshun Andrii I. Riazantsev Vitalii Ivanov Aleksandr Baturin Volodymyr Dahl East Ukrainian National University Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine

ISBN: (数字)9781728144115

ISBN: (纸本)9781728144122

Optical image processing methods are important for creation and development of an automated measuring information optical system. Statistical methods provide additional information, a better understanding of the object that is being studied. they allow describing main features of the image by several parameters, such as mean value, median and standard deviation. For correlation of the computer simulation and experimental data the method of signal quantization is described. It is defined the parameters of the fitted normal distribution for the optical image variation curve and consent criteria of empirical and theoretical data by Romanovsky method. Obtained results can be used as the preliminary analysis for digital processing of the optical image with application in compression and encryption, holography, identification and tracking.

关键词： Optical imaging Optical diffraction Holography Adaptive optics Standards Holographic optical components Fitting

来源：评论

学校读者我要写书评

暂无评论

automated Design of Genetic programming Classification Algorithms for Financial Forecasting Using Evolutionary Algorithms 7th

Automated Design of Genetic Programming Classification Algor...

引用

7th international conference on the theory and Practice of Natural Computing (TPNC)

作者： Nyathi, thambo Pillay, Nelishia Univ KwaZulu Natal Sch Math Stat & Comp Sci 4 Golf Rd Pietermaritzburg South Africa Univ Pretoria Dept Comp Sci Lynnwood Rd ZA-0002 Pretoria South Africa

ISBN: (纸本)9783030040703;9783030040697

In this work two metaheuristic algorithms namely, a genetic algorithm (GA) and grammatical evolution (GE) are used to configure genetic programming classification algorithms for financial forecasting. the performance of the classifiers evolved through a GA and GE design are compared to the performance of classifiers evolved using the traditional manual design approach. Fifteen stocks from varied sectors are selected to evaluate the performance. Additionally, the fitness landscape of the design space evolved by grammatical evolution and the genetic algorithm is evaluated. Results demonstrate that GE designed algorithms evolve classifiers that perform better than those designed by a GA and manually designed. Furthermore, it is established that the GA design space is more rugged than the GE design space.

关键词： Genetic programming Grammatical evolution Genetic algorithms Financial forecasting Classification

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017

7th International Workshop on Structured Object-Oriented For...

引用

7th international Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017

ISBN: (纸本)9783319901039

the proceedings contain 13 papers. the special focus in this conference is on Structured Object-Oriented Formal Language and Method. the topics include: A Software Tool to Support the “Vibration’’ Method;a Software Tool to Support Scenario-Based Formal Specification for Error Prevention;a Proof Score Approach to Formal Verification of an Imperative programming Language Compiler;An Investigation of Integrating aGUI-Aided Approach andaSpecification-Based Testing;on the Cooperative Graph Searching Problem;Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach;the Complexity of Linear-Time Temporal logic Model Repair;Extending UML for Model Checking;foundation of a Framework to Support Compliance Checking in Construction Industry;An Improved Reliability Testing Model Based on SOFL;A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Microflows: Leveraging Process Mining and an automated Constraint Recommender for Microflow Modeling 1

引用

7th international Symposium on Business Modeling and Software Design (BMSD)

作者： Oberhauser, Roy Stigler, Sebastian Aalen Univ Comp Sci Dept Aalen Germany

ISBN: (数字)9783319784281

ISBN: (纸本)9783319784281;9783319784274

Businesses and software development processes alike are being challenged by the digital transformation and agility trend. Business processes are increasingly being automated yet are also expected to be agile. Current business process modeling is typically labor-intensive and results in rigid process models. For larger processes it becomes arduous to consider all possible process variations and enactment circumstances. Contemporaneously, in software development microservices have become a popular software architectural style for partitioning business logic into fine-grained services accessible via lightweight protocols which can be rapidly and individually developed by small teams and flexibly (re) deployed. this results in an increasing number of available services and a much more dynamic IT service landscape. thus, a more dynamic form of modeling, integration, and orchestration of these microservices with business processes is needed. this paper describes agile business process modeling with Microflows, an automatic lightweight declarative approach for the workflow-centric orchestration of semantically-annotated microservices using agent-based clients, graph-based methods, and the lightweight semantic vocabularies JSON-LD and Hydra. A graphical modeling tool supports Microflow modeling and provides dynamic constraint and microservice recommendations via a recommender service using machine learning of domain-categorized Microflows. To be able to utilize existing process model knowledge, a case study shows how Microflow constraints can be automatically extracted from existing Business Process Modeling Notation (BPMN) process files and transformed into flexible Microflow constraints, which can then be used to train the recommendation service. Further, it describes process mining of Microflow execution logs to automatically extract BPMN models and automated recovery for errors occurring during enactment.

关键词： Business process modeling Workflow management systems Microservices Service orchestration Agent systems Semantic technology Declarative programming Recommenders Recommendation engines Business process mining Business Process Modeling Notation

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic-Based Expert System for Prediction of Wear Rate in Selective Inhibition Sintered HDPE Parts 7

Fuzzy Logic-Based Expert System for Prediction of Wear Rate ...

引用

7th international conference of Materials Processing and Characterization (ICMPC)

作者： Rajamani, D. Esakki, Balasubramanian Arunkumar, P. Velu, R. Vel Tech Univ Ctr Autonomous Syst Res Dept Mech Engn Madras 600062 Tamil Nadu India

Selective inhibition sintering (SIS) is a novel additive manufacturing process to build parts with least human effort and cost. the SIS made high density polyethylene (HDPE) parts undergo wear, which is robustly influenced by the SIS process parameters like layer thickness, heat energy, heater feed rate and printer feed rate. Predicting the wear rate being a complex phenomenon, a fuzzy logic based expert system is proposed to evaluate the wear characteristics of SIS made HDPE specimens. Experiments are conducted using pin-on-disc wear testing apparatus to examine the wear rate. Comparative evaluation of experiments and fuzzy approach suggested that the obtained average error of wear rate using fuzzy system is concord with experimental results. Hence, the developed fuzzy rules can be effectively utilized to predict the wear rate of SIS polymer parts in automated manufacturing environments. (c) 2017 Elsevier Ltd. All rights reserved.

关键词： selective inhibition sintering fuzzy logic wear rate high density polyethylene

来源：评论

学校读者我要写书评

暂无评论

Everybody's Got To Be Somewhere 7

Everybody's Got To Be Somewhere

引用

7th Workshop on Mathematically Structured Functional programming (MSFP) / 2nd international conference on Formal Structures for Computation and Deduction (FSCD) part of the Federated logic conference (FLoC)

作者： McBride, Conor Univ Strathclyde Math Struct Programming Grp Dept Comp & Informat Sci Glasgow Lanark Scotland

the key to any nameless representation of syntax is how it indicates the variables we choose to use and thus, implicitly, those we discard. Standard de Bruijn representations delay discarding maximally till the leaves of terms where one is chosen from the variables in scope at the expense of the rest. Consequently, introducing new but unused variables requires term traversal. this paper introduces a nameless 'co-de-Bruijn' representation which makes the opposite canonical choice, delaying discarding minimally, as near as possible to the root. It is literate Agda: dependent types make it a practical joy to express and be driven by strong intrinsic invariants which ensure that scope is aggressively whittled down to just the support of each subterm, in which every remaining variable occurs somewhere. the construction is generic, delivering a universe of syntaxes with higher-order meta variables, for which the appropriate notion of substitution is hereditary. the implementation of simultaneous substitution exploits tight scope control to avoid busywork and shift terms without traversal. Surprisingly, it is also intrinsically terminating, by structural recursion alone.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Low-Cost and Energy-Efficient Smart Dust Cleaning Technique for Solar Panel System 7

A Low-Cost and Energy-Efficient Smart Dust Cleaning Techniqu...

引用

7th international conference on Smart Grid and Clean Energy Technologies (ICSGCE)

作者： Najeeb, Nithin Sha Soori, Prashant Kumar Kumar, T. Ramesh Heriot Watt Univ Sch Engn & Phys Sci Dubai U Arab Emirates Phoenix Contact Middle East Dubai U Arab Emirates

ISBN: (纸本)9781538667965

Dust accumulation or soiling is a major challenge faced by the solar farm which are in the desert areas where the solar resource is available in plenty. Dust can be classified as any particles on the panels which blocks the sun's irradiance from reaching the solar cell. Soling is more prominent in solar farm which are placed in non-arid environment (Desert Regions). the performance of the Photovoltaic Systems is greatly affected by dust accumulation or soiling. Current methods used in the markets are costly, labour based, involves periodic battery replacement, more water usage, immense mechanical components and requires cyclic maintenance. this paper presents a low cost, energy efficient, smart dust cleaning technology for PV Panels, which shall mitigate the local climatic challenges in solar farm. the cleaning system is designed, automated using Programmable logic Controller (ILC 131 Eth) which controls the devices used in the cleaning system and tested successfully. Particularly, the proposed solar cleaning system is expected to enhance the system efficiency of the Solar panels in the United Arab Emirates (UAE) and other Gulf Cooperation Council (GCC) countries which have climatic conditions of dusty weather conditions.

关键词： dust accumulation human machine interface (HMI) nozzle Programmable logic Controller (PLC) soiling

来源：评论

学校读者我要写书评

暂无评论

7th international conference on the theory and Practice of Natural Computing, TPNC 2018

7th International Conference on the Theory and Practice of N...

引用

7th international conference on the theory and Practice of Natural Computing, TPNC 2018

ISBN: (纸本)9783030040697

the proceedings contain 36 papers. the special focus in this conference is on theory and Practice of Natural Computing. the topics include: A linear constrained optimization benchmark for probabilistic search algorithms: the rotated klee-minty problem;the design of (almost) disjunct matrices by evolutionary algorithms;how the “Baldwin Effect” can guide evolution in dynamic environments;landscape-aware constraint handling applied to differential evolution;fuel efficient truck platooning with time restrictions and multiple speeds solved by a particle swarm optimisation;automated design of genetic programming classification algorithms for financial forecasting using evolutionary algorithms;optimizing fleet staging of air ambulances in the Province of Ontario;a Hierarchical approach to grammar-guided genetic programming: the case of scheduling in heterogeneous networks;multi-memetic mind evolutionary computation algorithm based on the landscape analysis;computing preimages and ancestors in reaction systems;DNA-guided assembly of nanocellulose meshes;classically time-controlled quantum automata;mortal organisms rescue immortal organisms from evolutionary inertness: Perspective of the programmed self-decomposition model;integrative biological, cognitive and affective modeling of a drug-therapy for a post-traumatic stress disorder;symbolic analysis of machine behaviour and the emergence of the machine language;it is time to dissolve old dichotomies in order to grasp the whole picture of cognition;network-oriented modeling of the interaction of adaptive joint decision making, bonding and mirroring;network reification as a unified approach to represent network adaptation principles within a network;relating an adaptive network’s structure to its emerging behaviour for Hebbian learning;on capacity with incremental learning by simplified chaotic neural network.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：