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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

180 篇 会议
18 篇 期刊文献
3 册 图书

馆藏范围

201 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

148 篇 工学
- 133 篇 计算机科学与技术...
- 94 篇 软件工程
- 7 篇 电气工程
- 7 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 机械工程
- 3 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 交通运输工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 生物工程
- 1 篇 安全科学与工程
27 篇 理学
- 24 篇 数学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 系统科学
- 1 篇 物理学
12 篇 管理学
- 6 篇 管理科学与工程(可...
- 6 篇 图书情报与档案管...
- 3 篇 工商管理
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
- 1 篇 作物学

主题

32 篇 logic programmin...
23 篇 functional progr...
9 篇 logic
8 篇 programming
6 篇 computer science
6 篇 parallel program...
6 篇 answer set progr...
5 篇 computer circuit...
5 篇 application soft...
5 篇 optimization
5 篇 semantics
5 篇 computer program...
5 篇 probabilistic lo...
5 篇 hardware
4 篇 programming prof...
4 篇 computer archite...
4 篇 model checking
4 篇 logic gates
4 篇 linear programmi...
4 篇 yarn

机构

2 篇 univ london impe...
2 篇 vienna universit...
2 篇 university of ca...
2 篇 department of co...
2 篇 imdea software
2 篇 texas tech univ ...
2 篇 free univ bolzan...
2 篇 queen mary univ ...
2 篇 univ new mexico ...
2 篇 univ new mexico ...
2 篇 tech univ madrid...
2 篇 tech univ madrid...
2 篇 univ roma la sap...
2 篇 national ict aus...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 univ nottingham ...
1 篇 dept of comput u...
1 篇 univ porto cracs...

作者

3 篇 yoshida nobuko
3 篇 woltran stefan
3 篇 saenz-perez fern...
2 篇 stuckey peter j.
2 篇 mellarkod veena ...
2 篇 lópez-garcía p
2 篇 mukaidono masao
2 篇 kiselyov oleg
2 篇 hafiz rahmatulla...
2 篇 krennwallner tho...
2 篇 costa vitor sant...
2 篇 lenzerini mauriz...
2 篇 cozman fabio g.
2 篇 caballero rafael
2 篇 carro manuel
2 篇 eiter thomas
2 篇 rosati riccardo
2 篇 rodríguez-artale...
2 篇 frost richard a.
2 篇 ianni giovambatt...

语言

193 篇 英文
7 篇 其他
1 篇 西班牙文

检索条件"任意字段=10th International Symposium on Functional and Logic Programming"

共 201 条记录，以下是41-50 订阅

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

详细简洁

排序：

the local spatial logic: Application of pedestrian model in Criciúma, Brazil 10

The local spatial logic: Application of pedestrian model in ...

引用

10th international Space Syntax symposium, SSS 2015

作者： Zampieri, Fábio Lúcio Da Costa Braga, Andrea De Ugalde, Cláudio Mainieri Rigatti, Décio Universidade Federal da Fronteira Sul Brazil Universidade Federal do Rio Grande do Sul Brazil Pontifícia Universidade Católica do Rio Grande do Sul Brazil Centro Universitário Ritter dos Reis Brazil

ISBN: (纸本)9780993342905

Understanding generative pedestrian movement causes is a key urban planning issue, especially when it comes to verify public policies efficiency towards open public spaces maintenance or improvement and the correlation of such governance actions in strengthening social dynamics. Pedestrian movement is a complex phenomenon which patterns emerge from the interaction among multidimensional variables ranging from cultural behavioural patterns underlying social relations, spatial configuration accessibility patterns to sidewalk attributes. the most effective problem-solving tools applied in order to improve pedestrian movement focus on modelling sidewalk attributes through the relations held amidst their physical variables. In this paper we introduce a modelling method which processes data interactions through artificial neural networks and genetic algorithms. Hybrid data parallel processing allow the comparison between potential and empirically measured pedestrian movement based on space syntax variables and sidewalks service levels. It provides accurate and reliable descriptions for public open spaces social appropriation patterns and its correlations to changes in urban grid morphology and functional centralities. the model proved its efficiency in processing simultaneously large data samples which consider whole urban areas global spatial structure, what enabled the impact analysis of large scale vehicular through movement on local scale movement and depict changes on pedestrian behaviour. the empirical case from which data were collected, the city of Criciúma / Brazil, summarizes a pervasive phenomenon to several Brazilian cities located on crossroads-the rupture of a consolidated functional centrality by the convergence between roads and main street sectioning the city core and causing the emergence of dynamic barriers related to heavy traffic through movement which imposes discontinuities to the urban grid, changing natural movement potentials, social appropriatio

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Aging and leakage tradeoff in VLSI circuits

Aging and leakage tradeoff in VLSI circuits

引用

international Design and Test Workshop

作者： Hao Luo Mehrdad Nourani Department of Electrical Engineering The University of Texas at Dallas Richardson TX

Bias Temperature Instability (BTI) has become a serious reliability issue for digital circuits. BTI-induced transistor aging degrades transistor performance over time and may eventually induce circuit failure due to timing variations. the leakage power dissipation is another concern as technology scales. While multiple V th and pin reordering are know as to reduce power leakage, both methods would affect transistor aging. In this paper, we propose an integer linear programming (ILP) based method to optimize VLSI circuits by considering aging-leakage tradeoff. the experimental results show up to 84% leakage power saving within the delay degradation constraint.

关键词： logic gates Delays Degradation threshold voltage Aging Transistors Optimization

来源：评论

学校读者我要写书评

暂无评论

Using BIP to reinforce correctness of resource-constrained IoT applications

Using BIP to reinforce correctness of resource-constrained I...

引用

international symposium on Industrial Embedded Systems

作者： Alexios Lekidis Emmanouela Stachtiari Panagiotis Katsaros Marius Bozga Christos K. Georgiadis VERIMAG Univ. Grenoble Alpes Grenoble Grenoble France Department of Informatics Aristotle University of Thessaloniki Thessaloniki Greece Department of Applied Informatics University of Macedonia Thessaloniki Greece

Internet of things (IoT) systems process and respond to multiple (external) events, while performing computations for a Sense-Compute-Control (SCC) or a Sense-Only (SO) goal. Given the limitations of the interconnected resource-constrained devices, the execution environment can be based on an appropriate operating system for the IoT. the development effort can be reduced, when applications are built on top of RESTful web services, which can be shared and reused. However, the asynchronous communication between remote nodes is prone to event scheduling delays, which cannot be predicted and taken into account while programming the application. Long delays in message processing and communication, due to packet collisions, are avoided by carefully choosing the data transmission frequencies between the system's nodes. But even when specialized simulators are available, it is still a hard challenge to guarantee the functional and non-functional requirements at the application and system levels. In this article, we introduce a model-based rigorous analysis approach using the BIP component framework. We present a BIP model for IoT applications running on the Contiki OS. At the application level, we verify qualitative properties for service responsiveness requirements, whereas at the system level we can validate qualitative and quantitative properties using statistical model checking. We present results for an application scenario running on a distributed system infrastructure.

关键词： Ports (Computers) Connectors Process control Servers Delays programming Model checking

来源：评论

学校读者我要写书评

暂无评论

Facilitating side channel analysis by obfuscation for Hardware Trojan detection

Facilitating side channel analysis by obfuscation for Hardwa...

引用

international Design and Test Workshop

作者： Arash Nejat David Hely Vincent Beroulle LCIS: Laboratoire de Conception et d'Intégration des Systèmes Université Grenoble Alpes Valence France

Integrated Circuit (IC) piracy and malicious alteration, named as Hardware Trojan (HT), are two important threats which may happen in untrusted foundries. functionality obfuscation has been proposed against IP/IC piracy. Obfuscation can also offer opportunities to defeat HT insertion, because the HT designer cannot understand the functionality of the obfuscated ICs. In addition various HT detection methods have been proposed based on conventional functional or structural tests, and side channel analysis. Conventional functional or structural tests are inefficient if the HT is not completely activated. HT detection by side channel analysis faces Process Variation (PV) and Environment Variation (EV). An HT is detectable if its effect is significant among PV and EV. In this work we propose to use obfuscation methods to facilitate power and path delay analysis based HT detection methods. Since shorter paths have less PV than longer paths; the first approach is to generate shorter paths for nets that only belong to long paths, while the circuit is being obfuscated. the second suggested approach is to increase the proportion of HT dynamic power to the total dynamic power of circuit, while the circuit is being obfuscated. the success of power analysis based HT detection methods is increased by increasing this proportion.

关键词： logic gates Integrated circuits Hardware Delays Trojan horses Handheld computers Foundries

来源：评论

学校读者我要写书评

暂无评论

Type-Based Amortized Resource Analysis with Integers and Arrays

Type-Based Amortized Resource Analysis with Integers and Arr...

引用

12th international symposium on functional and logic programming (FLOPS)

作者： Hoffmann, Jan Shao, Zhong Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9783319071510;9783319071503

Proving bounds on the resource consumption of a program by statically analyzing its source code is an important and well-studied problem. Automatic approaches for numeric programs with side effects usually apply abstract interpretation-based invariant generation to derive bounds on loops and recursion depths of function calls. this paper presents an alternative approach to resource-bound analysis for numeric, heap-manipulating programs that uses type-based amortized resource analysis. As a first step towards the analysis of imperative code, the technique is developed for a first-order ML-like language with unsigned integers and arrays. the analysis automatically derives bounds that are multivariate polynomials in the numbers and the lengths of the arrays in the input. Experiments with example programs demonstrate two main advantages of amortized analysis over current abstract interpretation-based techniques. For one thing, amortized analysis can handle programs with non-linear intermediate values like f ((n + m)(2)). For another thing, amortized analysis is compositional and works naturally for compound programs like f(g(x)).

关键词： Quantitative Analysis Resource Consumption Amortized Analysis functional programming Static Analysis

来源：评论

学校读者我要写书评

暂无评论

Methodology for the development of logic of object-oriented programming

Methodology for the development of logic of object-oriented ...

引用

12th Ibero-American Conference on Systems, Cybernetics and Informatics, CISCI 2013, Jointly with the 10th Ibero-American symposium on Education, Cybernetics and Informatics, SIECI 2013

作者： López Román, Leobardo Departamento de Ingeniería Industrial Y de Sistemas Universidad de Sonora Hermosillo Sonora 83000 Mexico

来源：评论

学校读者我要写书评

暂无评论

Didactic approach to multivariable control using iec 61131 model-based design and programmable logic controllers

Didactic approach to multivariable control using iec 61131 m...

引用

10th IFAC symposium on Advances in Control Education, ACE 2013

作者： Misgeld, Berno J.E. Pomprapa, Anake Leonhardt, Steffen RWTH Aachen University Germany

ISBN: (纸本)9783902823434

Recent advances in the programming standardisation and hardware development in the automation industry offer new possibilities for control engineering education. the IEC 61131 is nowadays widely used and there exist automatic code generators for high level simulation languages. the relatively cheap, but powerful hardware and the applicability of the programmable logic controller (PLC) to automation and complex control tasks make this combination a valuable tool for undergraduate and postgraduate control engineering classes. In this paper, the application of the model-based tool chain using Matlab/Simulink, IEC 61131 and a PLC is presented and applied to the well-known four-tank model as an experimental platform. Several educational examples used in linear and nonlinear control engineering classes are explained in detail and implemented in the hardware setup. Experimental results are shown and compared to simulation data. © IFAC.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Teaching fuzzy logic control based on a robotic implementation

Teaching fuzzy logic control based on a robotic implementati...

引用

10th IFAC symposium on Advances in Control Education, ACE 2013

作者： Shakouri, Payman Duran, Olga Ordys, Andrzej Collier, Gordana Faculty of Science Kingston University London Engineering and Computing Roehampton Vale Friars Avenue SW15 3DW United Kingdom

ISBN: (纸本)9783902823434

Advanced control concepts present a teaching challenge - even at master level students benefit from these concepts being implemented and demonstrated on real hardware, rather than simply modeling the plant, applying control strategy and tuning. this paper provides reference materials (both theoretical and test results), to be used in control teaching and assessment using a laboratory experiment, with a realtime single board computer based robotic vehicle (National Instruments Robotics Starter Kit). this paper explores the practical implementation of the ACC system through use of a real-time single board computer based robotic vehicle (National Instruments Robotics Starter Kit). the ACC algorithm based on fuzzy PID control is deployed on a field programmable gate array (FPGA), included in the robot's architecture. this robotic vehicle is programmed using a graphical programming language (LabVIEW). A Kalman filter is used to estimate the unmeasured parameters while implementing the control algorithm in the hardware (the real robot). the results obtained are compared for the simulation model and the real robot, respectively. the experiment demonstrates clear correlation between theoretical expectations and real-life system performance and at the same time offers a novel idea how to deliver this advanced control concept in an applied and visual manner. © IFAC.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Robot assisted endomicroscopic image mosaicing with optimal surface coverage and reconstruction

Robot assisted endomicroscopic image mosaicing with optimal ...

引用

IEEE international symposium on Biomedical Imaging

作者： Vasiliki Simaiaki Petros Giataganas Guang-Zhong Yang Hamlyn Centre for Robotic Surgery Imperial College London UK

ISBN: (纸本)9781467364560

Probe-based confocal laser endomicroscopy is an emerging technique for real-time in vivo and in situ tissue characterization. Major challenges related to the use of confocal endomicroscopy in clinical environments are the narrow field of view of pCLE images and a lack of spatio-Iocalization. the flexibility of the probe also hampers its manipulation in a consistent manner. these challenges are addressed in this paper by using a compliant robotic manipulator to provide simultaneous image mosaicing and surface reconstruction. the tip position given by the robot is combined with image registration in order to achieve accurate localization. Issues related to optimal path planning for 3D surface coverage are addressed. the proposed method enables the derivation of a functional three-dimensional map of the tissue suitable for intraoperative margin definition during cancer surgery.

关键词： Robots Image reconstruction Surface reconstruction Abstracts Indexes Probes programming

来源：评论

学校读者我要写书评

暂无评论

functional and logic programming - 10th international symposium, FLOPS 2010, Proceedings

Functional and Logic Programming - 10th International Sympos...

引用

10th international symposium on functional and logic programming, FLOPS 2010

ISBN: (纸本)3642122507

the proceedings contain 24 papers. the topics discussed include: Beluga: programming with dependent types, contextual data, and contexts;using static analysis to detect type errors and concurrency defects in Erlang programs;solving constraint satisfaction problems with SAT technology;a church-style intermediate language for MLF;haskell type constraints unleashed;a functional framework for result checking;tag-free combinators for binding-time polymorphic program generation;a complete axiomatization of strict equality;an integrated distance for atoms;automatically generating counterexamples to naive free theorems;applying constraint logic programming to SQL test case generation;automatic parallelization of recursive functions using quantifier elimination;and a skeleton for distributed work pools in Eden.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：