Satisfiability Modulo Transcendental Functions via Incremental Linearization

In 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

Effects of laboratory housing on exploratory behaviour, novelty discrimination and spatial reference memory in a subterranean, solitary rodent, the Cape mole-rat (Georychus capensis)

A large number of laboratory and field based studies are being carried out on mole-rats, both in our research group and others. Several studies have highlighted the development of adverse behaviours in laboratory animals and have emphasised the importance of enrichment for captive animals. Hence we were interested in evaluating how laboratory housing would affect behavioural performance in mole-rats. We investigated exploratory behaviour, the ability to discriminate between novel and familiar environments and reference memory in the solitary Cape mole-rat (Georychus capensis). Our data showed that both wild and captive animals readily explore open spaces and tunnels. Wild animals were however more active than their captive counterparts. In the Y maze two trial discrimination task, wild animals failed to discriminate between novel and familiar environments, while laboratory housed mole-rats showed preferential spatial discrimination in terms of the length of time spent in the novel arm. The performance of the laboratory and wild animals were similar when tested for reference memory in the Y maze, both groups showed a significant improvement compared to the first day, from the 3rd day onwards. Wild animals made more mistakes whereas laboratory animals were slower in completing the task. The difference in performance between wild and laboratory animals in the Y-maze may be as a result of the lower activity of the laboratory animals. Laboratory maintained Cape mole-rats show classic behaviours resulting from a lack of stimulation such as reduced activity and increased aggression. However, they do display an improved novelty discrimination compared to the wild animals. Slower locomotion rate of the laboratory animals may increase the integration time of stimuli, hence result in a more thorough inspection of the surroundings. Unlike the captive animals, wild animals show flexibility in their responses to unpredictable events, which is an important requirement under natural living conditions.South African Research Chair of Mammal Behavioural Ecology and Physiology (MKO & NCB) and the Swiss South African Joint Research Programme SSRJRP 09.http://www.plosone.orgam2014ab201

Coleta e Envio de Amostras para Análise de Composição no Laboratório de Bromatologia e Nutrição Animal.

bitstream/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.

Made 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