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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

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 co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

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,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

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

共 2150 条记录，以下是591-600 订阅

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

详细简洁

排序：

Resilient Distributed Collection Through Information Speed Thresholds 22nd

Resilient Distributed Collection Through Information Speed T...

引用

22nd international conference on Coordination Models and Languages (COORDINATION)

作者： Audrito, Giorgio Bergamini, Sergio Damiani, Ferruccio Viroli, Mirko Univ Torino Dipartimento Informat Turin Italy Alma Mater Studiorum Univ Bologna Cesena Italy

ISBN: (纸本)9783030500283;9783030500290

One of the key coordination problems in physically-deployed distributed systems, such as mobile robots, wireless sensor networks, and IoT systems in general, is to provide notions of "distributed sensing" achieved by the strict, continuous cooperation and interaction among individual devices. An archetypal operation of distributed sensing is data summarisation over a region of space, by which several higher-level problems can be addressed: counting items, measuring space, averaging environmental values, and so on. A typical coordination strategy to perform data summarisation in a peer-to-peer scenario, where devices can communicate only with a neighbourhood, is to progressively accumulate information towards one or more collector devices, though this typically exhibits problems of reactivity and fragility, especially in scenarios featuring high mobility. In this paper, we propose coordination strategies for data summarisation involving both idempotent and arithmetic aggregation operators, with the idea of controlling the minimum information propagation speed, so as to improve the reactivity to input changes. Given suitable assumptions on the network model, and under the restriction of no data loss, these algorithms achieve optimal reactivity. By empirical evaluation via simulation, accounting for various sources of volatility, and comparing to other existing implementations of data summarisation algorithms, we show that our algorithms are able to retain adequate accuracy even in high-variability scenarios where all other algorithms are significantly diverging from correct estimations.

关键词： Data aggregation Adaptive algorithm Aggregate programming Computational field Gradient

来源：评论

学校读者我要写书评

暂无评论

A mixed linear integer programming formulation and a simulated annealing algorithm for the mammography unit location problem 22

A mixed linear integer programming formulation and a simulat...

引用

22nd international conference on Enterprise Information Systems, ICEIS 2020

作者： de Campos, Marcos Vinícius Andrade de Sá, Manoel Victor Stilpen Moreira Rosa, Patrick Moreira Penna, Puca Huachi Vaz de Souza, Sérgio Ricardo Souza, Marcone Jamilson Freitas Departamento de Computação Centro Federal de Educação Tecnológica Avenida Amazonas 7675 30. Belo Horizonte510-000 Brazil Departamento de Computação Universidade Federal de Ouro Preto Ouro Preto35.400-000 Brazil

ISBN: (纸本)9789897584237

Breast cancer is the most commonly occurring one in the female population. Early diagnosis of this disease, through mammography screening, can increase the chances of cure to 95%. Studies show that Brazil has a relatively satisfactory number of mammography units, but this equipment is poorly geographically distributed. This paper focuses on the Mammography Unit Location Problem (MULP), which aims an efficient distribution of mammography units, in order to increase the covered demand. Focusing on the State of Minas Gerais, Brazil, an analysis is made considering that, in the real world, there is a difficulty in relocating equipment already installed. Therefore, it would be interesting to optimize the location of new equipment purchases. Since MULP is NP-hard, an algorithm based on the Simulated Annealing meta-heuristic is also developed to handle large instances of the problem. Copyright © 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

Bi-level programming Model for Distribution Generation in Active Distribution Network Considering Static Island Power Supply Restoration Strategy 22

Bi-level Programming Model for Distribution Generation in Ac...

引用

22nd international conference on Electrical Machines and Systems (ICEMS)

作者： Chen, Ying Yang, Ping South China Univ Technol Sch Elect Power Guangdong Key Lab Clean Energy Technol Guangzhou 510640 Peoples R China South China Univ Technol Natl Local Joint Engn Lab Wind Power Control & In Guangzhou 511458 Peoples R China

ISBN: (纸本)9781728133980

This paper presents a static island power supply restoration strategy, which can effectively avoid the manual frequent configuration of the network stored in the master station of the integrated energy management system. Combining with the control strategy under this fault state, a method for calculating interruption cost based on Monte Carlo simulation is proposed. Then a hi -level programming model considering the normal and fault operation strategy of active distribution network is obtained. The upper objective of the model is to minimize the net present value of integrated cost, which contains the interruption cost, while the lower objective is to simulate the global optimal control of active distribution network in a long time scale. The simulation results validate the effectiveness and feasibility of the strategy.

关键词： active distribution network distributed generation programming interruption cost reliability power supply restoration

来源：评论

学校读者我要写书评

暂无评论

Ageism and Media Generations in the Croatian Post-socialist Context 1

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Čuvalo, Antonija Faculty of Political Science University of Zagreb Zagreb Croatia

ISBN: (数字)9783030502324

ISBN: (纸本)9783030502317

The paper discusses the concepts of ageism and media generations. The concept of media generations gains increased attention within media studies with the increase in rhythm of social changes driven at least partly by the development of communication and media technologies. The starting point here is that ageism is implied in the bulk of research on the generational differences in media use. Alternative approach is proposed in order to overcome ageism when analysing media use and its implications for the individuals of different age. The alternative is based on the concepts of media generations, generation units and media repertoires. Media repertories [1–3] here serve as an indicator of media generation units on the societal level [4]. Such an approach allows for the shared intergenerational media practices, recognizing also intragenerational diversity and the contemporary complex high choce media environment. This approach is open for the application of the multi-method research strategies. Examples of the analysis of the media generation presented here are from the article by Antonija Čuvalo and Zrinjka Peruško [5] on media generations in Croatia and Dina Vozab’s [6]. The main argument of this article is that the practice-based definition of media generation units through their media repertoire is more useful than dividing the generations by the decade of birth. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Novel DP-TBD Algorithm for Tracking Slowly Maneuvering Targets Using ViSAR Image Sequences 22

A Novel DP-TBD Algorithm for Tracking Slowly Maneuvering Tar...

引用

22nd international conference on Information Fusion (FUSION)

作者： Tian, Xiaoqing Liu, Jing Tan, Shuncheng Xi An Jiao Tong Univ Sch Elect & Informat Engn Xian Shaanxi Peoples R China Naval Aeronaut Univ Inst Informat Fus Yantai Shandong Peoples R China

ISBN: (纸本)9780996452786

We propose a novel algorithm, namely particle filter based dynamic programming track before detect (PF-DP-TBD), to track multiple slowly maneuvering targets using video Synthetic Aperture Radar (ViSAR) image sequences. In the proposed PF-DP-TBD algorithm, an independent particle filter (PF) is adopted around each candidate target. Each PF consists of a number of particles, and evolves according to the dynamic model of targets. A number of predicted states in each PF are selected as the predicted states at each time based on the posterior probabilities. The searching region during the dynamic programming (DP) operation is expanded adaptively. Experimental results show that the proposed algorithm can effectively improve the detection and tracking performance of dynamic programming track before detect (DP-TBD).

关键词： multi-target tracking Video-SAR (ViSAR) images dynamic programming track before detect (DP-TBD) particle filter (PF)

来源：评论

学校读者我要写书评

暂无评论

Predictive Monitoring for Signal Temporal logic with Probabilistic Guarantees 22

Predictive Monitoring for Signal Temporal Logic with Probabi...

引用

22nd ACM international conference on Hybrid Systems: Computation and Control (HSCC)

作者： Qin, Xin Deshmukh, Jyotirmoy V. Univ Southern Calif Los Angeles CA 90007 USA

ISBN: (纸本)9781450362825

Monitoring is an effective approach for identifying safety violations for complex cyber-physical systems. In this poster, we consider safety specifications expressed in Signal Temporal logic (STL). STL is a logic for specifying timed properties of real-valued signals, and there has been significant work on offline and online monitoring of STL formulas on signals. Boolean monitoring techniques solve the problem of determining if a given STL formula is satisfied by a signal, while robust monitoring techniques seek to compute a quantitative degree of satisfaction of the formula. Online techniques can compute satisfaction or violation of the formula when the entire signal is not available, but existing online techniques can only provide worst-case estimates of satisfaction (or violation). In this poster, we propose algorithms to predict the satisfaction or violation of an STL formula when only partial information of a trace (i.e. its prefix) is available. The output of our algorithm is a predicted interval for the robust satisfaction value, along with a probabilistic guarantee on the correctness of the prediction. We demonstrate the utility of our approach on monitoring a safety-critical signal in the context of unmanned aerial vehicle.

关键词： Signal Temporal logic Monitoring Probabilistic Reasoning

来源：评论

学校读者我要写书评

暂无评论

A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases 22nd

A SAT-Based Approach for Mining High Utility Itemsets from T...

引用

22nd international conference on Big Data Analytics and Knowledge Discovery (DaWaK)

作者： Hidouri, Amel Jabbour, Said Raddaoui, Badran Ben Yaghlane, Boutheina Univ Tunis LARODEC High Inst Management Cite Bouchoucha Tunisia Univ Artois CRIL CNRS UMR 8188 Arras France Inst Polytech Paris SAMOVAR Telecom SudParis Paris France

ISBN: (纸本)9783030590659;9783030590642

Mining high utility itemsets is a keystone in several data analysis tasks. High Utility Itemset Mining generalizes the frequent itemset mining problem by considering item quantities and weights. A high utility itemset is a set of items that appears in the transadatabase and having a high importance to the user, measured by a utility function. The utility of a pattern can be quantified in terms of various objective criteria, e.g., profit, frequency, and weight. Constraint programming (CP) and Propositional Satisfiability (SAT) based frameworks for modeling and solving pattern mining tasks have gained a considerable attention in recent few years. This paper introduces the first declarative framework for mining high utility itemsets from transaction databases. First, we model the problem of mining high utility itemsets from transaction databases as a propositional satifiability problem. Moreover, to facilitate the mining task, we add an additional constraint to the efficiency of our method by using weighted clique cover problem. Then, we exploit the efficient SAT solving techniques to output all the high utility itemsets in the data that satisfy a user-specified minimum support and minimum utility values. Experimental evaluations on real and synthetic datasets show that the performance of our proposed approach is close to that of the optimal case of state-of-the-art HUIM algorithms.

关键词： Data mining High utility Constraint programming Propositional satisfiabilty Maximal clique

来源：评论

学校读者我要写书评

暂无评论

Evrostos: The rLTL Verifier 22

Evrostos: The rLTL Verifier

引用

22nd ACM international conference on Hybrid Systems: Computation and Control (HSCC)

作者： Anevlavis, Tzanis Neider, Daniel Phillipe, Matthew Tabuada, Paulo Univ Calif Los Angeles Los Angeles CA 90024 USA Max Planck Inst Software Syst Saarbrucken Germany Catholic Univ Louvain Ottignies Belgium

ISBN: (纸本)9781450362825

Robust Linear Temporal logic (rLTL) was crafted to incorporate the notion of robustness into Linear-time Temporal logic (LTL) specifications. Technically, robustness was formalized in the logic rLTL via 5 different truth values and it led to an increase in the time complexity of the associated model checking problem. In general, model checking an rLTL formula relies on constructing a generalized Buchi automaton of size 5(vertical bar phi vertical bar) where vertical bar phi vertical bar denotes the length of an rLTL formula phi. It was recently shown that the size of this automaton can be reduced to 3(vertical bar phi vertical bar) (and even smaller) when the formulas to be model checked come from a fragment of rLTL. In this paper, we introduce Evrostos, the first tool for model checking formulas in this fragment. We also present several empirical studies, based on models and LTL formulas reported in the literature, confirming that rLTL model checking for the aforementioned fragment incurs in a time overhead that makes the verification of rLTL practical.

关键词： Robustness Formal methods Temporal logic Model Checking

来源：评论

学校读者我要写书评

暂无评论

Coordination of Distributed Energy Resources: Model Predictive Control based Approach 22

Coordination of Distributed Energy Resources: Model Predicti...

引用

22nd international conference on Process Control (PC19)

作者： Balda, Pavel Schlegel, Milos Severa, Ondrej Stetina, Milan Univ West Bohemia Fac Appl Sci NTIS Res Ctr Plzen Czech Republic

ISBN: (纸本)9781728137582

Model predictive control (MPC) is used to solve the economic dispatch problem in an isolated power system with distributed energy resources (DERs), such as renewable energy resources (wind, solar), battery energy storage subsystems and fossil fueled generators (diesel generators). The problem is formulated as a multi-objective optimization problem with the quadratic cost function and subject to some linear constraints. The proposed optimization problem is converted to standard quadratic programming and finally to feedback MPC. Developed optimal coordination of DERs has been implemented and is demonstrated on the simple example.

关键词： model predictive control quadratic programming distributed energy resource microgrid renewable energy

来源：评论

学校读者我要写书评

暂无评论

Home as Experience: The Challenge and Opportunity of Care Home Design 6th

Home as Experience: The Challenge and Opportunity of Care Ho...

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Jiang, Ying Dong, Hua East China University of Science and Technology Shanghai200237 China The Hong Kong Polytechnic University Hong Kong999077 China Loughborough University LoughboroughLE11 3TU United Kingdom

ISBN: (纸本)9783030502485

When older people move into care homes from their own homes, they usually face a confusing situation: they live in a care home, but they do not have a homey feeling. In order to help older residents integrate into the institutional environment, this paper proposes the idea of ‘home as experience’. The study inquiries how design can play a role in transforming a care home into a home, thus influencing residents to regain their sense of belonging. Firstly, the complex meaning of home is discussed through interdisciplinary literature review, and is used to develop the conceptual framework with four dimensions (cultural, physical, social and spiritual). Secondly, critical issues in care homes are revealed. We visited five care homes in the Putuo District of Shanghai, and identified four problematic aspects based on the conceptual framework. Thirdly, according to Dewey’s experience theory, the method of transforming a care home into a home is put forward, including: to identify cultural symbols;to use physical spaces;to build social relations;to discover value believes. Their composition and cooperation construct a process of experiencing being-at-home. This study does not only identify the challenge of care home design by understanding the concept of home, but also provides design opportunities through applying the experience theory. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 56 57 58 59 60 61 62 63 64 65 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：