Results 81 to 90 of about 528,125 (164)

Policultivo de tilápias e robalos em pequenas unidades de produção aquicola de Santa Catarina [PDF]

open access: yes, 2010
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Agrárias, Programa de Pós-Graduação em Agroecossistemas, Florianópolis, 2010Garantir a segurança alimentar da população mundial é um dos principais desafios para a ...
Gerhardinger, Rodrigo Cavaleri
core  

Breast Radiotherapy after Oncoplastic Surgery-A Multidisciplinary Approach. [PDF]

open access: yesCancers (Basel), 2022
Metz G   +6 more
europepmc   +1 more source

UML-B and Event-B: an integration of languages and tools

open access: yes, 2008
UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events.
Snook, Colin, Butler, Michael
core  

Tools for system validation with B abstract machines

open access: yes, 2005
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an animation and model checking tool for the B method.
Snook, Colin   +2 more
core  

From leptin to lasers: the past and present of mouse models of obesity. [PDF]

open access: yesExpert Opin Drug Discov, 2021
Barton JR, Snook AE, Waldman SA.
europepmc   +1 more source

Use of Cross-Sectional Imaging Body Composition Assessment to Predict Pancreas Transplant Outcomes. [PDF]

open access: yesTranspl Int
Snook C   +8 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy