Results 11 to 20 of about 6,126,485 (362)

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

Classification of Classifications: Species of Library Classifications

Cataloging & Classification Quarterly, 2023
SI
M. Krishnamurthy, M. P. Satija, Daniel Martínez-Ávila   +2 more
openaire   +2 more sources

The advantages of the Matthews correlation coefficient (MCC) over F1 score and accuracy in binary classification evaluation

BMC Genomics, 2020
To evaluate binary classifications and their confusion matrices, scientific researchers can employ several statistical rates, accordingly to the goal of the experiment they are investigating.
D. Chicco, Giuseppe Jurman
semanticscholar   +1 more source

PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation [PDF]

Computer Vision and Pattern Recognition, 2016
Point cloud is an important type of geometric data structure. Due to its irregular format, most researchers transform such data to regular 3D voxel grids or collections of images. This, however, renders data unnecessarily voluminous and causes issues. In
C. Qi, Hao Su, Kaichun Mo, L. Guibas
semanticscholar   +1 more source

The First Report of the Genera Abaria and Drepanocentron (Trichoptera: Xiphocentronidae) from China, with Descriptions of Two New Species

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, Xinyu Ge, ChangHai Sun, Beixin Wang   +3 more
doaj   +1 more source

The 5th edition of the World Health Organization Classification of Haematolymphoid Tumours: Myeloid and Histiocytic/Dendritic Neoplasms

Leukemia, 2022
The upcoming 5th edition of the World Health Organization (WHO) Classification of Haematolymphoid Tumours is part of an effort to hierarchically catalogue human cancers arising in various organ systems within a single relational database.
J. Khoury, E. Solary, O. Abla, Yassmine M N Akkari, R. Alaggio, J. Apperley, R. Bejar, E. Berti, L. Busque, J. C. Chan, Weina Chen, Xinfa Chen, W. Chng, J. Choi, I. Colmenero, S. Coupland, N. Cross, D. de Jong, M. Elghetany, Emiko Takahashi, J. Emile, J. Ferry, L. Fogelstrand, M. Fontenay, U. Germing, S. Gujral, T. Haferlach, C. Harrison, Jennelle C Hodge, Shimin Hu, J. Jansen, R. Kanagal-Shamanna, H. Kantarjian, C. Kratz, Xiao-Qiu Li, M. Lim, K. Loeb, S. Loghavi, Andrea N Marcogliese, S. Meshinchi, P. Michaels, K. Naresh, Y. Natkunam, Reza Nejati, G. Ott, E. Padron, K. Patel, N. Patkar, J. Picarsic, U. Platzbecker, I. Roberts, Anna Schuh, W. Sewell, R. Siebert, P. Tembhare, J. Tyner, S. Verstovsek, Wei Wang, Brent Wood, W. Xiao, Cecilia C S Yeung, A. Hochhaus   +61 more
semanticscholar   +1 more source

Assessing the content validity of the revised Health of the Nation Outcome Scales 65+: the HoNOS Older Adults

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, Caley Tapp, Urska Arnautovska, Tim Coombs, Rosemary Dickson, Mark Smith, Angela Jury, Jennifer Lai, Mick James, Jon Painter, Philip M. Burgess   +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

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, Zhiming FANG, Guoqing CHEN, Yajuan GU   +3 more
doaj   +1 more source

The 5th edition of the World Health Organization Classification of Haematolymphoid Tumours: Lymphoid Neoplasms

Leukemia, 2022
We herein present an overview of the upcoming 5th edition of the World Health Organization Classification of Haematolymphoid Tumours focussing on lymphoid neoplasms.
R. Alaggio, Catalina Amador, I. Anagnostopoulos, A. Attygalle, I. Araújo, E. Berti, G. Bhagat, A. Borges, Daniel Boyer, M. Calaminici, A. Chadburn, J. C. Chan, W. Cheuk, W. Chng, J. Choi, S. Chuang, S. Coupland, M. Czader, S. Dave, D. de Jong, M. Du, K. Elenitoba-Johnson, J. Ferry, J. Geyer, D. Gratzinger, J. Guitart, S. Gujral, M. Harris, C. Harrison, S. Hartmann, A. Hochhaus, P. Jansen, K. Karube, W. Kempf, J. Khoury, H. Kimura, W. Klapper, Alexandra E. Kovach, Shaji K. Kumar, A. Lazar, S. Lazzi, L. Leoncini, N. Leung, Vasiliki Leventaki, Xiao-Qiu Li, M. Lim, Wei-ping Liu, A. Louissaint, Andrea N Marcogliese, L. Medeiros, M. Michal, R. Miranda, C. Mitteldorf, S. Montes-Moreno, W. Morice, V. Nardi, K. Naresh, Y. Natkunam, S. Ng, I. Oschlies, G. Ott, M. Parrens, Melissa P. Pulitzer, S. Rajkumar, A. Rawstron, K. Rech, A. Rosenwald, Jonathan Said, C. Sarkozy, S. Sayed, C. Saygin, Anna Schuh, William Sewell, R. Siebert, A. Sohani, R. Tooze, A. Traverse-Glehen, F. Vega, B. Vergier, A. Wechalekar, Brent Wood, L. Xerri, Wenbin Xiao   +82 more
semanticscholar   +1 more source