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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Interface Design between Mobile Communication Service Provider and National Alert Originator in Korea

Interface Design between Mobile Communication Service Provid...

引用

international conference on Advanced Communication Technology (ICACT)

作者： Yoonkwan Byun Hyunji Lee Sek-Jin Jang Seong Jong Choi Seung-Hee Oh Yong-Tae Lee University of Seoul Korea Electronics and Telecommunications Research Institute

ISBN: (数字)9791188428045

ISBN: (纸本)9781728149431

Recently, public alert using CBS technology is becoming one of the most effective and popular tools for government. In this paper, we present a Republic of Korea (ROK) civilian technical specification for the second-generation interface between the government alert gateway and mobile service provider alert gateway. The requirements for the gateways and the interface protocol are described along with design philosophy and base specifications and ROK regulations.

关键词： logic gates Government Protocols 3GPP Aerospace electronics Aerospace safety

来源：评论

学校读者我要写书评

暂无评论

Imperfect Information in Alternating-Time Temporal logic on Finite Traces 22nd

Imperfect Information in Alternating-Time Temporal Logic on ...

引用

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

作者： Belardinelli, Francesco Lomuscio, Alessio Murano, Aniello Rubin, Sasha UEVE Lab IBISC Courcouronnes France Imperial Coll London Dept Comp London England Univ Napoli DIETI Naples Italy Univ Sydney Sch Comp Sci Sydney NSW Australia

ISBN: (纸本)9783030337926;9783030337919

We introduce a logic to reason about strategic abilities in finite games under imperfect information. We interpret Alternating-time Temporal logic on interpreted systems with final states, where agents only have partial observability of the system's global state. We consider the model checking problem in this setting. We prove that the complexity results available for the case of infinite traces carry over to the finite traces case. We show that when only public actions are allowed, the verification problem under perfect recall becomes decidable.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Formal Analysis of Responsibility Attribution in a Multimodal Framework 22nd

Formal Analysis of Responsibility Attribution in a Multimoda...

引用

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

作者： Glavanicova, Daniela Pascucci, Matteo Comenius Univ Dept Log & Methodol Sci Bratislava Slovakia TU Wien Inst Log & Computat Vienna Austria Slovak Acad Sci Inst Philosophy Bratislava Slovakia

ISBN: (纸本)9783030337926;9783030337919

The present article is devoted to a logical treatment of some fundamental concepts involved in responsibility attribution. We specify a theoretical framework based on a language of temporal deontic logic with agent-relative operators for deliberate causal contribution. The framework is endowed with a procedure to solve normative conflicts which arise from the assessment of different normative sources. We provide a characterization result for a basic system within this framework and illustrate how the concepts formalized can be put at work in the analysis of examples of legal reasoning.

关键词： Multi-agent deontic logic Legal reasoning Norm interpretation Responsibility

来源：评论

学校读者我要写书评

暂无评论

Supporting Medical Decisions for Treating Rare Diseases Through Genetic programming 1

引用

22nd international conference on Applications of Evolutionary Computation (EvoApplications) Held as Part of EvoStar conference

作者： Bakurov, Illya Castelli, Mauro Vanneschi, Leonardo Freitas, Maria Joao Univ Nova Lisboa Nova Informat Management Sch NOVA IMS Campus Campolide P-1070312 Lisbon Portugal Rarissimas Assoc Nacl Deficiencias Mentais & Rara Rua AcucenasLote 1 P-1300003 Lisbon Portugal

ISBN: (数字)9783030166922

ISBN: (纸本)9783030166915;9783030166922

Casa dos Marcos is the largest specialized medical and residential center for rare diseases in the Iberian Peninsula. The large number of patients and the uniqueness of their diseases demand a considerable amount of diverse and highly personalized therapies, that are nowadays largely managed manually. This paper aims at catering for the emergent need of efficient and effective artificial intelligence systems for the support of the everyday activities of centers like Casa dos Marcos. We present six predictive data models developed with a genetic programming based system which, integrated into a web-application, enabled data-driven support for the therapists in Casa dos Marcos. The presented results clearly indicate the usefulness of the system in assisting complex therapeutic procedures for children suffering from rare diseases.

关键词： Genetic programming Geometric Semantic Genetic programming Medical decisions Rare diseases

来源：评论

学校读者我要写书评

暂无评论

The Bernays-Schonfinkel-Ramsey Class of Separation logic on Arbitrary Domains 1

引用

22nd international conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint conferences on Theory and Practice of Software (EATPS)

作者： Echenim, Mnacho Iosif, Radu Peltier, Nicolas Univ Grenoble Alpes LIG CNRS F-38000 Grenoble France Univ Grenoble Alpes VERIMAG CNRS F-38000 Grenoble France

ISBN: (数字)9783030171278

ISBN: (纸本)9783030171278;9783030171261

This paper investigates the satisfiability problem for Separation logic with k record fields, with unrestricted nesting of separating conjunctions and implications, for prenex formula with quantifier prefix there exists*for all*. In analogy with first-order logic, we call this fragment Bernays-Schonfinkel-Ramsey Separation logic [BSR(SLk)]. In contrast to existing work in Separation logic, in which the universe of possible locations is assumed to be infinite, both finite and infinite universes are considered. We show that, unlike in first-order logic, the (in)finite satisfiability problem is undecidable for BSR(SLk). Then we define two non-trivial subsets thereof, that are decidable for finite and infinite satisfiability respectively, by controlling the occurrences of universally quantified variables within the scope of separating implications, as well as the polarity of the occurrences of the latter. Beside the theoretical interest, our work has natural applications in program verification, for checking that constraints on the shape of a data-structure are preserved by a sequence of transformations.

关键词： Separation

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2019

22nd International Conference on Fundamental Approaches to S...

引用

22nd international conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2019

ISBN: (纸本)9783030167219

The proceedings contain 25 papers. The special focus in this conference is on Fundamental Approaches to Software Engineering. The topics include: Deepfault: Fault localization for deep neural networks;Variability abstraction and refinement for game-based lifted model checking of full CTL;formal verification of safety & security related timing constraints for a cooperative automotive system;checking observational purity of procedures;structural and nominal cross-language clone detection;SL2SF: Refactoring simulink to stateflow;metric temporal graph logic over typed attributed graphs;KUPC: A formal tool for modeling and verifying dynamic updating of C programs;business process privacy analysis in pleak;CLTestcheck: Measuring test effectiveness for GPU kernels;tool support for correctness-by-construction;Implementing SOS with active objects: A case study of a multicore memory system;optimal and automated deployment for microservices;a data flow model with frequency arithmetic;coVeriTest: Cooperative verifier-based testing;PARDIS: Priority aware test case reduction;Automatically identifying sufficient object builders from module APIs;automatic modeling of opaque code for javascript static analysis;SMT-based bounded schedulability analysis of the clock constraint specification language;a hybrid dynamic logic for event/data-based systems;pyro: Generating domain-specific collaborative online modeling environments;efficient model synchronization by automatically constructed repair processes;offline delta-driven model transformation with dependency injection;a logic-based incremental approach to graph repair.

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Information Security, ISC 2019

22nd International Conference on Information Security, ISC 2...

引用

22nd international conference on Information Security, ISC 2019

ISBN: (纸本)9783030302146

The proceedings contain 23 papers. The special focus in this conference is on Information Security. The topics include: When the Attacker Knows a Lot: The GAGA Graph Anonymizer;mitigation Techniques for Attacks on 1-Dimensional Databases that Support Range Queries;getting Under Alexa’s Umbrella: Infiltration Attacks Against Internet Top Domain Lists;truth in Web Mining: Measuring the Profitability and the Imposed Overheads of Cryptojacking;lightSense: A Novel Side Channel for Zero-permission Mobile User Tracking;Robust Covert Channels Based on DRAM Power Consumption;barnum: Detecting Document Malware via Control Flow Anomalies in Hardware Traces;an Analysis of Malware Trends in Enterprise Networks;l(a)ying in (Test)Bed: How Biased Datasets Produce Impractical Results for Actual Malware Families’ Classification;full Database Reconstruction with Access and Search Pattern Leakage;automated Reconstruction of Control logic for Programmable logic Controller Forensics;secure Stern Signatures in Quantum Random Oracle Model;adding Linkability to Ring Signatures with One-Time Signatures;cryptographic Authentication from the Iris;Cube Cryptanalysis of Round-Reduced ACORN;auditable Compressed Storage;decentralized Evaluation of Quadratic Polynomials on Encrypted Data;Robust Distributed Pseudorandom Functions for mNP Access Structures;can Today’s Machine Learning Pass Image-Based Turing Tests?;PD-ML-Lite: Private Distributed Machine Learning from Lightweight Cryptography;Code-Based Zero Knowledge PRF Arguments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Foundations of Software Science and Computation Structures, FOSSACS 2019 Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2019

22nd International Conference on Foundations of Software Sci...

引用

22nd international conference on Foundations of Software Science and Computation Structures, FOSSACS 2019 Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2019

ISBN: (纸本)9783030171261

The proceedings contain 30 papers. The special focus in this conference is on Foundations of Software Science and Computation Structures. The topics include: Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games;rewriting Abstract Structures: Materialization Explained Categorically;two-Way Parikh Automata with a Visibly Pushdown Stack;kleene Algebra with Hypotheses;trees in Partial Higher Dimensional Automata;the Bernays-Schönfinkel-Ramsey Class of Separation logic on Arbitrary Domains;Continuous Reachability for Unordered Data Petri Nets is in PTime;optimal Satisfiability Checking for Arithmetic µ-Calculi;constructing Inductive-Inductive Types in Cubical Type Theory;causal Inference by String Diagram Surgery;higher-Order Distributions for Differential Linear logic;resource-Tracking Concurrent Games;languages Ordered by the Subword Order;strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces;a Sound and Complete logic for Algebraic Effects;equational Axiomatization of Algebras with Structure;towards a Structural Proof Theory of Probabilistic µ-Calculi;partial and Conditional Expectations in Markov Decision Processes with Integer Weights;equational Theories and Monads from Polynomial Cayley Representations;A Dialectica-Like Interpretation of a Linear MSO on Infinite Words;deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time;justness: A Completeness Criterion for Capturing Liveness Properties (Extended Abstract);change Actions: Models of Generalised Differentiation;path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching;coalgebra Learning via Duality;tight Worst-Case Bounds for Polynomial Loop Programs;a Complete Normal-Form Bisimilarity for State;identifiers in Registers: Describing Network Algorithms with logic;the Impatient May Use Limited Optimism to Minimize Regret.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Genetic programming for Feature Selection and Feature Combination in Salient Object Detection 1

引用

22nd international conference on Applications of Evolutionary Computation (EvoApplications) Held as Part of EvoStar conference

作者： Afzali, Shima Al-Sahaf, Harith Xue, Bing Hollitt, Christopher Zhang, Mengjie Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand

ISBN: (数字)9783030166922

ISBN: (纸本)9783030166915;9783030166922

Salient Object Detection (SOD) aims to model human visual attention system to cope with the complex natural scene which contains various objects at different scales. Over the past two decades, a wide range of saliency features have been introduced in the SOD field, however feature selection has not been widely investigated for selecting informative, non-redundant, and complementary features from the existing features. In SOD, multi-level feature extraction and feature combination are two fundamental stages to compute the final saliency map. However, designing a good feature combination framework is a challenging task and requires domain-expert intervention. In this paper, we propose a genetic programming (GP) based method that is able to automatically select the complementary saliency features and generate mathematical function to combine those features. The performance of the proposed method is evaluated using four benchmark datasets and compared to nine state-of-the-art methods. The qualitative and quantitative results show that the proposed method significantly outperformed, or achieved comparable performance to, the competitor methods.

关键词： Salient Object Detection Genetic programming Feature combination Feature selection

来源：评论

学校读者我要写书评

暂无评论

Robust Regression Random Forests by Small and Noisy Training Data 22

Robust Regression Random Forests by Small and Noisy Training...

引用

22nd international conference on Soft Computing and Measurements (SCM)

作者： Min, Lev, V Kovalev, Maxim S. Coolen, Frank P. A. Peter Great St Petersburg Polytech Univ Dept Telemat St Petersburg Russia Univ Durham Dept Math Sci Durham England

ISBN: (纸本)9781728136028

A regression random forest model taking into account imprecision of the decision tree estimates is proposed. The imprecision stems from conditions of small or noisy training data which may take place in many applications. In fact, a meta-model is proposed to train and to compute optimal weights assigned to decision trees, which control the imprecision in order to get the robust random forest estimates. The imprecision of the tree estimations is defined by means of interval models, for example, by using confidence intervals. The weights are computed by solving standard quadratic optimization problem with linear constraints. Numerical examples illustrate the proposed robust model which provides outperforming results for noisy and small data in comparison with the standard random forest.

关键词： random forest regression confidence interval robust model imprecise model quadratic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：