Results 11 to 20 of about 7,753,595 (290)
Counterexample classification [PDF]
Software and Systems Modeling, 2021 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
Insects, 2022 The genera Abaria Mosely 1948 and Drepanocentron Schmid 1982 are recorded in China for the first time. In this study, two new species, Abaria herringbona sp. nov., from Guang-xi, and Drepanocentron fuxiensis sp.
Lang Peng +3 more
doaj +1 more source
BJPsych Bulletin, 2023 Aims and method Recently, the Health of the Nation Outcome Scales 65+ (HoNOS65+) were revised. Twenty-five experts from Australia and New Zealand completed an anonymous web-based survey about the content validity of the revised measure, the HoNOS Older ...
Meredith G. Harris +10 more
doaj +1 more source
Analysis of Sacrificial Anode Inspection Standards in Ships and Marine Engineering [PDF]
Cailiao Baohu, 2023 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
Compressive classification [PDF]
2013 IEEE International Symposium on Information Theory, 2013 5 pages, 3 figures, submitted to the 2013 IEEE International Symposium on Information Theory (ISIT 2013)
Reboredo, Hugo +3 more
openaire +2 more sources
Cruise ship evacuation simulation based on fine-grid model and validation by experimental datasets
Zhongguo Jianchuan Yanjiu, 2023 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
Plasmid, 2023 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
Design of electrical system to guarantee safety of small polar cruise ship after casualty
Zhongguo Jianchuan Yanjiu, 2022 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
Theory, Culture & Society, 2006 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
, 2009 In Classification learning, an algorithm is presented with a set of classified examples or ‘‘instances’’ from which it is expected to infer a way of classifying unseen instances into one of several ‘‘classes’’.
Witten, Ian H.
core +2 more sources