Results 61 to 70 of about 1,158 (136)
Ecology and Evolution, Volume 16, Issue 8, August 2026.We highlight the importance of considering insecticide effects on trait variance and selection—not merely trait means—to fully understand evolutionary changes in non‐target populations. We suggest incorporating sublethal effects on semi‐aquatic predatory insects into ecological risk assessments on agroecosystems. ABSTRACT Agricultural insecticides pose
Byeongho Lee, Jiman Heo, Chang S. Han
wiley +1 more source
Implementing Message Sequence Charts in Promela
, 1995 We have previously defined a formal semantics for Message Flow Graphs and Message Sequence Charts, capturing most of the syntactic features contained in the ITU-T recommendation Z.120.
Ladkin, Peter B., Leue, Stefan
core +1 more source
Using Eye Lens Stable Isotopes to Identify the Rearing Origin of Fall Age‐0 Walleye (Sander vitreus)
Fisheries Management and Ecology, Volume 33, Issue 4, Page 775-783, August 2026.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 +5 more
wiley +1 more source
Protocol Verification with Reactive Promela/RSPIN
, 2007 Reactive Promela/RSPIN is an extension to the protocol validator Promela/SPIN. It enhances thesimulation and verification capabilities of SPIN by allowing modular specifications to be analysed while alleviating the state-space explosion problem ...
Elie Najm, Frank Olsen
core
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
EFSA Journal, Volume 24, Issue 8, August 2026.Abstract Following a request from the European Commission, EFSA was asked to deliver a scientific opinion on the safety and efficacy of a feed additive consisting of nicarbazin (NICACOX®) as a coccidiostat for chickens for fattening and chickens reared for laying.
EFSA Panel on Additives and Products or Substances used in Animal Feed (FEEDAP) +28 more
wiley +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
TRANSFORMASI PROMELA KE CHANNEL SYSTEM
, 2012 PROMELA is a high level language to describe a model of a system. System that has been modelled in PROMELA can be verified formally using SPIN model checker. The modelled system has to be implemented using one of the programming language.
, Sheila Nurul Huda +1 more
core
An Estelle to Promela Compiler
, 1994 The objective of this project is to develop a compiler for the translation of Estelle specifications into a suitable input for some validation tool. The validation tool that has been chosen for this project is SPIN (SImple PROMELA INterpreter), that can ...
Dr. Peter Jb King (supervisor +2 more
core
Formal Analysis of the Security Protocol with Timestamp Using SPIN. [PDF]
Comput Intell Neurosci, 2022 Xiao M +4 more
europepmc +1 more source