Results 11 to 20 of about 2,178,329 (249)
Classification of Classifications: Species of Library Classifications
SI
M. Krishnamurthy +2 more
openaire +2 more sources
Protein classification using ontology classification [PDF]
Abstract Motivation: The classification of proteins expressed by an organism is an important step in understanding the molecular biology of that organism. Traditionally, this classification has been performed by human experts. Human knowledge can recognise the functional properties that are sufficient to place an individual gene product ...
Wolstencroft, K. +4 more
openaire +3 more sources
Counterexample classification [PDF]
In model checking, when a given model fails to satisfy the desired specification, a typical model checker provides a counterexample that illustrates how the violation occurs. In general, there exist many diverse counterexamples that exhibit distinct violating behaviors, which the user may wish to examine before deciding how to repair the model ...
Cole Vick, Eunsuk Kang, Stavros Tripakis
openaire +2 more sources
Compressive classification [PDF]
5 pages, 3 figures, submitted to the 2013 IEEE International Symposium on Information Theory (ISIT 2013)
Reboredo, Hugo +3 more
openaire +2 more sources
Analysis of Sacrificial Anode Inspection Standards in Ships and Marine Engineering [PDF]
Cathodic protection utilizing sacrificial anodes is an effective method to prevent marine ships and marine engineering structures from corrosion in seawater.
XU Jianing
doaj +1 more source
Cruise ship evacuation simulation based on fine-grid model and validation by experimental datasets
ObjectivesEvacuation analysis is essential for the design and safety assessment of cruise ships. In this study, a fine-grid-based evacuation model is developed to accurately simulate personnel behaviors and evacuation rules during the cruise ship ...
Lei ZHUANG +3 more
doaj +1 more source
Design of electrical system to guarantee safety of small polar cruise ship after casualty
ObjectivesIn order to solve problems such as bad weather conditions, remote routes, long rescue time and no suitable port of call for rescue supplies, which are unique to polar routes and not conducive to personnel safety, this paper presents a design ...
Yan CUI, Yajuan GU
doaj +1 more source
Plasmids are universally present in bacteria and play key roles in the dissemination of genes such as antibiotic resistance determinants. Major concepts in Plasmid Biology derive from the efforts to classify plasmids. Here, we review the main plasmid classification systems, starting by phenotype-based methods, such as fertility inhibition and ...
Garcillán Barcia, María del Pilar +2 more
openaire +4 more sources
First thoughts about classification inevitably turn to the simultaneously mundane and extraordinary ambition to capture the universe of all that there is and has been. This dream of the universal has two basic modes (and so the process begins!). First, I will follow the spirit of theos and logos as represented by the Platonic embrace of totality ...
openaire +2 more sources
Safe Design of a Hydrogen-Powered Ship: CFD Simulation on Hydrogen Leakage in the Fuel Cell Room
Adopting proton exchange membrane fuel cells fuelled by hydrogen presents a promising solution for the shipping industry’s deep decarbonisation. However, the potential safety risks associated with hydrogen leakage pose a significant challenge to the ...
Wenfeng Guan +4 more
doaj +1 more source

