Results 91 to 100 of about 2,823 (181)
Environmental Toxicology, Volume 41, Issue 1, Page 49-67, January 2026.ABSTRACT The potential adverse effects of 17‐alpha‐ethynylestradiol (50, 100, and 500 μg EE2/kg b.w., for 30 days) on tench ( Tinca tinca ) were evaluated by integrating biomarkers including physiological (hepato‐somatic index, spleen‐somatic index, and hematocrit), oxidative stress (catalase, glutathione peroxidase, and glutathione reductase ...
Ana L. Oropesa +3 more
wiley +1 more source
Arithmetic modeling of a multilevel escape room
Frontiers in EducationThe acceptance of educational escape rooms as active evaluation tools is growing throughout the educational field, covering all areas and levels. In this paper, a multilevel educational escape room has been proposed, which is composed of a series of ...
Pedro Juan Roig +4 more
doaj +1 more source
Adapting Petri Nets Reductions to Promela Specifications [PDF]
, 2008 The interleaving of concurrent processes actions leads to the well-known combinatorial explosion problem. Petri nets theory provides some structural reductions to tackle this phenomenon by agglomerating sequences of transitions into a single atomic transition. These reductions are easily checkable and preserve deadlocks, Petri nets liveness and any LTL
Pajault, Christophe +2 more
openaire +2 more sources
Spatiotemporal Patterns and Drivers of Fish Biodiversity on a Remote Freshwater Archipelago
Journal of Biogeography, Volume 53, Issue 1, January 2026.ABSTRACT Aim Fish communities are shaped by environmental filters operating across different spatiotemporal scales. While many recent studies focus on anthropogenic gradients, few can isolate the role of natural drivers in community assembly. Isle Royale's inland lakes offer a rare opportunity to explore long‐term fish biodiversity dynamics with ...
David J. Gallagher +6 more
wiley +1 more source
Etch: An Enhanced Type Checking Tool for Promela [PDF]
, 2005 We present Etch, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type errors in Promela models which cannot currently be detected by Spin before verification or simulation.
Alastair F. Donaldson, Simon J. Gay
openaire +1 more source
The General-Purpose Modeling, Analysis, and Implementation of Software Architectures
Havacılık ve Uzay Teknolojileri Dergisi, 2020 In this paper, a new software modeling language called SAMP is proposed, which is inspired from UML and enables the general-purpose modeling of software architectures but at the same time promotes the multiple-viewpoints modeling, formal verification of ...
Mert Özkaya
doaj
Formal Analysis of the Security Protocol with Timestamp Using SPIN. [PDF]
Comput Intell Neurosci, 2022 Xiao M +4 more
europepmc +1 more source
Auto-coding UML statecharts for flight software [PDF]
, 2006 Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Handtranslating a statechart to code, as done on some previous space missions, introduces the possibility of errors ...
Benowitz, Ed, Clark, Ken, Watney, Garth
core
A generic approach for the automatic verification of featured, parameterised systems [PDF]
, 2005 A general technique is presented that allows property based feature analysis of systems consisting of an arbitrary number of components. Each component may have an arbitrary set of safe features.
Calder, M., Miller, A.
core
Building Extensible Specifications and Implementations of Promela with AbleP [PDF]
, 2011 This paper describes how new language features can be seamlessly added to an extensible specification of Promela to provide new (domain-specific) notations and analyses to the engineer. This is accomplished using ABLEP, an extensible specification and implementation of Promela, the modeling language used by the spin model checker.
Yogesh Mali, Eric Van Wyk
openaire +1 more source