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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

217 篇 会议
10 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

137 篇 工学
- 106 篇 计算机科学与技术...
- 78 篇 软件工程
- 31 篇 生物工程
- 29 篇 生物医学工程（可授...
- 15 篇 信息与通信工程
- 14 篇 控制科学与工程
- 13 篇 光学工程
- 10 篇 化学工程与技术
- 8 篇 机械工程
- 6 篇 电气工程
- 5 篇 安全科学与工程
- 4 篇 水利工程
- 3 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 交通运输工程
108 篇 理学
- 51 篇 数学
- 49 篇 生物学
- 28 篇 统计学（可授理学、...
- 16 篇 物理学
- 13 篇 系统科学
- 11 篇 化学
- 2 篇 大气科学
34 篇 管理学
- 23 篇 图书情报与档案管...
- 16 篇 管理科学与工程(可...
- 7 篇 工商管理
20 篇 医学
- 19 篇 基础医学(可授医学...
- 12 篇 临床医学
- 10 篇 药学(可授医学、理...
4 篇 法学
- 4 篇 社会学
3 篇 农学
1 篇 经济学
1 篇 教育学

主题

15 篇 bioinformatics
8 篇 data models
7 篇 artificial intel...
6 篇 iterative method...
6 篇 proteins
6 篇 computational bi...
5 篇 pattern recognit...
4 篇 data mining and ...
4 篇 data mining
4 篇 graphic methods
4 篇 machine learning
4 篇 classification a...
4 篇 clustering algor...
4 篇 forecasting
3 篇 deep learning
3 篇 hidden markov mo...
3 篇 algorithms
3 篇 gene expression
3 篇 biological syste...
3 篇 monte carlo meth...

机构

6 篇 bioinformatics a...
4 篇 higher technical...
4 篇 nova university ...
3 篇 computer science...
2 篇 university of gr...
2 篇 florida atlantic...
2 篇 biomedical imagi...
2 篇 biotechnology de...
2 篇 polytechnic univ...
1 篇 pnpi ras res & e...
1 篇 international ph...
1 篇 division of biom...
1 篇 czech tech univ ...
1 篇 michigan state u...
1 篇 ahmanson-lovelac...
1 篇 larodec laborato...
1 篇 china medical un...
1 篇 key laboratory o...
1 篇 department of ma...
1 篇 school of medici...

作者

4 篇 bens pardamean
3 篇 pardamean bens
3 篇 hugo gamboa
3 篇 napolitano amri
3 篇 ana fred
3 篇 dittman david j.
2 篇 holub jan
2 篇 hugo gambôa
2 篇 dimov ivan
2 篇 taylor william r...
2 篇 de-shuang huang
2 篇 ignacio rojas
2 篇 gonzalo joya
2 篇 ana luisa n fred
2 篇 prochazka petr
2 篇 khoshgoftaar tag...
2 篇 maji pradipta
2 篇 fazelpour alirez...
2 篇 pour ali forough...
2 篇 chelliah vijayal...

语言

235 篇 英文
1 篇 其他
1 篇 中文

检索条件"任意字段=6th International Conference on Bioinformatics Models, Methods and Algorithms, BIOINFORMATICS 2015"

共 237 条记录，以下是151-160 订阅

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

详细简洁

排序：

6th international Symposium on Leveraging Applications of Formal methods, Verification and Validation, ISoLA 2014

6th International Symposium on Leveraging Applications of Fo...

引用

6th international Symposium on Leveraging Applications of Formal methods, Verification and Validation, ISoLA 2014

ISBN: (纸本)9783662452332

the proceedings contain 44 papers. the special focus in this conference is on Critical Systems, Rigorous Engineering of Autonomic Ensembles, Automata Learning, Formal methods and Analysis, Model-Based Code Generators and Automata Learning in Practice. the topics include: Statistical abstraction boosts design and test efficiency of evolving critical systems;incremental syntactic-semantic reliability analysis of evolving structured workflows;domain-specific languages for enterprise systems;formalizing self-adaptive clouds with knowlang;towards performance-aware engineering of autonomic component ensembles;rigorous system design flow for autonomous systems;algorithms for inferring register automata;active learning of nondeterministic systems from an ioco perspective;fomal methods and analyses in software product line engineering;domain specific languages for managing feature models;deployment variability in delta-oriented models;coverage criteria for behavioural testing of software product lines;DSL implementation for model-based development of pumps;domain-specific code generator modeling;LNCS transactions on foundations for mastering change;formal methods for collective adaptive ensembles;current issues on model-based software quality assurance for mastering change and compositional model-based system design as a foundation for mastering change.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Accurate Inference of Rice Biomass Based on Support Vector Machine

Accurate Inference of Rice Biomass Based on Support Vector M...

引用

the 9th international conference on Computer and Computing Technologies in Agriculture (CCTA 2015)

作者： Lingfeng Duan Wanneng Yang Guoxing Chen Lizhong Xiong Chenglong Huang College of Engineering Huazhong Agricultural University Agricultural Bioinformatics Key Laboratory of HubeiProvince Huazhong Agricultural University National Key Laboratory of Crop Genetic Improvement and National Center of Plant Gene Research Huazhong Agricultural University MOA Key Laboratory of Crop Ecophysiology and Farming System in the Middle Reaches of the Yangtze River Huazhong Agricultural University

ISBN: (纸本)9783319483566

Biomass is an important phenotypic trait in plant growth analysis. In this study, we established and compared 8 models for measuring aboveground biomass of 402 rice varieties. Partial least squares（PLS） regression and all subsets regression（ASR） were carried out to determine the effective ***, 6 models were developed based on support vector regression（SVR）. the kernel function used in this study was radial basis function（RBF）. three different optimization methods, Genetic Algorithm（GA） K-fold Cross Validation（K-CV）, and Particle Swarm Optimization（PSO）, were applied to optimize the penalty error C and RBF c. We also compared SVR models with models based on PLS regression and ASR. the result showed the model in combination of ASR, GA optimization and SVR outperformed other models with coefficient of determination（R） of 0.85 for the 268 varieties in the training set and 0.79 for the 134 varieties in the testing set, respectively. this paper extends the application of SVR and intelligent algorithm in measurement of cereal biomass and has the potential of promoting the accuracy of biomass measurement for different varieties.

关键词： Rice biomass Support vector regression Partial least squares All subsets regression Support Vector Network Partial least squares aquifer storage and recovery Speech recognition Biomass Particle swarm optimization breeding Optimization methods Regression (Psychology)

来源：评论

学校读者我要写书评

暂无评论

6th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2013

6th International Joint Conference on Biomedical Engineering...

引用

6th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2013

ISBN: (纸本)9783662444849

the proceedings contain 28 papers. the special focus in this conference is on Biomedical Electronics and Devices, bioinformatics models, methods and algorithms and Bio-inspired Systems and Signal Processing. the topics include: Opened-ring electrode array for enhanced non-invasive monitoring of bioelectrical signals;development and application of a portable device for cutaneous thermal sensitivity assessment;pine decay assessment by means of electrical impedance spectroscopy;gold standard generation using electrooculogram signal for drowsiness detection in simulator conditions;dielectric barrier discharge plasma for endodontic treatment;characterization of an acoustic based device for local arterial stiffness assessment;formal analysis of gene networks using network motifs;word match counts between markovian biological sequences;systematic analysis of homologous tandem repeat family in the human genome;predicting protein localization using a domain adaptation approach;optimization of cost sensitive models to improve prediction of molecular functions;dynamic changes of nasal airflow resistance during provocation with birch pollen allergen;identification of athletes during walking and jogging based on gait and electrocardiographic patterns;clinical test for validation of a new optical probe for hemodynamic parameters assessment;influence of iris template aging on recognition reliability;stable EEG features for biometric recognition in resting state conditions;integration of smart home health data in the clinical decision making process;modality preference in multimodal interaction for elderly persons and centralised electronic health records research across health organisation types.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international Symposium on Leveraging Applications of Formal methods, Verification and Validation, ISoLA 2014

6th International Symposium on Leveraging Applications of Fo...

引用

6th international Symposium on Leveraging Applications of Formal methods, Verification and Validation, ISoLA 2014

ISBN: (纸本)9783662452301

the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized Systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical Systems, Scientific Workflows, Evaluation and Reproducibility of Program Analysis and Industrial Track. the topics include: Introduction to track on engineering virtualized services;fault model design space for cooperative concurrency;towards the typing of resource deployment;fully abstract operation contracts;an effective heuristic for adaptive importance splitting in statistical model checking;a formalism for stochastic adaptive systems;a review of statistical model checking pitfalls on real-time stochastic models;using statistical model checking for measuring systems;blocking advertisements on android devices using monitoring techniques;a risk assessment framework for software testing;combining risk analysis and security testing;risk-based vulnerability testing using security test patterns;challenges for the dynamic interconnection of medical devices;temporal logic based monitoring of assisted ventilation in intensive care patients;meta-analysis of disjoint sets of attributes in large cohort studies;a visual programming approach to beat-driven humanoid robot dancing;automatic annotation of bioinformatics workflows with biomedical ontologies;modeling and verifying communication systems;simple management of high assurance data in long-lived interdisciplinary healthcare research;domain-specific business modeling with the business model developer;semantic heterogeneity in the formal development of complex systems;modelling and verifying an evolving distributed control system using an event-based approach and requirements driven data warehouse design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Computational Collective Intelligence, ICCCI 2014

6th International Conference on Computational Collective Int...

引用

6th international conference on Computational Collective Intelligence, ICCCI 2014

ISBN: (纸本)9783319112886

the proceedings contain 70 papers. the special focus in this conference is on Computational Collective Intelligence -- Technologies and Applications. the topics include: Agreement Technologies – Towards Sophisticated Software Agents;False Positives Reduction on Segmented Multiple Sclerosis Lesions Using Fuzzy Inference System by Incorporating Atlas Prior Anatomical Knowledge: A Conceptual Model;Fuzzy Splicing Systems;A Preference Weights Model for Prioritizing Software Requirements;Fuzzy Logic-Based Adaptive Communication Management on Wireless Network;Application of Self-adapting Genetic algorithms to Generate Fuzzy Systems for a Regression Problem;Analysis of Profile Convergence in Personalized Document Retrieval Systems;SciRecSys: A Recommendation System for Scientific Publication by Discovering Keyword Relationships;Grouping Like-Minded Users Based on Text and Sentiment Analysis;A Preferences Based Approach for Better Comprehension of User Information Needs;Sustainable Social Shopping System;Event Detection from Social Data Stream Based on Time-Frequency Analysis;Building Educational and Marketing models of Diffusion in Knowledge and Opinion Transmission;Semantic Model of Syllabus and Learning Ontology for Intelligent Learning System;Creating Collaborative Learning Groups in Intelligent Tutoring Systems;Method of Driver State Detection for Safety Vehicle by Means of Using Pattern Recognition;Motion Segmentation Using Optical Flow for Pedestrian Detection from Moving Vehicle;Articular Cartilage Defect Detection Based on Image Segmentation with Colour Mapping;Enhanced Face Preprocessing and Feature Extraction methods Robust to Illumination Variation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modelling and knowledge management for sustainable development

Modelling and knowledge management for sustainable developme...

引用

10th international conference on Software Engineering and Formal methods, SEFM 2012, 1st international Symposium on InSuEdu 2012, 1st international Symposium on MoKMaSD 2012, 6th international Workshop on Foundations and Techniques for OpenCert 2012

作者： Cerone, Antonio Garcia-Perez, Alexeis UNU IIST - International Institute for Software Technology United Nations University China Faculty of Engineering and Computing Coventry University Coventry United Kingdom

ISBN: (纸本)9783642543371

this paper introduces the motivation and aim of the 1st international Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD 2012), inspired by the POST-2015 UN Development Agenda. then the keynote paper and the four contributed papers presented at the Symposium are summarised and related to the POST-2015 UN Development Agenda. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Computational Collective Intelligence, ICCCI 2014

6th International Conference on Computational Collective Int...

引用

6th international conference on Computational Collective Intelligence, ICCCI 2014

ISBN: (纸本)9783319112886

the proceedings contain 70 papers. the special focus in this conference is on Computational Collective Intelligence. the topics include: Agreements technologies - towards sophisticated software agents;fuzzy splicing systems;a preference weights model for prioritizing software requirements;fuzzy logic-based adaptive communication management on wireless network;application of self-adapting genetic algorithms to generate fuzzy systems for a regression problem;analysis of profile convergence in personalized document retrieval systems;a recommendation system for scientific publication by discovering keyword relationships;grouping like-minded users based on text and sentiment analysis;a preferences based approach for better comprehension of user information needs;sustainable social shopping system;grey social networks - a facebook case study;event detection from social data stream based on time-frequency analysis;intelligent e-learning/tutoring - the flexible learning model in lms blackboard;building educational and marketing models of diffusion in knowledge and opinion transmission;semantic model of syllabus and learning ontology for intelligent learning system;creating collaborative learning groups in intelligent tutoring systems;method of driver state detection for safety vehicle by means of using pattern recognition;motion segmentation using optical flow for pedestrian detection from moving vehicle;enhanced face preprocessing and feature extraction methods robust to illumination variation and a cognitive integrated management support system for enterprises;combining time series and clustering to extract gamer profile evolution;rehandling problem of pickup containers under truck appointment system;emergent concepts on knowledge intensive processes and optimal partial rotation error for vehicle motion estimation based on omnidirectional camera.

关键词：

来源：评论

学校读者我要写书评

暂无评论

models of knowledge transfer for sustainable development

Models of knowledge transfer for sustainable development

引用

作者： Bolisani, Ettore Scramoncin, Prancesca Shaikh, Siraj Ahmed Department of Management and Engineering Faculty of Engineering University of Padua Padova Italy Research Group Department of Computing Faculty of Engineering and Computing Coventry United Kingdom

ISBN: (纸本)9783642543371

Sustainable development requires that distant organisations connect to one another and exchange knowledge. Online social networks have the potential to support these processes. It is however important to understand and model the processes of knowledge transfer that can effectively occur on the Internet. this paper explores recent literature with the purpose to highlight relevant formal approaches that can help to model and analyse the processes of inter-organisational knowledge transfer for sustainable development. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

An Approximate Execution of Rule-Based Multi-level models

An Approximate Execution of Rule-Based Multi-level Models

引用

11th international conference on Computational methods in Systems Biology (CMSB)

作者： Helms, Tobias Luboschik, Martin Schumann, Heidrun Uhrmacher, Adelinde M. Univ Rostock Inst Comp Sci D-18059 Rostock Germany

ISBN: (纸本)9783642407086;9783642407079

In cell biology, models increasingly capture dynamics at different organizational levels. therefore, new modeling languages are developed, e. g., like ML-Rules, that allow a compact and concise description of these models. However, the more complex models become the more important is an efficient execution of these models. tau-leaping algorithms can speed up the execution of biochemical reaction models significantly by introducing acceptable inaccurate results. Whereas those approximate algorithms appear particularly promising to be applied to hierarchically structured models, the dynamic nested structures cause specific challenges. We present a tau-leaping algorithm for ML-Rules which tackles these specific challenges and evaluate the efficiency and accuracy of this adapted tau-leaping based on a recently developed visual analysis technique.

关键词： computational biology rule-based modeling multi-level modeling tau-leaping efficient execution

来源：评论

学校读者我要写书评

暂无评论

Formal evaluation of persona trustworthiness with EUSTACE (extended abstract)

Formal evaluation of persona trustworthiness with EUSTACE (e...

引用

6th international conference on Trust and Trustworthy Computing, TRUST 2013

作者： Faily, Shamal Power, David Armstrong, Philip Fléchais, Ivan Department of Computer Science University of Oxford Oxford OX1 3QD United Kingdom

ISBN: (纸本)9783642389078

Personas are useful for considering how users of a system might behave, but problematic when accounting for hidden behaviours not obvious from their descriptions alone. Formal methods can potentially identify such subtleties in interactive systems, but we lack methods for eliciting models from qualitative persona descriptions. We present a framework for eliciting and specifying formal models of persona behaviour that a persona might, in certain circumstances, engage in. We also summarise our preliminary work to date evaluating this framework. © 2013 Springer-Verlag.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共24页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：