Entre o sonoro e o visual: relações e processos nas artes

Pós-graduação em Artes - IA

Currículo, Infância e Educação Corporal: Fundamentos na perspectiva histórico-cultural e orientações no campo da interdisciplinaridade

Pós-graduação em Docência para a Educação Básica - FC

Procedimentos de pesquisa em geografia do comércio: uma proposição para o estudo das áreas centrais em cidades médias a partir da análise dos índices de densidade informacional da cidade de São Carlos (SP)

In this work, we address the informational Density Index (IDI) a methodological Option How To be used on the Research Procedures Analysis of Commerce Geography. The IDI and an indicator of Technological Complexity level of economic activities and a review and made a database from CNEFE / NCEA, where the first signifies the National Register of Establishments for statistical purposes and the second means a National Classification Economic Activities. Elaborated with emphasis on discussion of between center and centrality relations, wish to present a constitution of a data base on level sampling with an analysis elaboration do IDI from the criteria: home-page and e - commerce. This methodology helps us understand how polycentric structures, locational enterprise well as a reflection on the middle cities using a through the analysis on city of São Carlos/SP. Where we see the establishments with greater and lesser content as well as its geographical distribution, noting of according to the criteria listed number of establishments with IDI 0 very relevant. Our analysis as well as such divisions that meet greater index, so, IDI 2 like to financial activities. Also present at methodological level the city of São José do Rio Preto/SP paragraph seizure of care when working there in database

NF99-403 Livestock Waste Management Act (Revised March 2001)

The Livestock Waste Management Act requires all livestock operations with 300 animal units or more to be inspected by the Nebraska Department of Environmental Quality (DEQ) to determine whether livestock wastes contaminate surface or ground water. This NebFact discusses the following parts of the Livestock Waste Management Act: Act (how cited); Terms (defined); Livestock operation, exemption, livestock waste control facility, permit, restriction; Construction permit or operating permit (when required), livestock waste control facilities, classification, restrictions; Section (how construed); Cold water class A streams (designation); Permit (acknowledgment required); Livestock operation (request inspection, when, fees, department, duties); Permits (duration, modification); Permit (application and modification fees, Livestock Waste Management Cash Fund (created, use, investment, report, legislative intent); Applicant (rejection, grounds, application, information required, certification required); Postconstruction inspection requirement; Department (contracts authorized, permit application, notice required); Permit application (approval from Department of Natural Resources and Department of Environmental Quality, powers); Council (rules and regulations); and Enforcement of act (legislative intent).

Currículo, Infância e Educação Corporal: Fundamentos na perspectiva histórico-cultural e orientações no campo da interdisciplinaridade

Pós-graduação em Docência para a Educação Básica - FC

Procedimentos de pesquisa em geografia do comércio: uma proposição para o estudo das áreas centrais em cidades médias a partir da análise dos índices de densidade informacional da cidade de São Carlos (SP)

In this work, we address the informational Density Index (IDI) a methodological Option How To be used on the Research Procedures Analysis of Commerce Geography. The IDI and an indicator of Technological Complexity level of economic activities and a review and made a database from CNEFE / NCEA, where the first signifies the National Register of Establishments for statistical purposes and the second means a National Classification Economic Activities. Elaborated with emphasis on discussion of between center and centrality relations, wish to present a constitution of a data base on level sampling with an analysis elaboration do IDI from the criteria: home-page and e - commerce. This methodology helps us understand how polycentric structures, locational enterprise well as a reflection on the middle cities using a through the analysis on city of São Carlos/SP. Where we see the establishments with greater and lesser content as well as its geographical distribution, noting of according to the criteria listed number of establishments with IDI 0 very relevant. Our analysis as well as such divisions that meet greater index, so, IDI 2 like to financial activities. Also present at methodological level the city of São José do Rio Preto/SP paragraph seizure of care when working there in database

Arsenic and trace metal contents in sediment profiles from the Admiralty Bay, King George Island, Antarctica

Admiralty Bay (Antarctica) hosts three scientific stations (Ferraz, Arctowski and Macchu Picchu), which require the use of fossil fuel as an energy source. Fossil fuels are also considered the main source of pollution in the area, representing important inputs of major pollutants (organic compounds) and trace metals and metalloids of environmental interest. Accordingly, this work presents the results of As, Cd, Cr, Cu, Ni, Pb and Zn in sediment profiles from Admiralty Bay. The sediment results from Ferraz station were slightly higher than the other sampling sites. The highest contents were observed for Cu and Zn (from 44 to 89 mg kg(-1)). Otherwise, by using enrichment factors and geochronology analysis, the most relevant enrichment was observed for As in the samples collected close to the Ferraz station, indicating that increasing As content may be associated with the activities associated with this site. Published by Elsevier Ltd.

Reference model for implementing an MRP system in a highly diverse component and seasonal lean production environment

Companies are currently choosing to integrate logics and systems to achieve better solutions. These combinations also include companies striving to join the logic of material requirement planning (MRP) system with the systems of lean production. The purpose of this article was to design an MRP as part of the implementation of an enterprise resource planning (ERP) in a company that produces agricultural implements, which has used the lean production system since 1998. This proposal is based on the innovation theory, theory networks, lean production systems, ERP systems and the hybrid production systems, which use both components and MRP systems, as concepts of lean production systems. The analytical approach of innovation networks enables verification of the links and relationships among the companies and departments of the same corporation. The analysis begins with the MRP implementation project carried out in a Brazilian metallurgical company and follows through the operationalisation of the MRP project, until its production stabilisation. The main point is that the MRP system should help the company's operations with regard to its effective agility to respond in time to demand fluctuations, facilitating the creation process and controlling the branch offices in other countries that use components produced in the matrix, hence ensuring more accurate estimates of stockpiles. Consequently, it presents the enterprise knowledge development organisational modelling methodology in order to represent further models (goals, actors and resources, business rules, business process and concepts) that should be included in this MRP implementation process for the new configuration of the production system.

Results from the HST/COS FUV detector "lifetime move"

We describe the planning, implementation, and initial results of the first planned move of the default position of spectra on the Hubble Space Telescope's Cosmic Origins Spectrograph (COS) Far Ultraviolet (FUV) cross-delay line detector. This was motivated by the limited amount of charge that can be extracted from the microchannel plate due to gain sag at any one position. Operations at a new location began on July 23, 2012, with a shift of the spectrum by +3.5"(corresponding to ~ 41 pixels or ~ 1 mm) in a direction orthogonal to the spectral dispersion. Operation at this second "lifetime position" allows for spectra to be collected which are not affected by detector artifacts and loss of sensitivity due to gain sag. We discuss programs designed to enable operations at the new lifetime position; these include determinations of operational high voltage, measuring walk corrections and focus, confirming spectrum placement and aperture centering, and target acquisition performance. We also present results related to calibration of the new lifetime position, including measurements of spectral resolution and wavelength calibration, flux and flat field calibration, carryover of time-dependent sensitivity monitoring, and operations with the Bright Object Aperture (BOA).

Sistema de observação proxémica do instrutor de fitness (soprox-fitness): desenvolvimento, validação e estudio piloto

[ES] The purpose of this study was to develop and validate the Observational System for the Proxemic Communication of the Fitness Instructor, as well as conduct a pilot application of the same. During the development and validation process of the new observation system it was employed five sequential phases. At the end of this process, it was established the validity and reliability of 5 coding dimensions and 23 categories of instructor proxemics behavior to create the final version of the observational system. This version of the observational system was applied in a pilot study conducted in a sample of 12 fitness instructors from four different group-exercise classes. The results indicated that instructor proxemics behaviour could be feasibly coded with the Observational System for the Proxemic Communication of the Fitness Instructor, having been held a comparative analysis about its intervention in the various activities, albeit with a small sample size.

Angiogenesis and angioregression gene expression analyses in swine corpus luteum

The corpus luteum (CL) lifespan is characterized by a rapid growth, differentiation and controlled regression of the luteal tissue, accompanied by an intense angiogenesis and angioregression. Indeed, the CL is one of the most highly vascularised tissue in the body with a proliferation rate of the endothelial cells 4- to 20-fold more intense than in some of the most malignant human tumours. This angiogenic process should be rigorously controlled to allow the repeated opportunities of fertilization. After a first period of rapid growth, the tissue becomes stably organized and prepares itself to switch to the phenotype required for its next apoptotic regression. In pregnant swine, the lifespan of the CLs must be extended to support embryonic and foetal development and vascularisation is necessary for the maintenance of luteal function. Among the molecules involved in the angiogenesis, Vascular Endothelial Growth Factor (VEGF) is the main regulator, promoting endothelial cells proliferation, differentiation and survival as well as vascular permeability and vessel lumen formation. During vascular invasion and apoptosis process, the remodelling of the extracellular matrix is essential for the correct evolution of the CL, particularly by the action of specific class of proteolytic enzymes known as matrix metalloproteinases (MMPs). Another important factor that plays a role in the processes of angiogenesis and angioregression during the CL formation and luteolysis is the isopeptide Endothelin-1 (ET-1), which is well-known to be a potent vasoconstrictor and mitogen for endothelial cells. The goal of the present thesis was to study the role and regulation of vascularisation in an adult vascular bed. For this purpose, using a precisely controlled in vivo model of swine CL development and regression, we determined the levels of expression of the members of VEGF system (VEGF total and specific isoforms; VEGF receptor-1, VEGFR-1; VEGF receptor-2, VEGFR-2) and ET- 1 system (ET-1; endothelin converting enzyme-1, ECE-1; endothelin receptor type A, ET-A) as well as the activity of the Ca++/Mg++-dependent endonucleases and gelatinases (MMP-2 and MMP-9). Three experiments were conducted to reach such objectives in CLs isolated from ovaries of cyclic, pregnant or fasted gilts. In the Experiment I, we evaluated the influence of acute fasting on VEGF production and VEGF, VEGFR-2, ET-1, ECE-1 and ET-A mRNA expressions in CLs collected on day 6 after ovulation (midluteal phase). The results indicated a down-regulation of VEGF, VEGFR-2, ET-1 and ECE-1 mRNA expression, although no change was observed for VEGF protein. Furthermore, we observed that fasting stimulated steroidogenesis by luteal cells. On the basis of the main effects of VEGF (stimulation of vessel growth and endothelial permeability) and ET-1 (stimulation of endothelial cell proliferation and vasoconstriction, as well as VEGF stimulation), we concluded that feed restriction possibly inhibited luteal vessel development. This could be, at least in part, compensated by a decrease of vasal tone due to a diminution of ET-1, thus ensuring an adequate blood flow and the production of steroids by the luteal cells. In the Experiment II, we investigated the relationship between VEGF, gelatinases and Ca++/Mg++-dependent endonucleases activities with the functional CL stage throughout the oestrous cycle and at pregnancy. The results demonstrated differential patterns of expression of those molecules in correspondence to the different phases of the oestrous cycle. Immediately after ovulation, VEGF mRNA/protein levels and MMP-9 activity are maximal. On days 5–14 after ovulation, VEGF expression and MMP-2 and -9 activities are at basal levels, while Ca++/Mg++-dependent endonuclease levels increased significantly in relation to day 1. Only at luteolysis (day 17), Ca++/Mg++-dependent endonuclease and MMP-2 spontaneous activity increased significantly. At pregnancy, high levels of MMP-9 and VEGF were observed. These results suggested that during the very early luteal phase, high MMPs activities coupled with high VEGF levels drive the tissue to an angiogenic phenotype, allowing CL growth under LH (Luteinising Hormone) stimulus, while during the late luteal phase, low VEGF and elevate MMPs levels may play a role in the apoptotic tissue and extracellular matrix remodelling during structural luteolysis. In the Experiment III, we described the expression patterns of all distinct VEGF isoforms throughout the oestrous cycle. Furthermore, the mRNA expression and protein levels of both VEGF receptors were also evaluated. Four novel VEGF isoforms (VEGF144, VEGF147, VEGF182, and VEGF164b) were found for the first time in swine and the seven identified isoforms presented four different patterns of expression. All isoforms showed their highest mRNA levels in newly formed CLs (day 1), followed by a decrease during mid-late luteal phase (days 10–17), except for VEGF182, VEGF188 and VEGF144 that showed a differential regulation during late luteal phase (day 14) or at luteolysis (day 17). VEGF protein levels paralleled the most expressed and secreted VEGF120 and VEGF164 isoforms. The VEGF receptors mRNAs showed a different pattern of expression in relation to their ligands, increasing between day 1 and 3 and gradually decreasing during the mid-late luteal phase. The differential regulation of some VEGF isoforms principally during the late luteal phase and luteolysis suggested a specific role of VEGF during tissue remodelling process that occurs either for CL maintenance in case of pregnancy or for noncapillary vessel development essential for tissue removal during structural luteolysis. In summary, our findings allow us to determine relationships among factors involved in the angiogenesis and angioregression mechanisms that take place during the formation and regression of the CL. Thus, CL provides a very interesting model for studying such factors in different fields of the basic research.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Analisi dei cantieri di Cippatura in merito ad aspetti operativi e di salvaguardia degli operatori

La cippatura è un processo produttivo fondamentale nella trasformazione della materia prima forestale in biomassa combustibile che coinvolgerà un numero sempre più crescente di operatori. Scopo dello studio è stato quantificare la produttività e il consumo di combustibile in 16 cantieri di cippatura e determinare i livelli di esposizione alla polvere di legno degli addetti alla cippatura, in funzione di condizioni operative differenti. Sono state identificate due tipologie di cantiere: uno industriale, con cippatrici di grossa taglia (300-400kW) dotate di cabina, e uno semi-industriale con cippatrici di piccola-media taglia (100-150kW) prive di cabina. In tutti i cantieri sono stati misurati i tempi di lavoro, i consumi di combustibile, l’esposizione alla polvere di legno e sono stati raccolti dei campioni di cippato per l’analisi qualitativa. Il cantiere industriale ha raggiunto una produttività media oraria di 25 Mg tal quali, ed è risultato 5 volte più produttivo di quello semi-industriale, che ha raggiunto una produttività media oraria di 5 Mg. Ipotizzando un utilizzo massimo annuo di 1500 ore, il cantiere semi-industriale raggiunge una produzione annua di 7.410 Mg, mentre quello industriale di 37.605 Mg. Il consumo specifico di gasolio (L per Mg di cippato) è risultato molto minore per il cantiere industriale, che consuma in media quasi la metà di quello semi-industriale. Riguardo all’esposizione degli operatori alla polvere di legno, tutti i campioni hanno riportato valori di esposizione inferiori a 5 mg/m3 (limite di legge previsto dal D.Lgs. 81/08). Nei cantieri semi-industriali il valore medio di esposizione è risultato di 1,35 mg/m3, con un valore massimo di 3,66 mg/m3. Nei cantieri industriali si è riscontrato che la cabina riduce drasticamente l’esposizione alle polveri di legno. I valori medi misurati all’esterno della cabina sono stati di 0,90 mg/m3 mentre quelli all’interno della cabina sono risultati pari a 0,20 mg/m3.

Co-simulazione e co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali

L’attività di ricerca contenuta in questa tesi si è concentrata nello sviluppo e nell’implementazione di tecniche per la co-simulazione e il co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali. Questo lavoro presenta un metodo rigoroso per considerare le interazioni tra due sistemi posti sia in condizioni di campo vicino che in condizioni di campo lontano. In sostanza, gli effetti del sistema trasmittente sono rappresentati da un generatore equivalente di Norton posto in parallelo all’antenna del sistema ricevente, calcolato per mezzo del teorema di reciprocità e del teorema di equivalenza. La correttezza del metodo è stata verificata per mezzo di simulazioni e misure, concordi tra loro. La stessa teoria, ampliata con l’introduzione degli effetti di scattering, è stata usata per valutare una condizione analoga, dove l’elemento trasmittente coincide con quello ricevente (DIE) contenuto all’interno di una struttura metallica (package). I risultati sono stati confrontati con i medesimi ottenibili tramite tecniche FEM e FDTD/FIT, che richiedono tempi di simulazione maggiori di un ordine di grandezza. Grazie ai metodi di co-simulazione non lineari/EM sopra esposti, è stato progettato e verificato un sistema di localizzazione e identificazione di oggetti taggati posti in ambiente indoor. Questo è stato ottenuto dotando il sistema di lettura, denominato RID (Remotely Identify and Detect), di funzioni di scansione angolare e della tecnica di RADAR mono-pulse. Il sistema sperimentale, creato con dispositivi low cost, opera a 2.5 GHz ed ha le dimensioni paragonabili ad un normale PDA. E’ stato sperimentata la capacità del RID di localizzare, in scenari indoor, oggetti statici e in movimento.

Influence of nest site on the behaviour of laying hens

Low rates of nest acceptance by laying hens are a major problem in commercial poultry farming operations with aviary systems, leading to costly manual collection and cleaning of mislaid eggs. To gain knowledge about factors affecting nest use, laying hens' preferences for different nest locations were tested. Nests are normally installed at one of two sites: against a wall of the hen house or integrated into one tier of the aviary rack The preferences of laying hens for different nest sites have never been examined under commercial conditions. The aim of this study is to investigate whether behavioural differences can be detected between the different nest sites. The study consists of two consecutive trials involving 5027 Lohmann Selected Leghorn hens (LSL) and 601 layer hybrids selected for extensive housing conditions (EXT). The hens were randomly assigned to eight compartments per trial in groups of 355-360 LSL or 300 EXT in a laying hen house. Four compartments were equipped with a Volito Voletage (R) aviary system (VV), and four were equipped with a Rihs Bolegell (R) aviary system (RB), both of which contained either integrated or wall-placed nests when the experiments started. A strongly balanced crossover design with four periods was used. At 36, 44 and 52 weeks of age, the nest site in four out of the eight compartments was switched. Before each change, the fronts of half of the nests were videotaped during the light period, and the behaviour throughout the main laying period was analysed. Furthermore, the numbers of nest eggs and mislaid eggs in each compartment were recorded every day. No differences in the number of mislaid eggs between the two nest sites could be detected, except at the age of 20/21 weeks when hens in VV aviaries mislaid more eggs when nests were integrated (P = 0.0012). More hens stood simultaneously in front of the integrated nests than in front of wall-placed nests (P = 0.015). Activity of the laying hens increased (P = 0.0073), and stationary behavioural patterns declined (P = 0.0093), when the nests were placed by the wall. Hens inspected integrated nests for a longer duration than wall-placed nests, but wall-placed nests were visited more frequently. In addition to the nest site, the width of the platform in front of the nest influenced laying hen behaviour. Compared with narrower platforms, balance movements decreased on wider ones. Additionally, the platform design had to be taken into account as well, given that hens could not stand or walk as securely on wooden slats as on a grid floor. (C) 2011 Elsevier B.V. All rights reserved.