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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

主题

86 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 semantics
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 software enginee...
10 篇 logic gates
9 篇 genetic programm...
9 篇 formal logic
9 篇 logic
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 条记录，以下是141-150 订阅

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

详细简洁

排序：

Convivial Design Heuristics for Software Systems 20

Convivial Design Heuristics for Software Systems

引用

4th international conference on the Art Science and Engineering of programming

作者： Kell, Stephen Univ Kent Canterbury Kent England

ISBN: (纸本)9781450375078

Illich's notion of conviviality centres on the balance between individual freedom to act and collective freedom from domination. this balance, or tension, is present in the design of most user-facing computer systems, and especially in the design of programming systems. Software lore has arisen with at best a skewed perspective on such issues, having developed from an industrial viewpoint. In this paper I survey some tentative design principles, extracted from examples of research work or (more often) systems used in practice, which (sometimes by accident) do show some regard for conviviality. Although preliminary, my hope is that these principles may yet develop into a collection of design hints at least equal, and largely countervailing, to the less conviviality-prone ideas circulating in today's software folklore. Relevant topics include language design, information hiding, language virtual machines, portability, classical logic, and layered system design. I also briefly consider the intertwined social and political constructs, such as copyleft, ownership and community responsibility, asking how to evolve or generalise these towards convivial ends.

关键词： programming design modularity culture conviviality

来源：评论

学校读者我要写书评

暂无评论

theory and Practice in Large Carpooling Problems

Theory and Practice in Large Carpooling Problems

引用

5th international conference on Ambient Systems, Networks and Technologies (ANT) / 4th international conference on Sustainable Energy Information Technology (SEIT)

作者： Hartman, Irith Ben-Arroyo Keren, Daniel Abu Dbai, Abed Cohen, Elad Knapen, Luk Yasar, Ansar-Ul-Haque Janssens, Davy Univ Haifa Dept Comp Sci IL-3498838 Haifa Israel Univ Haifa Caesarea Rothschild Inst IL-3498838 Haifa Israel Hasselt Univ Transportat Res Inst IMOB B-3950 Diepenbeek Belgium

We address the carpooling problem as a graph-theoretic problem. If the set of drivers is known in advance, then for any car capacity, the problem is equivalent to the assignment problem in bipartite graphs. Otherwise, when we do not know in advance who will drive their vehicle and who will be a passenger, the problem is NP-hard. We devise and implement quick heuristics for both cases, based on graph algorithms, as well as parallel algorithms based on geometric/algebraic approach. We compare between the algorithms on random graphs, as well as on real, very large, data. (C) 2014 Published by Elsevier B.V.

关键词： Carpooling Linear programming Maximum Weighted Matching Star Partition Problem Gradient Projection Algorithm Scalability Incremental Algorithms

来源：评论

学校读者我要写书评

暂无评论

Smart Load Optimisation Overload and Short Circuit Fault Monitoring using Programmable logic Controller & SCADA 4

Smart Load Optimisation Overload and Short Circuit Fault Mon...

引用

4th international conference on Soft Computing for Security Applications, ICSCSA 2024

作者： Bhowmick, Debraj Adling, Hrushikesh V. Kawade, Amol B. Pardeshi, Dipesh Sanjivani College of Engineering Department of Electrical Engineering A.Nagar Kopargaon India

ISBN: (纸本)9798331515720

this research presents a real-time automatic control system for ensuring reliable power supply in distributed generation systems. Leveraging Programmable logic Controllers (PLCs) and Supervisory Control and Data Acquisition (SCADA), the system prioritizes and dynamically switches loads based on available power sources. By utilizing ladder logic for PLC programming and SCADA for centralized monitoring, the system effectively manages power distribution and minimizes manual intervention. Demonstrated in industrial settings, this approach enhances operational efficiency and reliability, particularly in regions prone to power outages. © 2024 IEEE.

关键词： SCADA systems

来源：评论

学校读者我要写书评

暂无评论

An implementation platform for query-answering in default logics: the XRay system, its implementation and evaluation 4th

An implementation platform for query-answering in default lo...

引用

4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)

作者： Schaub, T Nicolas, P Univ Angers Fac Sci LERIA F-49045 Angers 01 France

ISBN: (纸本)3540632557

We present an implementation platform for query-answering in default logics. the overall approach along with its implementation, the XRay system, allows for query-answering from default theories supporting local proof procedures. the deductive power of XRay stems from its usage of Prolog Technology theorem Proving Techniques (PTTP) supported by further enhancements, such as default lemma handling and regularity-based truncations of the underlying search space. the generality of the approach, allowing for a (simultaneous) treatment of different default logics, stems from a novel model-based approach to consistency checking.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

A contextual approach to the logic of fiction

引用

4th international and Interdisciplinary conference on Modeling and Using Context (CONTEXT 2003)

作者： Nossum, R Agder Univ Coll Kristiansiad Norway

ISBN: (纸本)3540403809

An algebraic variant of multi-context logic is considered as an alternative to existing logical accounts of fictional discourse. An associative and idempotent operator on reified fictions supercedes Woods' olim modality. Soundness and completeness results are obtained for certain inter-fictional deductive rules relative to semantical conditions which respect the 'authorial say-so' criterion of fictional truth.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

User-Defined Interface Mappings for the GraalVM 20

User-Defined Interface Mappings for the GraalVM

引用

4th international conference on the Art Science and Engineering of programming

作者： Riese, Alexander Niephaus, Fabio Felgentreff, Tim Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Oracle Labs Potsdam Germany

ISBN: (纸本)9781450375078

To improve programming productivity, the right tools are crucial. this starts with the choice of the programming language, which often predetermines the libraries and frameworks one can use. Polyglot runtime environments, such as GraalVM, provide mechanisms for exchanging objects and sending messages across language boundaries, which allow developers to combine different languages, libraries, and frameworks with each other. However, polyglot application developers are obligated to properly use the right interfaces for accessing their data and objects from different languages. To reduce the mental complexity for developers and let them focus on the business logic, we introduce user-defined interface mappings - an approach for adapting cross-language messages at run-time to match an expected interface. thereby, the translation strategies are defined in an exchangeable and easy-to-edit configuration file. thus, different stakeholders ranging from library and framework developers up to application developers can use and extend these mappings for their needs.

关键词： polyglot programming language interoperability portability patterns

来源：评论

学校读者我要写书评

暂无评论

A Linear Integer programming Method for Section Location in Distribution Networks Under Multiple Faults 4

A Linear Integer Programming Method for Section Location in ...

引用

4th international conference on Intelligent Power and Systems, ICIPS 2024

作者： Wang, Qiujie Gan, Dewei Ji, Chenxu Xiao, Hao Tan, Hong China Three Gorges University College of Electrical Engineering and New Energy Yichang China

ISBN: (纸本)9798331532765

Existing linearized section location methods for distribution networks are only applicable to single faults. In response, this paper proposes a linear integer programming method for section location in distribution networks that is suitable for multiple faults. Firstly, based on fault-tolerant mechanism analysis, a switch function tailored for multiple faults is developed. Secondly, the method incorporates phasor measurement unit (PMU) information fault information into the section location process, constructing a logical model for section location in distribution networks. Finally, by applying three transformation principles between logical and algebraic relationships, the logical model is converted into a linear integer programming model, which is solved using MATLAB+CPLEX. Case studies demonstrate that the proposed linear integer programming method for section location in distribution networks achieves fast location speed and robust fault tolerance, making it suitable for both single and multiple faults. © 2024 IEEE.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Lukasiewicz's 4-valued logic and normal modal logics

Lukasiewicz's 4-valued logic and normal modal logics

引用

4th Indian international conference on Artificial Intelligence, IICAI 2009

作者： Majkic, Zoran Prasad, Bhanu Applied Mathematics Department ETF University of Belgrade Serbia Department of Computer and Information Sciences Florida A and M University Tallahassee FL 32307 United States

ISBN: (纸本)9780972741279

In this paper, we investigate the Lukasiewicz's 4-valued modal logic based on the Aristotele's modal syllogistic. We present a new interpretation of the set of algebraic truth values by introducing the truth and knowledge orderings similar to those in Belnap's 4-valued bilattice but by replacing the original Belnap's negation with the lattice pseudo-complement instead. Based on it. we develop a formal modal Boolean algebra for Lukasiewicz's system. We show that this modal algebra corresponds to the standard normal modal logic and develop an autoreferential Kripke-style semantics for it. where Lukasiewicz Aristotele's ''necessity" operator is an existential additive instead of an universal (standard) multiplicative modal operator. Moreover, we show that the standard (modem) ne- cessity modal operator based on S4 accessibility relation (the truth partial order in Lukasiewicz Belnap's bilattice) is an identity and consequently is not useful in Lukasiewicz's system. Copyright © 2009 by IICAI.

关键词： Boolean algebra

来源：评论

学校读者我要写书评

暂无评论

Learning qualitative relations in real world scenes

Learning qualitative relations in real world scenes

引用

4th international conference on Information and Automation for Sustainability

作者： Ranasinghe, D. D. M. Karunananda, A. S. Ratnayake, U. Open Univ Fac N Sc Dept Math & Comp Sci Nugegoda Sri Lanka Open Univ Fac Engn Dept Elect & Comp Engn Nugegoda Sri Lanka Univ Moratuwa Fac Informat Technol Moratuwa Sri Lanka

ISBN: (纸本)9781424428991

Learning from visual scenes is an innate ability of human beings yet an unresolved and highly complex task for machines and is being addressed in the area of cognitive vision systems. Most of the present developments in cognitive vision systems adopt quantitative or model base approaches. Quantitative approaches involve tedious calculations and yield black box type of learning while in model base approaches the structure of the model has to he known before hand, which is not practical in all situations. therefore, this research work primarily adopts a qualitative approach in learning from visual scenes and inductive logic programming is used to learn rules of a visual scene from a pool of example scenes. the prototype system developed is capable of learning accurate rules, which in turn used for learning new models and the system is capable of learning beyond initial specifications.

关键词： cognitive vision systems qualitative spatial reasoning temporal reasoning inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 4th conference of the European Society for Fuzzy logic and Technology and 11th French Days on Fuzzy logic and Applications, EUSFLAT-LFA 2005 Joint conference

Proceedings - 4th Conference of the European Society for Fuz...

引用

Joint 4th conference of the European Society for Fuzzy logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy logic and Applications, LFA 2005

ISBN: (纸本)8476538723

the proceedings contain 222 papers. the topics discussed include: a note on pseudo-Archimedean and non-cancellative t-norm;on iterative boolean-like laws of fuzzy sets;treatment of the incomplete information in L-fuzzy contexts*;on the characterization of self-dual aggregation operators;new axiomatizations of the shapley interaction index for bi-capacities;on fuzzy goal programming with piecewise linear membership functions;optimization of the fuzzy logic controller for an autonomous UAV;geometric interval type-2 fuzzy systems;aggregation and non-contradiction;a fuzzy clustering approach for supervision of biological processes by image processing;self-contradiction degrees in intuitionistic fuzzy sets;analysis of a mean operator for data fusion;and fuzzy models and cointegration analysis for the forecast of tourist demand.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：