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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,041 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

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

共 1043 条记录，以下是131-140 订阅

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

详细简洁

排序：

13th international Symposium on Frontiers of Combining Systems, FroCoS 2021, co-located with the 30th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021

13th International Symposium on Frontiers of Combining Syste...

引用

13th international Symposium on Frontiers of Combining Systems, FroCoS 2021, co-located with the 30th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021

ISBN: (纸本)9783030862046

the proceedings contain 16 papers. the special focus in this conference is on Frontiers of Combining Systems. the topics include: Vampire with a Brain Is a Good ITP Hammer;optimization Modulo Non-linear Arithmetic via Incremental Linearization;Quantifier Simplification by Unification in SMT;algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems;formal Analysis of Symbolic Authenticity;Formal Verification of a Java Component Using the RESOLVE Framework;non-disjoint Combined Unification and Closure by Equational Paramodulation;symbol Elimination and Applications to Parametric Entailment Problems;on the Copy Complexity of Width 3 Horn Constraint Systems;Restricted Unification in the DL FL0;combining Event Calculus and Description logic Reasoning via logic programming;semantic Forgetting in Expressive Description logics;improving Automation for Higher-Order Proof Steps;JEFL: Joint Embedding of Formal Proof Libraries.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Runtime Complexity Analysis of logically Constrained Rewriting 30th

Runtime Complexity Analysis of Logically Constrained Rewriti...

引用

30th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Winkler, Sarah Moser, Georg Free Univ Bolzano Bolzano Italy Univ Innsbruck Innsbruck Austria

ISBN: (纸本)9783030684457;9783030684464

logically constrained rewrite systems (LCTRSs) are a versatile and efficient rewriting formalism that can be used to model programs from various programming paradigms, as well as simplification systems in compilers and SMT solvers. In this paper, we investigate techniques to analyse the worst-case runtime complexity of LCTRSs. For that, we exploit synergies between previously developed decomposition techniques for standard term rewriting by Avanzini et al. in conjunction with alternating time and size bound approximations for integer programs by Brockschmidt et al. and adapt these techniques suitably to LCTRSs. Furthermore, we provide novel modularization techniques to exploit loop bounds from recurrence equations which yield sublinear bounds. We have implemented the method in TCT to test the viability of our method.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Comparison of the SET Sensitivity of Standard logic Gates Designed in 130 nm CMOS Technology 30

Comparison of the SET Sensitivity of Standard Logic Gates De...

引用

30th IEEE international conference on Microelectronics (MIEL)

作者： Andjelkovic, M. Kristic, M. Kraemer, R. IHP Technol Pk 25 D-15236 Frankfurt Oder Germany

ISBN: (纸本)9781538625637

this paper analyzes the sensitivity of live standard logic gates (AND, OR, INV, NAND and NOR) to Single Event Transients (SETS). All gates have been designed in IHP's 130 nm bulk CMOS technology. the analysis Was conducted with SPICE simulations, employing the current injection concept to model the SET effects. the SET sensitivity of the investigated logic gates was evaluated in terms of critical charge. For each logic gate, the dependence of the critical charge on the input logic levels, size of target gate and size of load gate was investigated. Obtained results have shown that it is possible to establish a simple linear model for estimating the critical charge as a function of the sizing factors of target and load gates, for all investigated logic gates and all combinations of input logic levels. the model provides very: good accuracy compared to the results obtained by SPICE simulations. Integrating the proposed model into a high-level SET evaluation tool would allow to reduce the number of required circuit-level simulations for evaluating the SET robustness of complex digital circuits composed of standard logic gates.

关键词： logic gates Integrated circuit modeling Semiconductor device modeling SPICE Standards Analytical models Sensitivity

来源：评论

学校读者我要写书评

暂无评论

Learning and Revising Dynamic Temporal theories in the Full Discrete Event Calculus 1

引用

30th international conference on Inductive logic programming (ILP) held as part of the 1st international Joint conference on Learning and Reasoning (IJCLR)

作者： Ray, Oliver Univ Bristol Dept Comp Sci Bristol Avon England

ISBN: (数字)9783030974541

ISBN: (纸本)9783030974541;9783030974534

this paper presents the first automatic method for learning and revising dynamic temporal theories in the full-fledged Discrete Event Calculus (DEC), where fluents may be temporarily released from the law of inertia and subject to qualitative or quantitative domain laws. this is done by proposing a reformulation of the DEC, called the eXploratory Event Calculus (XEC), which can be more efficiently handled by state-of-the-art answer set solvers, and which supports a range of different logical semantics and policy options for resolving conflicts relating to the truth value or release status of fluents. the paper shows how XEC outperforms DEC on standard reasoning benchmarks, and how it can be used with an ILP system XHAIL to provide the first proof-of-principle demonstration of theory learning and revision in the full-featured DEC.

关键词： theory revision Answer set programming Event calculus

来源：评论

学校读者我要写书评

暂无评论

PyGuru: A programming Environment to Facilitate Measurement of Cognitive Engagement 30

PyGuru: A Programming Environment to Facilitate Measurement ...

引用

30th international conference on Computers in Education (ICCE)

作者： Singh, Daevesh Subramaniam, Hema Rajendran, Ramkumar Indian Inst Technol IDPET Mumbai Maharashtra India Univ Malaya Dept Software Engn Kuala Lumpur Malaysia

ISBN: (纸本)9789869721493

there is a vital link between students' engagement and their performance. Despite this, a dearth of studies exploring student engagement (especially cognitive) in computer programming, where high failure rates are a norm. Interestingly, online environments capture fine-grained interactions;this data has the potential to detect students' cognitive engagement. the contribution of this paper is two-fold. Firstly, it introduces an online learning environment to learn and practice python programming called PyGuru and the data logged in the system. Secondly, we provide a preliminary analysis of students' interaction with the system to reveal their level of cognitive engagement in different system components. the results of this study conducted for two weeks and 21 students demonstrate that students perform more actions that correspond to passive engagement than other levels of engagement.

关键词： programming Learning Environment log data PyGuru Cognitive Engagement

来源：评论

学校读者我要写书评

暂无评论

the ABC Workbook: Adapting Online Judge Systems for Introductory programming Classes 30

The ABC Workbook: Adapting Online Judge Systems for Introduc...

引用

30th international conference on Computers in Education (ICCE)

作者： Asuncion, Aldrich Ellis Guadalupe, Brian Christopher Ortega, Gerard Francis Ateneo Manila Univ Dept Math Quezon City Philippines Ateneo Manila Univ Dept Informat Syst & Comp Sci Quezon City Philippines Natl Olympiad Informat Philippines Sci Comm Quezon City Philippines

ISBN: (纸本)9786269689002

the online judge is an established method of automatic assessment for programming tasks. Recognizing the relative lack of problems and resources for introductory- level programming classes, we present the ABC Workbook project, a workbook containing a comparatively large selection of basic programming exercises, accompanied by an application written to check the exercises in the workbook. the contents of the workbook, an overview of the app, and strategies for integration in a class are discussed. the accessibility of the app for use in remote and developing areas is emphasized. the project is expected to improve introductory-level programming instruction, by facilitating immediate feedback and providing access to a bank of curated problems. Future work involves application in classrooms, as well as implementation of problem creation features.

关键词： Computer science education automated assessment textbooks introductory programming

来源：评论

学校读者我要写书评

暂无评论

Efficient Data Model Verification with Many-Sorted logic 15

Efficient Data Model Verification with Many-Sorted Logic

引用

30th IEEE/ACM international conference on Automated Software Engineering Workshops (ASEW)

作者： Bocic, Ivan Bultan, Tevfik Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA

ISBN: (纸本)9781509000258

Misuse or loss of web application data can have catastrophic consequences in today's Internet oriented world. Hence, verification of web application data models is of paramount importance. We have developed a framework for verification of web application data models via translation to First Order logic (FOL), followed by automated theorem proving. Due to the undecidability of FOL, this automated approach does not always produce a conclusive answer. In this paper, we investigate the use of many-sorted logic in data model verification in order to improve the effectiveness of this approach. Many-sorted logic allows us to specify type information explicitly, thus lightening the burden of reasoning about type information during theorem proving. Our experiments demonstrate that using many-sorted logic improves the verification performance significantly, and completely eliminates inconclusive results in all cases over 7 real world web applications, down from an 17% inconclusive rate.

关键词： Data models Semantics Complexity theory Rails Java Libraries Encoding

来源：评论

学校读者我要写书评

暂无评论

the P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information

The P-Box CDF-Intervals: A Reliable Constraint Reasoning wit...

引用

30th international conference on logic programming

作者： Saad, Aya Fruehwirth, thom Gervet, Carmen Univ Ulm D-89069 Ulm Germany Univ Savoie Savoie France

this paper introduces a new constraint domain for reasoning about data with uncertainty. It extends convex modeling with the notion of p-box to gain additional quantifiable information on the data whereabouts. Unlike existing approaches, the p-box envelops an unknown probability instead of approximating its representation. the p-box bounds are uniform cumulative distribution functions (cdf)in order to employ linear computations in the probabilistic domain. the reasoning by means of p-box cdf-intervals is an interval computation which is exerted on the real domain then it is projected onto the cdf domain. this operation conveys additional knowledge represented by the obtained probabilistic bounds. the empirical evaluation of our implementation shows that, with minimal overhead, the output solution set realizes a full enclosure of the data along with tighter bounds on its probabilistic distributions.

关键词： convex structures reliable constraint reasoning probability box cdf interval constraint satisfaction problem constraint programming constraint reasoning uncertainty

来源：评论

学校读者我要写书评

暂无评论

Global software enterpreneurship

Global software enterpreneurship

引用

30th Annual international Computer Software and Applications conference

作者： Vasudevan, Venu Pervasive Platforms Lab Applications Research Motorola Research Laboratories UK

ISBN: (纸本)0769526551

With the globalization of markets and the creation of software to address these markets, educators face new curriculum challenges. they must expose students not only to core science skills, but also to a number of other skills that will enable them to innovate effectively on a global stage. this position paper discusses the evolution of business models and software requirements over the last decade, and the associated changes to CS curricula that will enable today's CS students to become tomorrow's innovators.

关键词： Technological innovation Globalization Open source software Application software Portable media players Computer industry Embedded software programming Refining Venus

来源：评论

学校读者我要写书评

暂无评论

Design and Investigation of Configurable Source Coupled logic 30

Design and Investigation of Configurable Source Coupled Logi...

引用

30th international conference on Microelectronics (ICM)

作者： Hassan, Hossam Kim, HyungWon Ibrahim, Sameh Chungbuk Natl Univ Dept Elect Engn Cheongju South Korea Ain Shams Univ Dept Elect & Elect Commun Engn Cairo Egypt

ISBN: (纸本)9781538681671

this paper introduces and investigates a configurable source coupled logic (cSCL) by configuring the bulk connection of the PMOS load transistor. In the low-power mode configuration, the circuit operates hi weak inversion (Le. subthreshold) regime, hence, its bulk connection of the PMOS load transistor is connected to its drain. However, in the highspeed mode configuration, the circuit operates in strong inversion (i.e. above threshold) regime, hence, its bulk connection of the PMOS load transistor is connected to its source. We have designed a 3-input XOR gate using the standard CMOS, STSCL, SCL, and cSC1 using a 65 run CMOS technology. Simulations demonstrated that, by configuring the eSCL in the low-power mode, it can operate up to 4X faster than standard CMOS and by configuring the cSCL in the high-speed, it can provide a power reduction of 62.46% compared to the standard CMOS.

关键词： source coupled logic (SCL) STSCL low-power subthreshold standard CMOS

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：