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 …

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 …

[图书][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 …

To name or not to name: criteria to promote economy of change in supraspecific Linnean classification schemes

M Vences, JM Guayasamin, A Miralles, I De La Riva - 2013 - digital.csic.es
… 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

Phylogeny-aware identification and correction of taxonomically mislabeled sequences

AM Kozlov, J Zhang, P Yilmaz, FO Glöckner… - Nucleic acids …, 2016 - academic.oup.com
… 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 …

Sequential Pattern Mining within Formal Concept Analysis for Analyzing Visitor Trajectories

N Juniarta, M Couceiro, A Napoli - BDA 2018-34ème Conférence …, 2018 - inria.hal.science
… 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 …

[HTML][HTML] The taxon hypothesis paradigm—on the unambiguous detection and communication of taxa

U Kõljalg, HR Nilsson, D Schigel, L Tedersoo… - Microorganisms, 2020 - mdpi.com
… 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 …

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 …

Towards a unified paradigm for sequence‐based identification of fungi

U Kõljalg, RH Nilsson, K Abarenkov, L Tedersoo… - 2013 - Wiley Online Library
… (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

Revisions to the classification, nomenclature, and diversity of eukaryotes

SM Adl, D Bass, CE Lane, J Lukeš… - Journal of Eukaryotic …, 2019 - Wiley Online Library
… 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 …