Results 11 to 20 of about 315,908 (263)
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 +4 more sources
Classification of Classifications: Species of Library Classifications
Cataloging & Classification Quarterly, 2023 SI
M. Krishnamurthy +2 more
openaire +2 more sources
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)
Hugo Reboredo +3 more
openaire +3 more sources
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
LINGUISTIC EXPERTISE IN LEGAL DISCOURSE: TYPES AND ASPECTS
Вестник Кемеровского государственного университета, 2017 The article is devoted to the relevance of special linguistic knowledge in legal discourse and the determination of the competence of an expert linguist. It features the analyses of the basis for the use of linguistic expertise in the aspect of the legal
M. V. Batyushkina
doaj +1 more source
Energies, 2020 The detailed characteristics and formation mechanisms of organic-rich clasts (ORCs) in the Upper Paleozoic tight sandstone in the northeastern margin of the Ordos Basin were analyzed through 818-m-long drilling cores and logging data from 28 wells.
Guanqun Yang +3 more
doaj +1 more source
Giving name to streets, giving streets to names. Organising urban space following toponymy practices
Tecnoscienza, 2011 The article investigates the practices of giving names to streets. It looks at the city as an expanded laboratory and tackles urban issues following the performative action of names.
Claudio Coletta
doaj +1 more source
Frontiers in Endocrinology, 2020 Objective: Several ultrasound classifications for thyroid nodules were proposed but their accuracy is still debated, since mainly estimated on cytology and not on histology.
Bruno Madeo +14 more
doaj +1 more source
Revisión sobre tipos y clasificaciones de la flexibilidad. Una nueva propuesta de clasificación. (Review of the Types and Classifications of Flexibility. New Proposed Classification.) [PDF]
Revista Internacional de Ciencias del Deporte, 2009 Resumen Al acercarse a la bibliografía para informarnos sobre conceptos y acepciones empleados al escribir sobre flexibilidad, encontramos que existe una gran maraña en torno a términos afines, conceptos empleados y tipos de flexibilidad. Algunos autores
Emilio Fernández Rodríguez +1 more
doaj