Search

Now showing items 1-10 of 109

Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control

Type: Journal Paper

Author : Hai Lin

Year: 2014

Request PDF

Design and frequency analysis of continuous finite-time-convergent differentiator

Type: Journal Paper

Author : Xinhua Wang; Hai Lin

Year: 2012

Request PDF

Information diffusion and the predictability of New Zealand stock market returns

Type: Journal Paper

Author : Hai Lin; Daniel Quill

Year: 2014

Request PDF

Hierarchical Hybrid Symbolic Robot Motion Planning and Control

Type: Journal Paper

Author : Ali Karimoddini; Hai Lin

Year: 2014

Request PDF

Flexible-boundary QM/MM calculations: II. Partial charge transfer across the QM/MM boundary that passes through a covalent bond

Type: Journal Paper

Author : Yan Zhang; Hai Lin

Publisher: Springer

Year: 2010

Request PDF

Assume-guarantee cooperative satisfaction of multi-agent systems

Type: Conference Paper

Author : Partovi, A. , Hai Lin

Publisher: IEEE

Year: 2014

Improved PMCHWT equations for analysis of scattering from homogeneous dielectric objects

Type: Conference Paper

Author : Yong Zhang , Hai Lin

Publisher: IEEE

Year: 2014

Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach

Type: Conference Paper

Author : Jin Dai , Hai Lin

Publisher: IEEE

Year: 2014

MLFMA-PO Hybrid Technique for Efficient Analysis of Electrically Large Structures

Type: Journal Paper

Author : Yong Zhang; Hai Lin

Year: 2014

Request PDF

Enhancing the efficiency of MLFMA-PO hybrid method for analyzing electrically large objects

Type: Journal Paper

Author : Yong Zhang; Hai Lin

Year: 2015

Request PDF

1
2
3
4
. . .
11

Search

Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control

Design and frequency analysis of continuous finite-time-convergent differentiator

Information diffusion and the predictability of New Zealand stock market returns

Hierarchical Hybrid Symbolic Robot Motion Planning and Control

Flexible-boundary QM/MM calculations: II. Partial charge transfer across the QM/MM boundary that passes through a covalent bond

Assume-guarantee cooperative satisfaction of multi-agent systems

Improved PMCHWT equations for analysis of scattering from homogeneous dielectric objects

Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach

MLFMA-PO Hybrid Technique for Efficient Analysis of Electrically Large Structures

Enhancing the efficiency of MLFMA-PO hybrid method for analyzing electrically large objects

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control

Design and frequency analysis of continuous finite-time-convergent differentiator

Information diffusion and the predictability of New Zealand stock market returns

Hierarchical Hybrid Symbolic Robot Motion Planning and Control

Flexible-boundary QM/MM calculations: II. Partial charge transfer across the QM/MM boundary that passes through a covalent bond

Assume-guarantee cooperative satisfaction of multi-agent systems

Improved PMCHWT equations for analysis of scattering from homogeneous dielectric objects

Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach

MLFMA-PO Hybrid Technique for Efficient Analysis of Electrically Large Structures

Enhancing the efficiency of MLFMA-PO hybrid method for analyzing electrically large objects