Results 41 to 50 of about 864 (171)

Transforming UML 'Collaborating' Statecharts for Verification and Simulation [PDF]

Journal of Systemics, Cybernetics and Informatics, 2003
Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for ...
Patrick O. Bobbie, Yiming Ji, Lusheng Liang   +2 more
doaj  

Development of a Zebrafish Embryo‐Based Test System for Thyroid Hormone System Disruption: 3Rs in Ecotoxicological Research

Environmental Toxicology and Chemistry, EarlyView.
Abstract There is increasing concern regarding pollutants disrupting the vertebrate thyroid hormone (TH) system, which is crucial for development. Thus, identification of TH system–disrupting chemicals (THSDCs) is an important requirement in the Organisation for Economic Co‐operation and Development (OECD) testing framework.
Lisa Gölz, Melanie Blanc‐Legendre, Maximilian Rinderknecht, Laura Behnstedt, Sara Coordes, Luisa Reger, Sacha Sire, Xavier Cousin, Thomas Braunbeck, Lisa Baumann   +9 more
wiley   +1 more source

The Employment of Hydrogen Peroxide in Water Disinfection Poses a Threat to Aquatic Ecosystems Because of Its Toxicity to Nontarget Organisms

Environmental Toxicology, EarlyView.
ABSTRACT Hydrogen peroxide is widely used in water and wastewater treatment, particularly in advanced oxidation processes that aid in the degradation of compounds and microbial disinfection. Despite concerns about potential environmental contamination, its impact on freshwater ecosystems remains inadequately studied.
Letícia Queiroz Almeida, Thayrine Dias Carlos, Leydiane Barbosa Bezerra, Rone S. Barbosa, Nelson Luís Gonçalves Dias Souza, Douglas Henrique Pereira, Renato Almeida Sarmento, Grasiele Soares Cavallini   +7 more
wiley   +1 more source

An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

Моделирование и анализ информационных систем
This paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj   +1 more source

Environmentally Realistic Metal Mixture Concentration Impacts Early Development in Zebrafish Larvae

Environmental Toxicology, EarlyView.
ABSTRACT The dispersion of metals in the environment leads to the presence of metal mixtures in impacted ecosystems, but few studies have addressed their impact on early developmental processes in fish. Here, we investigated the effect of metal mixtures reported in the Doce River basin in Brazil, including Fe, Mn, and Cd, either singly or as a mixture ...
Anderson K. S. Macêdo, Willian A. Thompson, Hélio B. Santos, Ralph G. Thomé, Mathilakath M. Vijayan   +4 more
wiley   +1 more source

Reactive EFSMs — Reactive Promela/RSPIN [PDF]

, 1996
Reactive Promela/RSPIN is an extension to the protocol validator Promela/SPIN. It enhances the simulation and verification capabilities of SPIN by allowing modular specifications to be analysed while alleviating the state-space explosion problem. Reactive Promela is a simple reactive language.
Elie Najm, Frank Olsen
openaire   +1 more source

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

Journal of Animal Ecology, EarlyView.
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

Using Eye Lens Stable Isotopes to Identify the Rearing Origin of Fall Age‐0 Walleye (Sander vitreus)

Fisheries Management and Ecology, EarlyView.
ABSTRACT Isotope values in fish eye lenses may be useful in differentiating rearing origins. We compared eye lens isotopic values of fall fingerling age‐0 walleye (Sander vitreus) reared in a hatchery pond, a recirculating aquaculture system (RAS), and a natural lake. Using 10 fish per rearing source, we delaminated layers from one eye lens per fish to
Justin M. Sturtz, Benjamin J. Schall, Matthew J. Ward, Cody E. Treft, Steven R. Chipps, Christopher A. Cheek   +5 more
wiley   +1 more source

Pejerrey (Odontesthes bonariensis) Under Siege: Main Infectious Diseases and Their Role in Aquaculture and Wild Populations Amidst Environmental Change

Journal of Fish Diseases, Volume 48, Issue 4, April 2025.
ABSTRACT The pejerrey (Odontesthes bonariensis) is a key species for recreational and commercial fisheries in Argentina and holds significant aquaculture potential. It has been introduced to various countries worldwide, including Japan, where intensive aquaculture has developed.
Aarón Torres‐Martínez, Miguel Mancini, Fabian Grosman, Gustavo Manuel Somoza, Carlos Augusto Strüssmann   +4 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