Kategoria BISAC: Computers >> Computer Science

To date, processing of high-throughput Mass Spectrometry (MS) data is accomplished using serial algorithms. Developing new methods to process MS data is an active area of research but there is no single strategy that focuses on scalability of MS based methods.

Mass spectrometry is a diverse and versatile technology for high-throughput functional characterization of proteins, small molecules and metabolites in complex biological mixtures. In the recent years the technology has rapidly evolved and is now capable of generating increasingly large (multiple tera-bytes...

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University...

This book provides a systematic introduction to composite materials, which are obtained by a layer-wise stacking of one-dimensional bar/beam elements. Each layer may have different mechanical properties but each single layer is considered as isotropic. The major idea is to provide a simplified theory to easier understand the classical two-dimensional laminate theory for composites based on laminae with unidirectional fibers. In addition to the elastic behavior, failure is investigated based on the maximum stress, maximum strain, Tsai-Hill, and the Tsai-Wu criteria.

Partial...

This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory of an aircraft in conditions of its limited resource. This can happen in the event of an emergency on board, associated with both a possible equipment failure and external influences, for example, when lightning strikes an aircraft or collides with a moving object. The highlight of this book is the fact that the results presented in it can be applied universally to the choice of the flight path of large and small aircraft, as well as helicopter technology. In addition, they...