搜索页_+symbolic+methods

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Wiley电子期刊(7)	SpringerLink电子期刊(891)	NATURE电子期刊(11)	Elsevier电子期刊(926)
Springer电子图书(1)	ProQuest学位论文(176)	GSW全文库(1)	ACS电子期刊(5)

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

在所有数据库中总计命中：2,018条

1. Introducing a symbolic interactionist approach on teaching mathematics: the case of revoicing as an interactional strategy in the teaching of probability

作者： Andreas Eckert ; Per Nilsson

关键词：Interactional teaching strategy ; Teaching ; Symbolic interactionism ; Revoicing ; Probability

刊名：Journal of Mathematics Teacher Education

出版年：2017

2. Symbolic computation and abundant travelling wave solutions to KdV–mKdV equation

作者： SYED TAHIR RAZA RIZVI ; KASHIF ALI ; ALI SARDAR ; MUHAMMAD YOUNIS ; AHMET BEKIR

关键词：Novel (G′/G) ; expansion method ; KdV–mKdV equation ; travelling wave solutions.

刊名：Pramana

出版年：2017

3. Rigorous estimates for the relegation algorithm

作者： Marco Sansottera ; Marta Ceccaroni

关键词：Hamiltonian dynamics ; Lie transformations ; Normal forms methods ; Normalization ; Perturbation theory ; Relegation ; Symbolic algebra

刊名：Celestial Mechanics and Dynamical Astronomy

出版年：2017

4. Handling loops in bounded model checking of C programs via k-induction

作者： Mikhail Y. R. Gadelha ; Hussama I. Ismail…

关键词：Software engineering ; Formal methods ; Verification ; Model checkingk ; induction

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

5. Home-making practices and social protection across borders: an example of Turkish migrants living in Germany

作者： Başak Bilecen

关键词：Home ; making practices ; Social protection ; Migration ; Transnationalism ; Qualitative methods ; Turkey ; Germany

刊名：Journal of Housing and the Built Environment

出版年：2017

6. Can the Secular Be the Object of Belief and Belonging? The Sunday Assembly

作者： Jesse M. Smith

关键词：Secularity ; Congregations ; Emotion ; Embodiment ; Secularism ; Qualitative methods

刊名：Qualitative Sociology

出版年：2017

7. Solving positioning problems with minimal data

作者： Jorge Caravantes ; Laureano Gonzalez-Vega ; Alejandro Piñera

关键词：P4P configurations ; Generalized Gram polynomials ; Generalized Moore–Penrose inverse

刊名：GPS Solutions

出版年：2017

8. Bounds tightening based on optimality conditions for nonconvex box-constrained optimization

作者： Yash Puranik ; Nikolaos V. Sahinidis

关键词：Global optimization ; Bounds tightening ; Optimality conditions ; Box ; constrained optimization

刊名：Journal of Global Optimization

出版年：2017

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

作者： Martin L. Felis

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

刊名：Autonomous Robots

出版年：2017

10. Language Geometry Using Random Indexing

关键词：N ; gram vector ; Language profile ; Vector symbolic architecture ; Multiply–Add–Permute Algebra

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(891)

题名(28)

关键词(43)

文摘(652)

按出版年细分(891)

2017年(13)

2016年(52)

2015年(58)

2014年(66)

2013年(70)

2012年(73)

2011年(21)

2010年(29)

2009年(39)

2008年(35)

2007年(67)

2006年(62)

2005年(77)

2004年(46)

2003年(36)

2002年(40)

2001年(25)

2000年(13)

2000年及以前(69)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700