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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是671-680 订阅

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

详细简洁

排序：

Bronchus Segmentation and Classification by Neural Networks and Linear programming 22nd

Bronchus Segmentation and Classification by Neural Networks ...

引用

10th international Workshop on Machine Learning in Medical Imaging (MLMI) / 22nd international conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI)

作者： Zhao, Tianyi Yin, Zhaozheng Wang, Jiao Gao, Dashan Chen, Yunqiang Mao, Yunxiang Missouri Univ Sci & Technol Rolla MO 65409 USA 12 Sigma Technol San Diego CA USA

ISBN: (纸本)9783030322267;9783030322250

Airway segmentation is a critical problem for lung disease analysis. However, building a complete airway tree is still a challenging problem because of the complex tree structure, and tracing the deep bronchi is not trivial in CT images because there are numerous small airways with various directions. In this paper, we develop two-stage 2D+3D neural networks and a linear programming based tracking algorithm for airway segmentation. Furthermore, we propose a bronchus classification algorithm based on the segmentation results. Our algorithm is evaluated on a dataset collected from 4 resources. We achieved the dice coefficient of 0.94 and F1 score of 0.86 by a centerline based evaluation metric, compared to the ground-truth manually labeled by our radiologists.

关键词： Airway segmentation 2D+3D neural network Linear programming Tracking Bronchus classification

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Applications of Evolutionary Computation, EvoApplications 2019, held as Part of EvoStar 2019

22nd International Conference on Applications of Evolutionar...

引用

22nd international conference on Applications of Evolutionary Computation, EvoApplications 2019, held as Part of EvoStar 2019

ISBN: (纸本)9783030166915

The proceedings contain 42 papers. The special focus in this conference is on Applications of Evolutionary Computation. The topics include: GAMER: A genetic algorithm with motion encoding reuse for action-adventure video games;effects of input addition in learning for adaptive games: Towards learning with structural changes;supporting medical decisions for treating rare diseases through genetic programming;evolutionary successful strategies in a transparent iterated prisoner’s dilemma;evolutionary algorithms for the design of quantum protocols;Evolutionary computation techniques for constructing SAT-based attacks in algebraic cryptanalysis;on the use of evolutionary computation for in-silico medicine: Modelling sepsis via evolving continuous petri nets;a cultural algorithm for determining similarity values between users in recommender systems;optimizing the C index using a canonical genetic algorithm;design of powered floor systems for mobile robots with differential evolution;memetic evolution of classification ensembles;genetic programming for feature selection and feature combination in salient object detection;Variable-length representation for EC-based feature selection in high-dimensional data;a knowledge based differential evolution algorithm for protein structure prediction;a biased random key genetic algorithm with local search chains for molecular docking;self-sustainability challenges of plants colonization strategies in virtual 3D environments;early detection of botnet activities using grammatical evolution;exploring concurrent and stateless evolutionary algorithms;Evolving trust formula to evaluate data trustworthiness in VANETs using genetic programming;a matheuristic for green and robust 5G virtual network function placement;solving the multi-objective flexible job-shop scheduling problem with alternative recipes for a chemical production process;coevolution of generative adversarial networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Subset Spaces for Conditional Norms 22nd

Subset Spaces for Conditional Norms

引用

22nd international conference on Principles and Practice of Multi-Agent Systems (PRIMA)

作者： Dong, Huimin Ramanujam, R. Wang, Yi N. Zhejiang Univ Dept Philosophy Hangzhou Peoples R China Inst Math Sci Chennai Tamil Nadu India

ISBN: (纸本)9783030337926;9783030337919

We introduce two notions of conditionals, forward conditional for deductive implication and backward conditional for abductive implication. The former is in regard to Lewis [16]'s conditional, while the latter is treated as a binary window modality. We introduce logics of forward and backward conditionals, interpreted over a point-set semantics (with explicit likelihood) from the logic of subset spaces. These conditionals and their logics have applications in the studies of conditional norms.

关键词： Forward conditional Backward conditional Modal logic Subset space logic of norms

来源：评论

学校读者我要写书评

暂无评论

25th international conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint conferences on Theory and Practice of Software, ETAPS 2019

25th International Conference on Tools and Algorithms for th...

引用

25th international conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint conferences on Theory and Practice of Software, ETAPS 2019

ISBN: (纸本)9783030175016

The proceedings contain 22 papers. The special focus in this conference is on Tools and Algorithms for the Construction and Analysis of Systems conference series. The topics include: The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report);The Rewrite Engines Competitions: A RECtrospective;RERS 2019: Combining Synthesis with Real-World Models;SL-COMP: Competition of Solvers for Separation logic;Automatic Verification of C and Java Programs: SV-COMP 2019;TOOLympics 2019: An Overview of Competitions in Formal Methods;the Termination and Complexity Competition;international Competition on Software Testing (Test-Comp);verifyThis – Verification Competition with a Human Factor;CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker: (Competition Contribution);Extending DIVINE with Symbolic Verification Using SMT: (Competition Contribution);ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution);jayHorn: A Java Model Checker: (Competition Contribution);JBMC: Bounded Model Checking for Java Bytecode: (Competition Contribution);Java Pathfinder at SV-COMP 2019 (Competition Contribution);PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution);confluence Competition 2019;pinaka: Symbolic Execution Meets Incremental Solving: (Competition Contribution);Symbolic Pathfinder for SV-COMP: (Competition Contribution);veriFuzz: Program Aware Fuzzing: (Competition Contribution);ETAPS Foreword;TACAS Preface;preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study and Evaluation of QoS Degradation Costs in Optical-NFV Network Environments with Resource Allocations based on Long Short Term Memory Prediction Techniques

Study and Evaluation of QoS Degradation Costs in Optical-NFV...

引用

international conference on Transparent Optical Networks

作者： V. Eramo T. Catena F.G. Lavacca J.P. Perez Salazar DIET “Sapienza” University of Rome Via Eudossiana 18 Rome Italy Fondazione Ugo Bordoni Viale del Policlinico 147 Roma Italy

ISBN: (数字)9781728184234

ISBN: (纸本)9781728184241

The paper investigates the effectiveness of bandwidth prediction technique based on Long Short Term Memory recurrent neural networks for the resource allocation in Network Function Virtualization network architectures in which the datacenters are interconnected by an Elastic Optical Network. In particular we evaluate the under-provisioning costs that occurs when fewer resources than the needed ones are allocated and characterizes the QoS penalty cost to be paid by the provider because of the QoS degradation.

关键词： Bandwidth logic gates Quality of service Microprocessors Optical fiber networks

来源：评论

学校读者我要写书评

暂无评论

Design Obfuscation through Selective Post-Fabrication Transistor-Level programming 22

Design Obfuscation through Selective Post-Fabrication Transi...

引用

22nd Design, Automation and Test in Europe conference and Exhibition (DATE)

作者： Shihab, Mustafa M. Tian, Jingxiang Reddy, Gaurav Rajavendra Hu, Bo Swartz, William, Jr. Schaefer, Benjamin Carrion Sechen, Carl Makris, Yiorgos Univ Texas Dallas Dept Elect & Comp Engn Richardson TX 75080 USA

ISBN: (纸本)9783981926323

Widespread adoption of the fabless business model and utilization of third-party foundries have increased the exposure of sensitive designs to security threats such as intellectual property (IP) theft and integrated circuit (IC) counterfeiting. As a result, concerted interest in various design obfuscation schemes for deterring reverse engineering and/or unauthorized reproduction and usage of ICs has surfaced. To this end, in this paper we present a novel mechanism for structurally obfuscating sensitive parts of a design through post-fabrication TRAnsistor-level programming (TRAP). We introduce a transistor-level programmable fabric and we discuss its unique advantages towards design obfuscation, as well as a customized CAD framework for seamlessly integrating this fabric in an ASIC design flow. We theoretically analyze the complexity of attacking TRAP-obfuscated designs through both brute-force and intelligent SAT-based attacks and we present a silicon implementation of a platform for experimenting with TRAP. Effectiveness of the proposed method is evaluated through selective obfuscation of various modules of a modern microprocessor design. Results corroborate that, as compared to an FPGA implementation, TRAP-based obfuscation offers superior resistance against both brute-force and oracle-guided SAT attacks, while incurring an order of magnitude less area, power and delay overhead.

关键词： Fabrics Microprocessors Computer architecture logic gates programming Transistors

来源：评论

学校读者我要写书评

暂无评论

Genetic programming over Spark for Higgs Boson Classification 22nd

Genetic Programming over Spark for Higgs Boson Classificatio...

引用

22nd international conference on Business Information Systems (BIS)

作者： Hmida, Hmida Ben Hamida, Sana Borgi, Amel Rukoz, Marta Univ Tunis El Manar Fac Sci Tunis LR11ES14 LIPAH Tunis 2092 Tunisia PSL Res Univ Univ Paris Dauphine CNRS UMR 7243LAMSADE F-75016 Paris France

ISBN: (纸本)9783030204853;9783030204846

With the growing number of available databases having a very large number of records, existing knowledge discovery tools need to be adapted to this shift and new tools need to be created. Genetic programming (GP) has been proven as an efficient algorithm in particular for classification problems. Notwithstanding, GP is impaired with its computing cost that is more acute with large datasets. This paper, presents how an existing GP implementation (DEAP) can be adapted by distributing evaluations on a Spark cluster. Then, an additional sampling step is applied to fit tiny clusters. Experiments are accomplished on Higgs Boson classification with different settings. They show the benefits of using Spark as parallelization technology for GP.

关键词： Genetic programming Machine learning Spark Large dataset Higgs Boson classification

来源：评论

学校读者我要写书评

暂无评论

On combining probabilistic and semantic similarity-based methods toward off-domain reasoning for situational awareness

On combining probabilistic and semantic similarity-based met...

引用

22nd international conference on Information Fusion (FUSION)

作者： Van Nguyen Def Sci & Technol Grp Adelaide SA Australia

ISBN: (数字)9780996452786

ISBN: (纸本)9780996452786

Hard and soft high-level fusion plays an important role in the situational awareness literature. To deal with complex real-world situations, it is highly desirable that such systems are able to effectively capture the rich semantics associated with soft information and world/domain knowledge, to efficiently reason with imperfect information, and to benefit and learn from any data that may be available, among others. In these respects, first order probabilistic models, such as Markov logic Networks, hold great promise and have received recent attention for high-level fusion. By combining the expressiveness of first-order logic and probabilistic graphical models, such models are able to facilitate representation, reasoning and learning with complex relational information and rich probabilistic structure within a unifying framework. However, first-order probabilistic models may face various challenges in dealing with real-world situational awareness, including scalability of reasoning, learning and knowledge base construction, and robustness in open worlds. In this paper, we motivate a new and pragmatic approach toward collectively addressing these concerns;that is, endowing high-level fusion systems a capability to perform off-domain reasoning, through the ability to reason about unknown/unmodelled concepts. In particular, we will discuss how such an approach could be achieved by means of combining probabilistic and semantic similarity based methods. We will also explore the potential contribution of semantic similarity measures derived from both taxonomic knowledge (e.g., ontologies) and distributional semantic models (generated from text corpora) toward achieving this goal.

关键词： Semantics Probabilistic logic Cognition Sensors Scalability Markov random fields Robustness

来源：评论

学校读者我要写书评

暂无评论

Real-time Molecular Analysis Methods Based on Cloud Computing

Real-time Molecular Analysis Methods Based on Cloud Computin...

引用

international conference on Advanced Communication Technology (ICACT)

作者： Maxim Zakharov Ammar Muthanna Ruslan Kirichek Andrey Koucheryavy The Bonch-Bruevich Saint-Petersburg State University of Telecommunications St. Petersburg Russian Federation V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences Moscow Russian Federation

ISBN: (数字)9791188428045

ISBN: (纸本)9781728149431

Today, quite a lot of attention is paid to the integration of information technology and medicine. E-health network development makes it possible. The principles of e-health networks imply the use of small-sized mobile medical devices - sensors and actuators. As a rule, sensors, and actuators are combined into a network and operate with other network devices: gateways, cloud servers, etc. The article discusses the network scheme, including a portable near-infrared spectrometer for molecular analysis of food products and its interaction with the Internet in the process of data collection and processing.

关键词： Servers Cloud computing logic gates Telecommunications Internet of Things Bluetooth

来源：评论

学校读者我要写书评

暂无评论

25th International Conference on Tools and Algorithms for th...

引用

ISBN: (纸本)9783030174644

The proceedings contain 22 papers. The special focus in this conference is on Tools and Algorithms for the Construction and Analysis of Systems conference series. The topics include: Shepherding hordes of markov chains;optimal time-bounded reachability analysis for concurrent systems;minimal-time synthesis for parametric timed automata;Environmentally-Friendly GR(1) Synthesis;stocHy: Automated Verification and Synthesis of Stochastic Processes;synthesis of symbolic controllers: A parallelized and sparsity-aware approach;iRank: A variable order metric for deds subject to linear invariants;binary decision diagrams with edge-specified reductions;effective entailment checking for separation logic with inductive definitions;Digital Bifurcation Analysis of TCP Dynamics;The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability;verifying safety of synchronous fault-tolerant algorithms by bounded model checking;measuring masking fault-tolerance;PhASAR: An Inter-procedural Static Analysis Framework for C/C++;automatic analysis of consistency properties of distributed transaction systems in maude;multi-core On-The-Fly Saturation;Specification and efficient monitoring beyond STL;VyPR2: A framework for runtime verification of python web services;constraint-Based Monitoring of Hyperproperties;tail probabilities for randomized program runtimes via martingales for higher moments;computing the expected execution time of probabilistic workflow nets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 64 65 66 67 68 69 70 71 72 73 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：