搜索页_+Breadth-first+exploration

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

SpringerLink电子期刊(33)	NATURE电子期刊(3)	Elsevier电子期刊(9)
ProQuest学位论文(2)	GSW全文库(2)	ACS电子期刊(1)

在“Elsevier电子期刊”中，命中：9条，耗时：0.0939553 秒

在所有数据库中总计命中：50条

1.Brief report: Academic amotivation in light of the dark side of identity formation

作者：Christine Cannard^a ; ^{christine.cannard@upmf-grenoble.fr" class="auth_mail" title="E-mail the corresponding author} ; Lyda Lannegrand-Willems^b ; ^{lyda.lannegrand@u-bordeaux.fr" class="auth_mail" title="E-mail the corresponding author} ; Claire Safont-Mottay^c ; ^{mottay@univ-tlse2.fr" class="auth_mail" title="E-mail the corresponding author} ; Gré ; goire Zimmermann^d ; ^{Gregoire.Zimmermann@unil.ch" class="auth_mail" title="E-mail the corresponding author}

关键词：Motivational profiles ; Identity profiles ; Amotivation ; Rumination ; University

刊名：Journal of Adolescence

出版年：2016

2.IMISketch: An interactive method for sketch recognition

作者：Achraf Ghorbel ; Eric Anquetil ; Jean Camillerapp ; Aur茅lie Lemaitre

关键词：Sketch recognition ; Breadth-first exploration ; Interactive recognition ; 2D architectural floor plans ; Kalman filter

刊名：Pattern Recognition Letters

出版年：1 January, 2014

3.Discovering driving strategies with a multiobjective optimization algorithm

作者：E. Dovgan ; M. Javorski ; T. Tu拧ar ; M. Gams ; B. Filipi膷

关键词：Driving strategy ; Traveling time ; Fuel consumption ; Driving optimization ; Multiobjective optimization ; Black-box approach

刊名：Applied Soft Computing Journal

出版年：March, 2014

4.Understanding the association between teenage pregnancy and inter-generational factors: A comparative and analytical study

作者：Elizabeth Whitehead

关键词：Intergenerational ; Peer group ; Pregnancy ; Teenager

刊名：Midwifery

出版年：2009

5.Sexual dimorphism in Southeast Asian crania: A geometric morphometric approach

作者：Hayley Green ; Darren Curnoe

刊名：HOMO - Journal of Comparative Human Biology

出版年：2009

6.Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography

作者：Simon Kramer

关键词：Applied formal logic ; Cryptographic protocols ; Requirements engineering ; Modal logic ; Process algebra

刊名：Journal of Logic and Algebraic Programming

出版年：2008

7.Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs

作者：Eric Vecchié ; Robert de Simone

关键词：Esterel ; model-checking ; BDD ; reachability ; partitioning ; program-blocks ; frontier ; high-level ; syntax ; cofactoring

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

8.Rule-based Programming in Java For Protocol Verification

作者：Horatiu Cirstea ; Pierre-Etienne Moreau ; Antoine Reilles

关键词：Model-checkers ; protocol verification ; Java ; TOM

刊名：Electronic Notes in Theoretical Computer Science

出版年：2005

9.Average Costs of a Graph Exploration: Upper and Lower Bounds

作者：Galli ; Nicola

刊名：Journal of Algorithms

出版年：2000

按检索点细分(9)

关键词(1)

文摘(9)

按出版年细分(9)

2027年及以后(1)

2016年(1)

2009年(2)

2008年(1)

2006年(1)

2005年(1)

2000年(1)

2000年及以前(1)

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

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