|
|
|
Hugo López-Fernández
Pág. 22 - 25
Mass spectrometry using matrix assisted laser desorption ionization coupled to time of flight analyzers (MALDI-TOF MS) has become popular during the last decade due to its high speed, sensitivity and robustness for detecting proteins and peptides. This a...
ver más
|
|
|
|
|
|
Yacong Wu, Jun Huang, Boqian Ji and Lei Song
Most existing studies on aerodynamic shape optimization have not considered longitudinal trim under control surface deflection, typically achieving self-trim through a constraint of zero pitching moment or adjusting the optimized configuration for longit...
ver más
|
|
|
|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
Minxing Dong, Jichao Yang, Yushan Fu, Tengfei Fu, Qing Zhao, Xuelei Zhang, Qinzeng Xu and Wenquan Zhang
The soft coral order Alcyonacea is a common coral found in the deep sea and plays a crucial role in the deep-sea ecosystem. This study aims to predict the distribution of Alcyonacea in the western Pacific Ocean using four machine learning-based species d...
ver más
|
|
|
|
|
|
Weilong Guang, Peng Wang, Jinshuai Zhang, Linjuan Yuan, Yue Wang, Guang Feng and Ran Tao
Predicting the flow situation of cavitation owing to its high-dimensional nonlinearity has posed great challenges. To address these challenges, this study presents a novel reduced order modeling (ROM) method to accurately analyze and predict cavitation f...
ver más
|
|
|