162 research outputs found
Efeito da técnica de emparelhamento mecânico nos teores de matéria seca, matéria orgânica, matéria mineral e proteína bruta de pastagem de azevém (Lolium multiflorum LAM.).
Get PDFSatisfiability Modulo Transcendental Functions via Incremental Linearization
Full text linkIn this paper we present an abstraction-refinement approach to Satisfiability
Modulo the theory of transcendental functions, such as exponentiation and
trigonometric functions. The transcendental functions are represented as
uninterpreted in the abstract space, which is described in terms of the
combined theory of linear arithmetic on the rationals with uninterpreted
functions, and are incrementally axiomatized by means of upper- and
lower-bounding piecewise-linear functions. Suitable numerical techniques are
used to ensure that the abstractions of the transcendental functions are sound
even in presence of irrationals. Our experimental evaluation on benchmarks from
verification and mathematics demonstrates the potential of our approach,
showing that it compares favorably with delta-satisfiability /interval
propagation and methods based on theorem proving
Arroz integral sem casca na dieta de vacas em lactação: Efeito na produção de leite e consumo¹.
Get PDFEfeito da adição em níveis crescentes de gordura vegetal na produção e composição do leite de vacas da raça Jersey no terço inicial da lactação¹.
Get PDFEfeito da substituição do grão de milho por grão de arroz integral sem casca no perfil metabólico sanguíneo de vacas Jersey¹.
Get PDFEfeito da substituição do grão de milho por grão de arroz integral sem casca na produção e composição do leite¹.
Get PDFConsumo de matéria seca, de fibra em detergente neutro e sua relação com a produção de leite em vacas alimentadas com níveis crescentes de gordura na dieta¹.
Get PDFColeta e Envio de Amostras para Análise de Composição no Laboratório de Bromatologia e Nutrição Animal.
Get PDFbitstream/item/112213/1/Comunicado-316-web.pd
Cinética digestiva de silagens de genótipos de sorgo forrageiro (Sorghum bicolor (L.) Moench) utilizando a técnica in situ.
Get PDFMade available in DSpace on 2018-05-01T01:08:08Z (GMT). No. of bitstreams: 1
JamirLuisSilva051819.pdf: 90923 bytes, checksum: 18efca731a0e3de408b5621a8753ca68 (MD5)
Previous issue date: 2018-04-30bitstream/item/176143/1/Jamir-Luis-Silva-051819.pd
- …
