Search

You are here: Homepage > Search

Clear all

Synonyms were used for: Atmospheric • conference • science
Search without synonyms: title: Atmospheric science conference

1–20 of 165 hits

group similar items

|

Image Assimilation for Motion Estimation of Atmospheric Layers with Shallow-Water Model

Papadakis, Nicolas / Héas, Patrick / Mémin, Étienne | Springer Verlag | 2007

The complexity of dynamical laws governing 3D atmospheric flows associated to incomplete and noisy observations

...

Keywords: Atmospheric Layer , Computer Science

The geostationary operational satellite R series SpaceWire based data system: Session: SpaceWire networks and protocols, long paper

Anderson, William / Krimchansky, Alexander / Birmingham, Michael et al. | IEEE | 2016

Oceanic & Atmospheric Administration (NOAA) and National Aeronautics & Space Administration (NASA) Goddard Space Flight Center (GSFC ...

Landing Gear System: An ASM-Based Solution for the ABZ Case Study

Kossak, F. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Context-Aware Verification of a Landing Gear System

Dhaussy, P. / Teodorov, C. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Modeling an Aircraft Landing System in Event-B

Mery, D. / Singh, N.K. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Modeling a Landing Gear System in Event-B

Mammar, A. / Laleau, R. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

The Landing Gear System Case Study

Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

Su, W. / Abrial, J.-R. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Co-simulation Environment for Rodin: Landing Gear Case Study

Savick, V. / Butler, M. / Colley, J. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014

Keywords: Formal methods (Computer science) , B method (Computer science)

Event-Triggered State Estimation for Complex Systems with Randomly Nonlinearities and Time-Varying Delay

Tan, Y. / Liu, J. / Zhang, Y. | British Library Conference Proceedings | 2014

Decentralized Control for Power Systems Components Based-on Nonlinear Differential-Algebraic Equations Subsystem Model

Zang, Q. / Zhou, Y. / Mei, P. et al. | British Library Conference Proceedings | 2014

Sensorless Vector Control of PMSM in Wide Speed Range

Yan, T. / Liu, J. / Zhang, H. | British Library Conference Proceedings | 2014

Application of the Improved Quantum Genetic Algorithm

Xu, Y. / Mei, X. / Dai, Z. et al. | British Library Conference Proceedings | 2014

A Simple Human Learning Optimization Algorithm

Wang, L. / Ni, H. / Yang, R. et al. | British Library Conference Proceedings | 2014

A Systematic Fire Detection Approach Based on Sparse Least-Squares SVMs

Zhang, J. / Li, K. / Zhao, W. et al. | British Library Conference Proceedings | 2014

Improved Mean-Value Coordinates Algorithm for Image Fusion

Fu, C. / Shao, Y. / Deng, L. et al. | British Library Conference Proceedings | 2014

An Improved Artificial Fish Swarm Algorithm and Application

Luan, X. / Jin, B. / Liu, T. et al. | British Library Conference Proceedings | 2014

An Improved Non-dominated Sorting Genetic Algorithm for Multi-objective Optimization Based on Crowding Distance

Xia, T.-l. / Zhang, S.-h. | British Library Conference Proceedings | 2014