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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Triboelectrification driven fin-fact (flip-flop actuated channel transistor) for security application

Triboelectrification driven fin-fact (flip-flop actuated cha...

引用

IEEE international conference on Micro Electro Mechanical Systems

作者： Daewon Kim Dae-Chul Ahn Mark G. Allen Yang-Kyu Choi University of Pennsylvania Philadelphia USA Korea Advanced Institutes of Science and Technology (KAIST) Daejeon Republic of Korea

ISBN: (纸本)9781509050796

A silicon-nanowire (Si-NW) switch with triboelectricity is proposed for the first time for future electronics with enhanced security application. the dimensions of the mechanical NW switch are width 50 nm and thickness 100 nm with a 50-nm-thick airgap, fabricated with aid of CMOS fabrication technology. By hand-touch on gate pad, the fabricated switch can turn-on as well as turn-off by destruction of fin-channel which comes from electrostatic force by triboelectricity. this technology is expected as a security-enhanced future electronics.

关键词： Switches Triboelectricity logic gates Nanoelectromechanical systems Electrodes Contacts Switching circuits

来源：评论

学校读者我要写书评

暂无评论

Electrochemical-mechanically triggered transient electronics

Electrochemical-mechanically triggered transient electronics

引用

IEEE international conference on Micro Electro Mechanical Systems

作者： Kyoseung Sim Xu Wang Cunjiang Yu Materials Science and Engineering Program University of Houston Houston TX USA Department of Mechanical Engineering University of Houston Houston TX USA

ISBN: (纸本)9781509050796

Electronics, which functions for a designed time period and then degrades, holds promise in lots of areas, including medical implants, disposable electronic devices and data securing hardware. Here, we report a new type of transient electronics that is triggered through electrochemical-mechanical manner with robust and reliable mechanical design, low triggering voltage and fast transient characteristics. Such device is constructed through integrating electrochemical-mechanically triggered MEMS module with functional electronics. the electrochemical-mechanical triggering mechanism in this device opens up new vistas for transient electronics designs. Various materials and different type of electronics has been demonstrated.

关键词： Transient analysis Resistors Optical imaging Etching Electrodes Optical device fabrication logic gates

来源：评论

学校读者我要写书评

暂无评论

Managing uncertainty in spatial and spatio-temporal data

Managing uncertainty in spatial and spatio-temporal data

引用

international conference on Data Engineering

作者： Reynold Cheng Tobias Emrich Hans-Peter Kriegel Nikos Mamoulis Matthias Renz Goce Trajcevski Andreas Züfle Department of Computer Science University of Hong Kong Integrated Media Systems Center University of Southern California Los Angeles CA USA Institute for Informatics Ludwig-Maximilians-Universität München Department of EECS Northwestern University Evanston IL USA

ISBN: (纸本)9781479925568

Location-related data has a tremendous impact in many applications of high societal relevance and its growing volume from heterogeneous sources is one true example of a Big Data [1]. An inherent property of any spatio-temporal dataset is uncertainty due to various sources of imprecision. this tutorial provides a comprehensive overview of the different challenges involved in managing uncertain spatial and spatio-temporal data and presents state-of-the-art techniques for addressing them.

关键词： Probabilistic logic Spatial databases Tutorials Uncertainty Data models Semantics

来源：评论

学校读者我要写书评

暂无评论

Planning and Scheduling from a Class Test Order

Planning and Scheduling from a Class Test Order

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Yvan Labiche Software Quality Engineering Laboratory Systems and Computer Engineering Carleton University Ottawa ONT Canada

One of the characteristics of object-oriented software is the complex dependencies that may exist between classes due to generalization and client-server relationships. Hence, where to start testing and how to define an integration strategy are issues that require investigation. A number of techniques exist to order the test of classes with the aim of reducing costs. they usually generate a class test order that is a directed graph indicating in which order classes have to be tested, or which classes can be tested in parallel. this paper shows how such a class test order can be beneficial to testers and designers when conducting various activities, such as planning and scheduling class testing. this is illustrated by means of a case study

关键词： Software testing Unified modeling language Systems engineering and theory programming Costs Processor scheduling System testing Software quality Laboratories Drives

来源：评论

学校读者我要写书评

暂无评论

State Recovering Attack Against Quavium

State Recovering Attack Against Quavium

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Shiyong Zhang Gongliang Chen Jianhua Li School of Information Security Engineering Shanghai Jiao Tong University Shanghai China

Trivium is a notable light-weight synchronous stream cipher submitted to the European eSTREAM project in April 2005. Quavium is a 4-round Trivium-like algorithm which is almost as fast as Trivium. In this paper, the structure of Quavium is studied and we study the security of Quavium under state recovering attack, which is the best known attack to Trivium, i.e., we try to recover the internal state and the secret key of Quavium, given a piece of a known keystream. We show that the internal state of Quavium will be recovered in time around 2^142.5, while for Trivium the complexity is 2^83.5. therefore, comparing with Trivium, Quavium has a better performance under state recovering attack.

关键词： Ciphers Complexity theory Algorithm design and analysis logic gates Europe Software

来源：评论

学校读者我要写书评

暂无评论

A Mixed Integer programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem 30th

A Mixed Integer Programming Reformulation of the Mixed Fruit...

引用

30th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

作者： Maqrot, Sara de Givry, Simon Quesnel, Gauthier Tchamitchian, Marc Univ Toulouse INRA MIAT UR 875 Castanet Tolosan France INRA UR Ecodev 767 Avignon France

ISBN: (纸本)9783319600451;9783319600444

Mixed fruit-vegetable cropping systems are a promising way of ensuring environmentally sustainable agricultural production systems in response to the challenge of being able to fulfill local market requirements. Indeed, they combine productions and they make a better use of biodiversity. these agroforestry systems are based on a complex set of interactions modifying the utilization of light, water and nutrients. thus, designing such a system must optimize the use of these resources: by maximizing positive interactions (facilitation) and minimizing negative ones (competition). To attain these objectives, the system's design has to include the spatial and temporal dimensions, taking into account the evolution of above-and belowground interactions over a time horizon. For that, we define the Mixed Fruit-Vegetable Crop Allocation Problem (MFVCAP) using a discrete representation of the land and the interactions between vegetable crops and fruit trees. First, we give a direct formulation as a binary quadratic program (BQP). then we reformulate the problem using a Benders decomposition approach. the master problem has 0/1 binary variables and deals with tree positioning. the subproblem deals with crop quantities. the BQP objective function becomes linear in the continuous subproblem by exploiting the fact that it depends only on the quantity of crops assigned to land units having shade, root, or nothing. this problem decomposition allows us to reformulate the MFVCAP into a Mixed Integer linear Program (MIP). the detailed spatial-temporal crop allocation plan is easy to obtain after solving the MIP. Experimental results show the efficiency of our approach compared to a direct solving of the original BQP formulation.

关键词： Agroecology Spatial and temporal crop allocation problem Binary Quadratic programming Mixed integer programming Benders decomposition

来源：评论

学校读者我要写书评

暂无评论

Multimedia program Graphs and its benefit

Multimedia program Graphs and its benefit

引用

international conference on Information Technology Interfaces

作者： Eva Milkova Martin Pozdilek Jiri Haviger University of Hradec Králové Hradec Kralove Czech Republic

ISBN: (纸本)9789537138127

the main purpose of the program graphs that is a visual representation of basic graph-concepts and graph-algorithms using a colouring process on graphs created within the program. the program was created in the Delphi environment by our student for his thesis, and enables the teacher to complete his/her lectures so that topics can be more comprehensible as well as saving the teacherpsilas time when he/she prepares text materials and presentations. Students using this program can revise subject-matter and understand it more deeply. they can easily prepare their assignments with the aid of program as well. this paper explores just a few ideas that have proved successful in enhancing education and optimization of studentspsila study habits.

关键词： Multimedia program Graph theory Virtual study environment Multimedia programming Graph theory Students Teachers visual representation theses COLOR PROCESSING

来源：评论

学校读者我要写书评

暂无评论

Verification, Model Checking, and Abstract Interpretation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rayna Dimitrova Ori Lahav Sebastian Wolff

ISBN: (数字)9783031505218

ISBN: (纸本)9783031505201

the two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.;the 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. they were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;;Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;

关键词： theory of Computation Mathematics of Computing logic in AI Special Purpose and Application-Based Systems Software Engineering/programming and Operating Systems Control Structures and Microprogramming

来源：评论

学校读者我要写书评

暂无评论

A novel network module for medical devices

A novel network module for medical devices

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Ping-Yu Chen Industrial Technology Research Institute Taiwan

In order to allow medical devices to upload the vital signs to a server on a network without manually configuring for end-users, a new network module is proposed. the proposed network module, called Medical Hub (MH), functions as a bridge to fetch the data from all connecting medical devices, and then upload these data to the server. When powering on, the MH can immediately establish network configuration automatically. Network Address Translation (NAT) traversal is also supported by the MH with the UPnP Internet Gateway Device (IGD) methodology. Besides the network configuration, other configuration in the MH is automatically established by using the remote management protocol TR-069. On the other hand, a mechanism for updating software automatically according to the variant connected medical device is proposed. With this mechanism, newcome medical devices can be detected and supported by the MH without manual operation.

关键词： Medical devices logic gates Protocols Servers Internet Data centers Software

来源：评论

学校读者我要写书评

暂无评论

Verification, Model Checking, and Abstract Interpretation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rayna Dimitrova Ori Lahav Sebastian Wolff

ISBN: (数字)9783031505249

ISBN: (纸本)9783031505232

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 85 86 87 88 89 90 91 92 93 94 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：