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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

781 篇 会议
72 篇 期刊文献
61 册 图书

馆藏范围

912 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

504 篇 工学
- 336 篇 计算机科学与技术...
- 199 篇 软件工程
- 95 篇 控制科学与工程
- 88 篇 电气工程
- 71 篇 信息与通信工程
- 40 篇 机械工程
- 29 篇 生物医学工程（可授...
- 27 篇 电子科学与技术（可...
- 27 篇 生物工程
- 25 篇 材料科学与工程（可...
- 24 篇 力学（可授工学、理...
- 24 篇 建筑学
- 21 篇 仪器科学与技术
- 20 篇 光学工程
- 20 篇 土木工程
- 19 篇 化学工程与技术
- 17 篇 航空宇航科学与技...
- 15 篇 交通运输工程
383 篇 理学
- 310 篇 数学
- 66 篇 物理学
- 62 篇 系统科学
- 48 篇 统计学（可授理学、...
- 36 篇 生物学
- 22 篇 化学
93 篇 管理学
- 61 篇 管理科学与工程(可...
- 31 篇 图书情报与档案管...
- 28 篇 工商管理
27 篇 医学
- 24 篇 临床医学
- 17 篇 基础医学(可授医学...
15 篇 法学
- 13 篇 社会学
11 篇 农学
10 篇 经济学
10 篇 教育学
4 篇 军事学
2 篇 文学
1 篇 艺术学

主题

74 篇 discrete wavelet...
49 篇 discrete mathema...
43 篇 discrete cosine ...
42 篇 algorithm analys...
32 篇 discrete fourier...
27 篇 signal processin...
25 篇 discrete event s...
25 篇 feature extracti...
19 篇 algorithms
18 篇 signal processin...
18 篇 genetic algorith...
18 篇 data structures
16 篇 computer communi...
16 篇 image coding
16 篇 numeric computin...
16 篇 watermarking
15 篇 artificial intel...
13 篇 computer graphic...
12 篇 robustness
11 篇 mathematical log...

机构

8 篇 carleton univ sc...
3 篇 università di ca...
3 篇 infn sezione di ...
3 篇 north-west unive...
3 篇 infn sezione di ...
3 篇 indian stat inst...
3 篇 in2p3 lpc campus...
3 篇 institut univers...
3 篇 national centre ...
3 篇 tno technical sc...
3 篇 université de st...
3 篇 simon fraser uni...
3 篇 faculty of compu...
3 篇 nikhef national ...
3 篇 laboratoire univ...
3 篇 university moham...
3 篇 university würzb...
3 篇 université de ha...
3 篇 university of jo...
3 篇 university moham...

作者

8 篇 azar ahmad taher
4 篇 catalani f.
4 篇 de souza v.
4 篇 chudoba j.
4 篇 maheshwari anil
4 篇 ammar hossam has...
4 篇 weili wu
3 篇 chen a.
3 篇 benoit d.m.
3 篇 ferrara g.
3 篇 ardid m.
3 篇 calvo d.
3 篇 gagliardini s.
3 篇 eddymaoui a.
3 篇 kulikovskiy v.
3 篇 labalme m.
3 篇 gal t.
3 篇 bozza c.
3 篇 khatun a.
3 篇 kalekin o.

语言

880 篇 英文
32 篇 其他
3 篇 中文

检索条件"任意字段=6th International Conference on Algorithms and Discrete Applied Mathematics"

共 914 条记录，以下是511-520 订阅

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

详细简洁

排序：

Applying tree languages in proof theory

Applying tree languages in proof theory

引用

6th international conference on Language and Automata theory and Applications, LATA 2012

作者： Hetzl, Stefan Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraße 8-10 A-1040 Vienna Austria

ISBN: (纸本)9783642283314

We introduce a new connection between formal language theory and proof theory. One of the most fundamental proof transformations in a class of formal proofs is shown to correspond exactly to the computation of the language of a certain class of tree grammars. Translations in both directions, from proofs to grammars and from grammars to proofs, are provided. this correspondence allows theoretical as well as practical applications. © 2012 Springer-Verlag.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Compression Technique for Segmented Hand Veins Using Quad Tree Decomposition

A Hybrid Compression Technique for Segmented Hand Veins Usin...

引用

Cairo international Biomedical Engineering conference (CIBEC)

作者： Saad, Mohamed Nagy Kandil, Ahmed Hisham Misr Univ Sci & Technol Dept Biomed Engn 6th Of October Egypt

ISBN: (纸本)9781467328005;9781467327992

Biometrics are techniques for automatically identifying and authenticating an individual based on his physiological or behavioral characteristics. Hand vein is one of the biometric modalities. Hand vein check measures the shape and size of veins in the back of the hand in a grayscale image. In this paper, hybrid compression technique is applied on ninety hand vein images. this hybrid technique is combining the advantages of lossless techniques and lossy techniques. Only the essential information is selected and compressed using lossless technique, and nonessential information is compressed using lossy technique. the observed parameters are compression ratio (CR), total compression time (TCT), mean square error (MSE), and peak signal to noise ratio (PSNR). the goal is to maximize the CR while preserving images' information. this is acheived using object segmentation procedure and quad tree decomposition (QTD) as preprocessing steps for the compression process. Applying the hybrid technique on the dataset images results in a CR in the range of 89.56%.

关键词： discrete Cosine Transform Hand Veins Huffman Coding Image Compression Quad Tree Decomposition

来源：评论

学校读者我要写书评

暂无评论

An AD-enabled optimization ToolBox in LabVIEW™

引用

6th international conference on Automatic Differentiation, AD 2012

作者： Gupta, Abhishek Kr. Forth, Shaun A. Department of Electrical Engineering IIT Kanpur Kanpur UP 208016 India Applied Mathematics and Scientific Computing Cranfield University Shrivenham Swindon SN6 8LA United Kingdom

ISBN: (纸本)9783642300226

LabVIEW™ is a visual programming environment for data acquisition, instrument control and industrial automation. this article presents LVAD, a graphically programmed implementation of forward mode Automatic Differentiation for LabVIEW. Our results show that the overhead of using overloaded AD in LabVIEW is sufficiently low as to warrant further investigation and that, within the graphical programming environment, AD may be made reasonably user friendly. We further introduce a prototype LabVIEW Optimization Toolbox which utilizes LVAD's derivative information. Our toolbox presently contains two main LabVIEW procedures fzero and fmin for calculating roots and minima respectively of an objective function in a single variable. Two algorithms, Newton and Secant, have been implemented in each case. Our optimization package may be applied to graphically coded objective functions, not the simple string definition of functions used by many of the optimizers of LabVIEW's own optimization package. © 2012 Springer-Verlag.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

Conflict-free graph orientations with parity constraints

Conflict-free graph orientations with parity constraints

引用

6th international conference on Fun with algorithms, FUN 2012

作者： Cannon, Sarah Ishaque, Mashhood Tóth, Csaba D. Department of Mathematics Tufts University Medford MA United States Department of Computer Science Tufts University Medford MA United States Department of Mathematics and Statistics University of Calgary AB Canada

ISBN: (纸本)9783642303463

It is known that every multigraph with an even number of edges has an even orientation (i.e., all indegrees are even). We study parity constrained graph orientations under additional constraints. We consider two types of constraints for a multigraph G=(V,E): (1) an exact conflict constraint is an edge set C ⊆ E and a vertex ν ∈ V such that C should not equal the set of incoming edges at ν (2) a subset conflict constraint is an edge set C ⊆ E and a vertex ν ∈ V such that C should not be a subset of incoming edges at ν. We show that it is NP-complete to decide whether G has an even orientation with exact or subset conflicts, for all conflict sets of size two or higher. We present efficient algorithms for computing parity constrained orientations with disjoint exact or subset conflict pairs. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Trapezoidal Rule for Numerical Evaluation of Fractional Order Integrals with Applications to Simulation and Identification of Fractional Order Systems

Trapezoidal Rule for Numerical Evaluation of Fractional Orde...

引用

IEEE international conference on Control Applications (CCA) Part of 6th IEEE Multi-conference on Systems and Control (IEEE MSC)

作者： Rapaic, Milan R. Pisano, Alessandro Jelicic, Zoran D. Univ Novi Sad Comp & Control Dept Fac Tech Sci Trg Dositeja Obradovica 6 Novi Sad 21000 Serbia Univ Cagliari Dept Elect & Elect Engn DIEE Cagliari Italy

ISBN: (纸本)9781467345057

this paper presents an extension of the well-known trapezoidal (bilinear) integration rule, that in the present work is applied to the numerical evaluation of fractional-order integrals. Particularly, this approximation is exploited to derive viable numerical algorithms addressing two distinct problems: i) simulation of Linear Time-Invariant (LTI) Commensurate Fractional Order Systems (CFOS);ii) non-recursive parameter estimation in LTI-CFOS. More precisely, the problem of non-recursive parameter estimation is addressed in two different scenarios. the first one is when the commensurate order of the CFOS is known in advance, while the second, more general, one is that in which the commensurate order is unknown and is to be estimated. the effectiveness of the proposed methods is illustrated by numerical examples.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Solving the connected dominating set problem and power dominating set problem by integer programming

Solving the connected dominating set problem and power domin...

引用

6th Annual international conference on Combinatorial Optimization and Applications, COCOA 2012

作者： Fan, Neng Watson, Jean-Paul Discrete Math and Complex Systems Department Sandia National Laboratories Albuquerque NM 87185 United States

ISBN: (纸本)9783642317699

In this paper, we propose several integer programming approaches with a polynomial number of constraints to formulate and solve the minimum connected dominating set problem. Further, we consider both the power dominating set problem - a special dominating set problem for sensor placement in power systems - and its connected version. We propose formulations and algorithms to solve these integer programs, and report results for several power system graphs. © 2012 Springer-Verlag.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Supervision of agents modelling evacuation at crisis situations

Supervision of agents modelling evacuation at crisis situati...

引用

6th KES international conference on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2012

作者： Čapkovič, František Institute of Informatics Slovak Academy of Sciences Dúbravská cesta 9 845 07 Bratislava Slovakia

ISBN: (纸本)9783642309465

the main aim of this paper is to point out that the agent cooperation based on supervision can be utilized also in crisis situations. the approach is applied to an evacuation of an endangered area (EA). the supervisors for agents modelling crisis situations are synthesized and presented here. this makes possible not only the agent cooperation in itself but also to check the evacuation process and guarantee full evacuation of people from EA. Place/transitions Petri Nets (P/T PN) are utilized in order to model the elementary autonomous agents being modules of EA. the supervision of agents is based on the DES (discrete-event systems) control theory. It is realized by means of known DES supervision methods. the proposed approach is illustrated in details on the supervision-based cooperation of agents in a case study of evacuation. the corresponding evacuation workflow is proposed by means of PN too. Moreover, the supervision is applied also in case of the workflow. © 2012 Springer-Verlag.

关键词： discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Social structure-land use-water flows: Modelling relationships using discrete Bayesian networks

Social structure-land use-water flows: Modelling relationshi...

引用

6th Biennial Meeting of the international Environmental Modelling and Software Society: Managing Resources of a Limited Planet, iEMSs 2012

作者： Fernández, Rosa Willaarts, Bárbara A. Fernández, Antonio Rumí, Rafael Aguilera, Pedro A. Informatics and Environment Research Group University of Almería Almería Spain Water Observatory-Botín Foundatión CEIGRAM- Research Centre for Management of Agricultural and Environmental Risks Technical University of Madrid Madrid Spain Dept. Statistics and Applied Mathematics University of Almería Almería Spain

ISBN: (纸本)9788890357428

Bayesian networks are one of the most powerful tools for the design of expert systems located in an uncertainty framework (probabilistic expert system). We have studied the relationships between social structure, land use and water flows in two Spanish catchments using discrete Bayesian networks. the aim was to predict how social changes influence both land use and green and blue water flows. Land use in the Nacimiento catchment is related to woodland and traditional agriculture, while land use in the Adra catchment comprises traditional and greenhouse agriculture. the socioeconomic variables selected were emigration rate, immigration rate, and the proportion of people older than 65 (p65). Green and blue water flows were calculated using the BalanceMED hydrological model. Data were discretized into three intervals using the Equal Frequency method and a Bayesian network was trained for each catchment. We studied two scenarios of social evolution: emigration and ageing;and immigration. the results indicated that in the Nacimiento catchment, social changes have little influence on changes in land use and water flows. the network for the Adra catchment showed the strong influence that social change plays on land use and water flow. the increase in emigration rates and p65, implies a decrease in immigration rate, an increase in woodland uses and a decrease in agricultural uses. In this context, non-productive green water flow decreased. If there were an increase in immigration rate, emigration rate and p65 would decrease;woodland uses would decrease and greenhouse and irrigated land would increase. therefore, non-productive green water flows and consumptive blue water would increase. these results highlight that the Nacimiento catchment has more resilience than the Adra catchment.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Modeling the U.S. healthcare system as an enterprise: Multi-scale hybrid data analytic methods

Modeling the U.S. healthcare system as an enterprise: Multi-...

引用

2012 6th IEEE international Systems conference, SysCon 2012

作者： Dougherty, Fran Hoffman, Kenneth C. Huntington, Honora Jun, Joseph Klein, David Lee, Kristin Schoener, Bradley Walters, Mark MITRE Corporation McLean VA United States

ISBN: (纸本)9781467307499

this paper presents a multi-scale data analytics approach for modeling the U.S. healthcare system as an enterprise. the U.S. healthcare enterprise encompasses public and private entities with significant government involvement in policies and programs that have widespread interactions and effects at all levels of the system;In other words, the U.S. healthcare system is a complex adaptive system. As such, integrated holistic data analytical methods are needed to understand the enterprise-wide interactions and outcomes. An enterprise systems engineering (ESE) approach is applied to organize diverse data sets and perform integrative analyses of patient populations, health services, providers, facilities, technology, insurers, pharmaceuticals, research, and the U.S. economy. Hybrid models are applied to the ESE of health services and proposed interventions to affect outcomes and costs. Type 2 diabetes management is used as a case study with selected policy and technology interventions to deal with the lifetime complications and consequences of this condition. the hybrid modeling structure explores agent-based methods to portray the movement of patients in the state-space, systems dynamics to capture policy and programmatic influences, discrete event methods to describe sequential service processes, and economic analysis methods to capture costs and impacts on the healthcare enterprise in the context of the overall economy. the paper addresses the need for an enterprise-level system-of-systems (SoS) approach to organize the vast and diverse data sets published by various agencies into an open-source data analytic framework. the framework describes the healthcare enterprise to support the comprehensive analysis of the impacts of policies and programs across the many dimensions and scales. Policy and programmatic areas of interest include insurer coverage decisions for new or modified health services, new technologies for diagnostic, therapeutic, and preventive services, a

关键词： discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

9th international conference on Monte Carlo and Quasi Monte Carlo Methods in Scientific Computing, MCQMC 2010

9th International Conference on Monte Carlo and Quasi Monte ...

引用

9th international conference on Monte Carlo and Quasi Monte Carlo Methods in Scientific Computing, MCQMC 2010

ISBN: (纸本)9783642274398

the proceedings contain 42 papers. the special focus in this conference is on Methods in Scientific Computing. the topics include: Markov bridges, bisection and variance reduction;upper bounds in discrepancy theory;entropy, randomization, derandomization, and discrepancy;asymptotic equivalence between boundary perturbations and discrete exit times;stochastic approximation of functions and applications;on figures of merit for randomly-shifted lattice rules;a study of the efficiency of exact methods for diffusion simulation;polynomial lattice point sets;liberating the dimension for function approximation and integration;a component-by-component construction for the trigonometric degree;scrambled polynomial lattice rules for infinite-dimensional integration;geometric and statistical properties of pseudorandom number generators based on multiple recursive transformations;computing Greeks using multilevel path simulation;weight Monte Carlo method applied to acceleration oriented traffic flow model;new inputs and methods for Markov chain quasi-Monte Carlo;extensions of Atanassov's methods for halton sequences;applicability of subsampling bootstrap methods in Markov chain Monte Carlo;QMC computation of confidence intervals for a sleep performance model;options pricing for several maturities in a jump-diffusion model;enumerating quasi-Monte Carlo point sequences in elementary intervals;spatial/angular contributon maps for improved adaptive Monte Carlo algorithms;hybrid function systems in the theory of uniform distribution of sequences;an intermediate bound on the star discrepancy;parallel quasi-Monte Carlo integration by partitioning low discrepancy sequences;quasi-Monte Carlo progressive photon mapping;value Monte Carlo algorithms for estimating the solution to the coagulation equation;numerical simulation of the drop size distribution in a spray;nonasymptotic bounds on the mean square error for MCMC estimates via renewal techniques;exact simulation of occupation times;ra

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共92页 << < 48 49 50 51 52 53 54 55 56 57 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：