Results 61 to 70 of about 528,125 (164)

Verification of UML models by translation to UML-B [PDF]

, 2011
UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools ...
Snook, Colin, Savicks, Vitaly, Butler, Michael   +2 more
core   +2 more sources

34 lb Snook

, 1979
Fisherman with his 34-pound ...

core  

High fat intake leads to acute postprandial exposure to circulating endotoxin in type 2 diabetic subjects [PDF]

, 2012
OBJECTIVE-To evaluate the changes in circulating endotoxin after a high-saturated fat meal to determine whether these effects depend on metabolic disease state.
Varma, M.C., Saravanan, Ponnusamy, Saravanan, P., Tripathi, Gyanendra, Kumar, Sudhesh, Sabico, Shaun, Sabico, S., O'Hare, J.P., McTernan, P. G., Harte, A. L., Varma, Madhusudhan C., Ceriello, A., Al-Attas, Omar S., McTernan, P.G., Al-Attas, O.S., Al-Daghri, Nasser M., Ceriello, Antonio, McGee, K. C., O'Hare, J. Paul, McGee, K.M., Al-Daghri, N.M., Kumar, S., Harte, A.L., Tripathi, G.   +23 more
core   +1 more source

Rearing of fat snook (“Centropomus parallelus”) at different stocking densities Criação do robalo-peva ("Centropomus parallelus") submetido a diferentes densidades de estocagem

Revista Brasileira de Saúde e Produção Animal, 2007
Studies on the effect of stocking density on the growth of fat snook Centropomus parallelus were conducted in floating net cages in the north coast of the State of São Paulo, in Ubatuba City. Juveniles weighing 32.53 ± 6.54 g were stocked in densities of
Pedro Carlos da Silva Serralheiro, Idili da Rocha Oliveira, Sergio Ostini, Eduardo Gomes Sanches   +3 more
doaj  

ERTMS Hybrid Level 3 - model using iUML-B/Event-B

iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support ABZ2018 case study track paper: Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3, Dana Dghaym, Michael Poppleton, Colin ...
Dghaym, Dana, Snook, Colin, Poppleton, Michael   +2 more
core   +1 more source

Stimulation of fat oxidation in rat muscle by unacylated ghrelin persists for 2-3 hours, but is independent of fatty acid transporter translocation. [PDF]

Physiol Rep, 2023
Hoecht EM, Budd JM, Notaro NM, Holloway GP, Dyck DJ.   +4 more
europepmc   +1 more source

The copepod Acartia tonsa as live feed for fat snook (Centropomus parallelus) larvae from notochord flexion to advanced metamorphosis

Latin American Journal of Aquatic Research, 2017
From early development until the completion of metamorphosis, fat snook (Centropomus parallelus) larvae are commonly fed the rotifers Brachionus spp. and Artemia spp. nauplii. In this study, cultivated copepods Acartia tonsa were evaluated as feed for 15-to 45-day-old larvae.
Vanacor-Barroso, Marcia, Carvalho, Cristina Vaz Avelar de, Antoniassi, Rosemar, Ronzani-Cerqueira, Vinicius   +3 more
openaire   +2 more sources

Quinton Snook

, 1971
Oral History Interview with Quinton Snook, student of IWU in 1941 & 1942, resident of Bloomington area, president and chairmen of the board of the Thomas Jefferson Life Insurance Company.
Snook ex\u2744, Quinton
core  

The Aut(Not)Tomobile, typed poem by J.J. Snook

, 1900
Poem written by John J.
Snook, J. J.
core  

Efeitos da utilização de uma dieta comercial e dietas experimentais, nas formas seca e semi-úmida, no crescimento e composição corporal do robalo (Centropomus parallelus Poey, 1860) [PDF]

, 1999
Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Agrárias.O presente estudo foi realizado no Laboratório de Piscicultura Marinha da Universidade Federal de Santa Catarina, Florianópolis (SC) e teve como objetivo avaliar
Barbuio, Marco Antonio Tozetto
core