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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,652 篇 工学
- 1,295 篇 计算机科学与技术...
- 658 篇 软件工程
- 368 篇 电气工程
- 252 篇 控制科学与工程
- 110 篇 信息与通信工程
- 106 篇 机械工程
- 61 篇 电子科学与技术（可...
- 40 篇 动力工程及工程热...
- 36 篇 交通运输工程
- 34 篇 仪器科学与技术
- 24 篇 建筑学
- 24 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 生物工程
- 22 篇 公安技术
- 21 篇 安全科学与工程
- 20 篇 土木工程
405 篇 理学
- 302 篇 数学
- 60 篇 系统科学
- 54 篇 物理学
- 47 篇 统计学（可授理学、...
- 28 篇 生物学
- 25 篇 化学
238 篇 管理学
- 178 篇 管理科学与工程(可...
- 75 篇 图书情报与档案管...
- 60 篇 工商管理
71 篇 教育学
- 71 篇 教育学
33 篇 经济学
- 26 篇 应用经济学
28 篇 医学
- 19 篇 基础医学(可授医学...
26 篇 法学
- 18 篇 社会学
9 篇 农学
9 篇 艺术学
4 篇 文学
1 篇 哲学

主题

184 篇 logic gates
172 篇 fuzzy logic
150 篇 programming
107 篇 logic programmin...
94 篇 linear programmi...
76 篇 artificial intel...
71 篇 dynamic programm...
59 篇 software enginee...
59 篇 probabilistic lo...
58 篇 optimization
57 篇 computer science
57 篇 semantics
48 篇 software
46 篇 logic design
44 篇 formal logic
44 篇 computer archite...
43 篇 mathematical mod...
42 篇 mathematical log...
42 篇 computer program...
41 篇 logic

机构

7 篇 institute for lo...
5 篇 institute of log...
5 篇 university of am...
5 篇 department of in...
4 篇 natl tech univ a...
4 篇 international bu...
4 篇 tu wien austria
4 篇 graduate school ...
4 篇 university of al...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 university of te...
4 篇 university of mi...
3 篇 university of la...
3 篇 department of co...
3 篇 free univ bozen ...
3 篇 department of co...
3 篇 department of co...
3 篇 ibm corp armonk ...
3 篇 cesnet prague cz...

作者

7 篇 woltran stefan
6 篇 eiter thomas
5 篇 leone nicola
5 篇 faber wolfgang
5 篇 tompits hans
5 篇 raidl günther r.
4 篇 tian cong
4 篇 tokhi m. o.
4 篇 sakama chiaki
4 篇 jânio monteiro
4 篇 frangopoulos chr...
4 篇 barnes tiffany
4 篇 pedro j. s. card...
4 篇 michael h. lees
4 篇 l.g. votta
4 篇 jack j. dongarra
4 篇 leonard barolli
4 篇 dimopoulos georg...
4 篇 roberto lam
4 篇 valeria v. krzhi...

语言

2,575 篇 英文
39 篇 其他
19 篇 中文
2 篇 德文
2 篇 法文
1 篇 西班牙文
1 篇 俄文

检索条件"任意字段=19th International Conference on Logic Programming"

共 2639 条记录，以下是181-190 订阅

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

详细简洁

排序：

Comparative study of the intelligent techniques (fuzzy logic and neural network) of the ABS system 19

Comparative study of the intelligent techniques (fuzzy logic...

引用

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

作者： Hamou, Ait Abbas Khaled, Mouheb Cylia, Aliouat Billel, Naceri Akli Mohand Oulhadj University-Bouira Laboratory of Materials and Durable Development-LM2D Drissi Yahia Street Bouira10000 Algeria University of Djelfa Laboratory of the Applied and Automation and Industrial Diagnostic Laadi Bouira17000 Algeria Akli Mohand Oulhadj University-Bouira Electrical Engineering Department Bouira Algeria

ISBN: (数字)9781665471084

ISBN: (纸本)9781665471084

Antilock braking system improves vehicle stability and direction control ability, allowing the wheel to stop without reducing and locking the distance to stop. A model of a quarter auto model of electronically monitored slowing mechanism (ABS) has been created. the objective of a conventional ABS control system is to bring the vehicle to a complete stop as quickly as feasible by rapidly eliminating the discrepancy between the actual slip ratio and a predefined reference value. Robust controllers such as fuzzy logic and neural network are proposed to solve the ABS problems. then, the results of these intelligent commands are compared with the outcomes of the conventional linear controllers (BB and PI). © 2022 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Peel | Pile? Cross-Framework Portability of Quantum Software 19

Peel | Pile? Cross-Framework Portability of Quantum Software

引用

19th IEEE international conference on Software Architecture (ICSA)

作者： Schonberger, Manuel Franz, Maja Scherzinger, Stefanie Mauerer, Wolfgang Tech Univ Appl Sci Regensburg Regensburg Germany Univ Passau Chair Scalable Database Syst Passau Germany Siemens AG Corp Res Munich Germany

ISBN: (纸本)9781665494939

In recent years, various vendors have made quantum software frameworks available. Yet with vendor-specific frameworks, code portability seems at risk, especially in a field where hardware and software libraries have not yet reached a consolidated state, and even foundational aspects of the technologies are still in flux. Accordingly, the development of vendor-independent quantum programming languages and frameworks is often suggested. this follows the established architectural pattern of introducing additional levels of abstraction into software stacks, thereby piling on layers of abstraction. Yet software architecture also provides seemingly less abstract alternatives, namely to focus on hardware-specific formulations of problems that peel off unnecessary layers. In this article, we quantitatively and experimentally explore these strategic alternatives, and compare popular quantum frameworks from the software implementation perspective. We find that for several specific, yet generalisable problems, the mathematical formulation of the problem to be solved is not just sufficiently abstract and serves as precise description, but is likewise concrete enough to allow for deriving framework-specific implementations with little effort. Additionally, we argue, based on analysing dozens of existing quantum codes, that porting between frameworks is actually low-effort, since the quantum- and framework-specific portions are very manageable in terms of size, commonly in the order of mere hundreds of lines of code. Given the current state-of-the-art in quantum programming practice, this leads us to argue in favour of peeling off unnecessary abstraction levels.

关键词： Computer languages Codes Software libraries Software architecture conferences programming Software

来源：评论

学校读者我要写书评

暂无评论

Approximate Linear Program for Multi-Type Inpatient Allocation Admission Scheduling Problem 19

Approximate Linear Program for Multi-Type Inpatient Allocati...

引用

19th IEEE international conference on Automation Science and Engineering, CASE 2023

作者： Gong, Xuran Dai, Jiajun Geng, Na Shanghai Jiao Tong University Department of Industrial Engineering & Management Shanghai China Sino-US Global Logistics Institute Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9798350320695

this paper studies an inpatient allocation admission scheduling problem by considering the sharing of inpatient beds among patients from different medical departments. Hospital managers need to make admission control decision each day to minimize operational costs. Considering the uncertainty of patients' arrival and length of stay, we propose a Markov decision process (MDP) model with the objective to minimize patients' waiting cost, diversion cost and overcapacity cost. Due to the curse of dimensionality, the MDP is difficult to solve. To address the problem, an approximate linear programming (ALP) approach is developed by firstly transforming the MDP model into an equivalent linear program and then approximating the value function by a linear combination of basis functions with a set of parameters. the optimal parameters in the approximate value function can be obtained by solving the dual problem of the approximate linear program using column generation. Managers can make admission decision using the approximate value function. Numerical experiments show the effectiveness of ALP compared with other policies. © 2023 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck (Extended Abstract) 39

Body-Decoupled Grounding via Solving: A Novel Approach on th...

引用

39th international conference on logic programming, ICLP 2023

作者： Besin, Viktor Hecher, Markus Woltran, Stefan TU Wien Austria Massachusetts Institute of Technology United States

Answer-Set programming (ASP) has seen tremendous progress over the last two decades and is nowadays successfully applied in many real-world domains. However, for certain problems, the well-known ASP grounding bottleneck still causes severe problems. this becomes virulent when grounding of rules, where the variables have to be replaced by constants, leads to a ground program that is too huge to be processed by the ASP solver. In this work, we tackle this problem by a novel method that decouples non-ground atoms in rules in order to delegate the evaluation of rule bodies to the solving process. Our procedure translates a non-ground normal program into a ground disjunctive program that is exponential only in the maximum predicate arity, and thus polynomial if this arity is bounded by a constant. We demonstrate the feasibility of this new method experimentally by comparing it to standard ASP technology in terms of grounding size, grounding time and runtime. © 2023 Open Publishing Association. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Perceiving the Narrative Style for Fake News Detection Using Deep Learning 23

Perceiving the Narrative Style for Fake News Detection Using...

引用

23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data Science and Systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Sun, Mengtao Hameed, Ibrahim A. Wang, Hao Pasquine, Mark Norwegian University of Science and Technology Dept. Ict and Natural Sciences Ålesund Norway Norwegian University of Science and Technology Dept. Computer Science Gjovik Norway Norwegian University of Science and Technology Dept. International Business Ålesund Norway

ISBN: (纸本)9781665494571

Existing deep-learning-based features have shown strong enough results (more than 90% accuracy) if a large amount of annotated data is available. However, in reality, data annotation is labor-intensive and expensive. this work proposes a novel approach for fake news detection by perceiving narrative style with deep learning to alleviate the problem. Deep-learning-based features are represented as embedding vectors. Traditional embedding vectors ingest word context information, but the training requires considerable annotated datasets. Many linguistics studies have shown that written styles, such as the usage of punctuation, repetition of words, and grammatical order, are significant for distinguishing fake news. Our model takes advantage of the word-to-word dependency relationship, describing the styles of the news utterances. We denote the proposed model as Syntax Graphical thread (SGT) network. We utilize a trainable randomly initialized embedding and Gated Recurrent Unit (GRU) layer to capture the context vector, while a Graph Attention (GAT) layer is used to capture the narrative features. the experimental result manifests that our method can significantly mitigate the reliance on data scale and present better classification results when the dataset is limited. © 2021 IEEE.

关键词： Context Deep learning Training Smart cities Text categorization Syntactics logic gates

来源：评论

学校读者我要写书评

暂无评论

DyDom: Detecting Malicious Domains with Spatial-Temporal Analysis on Dynamic Graphs 23

DyDom: Detecting Malicious Domains with Spatial-Temporal Ana...

引用

作者： Li, Yixin Luo, Xi Wang, Liming Xu, Zhen Institute of Information Engineering Chinese Academy of Sciences Beijing China School of Cyber Security University of Chinese Academy of Sciences Beijing China Cyberspace Institute of Advanced Technology Guangzhou University China

ISBN: (纸本)9781665494571

Domain Name System (DNS) has been widely abused by cybercriminals as the critical infrastructure to supply their activities. thus malicious domains detection is a crucial assignment to combat and mitigate cybercrimes. Existing studies usually recognize malicious domains with blacklists or handcrafted local domain features. However, blacklists and expert-knowledge-based features can be bypassed by attackers with orchestrated techniques, which calls for new detection methods. In this paper, we propose a novel system named DyDom to detect malicious domains intelligently. the key idea of our system is to employ spatial-temporal analysis on domains' behaviors and their temporal variations to catch deep associations among them. In DyDom, we first analyze interactive behaviors among domains, clients and resolve IPs, then generate discrete-time dynamic graphs to model the temporal variations of domains. Further, a classifier based on graph convolutional network (GCN) and gated recurrent unit (GRU) is employed to detect malicious domains by analyzing spatial-temporal associations. As far as we know, DyDom is the first effort to model DNS scene with dynamic graphs and discover malicious domains using spatial-temporal analysis. We develop a prototype of DyDom and evaluate it in real-world data collected from an educational network. the experiment results reveal the effectiveness of our system. © 2021 IEEE.

关键词： Analytical models Smart cities Scalability Prototypes logic gates Feature extraction Behavioral sciences

来源：评论

学校读者我要写书评

暂无评论

Global Cyclic Queuing and Forwarding Mechanism for Large-Scale Deterministic Networks 23

Global Cyclic Queuing and Forwarding Mechanism for Large-Sca...

引用

作者： Mo, Yijun Yang, Zihan Liu, Huiyu He, Tianliu School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (纸本)9781665494571

Delay and jitter sensitive industrial control and remote driving application-driven network by best-effort to deterministic service. To meet the deterministic application of delay and jitter demands, industry and academia have conducted detailed research on stream filtering shaping and queue forwarding control. However, the study seldom considers the effects of long-distance topology change, transmission delay fluctuations and short-time traffic overloads, challenging to meet deterministic requirements under large-scale backbone networks. For this challenge, this paper based on Cyclic Queuing and Forwarding, considers source-destination path properties and deterministic traffic intensity. We propose Global Cyclic Queuing and Forwarding 3-Queue. In the deterministic network simulation system based on OMNeT, we constructed the actual network topology NSFNET, which has 14 nodes and 21 links. Experiments compare queue forwarding control mechanisms such as CQF and GCQF-3. the experimental results show that under the traffic matrix with 120% strength, the delay is reduced by 23.6%, the jitter is reduced by 53.6%, and the packet loss rate is reduced by 61%. It shows that GCQF-3 can timely adjust the gate-control and queueing priority according to the deterministic traffic state, achieves the best in delay, jitter and network utilization. © 2021 IEEE.

关键词： Industries Network topology Smart cities Industrial control Packet loss Jitter logic gates

来源：评论

学校读者我要写书评

暂无评论

ICER 2023 - Proceedings of the 2023 ACM conference on international Computing Education Research V.1

ICER 2023 - Proceedings of the 2023 ACM Conference on Intern...

引用

19th Annual ACM international Computing Education Research conference, ICER 2023

ISBN: (纸本)9781450399760

the proceedings contain 35 papers. the topics discussed include: the search for meaning: inferential strategic reading comprehension in programming;examples of unsuccessful use of code comprehension strategies: a resource for developing code comprehension pedagogy;chronicles of exploration: examining the materiality of computational artifacts;engagement and anonymity in online computer science course forums;uncovering the hidden curriculum of university computing majors via undergraduate-written mentoring guides: a learner-centered design workflow;exploring models and theories of spatial skills in CS through a multi-national study;understanding spatial skills and encoding strategies in student problem solving activities;navigating a black box: students’ experiences and perceptions of automated hiring;and funds of knowledge used by adolescents of color in scaffolded sensemaking around algorithmic fairness.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Introduction to the special issue of the 19th international conference on Runtime Verification

引用

international JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2021年第4期23卷 545-546页

作者： Finkbeiner, Bernd Mariani, Leonardo CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany Univ Milano Bicocca Viale Sarca 336 I-2016 Milan Italy

来源：评论

学校读者我要写书评

暂无评论

A Two-Stage Deanonymization Attack Towards Bitcoin Hidden Service Nodes 23

A Two-Stage Deanonymization Attack Towards Bitcoin Hidden Se...

引用

作者： Gao, Yue Shi, Jinqiao Wang, Xuebin Shi, Ruisheng Zhao, Can Li, Chenglong Institute of Information Engineering Chinese Academy of Sciences China National Engineering Laboratory for Information Security Technologies China School of Cyber Security University of Chinese Academy of Sciences China Beijing University of Post and Telecommunications China Institute for Network Sciences and Cyberspace Tsinghua University China

ISBN: (纸本)9781665494571

With the increasing popularity of Bitcoin, considerable attention has been paid to its privacy and anonymity. To protect users' privacy better from the P2P network perspective, Bitcoin encourages users to connect to the network through the anonymity network Tor. In this paper, we manage to prove that the combining of Bitcoin and Tor is easier to be exploited to deanonymize Bitcoin users. Specifically, we propose a two-stage deanonymization attack towards Bitcoin hidden service nodes, intending to reveal the IP addresses of the Bitcoin hidden services and identify their transactions. the experiments show that the node-level adversary and the gateway-level adversary both can correlate the IP address and the onion address of Bitcoin hidden services by shaping the traffic. On the premise of successful location deanonymization, the adversaries can identify the transactions from the target Bitcoin hidden service by delaying the packets. We also provide the theoretical analysis of the success probability and the countermeasures to mitigate this kind of attack. © 2021 IEEE.

关键词： Privacy Smart cities Bitcoin logic gates Delays IP networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共264页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：