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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

499 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

519 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

328 篇 工学
- 249 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 37 篇 控制科学与工程
- 21 篇 机械工程
- 19 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 土木工程
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 16 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 eiter thomas
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

504 篇 英文
15 篇 其他

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

共 519 条记录，以下是201-210 订阅

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

详细简洁

排序：

Impact of ATD-2 Tools on Human Factor Metrics at Charlotte Douglas international Airport

Impact of ATD-2 Tools on Human Factor Metrics at Charlotte D...

引用

conference on Digital Avionics Systems (DASC)

作者： Bonny K. Parke Deborah L. Bakowski Savita A. Verma Eric Chevalley Yoon C. Jung Lynne Martin Kimberly K. Jobe Lindsay K. S. Stevens Human Systems Integration San José State University NASA Ames Research Center Moffett Field USA Aviation Systems NASA Ames Research Center Moffett Field USA Human Systems Integration NASA Ames Research Center Moffett Field USA

ISBN: (数字)9781728198255

ISBN: (纸本)9781728180885

New decision support tools were introduced at Charlotte Douglas international Airport (CLT) as part of NASA's Air Traffic Demonstration 2 (ATD-2) project. ATD-2 is based on concepts which enable integrated arrival, departures, and surface (IADS) operations in a metroplex environment. Metrics on environmental benefits from ATD-2's surface metering at CLT have shown impressive reductions in fuel consumption and CO2 emissions. Questions have remained on 1) the human factors impact of these new ATD-2 tools and surface metering and 2) the users' perceptions of how these tools affect operations. To address these questions, post-bank surveys were designed for the four types of users of the new tools at CLT: Ramp Controllers, Ramp Managers, Tower Traffic Management Coordinators (TMCs) and Terminal Radar Approach Control (TRACON) TMCs. these surveys were administered during five-day blocks at three different times. three types of banks were compared: No ATD-2 tool use, ATD-2 tool use, and ATD-2 use plus surface metering. Results indicate that higher workload or decreased situation awareness was not significantly associated with ATD-2 tool use more than no ATD-2 tool use--in fact for many users the opposite was true. Also, acceptability and operational efficiency measures indicate that the users did not perceive that banks with ATD-2 tools were significantly less acceptable or less efficient than banks without ATD-2 tools.

关键词： Tools Aircraft logic gates Airports Strips NASA Poles and towers

来源：评论

学校读者我要写书评

暂无评论

New results on cutting plane proofs for horn constraint systems 39

New results on cutting plane proofs for horn constraint syst...

引用

39th IARCS Annual conference on Foundations of Software Technology and theoretical Computer Science, FSTTCS 2019

作者： Büning, Hans Kleine Wojciechowski, Piotr Subramani, K. Universität Paderborn Paderborn Germany LDCSEE West Virginia University MorgantownWV United States

ISBN: (纸本)9783959771313

In this paper, we investigate properties of cutting plane based refutations for a class of integer programs called Horn constraint systems (HCS). Briefly, a system of linear inequalities A · x ≥ b is called a Horn constraint system, if each entry in A belongs to the set {0, 1, −1} and furthermore there is at most one positive entry per row. Our focus is on deriving refutations i.e., proofs of unsatisfiability of such programs using cutting planes as a proof system. We also look at several properties of these refutations. Horn constraint systems can be considered as a more general form of propositional Horn formulas, i.e., CNF formulas with at most one positive literal per clause. Cutting plane calculus (CP) is a well-known calculus for deciding the unsatisfiability of propositional CNF formulas and integer programs. Usually, CP consists of a pair of inference rules. these are called the addition rule (ADD) and the division rule (DIV). In this paper, we show that cutting plane calculus is still complete for Horn constraints when every intermediate constraint is required to be Horn. We also investigate the lengths of cutting plane proofs for Horn constraint systems. © Hans Kleine Büning, Piotr Wojciechowski, and K. Subramani;licensed under Creative Commons License CC-BY.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Scalable Zero Knowledge with No Trusted Setup 39th

Scalable Zero Knowledge with No Trusted Setup

引用

39th Annual international Cryptology conference (CRYPTO)

作者： Ben-Sasson, Eli Bentov, Iddo Horesh, Yinon Riabzev, Michael Technion Haifa Israel StarkWare Ind Ltd Netanya Israel Cornell Tech New York NY USA

ISBN: (纸本)9783030269548;9783030269531

One of the approaches to constructing zero knowledge (ZK) arguments relies on "PCP techniques" that date back to influential works from the early 1990's [Babai et al., Arora et al. 1991-2]. these techniques require only minimal cryptographic assumptions, namely, the existence of a family of collision-resistant hash functions [Kilian, STOC 1992], and achieve two remarkable properties: (i) all messages generated by the verifier are public random coins, and (ii) total verification time is merely poly-logarithmic in the time needed to naively execute the computation being verified [Babai et al., STOC 1991]. those early constructions were never realized in code, mostly because proving time was too large. To address this, the model of interactive oracle proofs (IOPs), which generalizes the PCP model, was recently suggested. Proving time for ZK-IOPs was reduced to quasi-linear, even for problems that require nondeterministic exponential time to decide [Ben-Sasson et al., TCC 2016, ICALP 2017]. Despite these recent advances it was still not clear whether ZK-IOP systems can lead to concretely efficient succinct argument systems. Our main claim is that this is indeed the case. We present a new construction of an IOP of knowledge (which we call a zk-STIK) that improves, asymptotically, on the state of art: for log-space computations of length T it is the first to O(T log T) arithmetic prover complexity and O(log T) verifier arithmetic complexity. Prior IOPs had additional poly log T factors in both prover and verifier. Additionally, we report a C++ realization of this system (which we call libSTARK). Compared to prevailing ZK realizations, it has the fastest proving and (total) verification time for sufficiently large sequential computations.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

DÏoT: A Federated Self-learning Anomaly Detection System for IoT

DÏoT: A Federated Self-learning Anomaly Detection System fo...

引用

international conference on Distributed Computing Systems

作者： thien Duc Nguyen Samuel Marchal Markus Miettinen Hossein Fereidooni N. Asokan Ahmad-Reza Sadeghi Tech. Univ. Darmstadt Darmstadt Germany Aalto University Espoo Finland

IoT devices are increasingly deployed in daily life. Many of these devices are, however, vulnerable due to insecure design, implementation, and configuration. As a result, many networks already have vulnerable IoT devices that are easy to compromise. this has led to a new category of malware specifically targeting IoT devices. However, existing intrusion detection techniques are not effective in detecting compromised IoT devices given the massive scale of the problem in terms of the number of different types of devices and manufacturers involved. In this paper, we present DÏoT, an autonomous self-learning distributed system for detecting compromised IoT devices. DÏoT builds effectively on device-type-specific communication profiles without human intervention nor labeled data that are subsequently used to detect anomalous deviations in devices' communication behavior, potentially caused by malicious adversaries. DÏoT utilizes a federated learning approach for aggregating behavior profiles efficiently. To the best of our knowledge, it is the first system to employ a federated learning approach to anomaly-detection-based intrusion detection. Consequently, DÏoT can cope with emerging new and unknown attacks. We systematically and extensively evaluated more than 30 off-the-shelf IoT devices over a long term and show that DÏoT is highly effective (95.6% detection rate) and fast (257 ms) at detecting devices compromised by, for instance, the infamous Mirai malware. DÏoT reported no false alarms when evaluated in a real-world smart home deployment setting.

关键词： Security Internet of things logic gates Anomaly detection Malware Data models Monitoring

来源：评论

学校读者我要写书评

暂无评论

Evolution of firm structures in market and the supporting lifecycle logic 39

Evolution of firm structures in market and the supporting li...

引用

39th international Annual conference of the American Society for Engineering Management: Bridging the Gap Between Engineering and Business, ASEM 2018

作者： Koplyay, Tamas Michel Motaghi, Hamed Hurta, Hilda Malouin, Mario University of Quebec OutaouaisQC Canada National University of Public Service Hungary Szent István University Hungary

ISBN: (纸本)9781510874640

the structural forms of companies on the market lifecycle change substantially as the lifecycle unfolds. these changes are both structural and topological in concert with what is happening in the market. the firm shapes and substance evolve in a fashion that suggests an environmental adaption dictated by the market or more precisely anticipated by the firms as they read the market signals. this article traces the logic that defines the modes and results of this adaptation. the lifecycle itself has been demonstrated to be a powerful device by the principal author and colleagues, in a series of articles, to be symmetrically predictive in time, forecasting both the future and the past. this predictive capacity applies to structural evolution of the firm and the constraints that the distinct organizational shape of the structure will place on the firm. Furthermore, knowing the present shape, one can define both the past and successor structures and their fit to the enabling environment. the environment itself can be traced to market deep and surface structures and the closely correlated strategy landscape dominant at each stage of the market. © Copyright© (2018) by American Society for Engineering Management (ASEM). All rights reserved.

关键词： Commerce

来源：评论

学校读者我要写书评

暂无评论

Teaching programming to non-programmers: the case of python and Jupyter notebooks 39

Teaching programming to non-programmers: The case of python ...

引用

39th international conference on Information Systems, ICIS 2018

作者： Vial, Gregory Negoita, Bogdan HEC Montréal Montréal Canada

ISBN: (纸本)9780996683173

the ability to understand how software work is becoming increasingly relevant and calls have been made to help students further develop their computational thinking skills. However, research has shown that learning to program is a challenging task, particularly for non-computer science majors. Seeking to address these issues, this research asks the question: "how can we design a course curriculum to teach the fundamentals of programming to IS undergraduate students?" We draw from pedagogical theory and literature on distributed leadership to design a course that aims at helping IS students learn the fundamentals of programming and leverage digital artifacts - Python, Jupyter Notebook, and Github to enhance students' awareness of programming as a collaborative and social endeavor. We contribute to the literature on teaching non-programmers to program and offers digital artifacts as a means to transform what has traditionally been perceived by students as a challenging activity into a positive learning experience. © international conference on Information Systems 2018, ICIS *** rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Cost optimization decision-support based on fuzzy logic applications, advancing industry 4.0 39

Cost optimization decision-support based on fuzzy logic appl...

引用

39th international Annual conference of the American Society for Engineering Management: Bridging the Gap Between Engineering and Business, ASEM 2018

作者： Telukdarie, Arnesh Medoh, Chuks University of Johannesburg Johannesburg South Africa

ISBN: (纸本)9781510874640

Corporate functions of large multinationals are globally executed based on business processes. Numerous business process variables have impacts on the execution of business functions. A representative subset of business process variables, specifically cost associated, is explored in this research. Cost optimization in the execution of business processes is essential in ensuring corporate sustainability and competitiveness. To develop and implement a cost optimization framework, global best practice cost optimization levers are explored. this research demonstrates the prospects of developing a cost optimization decision-support paradigm based on the fuzzy logic system. Decision-support is an intricate aspect of any business unit. the decision-support framework relative to optimizing cost is explored based on selected cost optimization levers aligned with benchmark fuzzy sets. the fuzzy logic technique is efficient for optimization of business process variables offering effective resources when investigating variables that are not precise. A framework supporting uncertainty and vagueness of business process variables are considered. the research delivers a flexible thin slice decision-making framework of the solution with testing of cost optimization levers on business processes. this presents an overview of benchmark measures supporting enterprise practitioners relative to developing a cost optimization paradigm as an enhancement to the current design. An assessment framework effective in substantiating relationships between cost optimization levers, business processes, and corporate performance is developed. © Copyright© (2018) by American Society for Engineering Management (ASEM). All rights reserved.

关键词： Industry 4.0

来源：评论

学校读者我要写书评

暂无评论

CRELLVM: Verified Credible Compilation for LLVM 2018

CRELLVM: Verified Credible Compilation for LLVM

引用

39th ACM SIGPLAN conference on programming Language Design and Implementation (PLDI)

作者： Kang, Jeehoon Kim, Yoonseung Song, Youngju Lee, Juneyoung Park, Sanghoon Shin, Mark Dongyeon Kim, Yonghyun Cho, Sungkeun Choi, Joonwon Hur, Chung-Kil Yi, Kwangkeun Seoul Natl Univ Seoul South Korea MIT CSAIL Cambridge MA USA

ISBN: (纸本)9781450356985

Production compilers such as GCC and LLVM are large complex software systems, for which achieving a high level of reliability is hard. Although testing is an effective method for finding bugs, it alone cannot guarantee a high level of reliability. To provide a higher level of reliability, many approaches that examine compilers' internal logics have been proposed. However, none of them have been successfully applied to major optimizations of production compilers. this paper presents CRELLVM: a verified credible compilation framework for LLVM, which can be used as a systematic way of providing a high level of reliability for major optimizations in LLVM. Specifically, we augment an LLVM optimizer to generate translation results together with their correctness proofs, which can then be checked by a proof checker formally verified in Coq. As case studies, we applied our approach to two major optimizations of LLVM: register promotion (mem2reg) and global value numbering (gvn), having found four new miscompilation bugs (two in each).

关键词： LLVM Coq credible compilation translation validation compiler verification relational Hoare logic

来源：评论

学校读者我要写书评

暂无评论

Modularity for Decidability of Deductive Verification with Applications to Distributed Systems 2018

Modularity for Decidability of Deductive Verification with A...

引用

39th ACM SIGPLAN conference on programming Language Design and Implementation (PLDI)

作者： Taube, Marcelo Losa, Giuliano McMillan, Kenneth L. Padon, Oded Sagiv, Mooly Shoham, Sharon Wilcox, James R. Woos, Doug Tel Aviv Univ Tel Aviv Israel Univ Calif Los Angeles Los Angeles CA 90024 USA Microsoft Res New York NY USA Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9781450356985

Proof automation can substantially increase productivity in formal verification of complex systems. However, unpredictablility of automated provers in handling quantified formulas presents a major hurdle to usability of these tools. We propose to solve this problem not by improving the provers, but by using a modular proof methodology that allows us to produce decidable verification conditions. Decidability greatly improves predictability of proof automation, resulting in a more practical verification approach. We apply this methodology to develop verified implementations of distributed protocols, demonstrating its effectiveness.

关键词： Formal verification Modularity Decidable logic Ivy Distributed systems Paxos Raft

来源：评论

学校读者我要写书评

暂无评论

the state of the art in system dynamics modeling of cost of quality 39

The state of the art in system dynamics modeling of cost of ...

引用

39th international Annual conference of the American Society for Engineering Management: Bridging the Gap Between Engineering and Business, ASEM 2018

作者： Elizondo-Noriega, Armando Güemes-Castorena, David Tercero-Gómez, Víctor G. Beruvides, Mario G. Texas Tech University United States Tecnologico de Monterrey United States

ISBN: (纸本)9781510874640

Several studies have been performed to review the state the art in the cost of quality (COQ) literature. these studies have focused on different aspects such as models, adoption, limitations, etc. Few works have been found addressing the COQ simulation procedures. Simulation is a crucial tool to attain preliminary inexpensive results prior to potentially expensive or complex in situ studies. Currently, there are several simulation-based approaches to estimate the COQ. these studies were based on different simulation techniques such as discrete event and linear optimization to mention a few. One simulation technique that seems to be useful to understand the causal relationship between the elements on COQ is system dynamics (SD). SD allows the analyst to observe causal effect relationships and their aggregated structure to answer research questions, improve policy making and observe previously unknown or unobserved behaviors. However, no review has been performed presenting the most suitable or best practices to address theoretical issues in COQ via SD. the current work provides a review of different SD-related works to address this problem aiming to provide a scope for future research on SD simulation of COQ. © Copyright© (2018) by American Society for Engineering Management (ASEM). All rights reserved.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：