Results 91 to 100 of about 9,715 (209)

Centropomus undecimalis: Growth performance, hematological responses, and unitary feeding cost with graded soybean meal substitution

Ecosistemas y Recursos Agropecuarios
This study evaluated the effects of replacing fishmeal (FM) with soybean meal (SM) in diets for juvenile common snook (Centropomus undecimalis) over a 120-day feeding trial.
Saeko Gaitán-Ibarra, Wilfrido M. Contreras-Sánchez, Germán Blanco-Cervantes, Loraine Cotes-Castro, Natalia Villamizar-Villamizar   +4 more
doaj   +1 more source

An EMF Framework for Event-B

, 2010
The Rodin platform for Event-B formal modelling is based on a bespoke model repository. While this approach has some advantages it also means that the platform does not benefit from the host of emerging technologies and supporting packages that are ...
Snook, Colin, Fritz, Fabian, Illisaov, Alexei   +2 more
core   +1 more source

Feature composition - towards product lines of event-B models

, 2009
Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit provides comprehensive tool support for modelling and refinement in Event-B, analysis and verification using animator/model-checkers
Snook, Colin, Gondal, Ali, Poppleton, Mike   +2 more
core   +2 more sources

Ian Snook Prizes 2015 [PDF]

Computational Methods in Science and Technology, 2016
Wm.G. Hoover, C.G. Hoover, M. Stroiński, J. Węglarz, K.W. Wojciechowski   +4 more
openaire   +1 more source

Dataset for: Domain-Specific Scenarios for Refinement-based Methods

Scenarios and related models for the HL3 case study described in: Snook, C., Hoang, T. S., Dghaym, D., Salehi Fathabadi, A., & Butler, M. (2020). Domain-Specific Scenarios for Refinement-based Methods. Journal of Systems Architecture.
Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael   +4 more
core   +1 more source

Caracterización cariotípica en mitosis y meiosis del robalo blanco Centropomus undecimalis (Pisces: Centropomidae)

Revista de Biología Tropical, 2011
El robalo blanco Centropomus undecimalis, vive en hábitats marinos, salobres y dulceacuícolas en el océano Atlántico occidental, incluyendo el golfo de México. La especie, es económicamente importante en varias localidades, no obstante los estudios sobre
Lenin Arias-Rodriguez, Jeane R. Indy, Rosa I. Ahumada-Hernández, Helen Barragán-Cupido, Antonieta A. Ávalos-Lázaro, Salomón Páramo-Delgadillo   +5 more
doaj  

RailGround using Theory plug-in

This dataset is associated with the paper "Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler. Class-Diagrams for Abstract Data Types. In Hung Dang Van and Deepak Kapur, editors, *ICTAC2017: International Colloquium on Theoretical Aspects ...
Snook, Colin, Dghaym, Dana, Hoang, Thai, Butler, Michael   +3 more
core   +1 more source

Animation of UML-B State-machines

Animation is important because it allows the modeller to validate that a model behaves as intended. Visualisation of animations assists the modeller in making this assessment.
Snook, Colin, Savicks, Vitaly, Butler, Michael   +2 more
core   +1 more source

Adaptive introgression between two Drosophila species enhances heat tolerance despite barriers to gene flow. [PDF]

PLoS Biol
Poikela N, Snook RR, Kulmuni J, Ritchie MG.   +3 more
europepmc   +1 more source

Could GUCY2C-targeted pharmacotherapy be effective in treating colorectal cancer? [PDF]

Expert Rev Clin Pharmacol
Waldman SA, Snook AE.
europepmc   +1 more source