Results 41 to 50 of about 1,158 (136)

Resource Availability Modulates Effects of Fluorine Free Firefighting Foams

Environmental Toxicology, EarlyView.
ABSTRACT Fluorine‐free foam (F3) alternatives that lack per‐ and polyfluoroalkyl substances (PFAS) are rapidly being adopted for firefighting operations and will be entering ecosystems. Despite this, little is known about their impact on freshwater communities.
Jack D. Morehouse, Lucas A. Cacula, Jason T. Hoverman   +2 more
wiley   +1 more source

VIP : A Visual Editor and Compiler for v-Promela

, 2001
We describe the Visual Interface to Promela (VIP) tool that we have recently implemented. VIP supports the visual editing and maintenance of v-Promela models.
Kamel, Moataz, Stefan Leue, Leue, Stefan, Moataz Kamel   +3 more
core   +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

'Building Graphical Promela Models using UPPAAL GUI' [PDF]

, 2006
'The report proposes a new graphical input specification language g-Promela for SPIN model checker. Basic features of PROMELA language are defined using the formal syntax of graphical elements as an extension of labeled transition systems. The labels are
Lingegowda, Vasu Hossaholal
core   +1 more source

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

IEEE Access, 2017
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik   +2 more
doaj   +1 more source

Cytotoxicity Profiling of Tenacibaculum Extracellular Products on Chinook Salmon (Oncorhynchus tshawytscha) Gill Cell Line, OTgill1PFR

Journal of Fish Diseases, EarlyView.
ABSTRACT Tenacibaculosis is an important disease of marine fishes caused by bacteria of the genus Tenacibaculum. Pathogenic Tenacibaculum species or serotypes, including Tenacibaculum maritimum, T. dicentrarchi, T. finnmarkense and T. soleae, have been isolated from farmed Chinook salmon (Oncorhynchus tshawytscha) during disease outbreaks in Aotearoa ...
Bjorn Böhmert, Michael Algie, Karthiga Kumanan, Kate S. Hutson, Georgina C. Dowd   +4 more
wiley   +1 more source

Promela Planning

, 2003
In this paper a compiler from a restricted subset of SPIN's input language Promela into an action planning description language is presented. It exploits the representation of protocols as communicating finite state machines.
Stefan Edelkamp
core   +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, Volume 41, Issue 10, Page 1060-1068, October 2026.
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

Integrating Acoustic Telemetry and Stable Isotope Data Reveals Overlap in Resource Use by Large‐Bodied Fishes in a Temperate Lake

Ecology of Freshwater Fish, Volume 35, Issue 4, October 2026.
ABSTRACT Temperate lake ecosystems undergo seasonal shifts that disproportionately alter the availability of suitable habitat for fishes of different thermal guilds. While many studies have investigated fish habitat use patterns, few have estimated the degree to which fish species overlap in space across seasons from a three‐dimensional perspective ...
Ian A. Richter, Alyssa M. Andersen, Karen E. Smokorowski, Paul J. Blanchfield   +3 more
wiley   +1 more source

Hybrid Membranes Based on Copper‐Containing Isoreticular Metal–Organic Framework and Polyetherimide as Good Catalysts for Textile Contaminant Removal in Wastewater

ChemistrySelect, Volume 11, Issue 36, 22 September 2026.
Hybrid membranes combining copper‐based metal–organic frameworks and polyetherimide provide an effective platform for textile contaminant removal through adsorption and catalytic oxidation. MOF immobilization within the polymeric matrix maintains high removal performance while facilitating catalyst recovery and reuse, highlighting the potential of ...
Poliana Vicente Martins, João Paulo Tavares Silva, Walace Doti do Pim, Eudes Lorençon, Luzia Sergina de França Neta, Raquel Vieira Mambrini   +5 more
wiley   +1 more source