6 documents found, page 1 of 1
Spatial distribution of bed variables, animal welfare indicators, and milk prod...
Andrade, R.R.; Tinoco, I.F.; Damasceno, F.A.; Ferraz, G.A.; Freitas, L.; Ferreira, C.F.; Barbari, M.; Baptista, F.J.; Coelho, D.J.This research aimed to characterize, evaluate and compare the spatial distribution of the leading bed variables, animal welfare indicators, and milk production in a closed compost-bedded pack barn (CBP) with a negative tunnel ventilation system, for summer and winter periods. The study was carried out in a CBP located in the Zona da Mata region, Minas Gerais, Brazil. The geostatistical modeling technique evalua...
Bovine colostrum supplementation improves bone metabolism in an osteoporosis-in...
Kydonaki, E. K.; Freitas, L.; Fonseca, B. M.; Reguengo, H.; Simón, C. Raposo; Bastos, A. R.; Fernandes, E. M.; Canadas, R. F.; Oliveira, J. M.Osteoporosis is characterized by bone loss. The present study aims to investigate the effects of bovine colostrum (BC) on bone metabolism using ovariectomized (OVX) and orchidectomized (ORX) rat models. Twenty-seven-week-old Wistar Han rats were randomly assigned as: (1) placebo control, (2) BC supplementation dose 1 (BC1: 0.5 g/day/OVX, 1 g/day/ORX), (3) BC supplementation dose 2 (BC2: 1 g/day/OVX, 1.5 g/day/O...
Magnetized poly(STY-co-DVB) as a matrix for immobilizing microbial lipase to be...
Freitas, L.
Safety analysis of software components of a dialysis machine using model checking
Harrison, Michael douglas; Drinnan, M.; Campos, José C.; Masci, Paolo; Freitas, L.; Di Maria, C.; Whitaker, M.The paper describes the practical use of a model checking technique to contribute to the risk analysis of a new paediatric dialysis machine. The formal analysis focuses on one component of the system, namely the table-driven software controller which drives the dialysis cycle and deals with error management. The analysis provided evidence of the verification of risk control measures relating to the software com...
Spatial and temporal distribution of bottlenose dolphins, Tursiops truncatus, i...
Dinis, Ana; Carvalho, A.; Alves, F.; Nicolau, C.; Ribeiro, C.; Kaufmann, M.; Cañadas, A.; Freitas, L.One of the first steps in understanding the relationships between populations and their habitats is to determine which areas they use with higher frequency. This study used systematic and non-systematic survey data from 2001-2002 and 2004-2012 to determine encounter rates and investigate temporal and spatial distribution of bottlenose dolphins around Madeira, Desertas and Porto Santo islands. A total 24,914 km ...
Daytime dive characteristics from six short-finned pilot whales Globicephala ma...
Alves, Filipe; Dinis, A.; Ribeiro, C.; Nicolau, C.; Kaufmann, M.; Fortuna, C. M.; Freitas, L.