Results 61 to 70 of about 864 (171)
Journal of Experimental Zoology Part A: Ecological and Integrative Physiology, Volume 345, Issue 2, Page 148-161, March 2026.ABSTRACT In fish, sex determination and gonadal development are controlled by various genetic and environmental factors. In this study, experiments were conducted on the estuarine mummichog (Fundulus heteroclitus) to investigate gonadal differentiation following exposure to the synthetic estrogen, 17α‐ethinylestradiol (EE2).
Ibrahim Chehade +5 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 AccessPolkadot 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 +5 more
doaj +1 more source
Environmental DNA metabarcoding reflects rank‐based abundance of fish
Journal of Applied Ecology, Volume 63, Issue 3, March 2026.This approach provides a practical tool for managers to rapidly assess rank abundance of freshwater fishes, offering particular value for monitoring smaller species that are often missed by conventional surveys. Abstract Increasingly, molecular methods of species monitoring are integrated into freshwater biodiversity surveys and fisheries management ...
Joanne E. Littlefair +4 more
wiley +1 more source
Reviews in Aquaculture, Volume 18, Issue 2, March 2026.ABSTRACT The aquaculture industry faces significant challenges from viral diseases, many of which are listed by the World Organisation for Animal Health (WOAH) as priority pathogens due to their impact on global finfish health and production. This review synthesizes current knowledge on the histopathology of key WOAH‐listed viral pathogens, including ...
Ram Babu Kurapati +4 more
wiley +1 more source
Journal of Cellular and Molecular Medicine, Volume 30, Issue 4, February 2026.ABSTRACT The rising levels of chemical pollutants in aquatic ecosystems threaten biodiversity and demand improved methods for assessing ecological risk. Recent deep learning methods advance molecular toxicity prediction but still suffer from limited generalisation, interpretability and robustness under data scarcity. To address these issues, we propose
Jixuan Jia +4 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 +1 more
doaj
An automated qualitative analysis of real-time systems using Timed Petri net and SPIN
Cogent EngineeringVerification 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 +2 more
doaj +1 more source
EFSA Journal, Volume 24, Issue 2, February 2026.Abstract The present opinion deals with the re‐evaluation of sucralose (E 955) as food additive and with the safety of a proposed extension of use in food category (FC) 7.2 ‘Fine bakery wares’. Based on the available data, no safety concerns arose for genotoxicity of sucralose (E 955) and its impurities and degradation products.
EFSA Panel on Food Additives and Flavourings (FAF) +36 more
wiley +1 more source
Limnology and Oceanography, Volume 71, Issue 1, January 2026.Abstract In aquatic ecosystems, greater food web complexity is theorized to increase persistence and resilience of primary production to pulse disturbances, yet experimental evidence is limited. We simulated two storm‐induced pulse disturbances by adding nutrients (~ 3%–5% increase in ambient concentrations) to three ponds with low, intermediate, and ...
Tyler J. Butts +3 more
wiley +1 more source