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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

28 篇 会议

馆藏范围

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

日期分布

学科分类号

3 篇 工学
- 2 篇 计算机科学与技术...
- 2 篇 生物工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 生物医学工程（可授...
- 1 篇 软件工程
2 篇 理学
- 2 篇 数学
- 2 篇 生物学

主题

1 篇 syntactics
1 篇 mapping
1 篇 rna

机构

1 篇 english departme...
1 篇 school of humani...
1 篇 université paris...
1 篇 school of foreig...
1 篇 laboratoire d'in...
1 篇 computer science...
1 篇 department of co...

作者

1 篇 duan wenhua
1 篇 monnot jérôme
1 篇 ponty yann
1 篇 boury théo
1 篇 reinharz vladimi...
1 篇 zhang mengjie
1 篇 gourvès laurent
1 篇 lin yunqing
1 篇 paschos vangelis...
1 篇 boria nicolas

语言

28 篇 英文

检索条件"任意字段=20th International Workshop on Algorithms in Bioinformatics, WABI 2020"

共 28 条记录，以下是1-10 订阅

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

详细简洁

排序：

20th international workshop on algorithms in bioinformatics, wabi 2020

20th International Workshop on Algorithms in Bioinformatics,...

引用

20th international workshop on algorithms in bioinformatics, wabi 2020

ISBN: (纸本)9783959771610

the proceedings contain 19 papers. the topics discussed include: an interpretable classification method for predicting drug resistance in M. tuberculosis;natural family-free genomic distance;the longest run subsequence problem;linear time construction of indexable founder block graphs;GraphBin2: refined and overlapped binning of metagenomic contigs using assembly graphs;fast and efficient rmap assembly using the bi-labeled de Bruijn graph;a graph-theoretic barcode ordering model for linked-reads;exact transcript quantification over splice graphs;shape decomposition algorithms for laser capture microdissection;advancing divide-and-conquer phylogeny estimation using Robinson-Foulds supertrees;near-linear time edit distance for Indel channels;and fold family-regularized Bayesian optimization for directed protein evolution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international workshop on Approximation and Online algorithms, WAOA 2022

20th International Workshop on Approximation and Online Algo...

引用

20th international workshop on Approximation and Online algorithms, WAOA 2022

ISBN: (纸本)9783031183669

the proceedings contain 12 papers. the special focus in this conference is on Approximation and Online algorithms. the topics include: On Streaming algorithms for Geometric Independent Set and Clique;approximating Length-Restricted Means Under Dynamic Time Warping;graph Burning and Non-uniform k-centers for Small Treewidth;scheduling with Machine Conflicts;knapsack Secretary through Boosting;scheduling Appointments Online: the Power of Deferred Decision-Making;canadian Traveller Problem with Predictions;the Power of Amortized Recourse for Online Graph Problems;an Improved Algorithm for Open Online Dial-a-Ride;stochastic Graph Exploration with Limited Resources.

关键词：

来源：评论

学校读者我要写书评

暂无评论

1st international workshop on the Web of things for Humans, WoT4H 2020, 2nd Semantics and the Web for Transport workshop, Sem4Tra 2020 and 6th international workshop on Knowledge Discovery on the Web, KDWEB 2020 co-located with 20th international Conference on Web Engineering, ICWE 2020

1st International Workshop on the Web of Things for Humans, ...

引用

1st international workshop on the Web of things for Humans, WoT4H 2020, 2nd Semantics and the Web for Transport workshop, Sem4Tra 2020 and 6th international workshop on Knowledge Discovery on the Web, KDWEB 2020 co-located with 20th international Conference on Web Engineering, ICWE 2020

ISBN: (纸本)9783030656645

the proceedings contain 8 papers. the special focus in this conference is on Web of things for Humans. the topics include: SOLID and PeaaS: Your Phone as a Store for Personal Data;preface;research on Standardization Technology of Software Testing Process Based on Workflow;how to Prototype a Client-Side Route Planner for Helsinki with Routable Tiles and Linked Connections;velopark: A Linked Open Data Platform for Bicycle Parkings;interactive Route Personalization Using Regions of Interest.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Combinatorial algorithms - 20th international workshop, IWOCA 2009, Revised Selected Papers

Combinatorial Algorithms - 20th International Workshop, IWOC...

引用

20th international workshop on Combinatorial algorithms, IWOCA 2009

ISBN: (纸本)3642102166

the proceedings contain 44 papers. the topics discussed include: evaluation of recoverable-robust timetables on tree networks;integrality properties of certain special balanceable families;forbidden subgraph colorings and the oriented chromatic number;polynomial kernels for 3-leaf power graph modification problems;approximating the max edge-coloring problem;fully decomposable split graphs;edge-simple circuits through 10 ordered vertices in square grids;efficient neighborhood encoding for interval graphs and permutation graphs and O(n) breadth-first search;LPF computation revisited;limiting distribution for distances in k-trees;gray code compression;embedded trees and the support of the ISE;combinatorial models for cooperation networks;polar permutation graphs;a new algorithm for efficient pattern matching with swaps;fast convolutions and their applications in approximate string matching;and better polynomial algorithms on graphs of bounded rank-width.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international workshop on Multi-Agent-Based Simulation, MABS 2020

20th International Workshop on Multi-Agent-Based Simulation,...

引用

20th international workshop on Multi-Agent-Based Simulation, MABS 2020

ISBN: (纸本)9783030668877

the proceedings contain 8 papers. the special focus in this conference is on Multi-Agent-Based Simulation. the topics include: Design and Evaluations of Multi-agent Simulation Model for Electric Power Sharing Among Households;active Screening on Recurrent Diseases Contact Networks with Uncertainty: A Reinforcement Learning Approach;impact of Meta-roles on the Evolution of Organisational Institutions;optimization of Large-Scale Agent-Based Simulations through Automated Abstraction and Simplification;improved Travel Demand Modeling with Synthetic Populations;preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international workshop on Multi-Agent-Based Simulation, MABS 2019

20th International Workshop on Multi-Agent-Based Simulation,...

引用

20th international workshop on Multi-Agent-Based Simulation, MABS 2019

ISBN: (纸本)9783030608422

the proceedings contain 9 papers. the special focus in this conference is on Multi-Agent-Based Simulation. the topics include: Reinforcement Learning of Supply Chain Control Policy Using Closed Loop Multi-agent Simulation;on Developing a More Comprehensive Decision-Making Architecture for Empirical Social Research: Agent-Based Simulation of Mobility Demands in Switzerland;modelling Policy Shift Advocacy;a Collective Action Simulation Platform;an Opinion Diffusion Model with Vigilant Agents and Deliberation;agent Based Simulation of the Dengue Virus Propagation;agents with Dynamic Social Norms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international workshop on Bio-Imaging and Visualization for Patient-Customized Simulations, BIVPCS 2017 and international workshop on Point-of-Care Ultrasound: algorithms, Hardware, and Applications, POCUS 2017 held in Conjunction with 20th international Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2017

International Workshop on Bio-Imaging and Visualization for ...

引用

international workshop on Bio-Imaging and Visualization for Patient-Customized Simulations, BIVPCS 2017 and international workshop on Point-of-Care Ultrasound: algorithms, Hardware, and Applications, POCUS 2017 held in Conjunction with 20th international Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2017

ISBN: (纸本)9783319675510

the proceedings contain 19 papers. the special focus in this conference is on Bio-Imaging and Visualization for Patient-Customized Simulations. the topics include: Cortical envelope modeling for interactive patient-customized curvilinear reformatting in the native space;simulation of patient-specific deformable ultrasound imaging in real time;a 3D ultrasound informed model of the human gastrocnemius muscle;automatic liver lesion segmentation in CT combining fully convolutional networks and non-negative matrix factorization;constructing detailed subject-specific models of the human masseter;rapid prediction of personalised muscle mechanics: integration with diffusion tensor imaging;approaches to brain tissue quantification with comparison on supporting the detection of age-related dementia in MRI;relating atrial appendage flow stasis risk from computational fluid dynamics to imaging based appearance paradigms for cardioembolic risk;combining automated image analysis with obstetric sweeps for prenatal ultrasound imaging in developing countries;achieving fluid detection by exploiting shadow detection methods;a probe-camera system for 3D ultrasound image reconstruction;overall proficiency assessment in point-of-care ultrasound interventions and a novel ultrasound imaging method for 2D temperature monitoring of thermal ablation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international workshop on Combinatorial Image Analysis, IWCIA 2020

20th International Workshop on Combinatorial Image Analysis,...

引用

20th international workshop on Combinatorial Image Analysis, IWCIA 2020

ISBN: (纸本)9783030510015

the proceedings contain 20 papers. the special focus in this conference is on Combinatorial Image Analysis. the topics include: On Connectedness of Discretized Sets;fuzzy Metaheuristic Algorithm for Copy - Move Forgery Detection in Image;persistent Homology as Stopping-Criterion for Voronoi Interpolation;atomic Super-Resolution Tomography;characterizations of Simple Points on the Body-Centered Cubic Grid;A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in nD;3D-Array Token Petri Nets Generating Tetrahedral Picture Languages;simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows;grayscale Uncertainty of Projection Geometries and Projections Sets;preface;euler Well-Composedness;finding the Maximum Empty Axis-Parallel Rectangular Annulus;parallel Contextual Array Insertion Deletion Grammar and (Context-Free : Context-Free) Matrix Grammar;digital Hyperplane Fitting;repairing Binary Images through the 2D Diamond Grid;transmission Based Adaptive Automatic Tube Voltage Selection for Computed Tomography;micrAnt: Towards Regression Task Oriented Annotation Tool for Microscopic Images;graph Cuts Based Tomography Enhanced by Shape Orientation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international workshop on Graph-theoretic Concepts in Computer Science, WG 1994

引用

20th international workshop on Graph-theoretic Concepts in Computer Science, WG 1994

ISBN: (纸本)3540590714

the proceedings contain 32 papers. the special focus in this conference is on Graph-theoretic Concepts in Computer Science. the topics include: A lower bound for treewidth and its consequences;tree-width and path-width of comparability graphs of interval orders;a declarative approach to graph based modeling;the algorithmic use of hypertree structure and maximum neighbourhood orderings;on domination elimination orderings and domination graphs;complexity of graph covering problems;GLB-closures in directed acyclic graphs and their applications;Cartesian products of graphs as spanning subgraphs of de Bruijn graphs;specification of graph translators with triple graph grammars;using programmed graph rewriting for the formal specification of a configuration management system;time-optimal tree computations on sparse meshes;the complexity of broadcasting in planar and decomposable graphs;book embeddings and crossing numbers;labelled trees and pairs of input-output permutations in priority queues;bypass strong v-structures and find an isomorphic labelled subgraph in linear time;fugitive-search games on graphs and related parameters;new approximation results on graph matching and related problems;new lower bounds and hierarchy results for restricted branching programs;NC algorithms for antidirected Hamiltonian paths and cycles in tournaments and directed path graph isomorphism.

关键词：

来源：评论

学校读者我要写书评

暂无评论

3rd international workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, international workshop on Automated and verifiable Software System Development, ASYDE 2019, international workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th international workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th international Conference on Software Engineering and Formal Methods, SEFM 2019

3rd International Workshop on Formal Co-Simulation of Cyber-...

引用

3rd international workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, international workshop on Automated and verifiable Software System Development, ASYDE 2019, international workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th international workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th international Conference on Software Engineering and Formal Methods, SEFM 2019

ISBN: (纸本)9783030575052

the proceedings contain 20 papers. the special focus in this conference is on Formal Co-Simulation of Cyber-Physical Systems. the topics include: Behaviour and Reasoning Description Language (BRDL);cognitive Learning with a Robot: the Case of Script Acquisition;measuring the Intelligence of an Idealized Mechanical Knowing Agent;type theory and Universal Grammar;two Cognitive Systems, Two Implications, and Selection Tasks;quantifying the Similarity of Non-bisimilar Labelled Transition Systems;identifying Failure Causalities in Multi-component Applications;a Formal Programming Framework for Digital Avatars;modeling Self-adaptive Fog Systems Using Bigraphs;challenges for Integrating Humans into Vehicular Cyber-Physical Systems;From SOS to Asynchronously Communicating Actors;automatic Generation of Functional Mock-Up Units from Formal Specifications;generation of Co-simulation algorithms Subject to Simulator Contracts;towards Reuse of Synchronization algorithms in Co-simulation Frameworks;towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems;automated Feature Identification for Android Apps;Mapping BPMN2 Service Choreographies to Colored Petri Nets;interdisciplinary Aspects of Cognition.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：