Using context descriptions and property definition patterns for software formal verification
P Dhaussy, J Auvray, S De Belloy… - … on Software Testing …, 2008 - ieeexplore.ieee.org
… scenario sequences which describe the interactions between the model and the entities
composing the model environment. In … and its environment as a sequence of two context modes …
composing the model environment. In … and its environment as a sequence of two context modes …
Characterising and predicting cyanobacterial blooms in an 8-year amplicon sequencing time course
N Tromas, N Fortin, L Bedrani, Y Terrat… - The ISME …, 2017 - academic.oup.com
… as the percentage of correctly classified samples. To assess the … timing of blooms using
sequence or environmental data. As … bloom, using sequencing and/or environmental data from …
sequence or environmental data. As … bloom, using sequencing and/or environmental data from …
[图书][B] An object-oriented formal specification language and support environment
MN Paryavi - 1993 - search.proquest.com
… Procedures outline the sequence in which methods are applied, in order to develop
software … Finally, ENSPEC is a support environment for formal specifications unlike any other …
software … Finally, ENSPEC is a support environment for formal specifications unlike any other …
To name or not to name: criteria to promote economy of change in supraspecific Linnean classification schemes
… mind as you read this description of the sequence of groupings? It is a family tree: … classification
are thus to be expected. Also convenient to reflect relationships in a formal classification …
are thus to be expected. Also convenient to reflect relationships in a formal classification …
Phylogeny-aware identification and correction of taxonomically mislabeled sequences
… taxonomic classification of the environmental sequences. In … also including environmental
sequences into our analysis. … it involves changes that violate the formal rules of taxonomic and …
sequences into our analysis. … it involves changes that violate the formal rules of taxonomic and …
Sequential Pattern Mining within Formal Concept Analysis for Analyzing Visitor Trajectories
… visit content, and the environment. Thus subsequences can be … two approaches about
sequence mining in Formal Concept … We incorporated a classification of museum items and built a …
sequence mining in Formal Concept … We incorporated a classification of museum items and built a …
[HTML][HTML] The taxon hypothesis paradigm—on the unambiguous detection and communication of taxa
… of formally undescribed or even physically undiscovered species if data such as sequences
from samples of environmental … to the synthesis of a classification system for all fungi. The TH …
from samples of environmental … to the synthesis of a classification system for all fungi. The TH …
Improvement of formal methods of analysis of the environment of the organization by detailed ranking of factors
VH Shtuchnyy… - Bulletin of VN Karazin …, 2017 - periodicals.karazin.ua
… environment regarding their explored qualities, which significantly increases the information
content of these methods. A step-by-step sequence of … of the organization environment is a …
content of these methods. A step-by-step sequence of … of the organization environment is a …
Towards a unified paradigm for sequence‐based identification of fungi
… (ITS) region is the formal fungal barcode and in most cases … over cloned sequences from
various complex environmental … , the sequence will adopt the full hierarchical classification …
various complex environmental … , the sequence will adopt the full hierarchical classification …
Revisions to the classification, nomenclature, and diversity of eukaryotes
… We provide suggested primer sets for DNA sequences from environmental samples that are
… Briefly, we adopted a hierarchical system without formal rank designations. The hierarchy is …
… Briefly, we adopted a hierarchical system without formal rank designations. The hierarchy is …