搜索页_Symbolic+control

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(11)	SpringerLink电子期刊(491)	NATURE电子期刊(2)	ACS电子期刊(6)
Springer电子图书(4)	ProQuest学位论文(141)	Elsevier电子期刊(465)

在“SpringerLink电子期刊”中，命中：491条，耗时：0.0399815 秒

在所有数据库中总计命中：1,120条

1. Propagation properties of optical soliton in an erbium-doped tapered parabolic index nonlinear fiber: soliton control

作者： K. Subramanian ; T. Alagesan ; A. Mahalingam ; M. S. Mani Rajan

关键词：Optical soliton ; Soliton control ; Erbium ; doped fiber ; Darboux Transformation

刊名：Nonlinear Dynamics

出版年：2017

2. Model Based Automatic Code Generation for Nonlinear Model Predictive Control

关键词：Model predictive control ; Code generation ; Model based

刊名：Lecture Notes in Computer Science

出版年：2017

3. Abstract conjunctive partial deduction for the analysis and compilation of coroutines

作者： Vincent Nys ; Danny De Schreye

关键词：Coroutines ; Compiling control ; Abstract conjunctive partial deduction

刊名：Formal Aspects of Computing

出版年：2017

4. Towards a progressive home-making: the ambivalence of migrants’ experience in a multicultural condominium

作者： Adriano Cancellieri

关键词：Home ; making ; Migrants ; Domestic space ; Affective turn ; Social control ; Intercultural mobilisation

刊名：Journal of Housing and the Built Environment

出版年：2017

5. Finding dense locations in symbolic indoor tracking data: modeling, indexing, and processing

作者： Tanvir Ahmed ; Torben Bach Pedersen ; Hua Lu

关键词：Indoor tracking ; Graph ; based model ; Dense location ; Spatio ; temporal indexing ; Interval query ; Aggregate query ; Duration query

刊名：GeoInformatica

出版年：2017

6. The design and testing of multimedia for teaching arithmetic to deaf learners

作者： Piyaporn Techaraungrong ; Surachai Suksakulchai…

关键词：Multimedia ; Arithmetic ; Deaf and hard of hearing ; Cognitive load ; Design ; Testing

刊名：Education and Information Technologies

出版年：2017

7. A Livelihood Intervention to Reduce the Stigma of HIV in Rural Kenya: Longitudinal Qualitative Study

作者： Alexander C. Tsai ; Abigail M. Hatcher ; Elizabeth A. Bukusi ; Elly Weke…

关键词：AIDS/HIV ; Social stigma ; Kenya ; Qualitative research

刊名：AIDS and Behavior

出版年：2017

8. RBDL: an efficient rigid-body dynamics library using recursive algorithms

作者： Martin L. Felis

关键词：Reduced coordinates ; Rigid ; body dynamics ; Jacobian ; Contact ; Software

刊名：Autonomous Robots

出版年：2017

9. Which way is which? Examining symbolic control of attention with compound arrow cues

作者： Mark Mills ; Michael D. Dodd

关键词：Attention ; Symbolic control ; Contingent capture ; Compound cue ; Global/local

刊名：Attention, Perception, & Psychophysics

出版年：2016

10. Infeasible Paths Elimination by Symbolic Execution Techniques

关键词：TRACER ; CEGAR ; Symbolic execution ; Feasible paths ; Control ; flow graphs ; Graph transformation

刊名：Lecture Notes in Computer Science

出版年：2016

按检索点细分(491)

题名(20)

作者(1)

关键词(18)

文摘(382)

按出版年细分(491)

2017年(8)

2016年(34)

2015年(28)

2014年(37)

2013年(31)

2012年(45)

2011年(8)

2010年(11)

2009年(31)

2008年(12)

2007年(59)

2006年(28)

2005年(36)

2004年(15)

2003年(31)

2002年(29)

2001年(9)

2000年(12)

2000年及以前(27)