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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Mathematical Model of Coextrusion Molding of Polymer-concrete Building Structures 22

Mathematical Model of Coextrusion Molding of Polymer-concret...

引用

22nd international Scientific conference on Construction - The Formation of Living Environment (FORM)

作者： Dyadichev, Valery Kolesnikov, Andrey Dyadichev, Aleksandr Dyadicheva, Ekaterina Menyuk, Sergey Chornobay, Svitlana VI Vernadsky Crimean Fed Univ Pavlenko Str 3 Simferopol 295000 Crimea Russia Lugansk Natl Univ Dept Automat & Comp Integrated Technol Molodezhnyi Sq 20-A UA-91034 Lugansk Ukraine

The research identifies the optimality criterion of the technological process of the coextrusion molding of polymer-concrete building structures in the form of volumetric capacity as the correlation between forms quantity and technological cycle time. The set of parameters value constraints is made. The set consists of kinematic constraints, extruder's maximum power constrain, maximum motor torque constraint for the extruder trouble-free operation, constraint on the stress rate of the shift between layers, constraint on product cooling time, and minimum melt viscosity constraint. As a result, the task of coextrusion molding process improvement reduces to the task of linear programming. With the help of mathematical modelling the dynamics of cooling process of the preform in the mould is studied. The paper scrutinizes the influence of bulging pressure on the plybond strength in the multilayer polymer system in the manufacturing process of different capacity items.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Causality in Linear logic Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) 22nd

Causality in Linear Logic Full Completeness and Injectivity ...

引用

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)

作者： Castellan, Simon Yoshida, Nobuko Imperial Coll London London England

ISBN: (纸本)9783030171278;9783030171261

Commuting conversions of Linear logic induce a notion of dependency between rules inside a proof derivation: a rule depends on a previous rule when they cannot be permuted using the conversions. We propose a new interpretation of proofs of Linear logic as causal invariants which captures exactly this dependency. We represent causal invariants using game semantics based on general event structures, carving out, inside the model of [6], a submodel of causal invariants. This submodel supports an interpretation of unit-free Multiplicative Additive Linear logic with MIX (MALL(-)) which is (1) fully complete: every element of the model is the denotation of a proof and (2) injective: equality in the model characterises exactly commuting conversions of MALL(-). This improves over the standard fully complete game semantics model of MALL(-).

关键词： Event structures Linear logic Proof nets Game semantics

来源：评论

学校读者我要写书评

暂无评论

Extending a Brainiac Prover to Lambda-Free Higher-Order logic 25th

Extending a Brainiac Prover to Lambda-Free Higher-Order Logi...

引用

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

作者： Vukmirovic, Petar Blanchette, Jasmin Christian Cruanes, Simon Schulz, Stephan Vrije Univ Amsterdam Amsterdam Netherlands Max Planck Inst Informat Saarland Informat Campus Saarbrucken Germany Aesthet Integrat Austin TX USA DHBW Stuttgart Stuttgart Germany

ISBN: (纸本)9783030174620;9783030174613

Decades of work have gone into developing efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem proving. Higher-order provers lag behind in terms of efficiency. Instead of developing a new higher-order prover from the ground up, we propose to start with the state-of-the-art superposition-based prover E and gradually enrich it with higher-order features. We explain how to extend the prover's data structures, algorithms, and heuristics to.-free higher-order logic, a formalism that supports partial application and applied variables. Our extension outperforms the traditional encoding and appears promising as a stepping stone towards full higher-order logic.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Specification and Efficient Monitoring Beyond STL 25th

Specification and Efficient Monitoring Beyond STL

引用

作者： Bakhirkin, Alexey Basset, Nicolas Univ Grenoble Alpes VERIMAG Grenoble INP CNRS F-38000 Grenoble France

ISBN: (纸本)9783030174651;9783030174644

An appealing feature of Signal Temporal logic (STL) is the existence of efficient monitoring algorithms both for Boolean and real-valued robustness semantics, which are based on computing an aggregate function (conjunction, disjunction, min, or max) over a sliding window. On the other hand, there are properties that can be monitored with the same algorithms, but that cannot be directly expressed in STL due to syntactic restrictions. In this paper, we define a new specification language that extends STL with the ability to produce and manipulate real-valued output signals and with a new form of until operator. The new language still admits efficient offline monitoring, but also allows to express some properties that in the past motivated researchers to extend STL with existential quantification, freeze quantification, and other features that increase the complexity of monitoring.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Modelling of parallel threads synchronization in hybrid MPI + threads programs 22

Modelling of parallel threads synchronization in hybrid MPI ...

引用

22nd international conference on Soft Computing and Measurements, SCM 2019

作者： Tabakov, Andrey V. Paznikov, Alexey A. Saint-Petersburg Electrotechnical University 'LETI' St. Petersburg Russia

ISBN: (纸本)9781728136028

Parallel computing is one of the top priorities in computer science. The main means of parallel processing information is a distributed computing system (CS)-a composition of elementary machines that interact through a communication medium. Modern distributed VSs implement thread-level parallelism (TLP) within a single computing node (multi-core CS with shared memory), as well as process-level parallelism (PLP) process-level parallelism for the entire distributed CS. The main tool for developing parallel programs for such systems is the MPI standard. The need to create scalable parallel programs that effectively use compute nodes with shared memory has determined the development of the MPI standard, which today supports the creation of hybrid multi-threaded MPI programs. A hybrid multi-threaded MPI program is the combination of the computational capabilities of processes and threads. The standard defines four types of multithreading: Single-one thread of execution;Funneled-a multi-threaded program, but only main thread can perform MPI operations;Serialized-only one thread at the exact same time can make a call to MPI functions;Multiple-each program flow can perform MPI functions at any time. The main task of the multiple mode is the need to synchronize the communication flows within each process. This paper presents an overview of the work that addresses the problem of synchronizing processes running on remote machines and synchronizing internal program threads. Method for synchronization of threads based on queues with weakened semantics of operations is proposed. © 2019 IEEE.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Mining a Maximum Weighted Set of Disjoint Submatrices 22nd

Mining a Maximum Weighted Set of Disjoint Submatrices

引用

22nd international conference on Discovery Science (DS)

作者： Branders, Vincent Derval, Guillaume Schaus, Pierre Dupont, Pierre UCLouvain ICTEAM INGI Louvain La Neuve Belgium

ISBN: (纸本)9783030337780;9783030337773

The objective of the maximum weighted set of disjoint submatrices problem is to discover K disjoint submatrices that together cover the largest sum of entries of an input matrix. It has many practical data-mining applications, as the related biclustering problem, such as gene module discovery in bioinformatics. It differs from the maximum weighted submatrix coverage problem introduced in [6] by the explicit formulation of disjunction constraints: submatrices must not overlap. In other words, all matrix entries must be covered by at most one submatrix. The particular case of K = 1, called the maximal-sum submatrix problem, was successfully tackled with constraint programming in H. Unfortunately, the case of K > 1 is more challenging to solve as the selection of rows cannot be decided in polynomial time solely from the selection of K sets of columns. It can be proved to be NP-hard. We introduce a hybrid column generation approach using constraint programming to generate columns. It is compared to a standard mixed integer linear programming (MILP) through experiments on synthetic datasets. Overall, fast and valuable solutions are found by column generation while the MILP approach cannot handle a large number of variables and constraints.

关键词： Constraint programming Maximum weighted submatrix Column generation Maximum weighted set of disjoint submatrices problem Bi-cliques Data-mining

来源：评论

学校读者我要写书评

暂无评论

2 to 4 Digital Optical Line Decoder based on Photonic Micro-Ring Resonators

2 to 4 Digital Optical Line Decoder based on Photonic Micro-...

引用

international conference on Advanced Communication Technology (ICACT)

作者： M. Rakib Uddin F. K. Law Rafidah Petra Zainidi Hamid Nazri Ahmad Nurazmina Lingas Electrical and Electronic Engineering Programme Area Faculty of Engineering Universiti Teknologi Brunei (UTB) Gadong Brunei Darussalam

ISBN: (数字)9791188428045

ISBN: (纸本)9781728149431

The need for the research breakthrough in terms of the underlying electronic components have been rising due to the limitations of the current technology. Several alternative methods for digital circuits are needed, thus silicon photonics could be the answer. This paper presents the design of a digital 2 to 4 electro-optic line decoder based on the photonic micro-ring resonator as its core component. This work provides the design principle of the proposed digital decoder, together with the demonstration and simulation of the time varying operation with the speed of 5Gbps. The performance of the proposed line decoder is shown by clear output timing diagrams.

关键词： Resonators Optical waveguides Decoding Photonics Silicon Integrated optics logic gates

来源：评论

学校读者我要写书评

暂无评论

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: (纸本)9783030174613

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: Incremental analysis of evolving alloy models;extending a brainiac prover to lambda-free higher-order logic;LCV: A verification tool for linear controller software;semantic fault localization and suspiciousness ranking;computing coupled similarity;reachability analysis for termination and confluence of rewriting;voxlogica: A spatial model checker for declarative image analysis;on reachability in parameterized phaser programs;abstract dependency graphs and their application to model checking;nonreach – a tool for nonreachability analysis;Parallel SAT simplification on GPU architectures;the quantitative verification benchmark set;ilang: a modeling and verification platform for SoCs using instruction-level abstractions;metacsl: specification and verification of high-level properties;roll 1.0: ω -Regular language learning library;symbolic regex matcher;compass 3.0;debugging of behavioural models with clear;omega-regular objectives in model-free reinforcement learning;verifiably safe off-model reinforcement learning;encoding redundancy for satisfaction-driven clause learning;WAPS: Weighted and Projected Sampling;building better bit-blasting for floating-point problems;The axiom profiler: Understanding and debugging SMT quantifier instantiations;on the empirical time complexity of scale-free 3-sat at the phase transition;Modular and efficient divide-and-conquer SAT solver on top of the painless framework;quantitative verification of masked arithmetic programs against side-channel attacks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Business Information Systems, BIS 2019

22nd International Conference on Business Information System...

引用

22nd international conference on Business Information Systems, BIS 2019

ISBN: (纸本)9783030204846

The proceedings contain 67 papers. The special focus in this conference is on Business Information Systems. The topics include: Triggering Ontology Alignment Revalidation Based on the Degree of Change Significance on the Ontology Concept Level;Challenging SQL-on-Hadoop Performance with Apache Druid;the Impact of Imbalanced Training Data on Local Matching Learning of Ontologies;A DMN-Based Method for Context-Aware Business Process Modeling Towards Process Variability;the Shift from Financial to Non-financial Measures During Transition into Digital Retail – A Systematic Literature Review;A Maturity Model for IT-Related Security Incident Management;a Framework to Monitor Machine Learning Systems Using Concept Drift Detection;determining Optimal Multi-layer Perceptron Structure Using Linear Regression;an Effective Machine Learning Framework for Data Elements Extraction from the Literature of Anxiety Outcome Measures to Build Systematic Review;in-Memory Big Graph: A Future Research Agenda;a Model for Inebriation Recognition in Humans Using Computer Vision;interaction of Information Content and Frequency as Predictors of Verbs’ Lengths;automated Prediction of Relevant Key Performance Indicators for Organizations;genetic programming over Spark for Higgs Boson Classification;genetic Algorithms for the Picker Routing Problem in Multi-block Warehouses;subject-Orientation as a Means for Business Information System Design – A Theoretical Analysis and Summary;Quality of Research Information in RIS Databases: A Multidimensional Approach;modifying Consent Procedures to Collect Better Data: The Case of Stress-Monitoring Wearables in the Workplace;cyber Treat Intelligence Modeling;the Long Way from Science to Innovation – A Research Approach for Creating an Innovation Project Methodology;blockchain-Based Platform for Smart Learning Environments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Dynamic logic for Event/Data-Based Systems 22nd

A Hybrid Dynamic Logic for Event/Data-Based Systems

引用

22nd international conference on Fundamental Approaches to Software Engineering (FASE) held as part of the Annual European Joint conferences on Theory and Practice of Software (ETAPS)

作者： Hennicker, Rolf Madeira, Alexandre Knapp, Alexander Ludwig Maximilians Univ Munchen Munich Germany Univ Aveiro CIDMA Aveiro Portugal Univ Minho QuantaLab Braga Portugal Univ Augsburg Augsburg Germany

ISBN: (纸本)9783030167226;9783030167219

We propose E-down arrow-logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cover a broad range of abstraction levels from abstract requirements specifications up to constructive specifications. Our logic uses diamond and box modalities over structured actions adopted from dynamic logic. Atomic actions are pairs e(sic)psi. where e is an event and. a state transition predicate capturing the allowed reactions to the event. To write concrete specifications of recursive process structures we integrate (control) state variables and binders of hybrid logic. The semantic interpretation relies on event/data transition systems;specification refinement is defined by model class inclusion. For the presentation of constructive specifications we propose operational event/data specifications allowing for familiar, diagrammatic representations by state transition graphs. We show that E-down arrow-logic is powerful enough to characterise the semantics of an operational specification by a single E-down arrow-sentence. Thus the whole development process can rely on E-down arrow-logic and its semantics as a common basis. This includes also a variety of implementation constructors to support, among others, event refinement and parallel composition.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：