Results 81 to 90 of about 2,823 (181)
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
Formal verification of an autonomous personal robotic assistant [PDF]
, 2014 Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks.
Dautenhahn, K. +6 more
core
Towards verifying correctness of wireless sensor network applications using Insense and Spin [PDF]
, 2011 The design and implementation of wireless sensor network applications often require domain experts, who may lack expertise in software engineering, to produce resource-constrained, concurrent, real-time software without the support of high-level software
Balasubramaniam, Dharini +6 more
core +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
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
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
Formal verification of safety protocol in train control system [PDF]
, 2011 In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services.
A. Chakrabarti +41 more
core +2 more sources