Results 51 to 60 of about 1,158 (136)

Abiotic variables drive different aspects of fish community trait variation and species richness across the continental United States

Journal of Animal Ecology, Volume 95, Issue 9, Page 1522-1538, September 2026.
Trait distributions provide insight into how niches overlap within a broader trait space. By integrating individual‐level trait observations from different communities, we can explore how facets of trait dimensionality vary across environmental conditions.
Alicia McGrew, Crysta Gantz, Brigid Wills, Benjamin Baiser, Sydne Record, Phoebe L. Zarnetske, Angela L. Strecker   +6 more
wiley   +1 more source

VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS [PDF]

Научно-технический вестник информационных технологий, механики и оптики, 2014
The paper deals with an interactive method of automatic verification for parallel automata-based programs. The hierarchical state machines can be implemented in different threads and can interact with each other.
M. A. Lukin
doaj  

Null Models Reveal Differing Drivers of Multidimensional Beta Diversity Change in Invaded Metacommunities

Diversity and Distributions, Volume 32, Issue 9, September 2026.
ABSTRACT Aim Invasion‐driven changes in beta diversity (Δβ) are multifaceted (taxonomic, functional, and phylogenetic) and are comprised of three components (total beta diversity, replacement, and richness difference); therefore, they represent a nine‐dimensional phenomenon.
William K. Annis, Lily M. Thompson, Luke M. Bower, Stephen R. Midway, Brandon K. Peoples   +4 more
wiley   +1 more source

Distributed embedded control systems design with verification support

Моделирование и анализ информационных систем, 2010
We consider a problem of integrating a formal method of verification (model checking) into the process of designing complex distributed software systems to improve the quality of software. We use an approach based on the Model-Driven Engineering.
I. V. Shoshmina
doaj  

Formal Modeling and Verification of Block Production BABE Protocol in Polkadot

IEEE Access
Polkadot is an emerging blockchain application in the cryptocurrency ecosystem, where a large number of participants actively take part to earn rewards. Block production in Polkadot is one of the most critical and technically complex components, which is
Muhammad Rashid, Nazir Ahmad Zafar, Waheed Shahzad, Lal Khan, Mohammad Zubair Khan, Ibrahim Aljubayri   +5 more
doaj   +1 more source

Born This Way: Individuality Is Seeded Before Birth and Robust to Ecological Stress

Ecology Letters, Volume 29, Issue 9, September 2026.
We reared and recorded behaviours of clonal Amazon mollies in standardized environments, with and without predation stress, from birth through week four of life, to understand how the developmental environment influences the emergence of behavioural individuality.
James H. Gallagher, Ammon D. Perkes, Chia‐Chen Chang, Emma S. Chirila, Karen Kacevas, Kate L. Laskowski   +5 more
wiley   +1 more source

Adaptive Diversification of the Mstnb Locus Drives Genomic Architecture of Growth in Thai Clariid Catfish

Evolutionary Applications, Volume 19, Issue 9, September 2026.
ABSTRACT The production of clariid catfish in Thai aquaculture depends on culture of the native species (Clarias macrocephalus and C. batrachus) and introduced African catfish (C. gariepinus). Particularly, hybridization with C. gariepinus has improved productivity but raised significant conservation concerns.
Ton Huu Duc Nguyen, Phonemany Thammachak, Trifan Budi, Piangjai Chalermwong, Chananya Patta, Wattanawan Jaito, Thitipong Panthum, Kednapat Sriphairoj, Sittichai Hatachote, Prapansak Srisapoome, Satid Chatchaiphan, Narongrit Muangmai, Orathai Sawatdichaikul, Agostinho Antunes, Kyudong Han, Darren K. Griffin, Jiraboon Prasanpan, Prateep Duengkae, Worapong Singchat, Kornsorn Srikulnath   +19 more
wiley   +1 more source

Decoding the Black Box of Fish Vaccines Efficacy in Basic and Applied Contexts

Reviews in Aquaculture, Volume 18, Issue 4, September 2026.
ABSTRACT Vaccines are the frontline defense in aquaculture, yet predicting their real‐world performance remains a tricky puzzle. Unlike terrestrial veterinary vaccines, fish vaccines largely operate through “Black Box” processes, where we observe the outcomes but rarely understand the underlying immune mechanisms. Laboratory trials, though informative,
Jiří Kyslík, Mikolaj Adamek, Tomáš Korytář   +2 more
wiley   +1 more source

Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.

Telemática, 2014
Este artículo ofrece un método para la elaboración de protocolos de aplicación de control domóticos, aplicados a un caso de estudio, utilizando herramientas de software libre, PROMELA como su lenguaje de definición formal, y SPIN como su editor ...
Arian Trujillo Díaz, José Raúl Vento Álvarez   +1 more
doaj  

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Cogent Engineering
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints.
Tanuja Shailesh, Ashalatha Nayak, Devi Prasad   +2 more
doaj   +1 more source