A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store, input and output values of type X. We study model checking of systems which are data-independent with respect to two distinct type variables X and Y , and may in addition use arrays with indices from X and values fro...

Between 2000 and 2004, 125 recreational parachuting fatalities were reported in the USA. Each was categorized using a previously reported taxonomy. While patterns of skydiving fatality were largely unchanged since the last such analysis of fatalities from 1993-1999, some variations were noted. As in previous analyses, most of the recent skydiving fatalities were the direct result of human error...

The proliferation of COVID-19 fake news on social media poses a severe threat to the health information ecosystem. We show that affective computing can make significant contributions combat this infodemic. Given is often presented with emotional appeals, we propose new perspective role emotion in attitudes, perceptions, and behaviors dissemination information. study emotions conjunction news, e...

Subject-based classi®cation is an important part of information retrieval, and has a long history in libraries, where a subject taxonomy was used to determine the location of books on the shelves. We have been studying the notion of subject itself, in order to determine a formal ontology of subjects for a large-scale digital library card catalog system. Deep analysis reveals a lot of ambiguity ...

The dog family, Canidae, is a widely distributed group of species that have evolved and radiated relatively recently into 16 genera and 36 recognized species (Nowak 1999). Specific taxonomic designations for some canid taxa can be unclear due to frequent interspecific hybridization among species in both historical and contemporary times, and our imperfect molecular genetic approaches for determ...

Links: [1] https://www.buppractice.com/node/206 [2] http://psychiatryonline.org/guidelines [3] https://www.buppractice.com/taxonomy/term/91 [4] https://www.buppractice.com/taxonomy/term/27 [5] https://www.buppractice.com/taxonomy/term/28 [6] https://www.buppractice.com/taxonomy/term/33 [7] https://www.buppractice.com/taxonomy/term/120 [8] https://www.buppractice.com/taxonomy/term/117 [9] https:...

analysis and design of object oriented is onemodern paradigms for developing a system. in this paradigm, there are several objects and each object plays some specific roles. identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. this paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. the f...

Researchers are daily engaged in bibliographic tasks concerning literature search and review, both the role of authors scientific papers when they reviewers or evaluators. Current indexing platforms offer powerful tools for searching references, but general poorly support integration, visualization comparative analysis metadata coming from subsequent searches. To address these issues, we design...

Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...

Links: [1] https://www.buppractice.com/node/62 [2] http://www.buppractice.com/node/931 [3] https://www.buppractice.com/taxonomy/term/29 [4] https://www.buppractice.com/taxonomy/term/96 [5] https://www.buppractice.com/taxonomy/term/90 [6] https://www.buppractice.com/taxonomy/term/113 [7] https://www.buppractice.com/taxonomy/term/126 [8] https://www.buppractice.com/taxonomy/term/72 [9] https://ww...