Heterogeneidades geológicas e o gerenciamento de áreas contaminadas em local situado na Interface da Serra do Mar com a Planície Aluvionar do Rio Cubatão (Cubatão/SP)

Pós-graduação em Geociências e Meio Ambiente - IGCE

Das ciências do léxico ao léxico nas ciências: uma proposta de dicionário português-espanhol de economia monetária

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo da tradução de colocações especializadas na área de exportação e agronegócios baseado em um corpus paralelo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O apoio institucional como uma das faces da função apoio no Núcleo de Apoio à Saúde da Família (NASF): para além das diretrizes

The aim of this study was to add to the debate about Family Health Support Centers (FHSCs), starting from reflections about the support function. Support is generally presented, in official documents from the Ministry of Health and in academic-scientific publications, accompanied by descriptors that characterize it. Differences in terminology are commonly encountered: “institutional support”, “managerial support”, “matrix support” and so on. With regard to FHSCs, published papers have highlighted the central role played by matrix support. However, we pose the question: what are the faces that the support function has been taking on in implementing such programs? To reflect on this and other issues, we developed a study of qualitative nature within a FHSC team in Paraná, outside of the state capital, using the methodological tools of participant observation, semi-structured interviews and discussion groups. We sought to demonstrate that the dynamics of the support function in FHSCs make it possible for both matrix support and institutional support to emerge.

Discriminação de classes de cobertura vegetal utilizando técnicas de classificação digital de imagens de sensoriamento remoto

The aim of this work is to discriminate vegetation classes throught remote sensing images from the satellite CBERS-2, related to winter and summer seasons in the Campos Gerais region Paraná State, Brazil. The vegetation cover of the region presents different kinds of vegetations: summer and winter cultures, reforestation areas, natural areas and pasture. Supervised classification techniques like Maximum Likelihood Classifier (MLC) and Decision Tree were evaluated, considering a set of attributes from images, composed by bands of the CCD sensor (1, 2, 3, 4), vegetation indices (CTVI, DVI, GEMI, NDVI, SR, SAVI, TVI), mixture models (soil, shadow, vegetation) and the two first main components. The evaluation of the classifications accuracy was made using the classification error matrix and the kappa coefficient. It was defined a high discriminatory level during the classes definition, in order to allow separation of different kinds of winter and summer crops. The classification accuracy by decision tree was 94.5% and the kappa coefficient was 0.9389 for the scene 157/128. For the scene 158/127, the values were 88% and 0.8667, respectively. The classification accuracy by MLC was 84.86% and the kappa coefficient was 0.8099 for the scene 157/128. For the scene 158/127, the values were 77.90% and 0.7476, respectively. The results showed a better performance of the Decision Tree classifier than MLC, especially to the classes related to cultivated crops, indicating the use of the Decision Tree classifier to the vegetation cover mapping including different kinds of crops.

Enhancement of the Nonlinear Optical Absorption of the E7 Liquid Crystal at the Nematic-Isotropic Transition

We present an experimental study of the nonlinear optical absorption of the eutectic mixture E7 at the nematic-isotropic phase transition by the Z-scan technique, under continuous-wave excitation at 532 nm. In the nematic region, the effective nonlinear optical coefficient beta, which vanishes in the isotropic phase, is negative for the extraordinary beam and positive for an ordinary beam. The parameter , whose definition in terms of the nonlinear absorption coefficient follows the definition of the optical-order parameter in terms of the linear dichroic ratio, behaves like an order parameter with critical exponent 0.22 +/- 0.05, in good agreement with the tricritical hypothesis for the nematic-isotropic transition.

Plano de inovação para o Vocabulário Controlado do SIBIUSP: relato de experiência

Controlled vocabularies are tools of representation of information necessary to standardize the content description and classification of information, making information systems consistent and also minimizing the dispersion of information. One of the most critical points of controlled vocabularies is the need to constantly update, in terminology and the computer system. The purpose of this paper is to share the experience of the Sistema Integrado de Bibliotecas da Universidade de São Paulo - (SIBiUSP) in planning and developing an innovation plan for your Controlled Vocabulary, reporting their goals and actions. Such actions are in different stages of referral, so there are provisional results. The article also brings the description of his movements and the difficulties encountered as collaboration and knowledge for professionals that working and researching with the theme controlled vocabularies

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Reverse Engineering tools: development and experimentation of innovative methods for physical and geometrical data integration and post-processing

In recent years, the use of Reverse Engineering systems has got a considerable interest for a wide number of applications. Therefore, many research activities are focused on accuracy and precision of the acquired data and post processing phase improvements. In this context, this PhD Thesis deals with the definition of two novel methods for data post processing and data fusion between physical and geometrical information. In particular a technique has been defined for error definition in 3D points’ coordinates acquired by an optical triangulation laser scanner, with the aim to identify adequate correction arrays to apply under different acquisition parameters and operative conditions. Systematic error in data acquired is thus compensated, in order to increase accuracy value. Moreover, the definition of a 3D thermogram is examined. Object geometrical information and its thermal properties, coming from a thermographic inspection, are combined in order to have a temperature value for each recognizable point. Data acquired by an optical triangulation laser scanner are also used to normalize temperature values and make thermal data independent from thermal-camera point of view.

Models and Algorihtm for the Optimization of Real-World Routing and Logistics Problems

Logistics involves planning, managing, and organizing the flows of goods from the point of origin to the point of destination in order to meet some requirements. Logistics and transportation aspects are very important and represent a relevant costs for producing and shipping companies, but also for public administration and private citizens. The optimization of resources and the improvement in the organization of operations is crucial for all branches of logistics, from the operation management to the transportation. As we will have the chance to see in this work, optimization techniques, models, and algorithms represent important methods to solve the always new and more complex problems arising in different segments of logistics. Many operation management and transportation problems are related to the optimization class of problems called Vehicle Routing Problems (VRPs). In this work, we consider several real-world deterministic and stochastic problems that are included in the wide class of the VRPs, and we solve them by means of exact and heuristic methods. We treat three classes of real-world routing and logistics problems. We deal with one of the most important tactical problems that arises in the managing of the bike sharing systems, that is the Bike sharing Rebalancing Problem (BRP). We propose models and algorithms for real-world earthwork optimization problems. We describe the 3DP process and we highlight several optimization issues in 3DP. Among those, we define the problem related to the tool path definition in the 3DP process, the 3D Routing Problem (3DRP), which is a generalization of the arc routing problem. We present an ILP model and several heuristic algorithms to solve the 3DRP.

Planung und Berechnung der systemischen Leistungsverfügbarkeit komplexer Logistiksysteme

Das Verständnis von Leistungsverfügbarkeit, wie sie in der VDI-Richtlinie 4486 definiert ist, reicht für die Planung komplexer, dynamischer und teil-autonomer Systeme nicht aus. Die Definition in der VDI 4486 setzt den Fokus ausschließlich auf den Erfüllungsgrad vereinbarter Prozesse bei der Inbetriebnahme lo-gistischer Anlagen und regelt die Messungen und Be-rechnungen der Leistungsverfügbarkeit zu diesem Zeitpunkt. Es bleibt die Frage, wie ein Materialflusssystem für eine spezifizierte Leistungsverfügbarkeit geplant werden kann. Dazu werden die Wirkzusammenhänge zwischen dem logistischen System und seinen Sub-Systemen z.B. vertikale Integration von Wirkzusammenhängen der Instandhaltung, von Echtzeiteffekten der Kommunikationsprozesse oder Effekten der Ma-schinensteuerung, betrachtet.

High-resolution late-glacial chronology for the Gerzensee lake record (Switzerland): δ18O correlation between a Gerzensee-stack and NGRIP

Oxygen-isotope variations were analyzed on bulk samples of shallow-water lake marl from Gerzensee, Switzerland, in order to evaluate major and minor climatic oscillations during the late-glacial. To highlight the overall signature of the Gerzensee δ18O record, δ18O records of four parallel sediment cores were first correlated by synchronizing major isotope shifts and pollen abundances. Then the records were stacked with a weighting depending on the differing sampling resolution. To develop a precise chronology, the δ18O-stack was then correlated with the NGRIP δ18O record applying a Monte Carlo simulation, relying on the assumption that the shifts in δ18O were climate-driven and synchronous in both archives. The established chronology on the GICC05 time scale is the basis for (1) comparing the δ18O changes recorded in Gerzensee with observed climatic and environmental fluctuations over the whole North Atlantic region, and (2) comparing sedimentological and biological changes during the rapid warming with smaller climatic variations during the Bølling/Allerød period. The δ18O record of Gerzensee is characterized by two major isotope shifts at the onset and at the termination of the Bølling/Allerød warm period, as well as four intervening negative shifts labeled GI-1e2, d, c2, and b, which show a shift of one third to one fourth of the major δ18O shifts at the beginning and end of the Bølling/Allerød. Despite some inconsistency in terminology, these oscillations can be observed in various climatic proxies over wide regions in the North Atlantic region, especially in reconstructed colder temperatures, and they seem to be caused by hemispheric climatic variations.

Psychotische Störungen im DSM-5

This article provides an overview of the main changes in the chapter "Schizophrenia Spectrum and Other Psychotic Disorders" from DSM-IV-TR to DSM-5, which, once again, does not make allowance for potential characteristics of children and adolescents. Changes in the main text include abandoning the classical subtypes of Schizophrenia as well as of the special significance of Schneider's first-rank symptoms, resulting in the general requirement of two key features (one having to be a positive symptom) in the definition of Schizophrenia and the allowance for bizarre contents in Delusional Disorders. Further introduced are the diagnosis of a delusional obsessive-compulsive/body dysmorphic disorder exclusively as Obsessive-Compulsive Disorder, the specification of affective episodes in Schizoaffective Disorder, and the formulation of a distinct subchapter "Catatonia" for the assessment of catatonic features in the context of several disorders. In Section III (Emerging Measures and Models) there is a recommendation for a dimensional description of psychoses. A likely source of confusion lies in the double introduction of an "Attenuated Psychosis Syndrome." On the one hand, a vague description is provided among "Other Specified Schizophrenia Spectrum and Other Psychotic Disorders" in the main text; on the other hand, there is a precise definition in Section III as a "Condition for Further Study." There is some cause to worry that this vague introduction of the attenuated psychosis syndrome in the main text might indeed open the floodgates to an overdiagnosis of subthreshold psychotic symptoms and their early pharmacological treatment.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Exilio, migración, destierro? : Los trabajadores chilenos que se asentaron en el Nor Este de Chubut a partir de Septiembre de 1973. Memorias, historias e implicancias

En este trabajo abordamos el análisis de experiencias exiliares de trabajadores chilenos que se radicaron en el Noreste de la Provincia de Chubut, en Patagonia Argentina, después de producido el golpe de estado contra el presidente democrático Salvador Allende Gossens, en Septiembre de 1973. Cuando revisé la factibilidad de la investigación, y en mérito a los escasos repositorios documentales, decidí, dando continuidad a indagaciones previas, trabajar con historia oral. Esta metodología o práctica, involucra una dimensión personal, subjetiva y afectiva, que supone una constante relación entre los sujetos que participan, lo que implica una cualitativa diferencia en relación a las fuentes más tradicionales. No minimizo el valor de la estadística, pero hago una opción por nombrar y conocer a quienes han compartido con nosotros vivencias y experiencias, explicitando nuestra inscripción en la construcción de la información documental, no objetivándonos. El trabajo desarrollado se halla en la encrucijada entre la historia del pasado reciente y la memoria; con una perspectiva "desde abajo", buscando conjugar la no uniformidad de la experiencia humana, con la pretensión de generalidad y explicación de la ciencia social. Las narraciones o testimonios obtenidos las he revisado, procurando develar las representaciones que subyacen, y comprendiendo el modo en que actuaron. Las memorias tienen un carácter subjetivo y en permanente transformación, lo que en cierto sentido puede singularizarlas, pero como historiadores debemos inscribirlas en un contexto histórico global, para procurar esclarecer las causas, las condiciones, y las estructuras, aportando a una historia total. Hemos rescatado prácticas, percepciones, y discursos; develando la importancia del trabajo como factor organizador y estabilizador, al dotar a estos sujetos, de un sitio en la sociedad receptora, y permitiéndoles "ir desarmando sus valijas", es decir, ir superando la transitoriedad. Al caracterizar al exilio chileno, en el contexto internacional y local; y atendiendo a las escasas producciones que dan cuenta del universo obrero en estas experiencias traumáticas, han sido evidentes los límites que supone una estricta separación entre exilio, y migración económica o política; ya que dicha conceptualización encierra una mirada que invisibiliza derroteros que en principio, o superficialmente, pueden ser leídos como poco organizados. La aplicación del análisis de red, por cierto contribuyó a hacerlos visibles, transformándolos en actores racionales, con objetivos que se movilizaron a partir de los recursos de que dispusieron; tratando de superar el paradigma que hacía de ellos seres desesperados: fueron mujeres y hombres que eligieron un destino posible, siempre atendiendo al doble carácter de la experiencia en que estuvieron inmersos: la salida de su país por un lado los liberó, pero también los privó; asociando indisolublemente sentimientos de dolor por el desprendimiento de lo propio -de los afectos personales y colectivos-, agravados por los efectos de la derrota y la incertidumbre. Son sujetos que pusieron su identidad en riesgo. Pretendemos lograr que esta investigación, no sea sólo un estudio de caso, sino que pueda inscribirse a partir de su especificidad, en tanto exilio obrero, en una perspectiva comparativa, superando una definición espacial específica, en el Nor Este de Chubut.