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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

133 篇 会议
14 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 100 篇 计算机科学与技术...
- 36 篇 生物医学工程（可授...
- 36 篇 生物工程
- 23 篇 软件工程
- 14 篇 化学工程与技术
- 12 篇 材料科学与工程（可...
- 9 篇 控制科学与工程
- 6 篇 动力工程及工程热...
- 6 篇 电气工程
- 5 篇 力学（可授工学、理...
- 5 篇 信息与通信工程
- 4 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 土木工程
78 篇 理学
- 64 篇 生物学
- 27 篇 数学
- 22 篇 化学
- 10 篇 物理学
- 7 篇 系统科学
- 5 篇 统计学（可授理学、...
5 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 4 篇 药学(可授医学、理...
5 篇 管理学
- 3 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 植物保护

主题

44 篇 dna
8 篇 artificial intel...
8 篇 dynamic programm...
7 篇 computational bi...
7 篇 computation by a...
7 篇 algorithm analys...
6 篇 dna computing
6 篇 bioinformatics
6 篇 data structures
5 篇 discrete mathema...
4 篇 self assembly
4 篇 dna arithmetic
4 篇 logic gates
4 篇 addition
4 篇 sticker system
4 篇 algorithm
4 篇 proteins
4 篇 complexity
3 篇 logarithmic numb...
3 篇 molecular progra...

机构

4 篇 university of ca...
4 篇 california insti...
4 篇 caltech pasadena...
3 篇 st marys univ de...
3 篇 school of mathem...
3 篇 univ new mexico ...
3 篇 univ washington ...
2 篇 huazhong univers...
2 篇 the university o...
2 篇 pob 605 laramie ...
2 篇 lab nacl computa...
2 篇 mit comp sci & a...
2 篇 transnat univ li...
2 篇 duke univ dept c...
2 篇 univ memphis mem...
2 篇 tufts univ dept ...
2 篇 hasselt univ die...
2 篇 hamilton institu...
2 篇 school of electr...
2 篇 taiyuan universi...

作者

6 篇 seelig georg
6 篇 doty david
5 篇 winfree erik
5 篇 lakin matthew r.
5 篇 soloveichik davi...
4 篇 thachuk chris
4 篇 phillips andrew
4 篇 condon anne
4 篇 arnold mark g.
3 篇 patitz matthew j...
3 篇 stefanovic darko
3 篇 konstantinidis s...
3 篇 ceze luis
3 篇 van den bussche ...
3 篇 woods damien
3 篇 gillis joris j. ...
3 篇 yin zhixiang
3 篇 strauss karin
3 篇 brijder robert
3 篇 santean nicolae

语言

157 篇 英文
1 篇 日文

检索条件"任意字段=19th International Conference on DNA Computing and Molecular Programming"

共 157 条记录，以下是61-70 订阅

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

详细简洁

排序：

6th international Workshop on dna-Based Computers, dna 2000

引用

6th international Workshop on dna-Based Computers, dna 2000

ISBN: (纸本)3540420762

the proceedings contain 18 papers. the special focus in this conference is on dna computing. the topics include: Engineered communications for microbial robotics;solution of a satisfiability problem on a gel-based dna computer;Diophantine equations and splicing;a new demonstration of the generative capability of h systems;about time-varying distributed h systems;string tile models for dna computing by self-assembly;from molecular computing to molecular programming;graph replacement chemistry for dna processing;molecular computing with generalized homogeneous p-systems;computationally inspired biotechnologies;improved dna synthesis and associative search using error-correcting codes and vector-quantization;challenges and applications for self-assembled dna nanostructures;a dna-based random walk method for solving k-sat;solving computational learning problems of Boolean formulae on dna computers;the fidelity of annealing-ligation;dna implementation of a royal road fitness evaluation and steady flow micro-reactor module for pipelined dna computations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

dna computing and molecular programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Yasubumi Sakakibara Yongli Mi

ISBN: (数字)9783642183058

ISBN: (纸本)9783642183041

this book constitutes the thoroughly refereed post-conference proceedings of the 16th international conference on dna computing and molecular programming, dna16, held in Hong Kong, China, in June 2010. the 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 59 submissions. the papers are well balanced between theoretical and experimental work and address all areas that relate to biomolecular computing, including demonstrations of biomolecular computing, theoretical models of biomolecular computing, biomolecular algorithms, computational processes in vitro and in vivo, analysis and theoretical models of laboratory techniques, biotechnological and other applications of dna computing, dna nanostructures, dna devices such as dna motors, dna error evaluation and correction, in vitro evolution, molecular design, self-assembled systems, nucleic acid chemistry, and simulation tools.

关键词： Computation by Abstract Devices Algorithm Analysis and Problem Complexity Computational Biology/Bioinformatics Artificial Intelligence Data Structures

来源：评论

学校读者我要写书评

暂无评论

computing maximal Kleene closures that are embeddable in a given subword-closed language

Computing maximal Kleene closures that are embeddable in a g...

引用

17th international conference on dna computing and molecular programming

作者： Konstantinidis, Stavros Santean, Nicolae St Marys Univ Dept Math & Comp Sci Halifax NS B3H 3C3 Canada

Motivated by certain coding techniques for reliable dna computing, we consider the problem of characterizing nontrivial languages D that are maximal with the property that D (*) is contained in the subword closure of a given set S of words of some fixed length k. this closure is simply the set of all words whose subwords of length k must be in S. We provide a deep structural characterization of these languages D, which leads to polynomial time algorithms for computing such languages.

关键词： Algorithm Automaton Code dna encodings Maximal Regular language Subword closure

来源：评论

学校读者我要写书评

暂无评论

MULTIPLE SEQUENCE ALIGNMENT A Quick Tour

MULTIPLE SEQUENCE ALIGNMENT A Quick Tour

引用

15th international conference on Advanced computing Technologies (ICACT)

作者： Chintapalli, Radha Kumar, Amit Parayitam, Laxminarayana Osmania Univ Res & Training Unit Nav Elect Hyderabad 500007 Andhra Pradesh India BIOAXIS DNA Res Ctr Hyderabad Andhra Pradesh India

ISBN: (纸本)9781467328166;9781467328180

Sequence alignment has a lot of significance in the field of bioinformatics. Since multiple sequence alignment (MSA) carries more information than pairwise alignment of the sequences, it has more number of applications. In the past few decades many algorithms and tools have been developed for the computation of multiple sequence alignment. However, accuracy of MSA still remains an open problem for further research. As more and more experimental data is being generated through sequencing technologies of second generation, there is an urgent need to develop tools that make use of integrative methods to derive biologically meaningful information from these immense data and use it to improve the accuracy of MSA. MSA tools that can scale upto the full length genome will also find wide applications in the near future.

关键词： Alignment algorithm dna dynamic programming proteins

来源：评论

学校读者我要写书评

暂无评论

Automatic Design of dna Logic Gates Based on Kinetic Simulation

Automatic Design of DNA Logic Gates Based on Kinetic Simulat...

引用

15th international conference on dna computing and molecular programming

作者： Kawamata, Ibuki Tanaka, Fumiaki Hagiya, Masami Univ Tokyo Grad Sch Informat Sci & Technol Bunkyo Ku Tokyo 1138656 Japan

ISBN: (纸本)9783642106033

Recently, dna logic gates and dna machines have been developed using only a simple complementary base pairing of dna, that is, hybridization and branch migration. Because such reaction systems have been designed by trial and error, it has been difficult to design a complex system and to correctly verify the reaction. the purpose of this research is to develop a method for automatically searching and designing dna logic gates based on a kinetic simulation. Since the solution space that should be searched is quite large, a simulated-annealing method is used to search for a highly evaluated system from many candidates and find a semi-optimal one. A simulator based on a kinetic model is developed, which calculates the time change of concentrations of abstracted dna molecules. An evaluation function, in which the evaluation value rises when the logic gate works correctly, is also designed. the effectiveness of the proposed method is evaluated experimentally with an AND gate, which is designed automatically.

关键词： dna

来源：评论

学校读者我要写书评

暂无评论

dna computing and molecular programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Luca Cardelli William Shih

ISBN: (数字)9783642236389

ISBN: (纸本)9783642236372

this book constitutes the refereed proceedings of the 17th international conference on dna computing and molecular programming, dna17, held in Pasadena, CA, USA, in September 2011.;the 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. Research in dna computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. this annual meeting is the premier forum where scientists with diverse backgrounds come together with the common purpose of advancing the engineering and science of biology and chemistry from the point of view of computer science, physics, and mathematics.

关键词： Computation by Abstract Devices Algorithm Analysis and Problem Complexity Computational Biology/Bioinformatics Artificial Intelligence Data Structures Discrete Mathematics in Computer Science

来源：评论

学校读者我要写书评

暂无评论

Multiple molecular Spiders with a Single Localized Source-the One-Dimensional Case (Extended Abstract)

Multiple Molecular Spiders with a Single Localized Source-Th...

引用

17th international conference on dna computing and molecular programming

作者： Semenov, Oleg Olah, Mark J. Stefanovic, Darko Univ New Mexico Dept Comp Sci Albuquerque NM 87131 USA

ISBN: (纸本)9783642236372;9783642236389

molecular spiders are nanoscale walkers made with dna enzyme legs attached to a common body. they move over a surface of dna substrates, cleaving them and leaving behind product dna strands, which they are able to revisit. Simple one-dimensional models of spider motion show significant superdiffusive motion when the leg-substrate bindings are longer-lived than the leg-product bindings. this gives the spiders potential as a faster-than-diffusion transport mechanism. However, analysis shows that single-spider motion eventually decays into an ordinary diffusive motion, owing to the ever increasing size of the region of cleaved products. Inspired by cooperative behavior of natural molecular walkers, we propose a model for multiple walkers moving collectively over a one-dimensional lattice. We show that when walkers are sequentially released from the origin, the collective effect is to prevent the leading walkers from moving too far backwards. Hence there is an effective outward pressure on the leading walkers that keeps them moving superdiffusively for longer times, despite the growth of the product region.

关键词： Substrates

来源：评论

学校读者我要写书评

暂无评论

Construction of AND Gate for RTRACS with the Capacity of Extension to NAND Gate

Construction of AND Gate for RTRACS with the Capacity of Ext...

引用

15th international conference on dna computing and molecular programming

作者： Sakai, Yoko Mawatari, Yoriko Yamasaki, Kiyonari Shohda, Koh-ichiroh Suyama, Akira Univ Tokyo Grad Sch Arts & Sci Dept Life Sci Meguro Ku 3-8-1 Komaba Tokyo 1538902 Japan Univ Tokyo Grad Sch Arts & Sci Inst Phys Meguro Ku Tokyo 1538902 Japan

ISBN: (纸本)9783642106033

We have succeeded in construction of the AND gate using enzymatic reactions developed for modularized computation elements of the autonomous computing system RTRACS. Experimental results demonstrated that the molecular reaction for the AND gate generated the correct output RNA from input RNAs according to the truth table for the AND gate. the constructed molecular reaction for the AND gate can be extended to the NAND gate by small modifications, because not only a logical 1 but also a logical 0 for inputs and output was associated with the presence of RNA strands.

关键词： logic gate molecular computer

来源：评论

学校读者我要写书评

暂无评论

On Quantitative Modelling and Verification of dna Walker Circuits Using Stochastic Petri Nets 1

引用

36th international conference on Application and theory of Petri Nets and Concurrency (Petri Nets)

作者： Barbot, Benoit Kwiatkowska, Marta Univ Oxford Dept Comp Sci Oxford OX1 3QD England

ISBN: (数字)9783319194882

ISBN: (纸本)9783319194882;9783319194875

molecular programming is an emerging field concerned with building synthetic biomolecular computing devices at the nanoscale, for example from dna or RNA molecules. Many promising applications have been proposed, ranging from diagnostic biosensors and nanorobots to synthetic biology, but prohibitive complexity and imprecision of experimental observations makes reliability of molecular programs difficult to achieve. this paper advocates the development of design automation methodologies for molecular programming, highlighting the role of quantitative verification in this context. We focus on dna 'walker' circuits, in which molecules can be programmed to traverse tracks placed on a dna origami tile, taking appropriate decisions at junctions and reporting the outcome when reaching the end of the track. the behaviour of molecular walkers is inherently probabilistic and thus probabilistic model checking methods are needed for their analysis. We demonstrate how dna walkers can be modelled using stochastic Petri nets, and apply statistical model checking using the tool Cosmos to analyse the reliability and performance characteristics of the designs. the results are compared and contrasted with those obtained for the PRISM model checker. the paper ends by summarising future research challenges in the field.

关键词： dna

来源：评论

学校读者我要写书评

暂无评论

dna computing and molecular programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Robert Brijder Lulu Qian

ISBN: (数字)9783319667997

ISBN: (纸本)9783319667980

this book constitutes the refereed proceedings of the 23th international conference on dna computing and molecular programming, dna 23, held Austin, TX, USA, in September 2017. the 16 full papers presented were carefully selected from 23 submissions. Research in dna computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. the papers address all areas related to biomolecular computing such as: algorithms and models for computation with biomolecular systems; computational processes in vitro and in vivo; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine.

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：