O objetivo central deste trabalho é compreender as tensões que provocaram a extinção da Universidade do Distrito Federal (UDF/RJ) e o fim de um projeto inovador formação professores Artes, acontecia no Instituto Artes referida universidade na década 1930. referencial teórico norteia reflexões desta pesquisa baseia-se nos trabalhos dos seguintes autores: Basbaum (1976), Fávero (2004), Lopes (200...

Two experiments were conducted to determine the effects of supplemental CP source and level of urea on intestinal amino acid (AA) supply and feedlot performance of lambs fed diets based on alkaline hydrogen peroxide-treated wheat straw (AHPWS). In Exp. 1, five cannulated (ruminal, duodenal, and ileal) crossbred wethers (61 kg) were used in a 5 x 5 Latin square design. Treatments consisted of di...

Spark is a popular framework for writing large scale data processing applications. Our goal is to develop tools for reasoning about Spark programs. This is challenging because Spark programs combine database-like relational algebraic operations and aggregate operations with User Defined Functions (UDF s). We present the first technique for verifying the equivalence of Spark programs. We model S...

Uncertain data management has become crucial in many sensing and scientific applications. As user-defined functions (UDFs) become widely used in these applications, an important task is to capture result uncertainty for queries that evaluate UDFs on uncertain data. In this work, we provide a general framework for supporting UDFs on uncertain data. Specifically, we propose a learning approach ba...

Let denote the unit circle in the complex plane. Given a function , one uses t usual (harmonic) Poisson kernel for the unit disk to define the Poisson integral of , namely . Here we consider the biharmonic Poisson kernel for the unit disk to define the notion of -integral of a given function ; this associated biharmonic function will be denoted by . We then consider the dilations ...

Viable microbial cells distributed in a 130 microim thick surface layer of cotton fabrics were stained with a fluorescent glucose, 2- [N- (7-nitrobenz-2-oxa-1,3-diazol-4-yl) amino] -2-deoxy-D-glucose (2-NBDG), and automatically mapped with an ultra-deep focusing range microscope (UDF) system. The software of the UDF system was upgraded and the number of Candida albicans cells could be counted a...

Access Network Discovery and Selection Function (ANDSF) defined in the architecture of the Evolved Packet System (EPS) allows the operator to control the user choice of access technology if several non-3GPP access networks are available. The 3GPP specifications define the management objects that can be used by ANDSF and the user equipment (UE), but do not define the structure and format of user...