Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a natural set of higher order examples on which transfinite induction may be attempted using rippling. Previously Boyer-Moore style automation could not be applied to such domains. We demonstrate that a higher-order extension of the rippling heuristic is sufficient to plan such proofs automatically. Accordingly, ordinal arithmetic has been implemented in lambda-clam, a higher order proof planning system for induction, and standard undergraduate text book problems have been successfully planned. We show the synthesis of a fixpoint for normal ordinal functions which demonstrates how our automation could be extended to produce more interesting results than the textbook examples tried so far.

A Posteriori Error Analysis of hp-Version Discontinuous Galerkin Finite Element Methods for Second-Order Quasilinear Elliptic Problems

We develop the a-posteriori error analysis of hp-version interior-penalty discontinuous Galerkin finite element methods for a class of second-order quasilinear elliptic partial differential equations. Computable upper and lower bounds on the error are derived in terms of a natural (mesh-dependent) energy norm. The bounds are explicit in the local mesh size and the local degree of the approximating polynomial. The performance of the proposed estimators within an automatic hp-adaptive refinement procedure is studied through numerical experiments.

Defining a management strategy for the azorean natural thermal resources : valuing criteria identification

Dissertação de Mestrado, Gestão de Empresas (MBA), 23 de Maio de 2016, Universidade dos Açores.

Determination of ecological sensitive areas of the coastal areas of Caspian Sea (Boujagh Wetland National Park) based on ecological carrying capacity and economical valuation region

The coastal districts, as an intersection of two perfectly different ecosystems of dry land and sea, is one of the most complicated and the richest natural system on earth. Considering these areas are constantly exposed to aggregation of water pollutants and also consequence resulting from construction and development activities, they are very vulnerable. Therefore, "sensitive Coastal areas" has become a common word in the related subjects to marine environment recently. The said title relates to the areas of the coastal lines which are vulnerable to the natural condition or human actions because of ecological, social, economic, educational and research importance, also they need particular supports. The southern coasts of Caspian Sea, In Iran prominent samples are of these sensitive areas which their environment are exposed to demolition and destruction intensely, due to increasing and uncontrolled development. The first stage of protecting and managing the coastal areas is identifying sensitive Coastal areas and broadening the Coasts. In this survey, we attempted to examine a definite area in the southern coasts of Caspian Sea. In Iran, by profiting from the world experiences and concluded researches in Iran especially the concluded studies by marine environment office and the Environment protection organization on the subject of determination criteria of the sensitive ecological districts. For this purpose (In Gilan Province) Boujagh national park district which is located in the mouth of sefidroud river and also is possessed of the special ecological and environmental features and distinctions. In this survey, first they said district is divided proportionally on the basis of using a grid system in order to identify the sensitive ecological districts and broaden the coast, and then the desired indices have been determined and scored by numeral valuation method in each unit and then analysis has been done by using of the geography information system (GIS) and final has estimated economic valuation of sensitive ecological areas that is presented in this essay.

Atração e retenção de talentos em empresas de engenharia consultiva no setor de petróleo e gás natural da cidade de Natal

This study addresses the question of attraction and retention of talent in companies that produce engineering projects in the area of oil and natural gas in the city of Natal. The objectives were to identify the mechanisms that these companies use to attract and retain talented professionals and what the relationship between these practices and performance of these organizations in the market. This is a case study of a qualitative nature which were included in the fullness of companies that work in that class in the capital Potiguar. Have been applied to the managers of these companies structured questionnaires with eleven issues orientativas based on theoretical reference adopted. The research finds that managers understand the word "talent", recognize the importance of the appreciation of its employees and the development of their innate abilities to better organizational performance, much due to the fact they are acting in a market of fierce competition. His companies - though not submit the formal procedures related to the subject in question - have mechanisms that can be characterized as the attraction and retention of talent. The relationships identified in this study are consistent with the results found in other studies and put the information here can serve as the basis for that other managers, including other areas, to reach excellence in their respective industries

Higher-order variational problems of Herglotz type

We obtain a generalized Euler–Lagrange differential equation and transversality optimality conditions for Herglotz-type higher-order variational problems. Illustrative examples of the new results are given.

An A Posteriori Error Indicator for Discontinuous Galerkin Approximations of Fourth Order Elliptic Problems

We introduce a residual-based a posteriori error indicator for discontinuous Galerkin discretizations of the biharmonic equation with essential boundary conditions. We show that the indicator is both reliable and efficient with respect to the approximation error measured in terms of a natural energy norm, under minimal regularity assumptions. We validate the performance of the indicator within an adaptive mesh refinement procedure and show its asymptotic exactness for a range of test problems.

SEQUENTIAL DECISIONS AND PREDICTIONS IN NATURAL LANGUAGE PROCESSING

Natural language processing has achieved great success in a wide range of ap- plications, producing both commercial language services and open-source language tools. However, most methods take a static or batch approach, assuming that the model has all information it needs and makes a one-time prediction. In this disser- tation, we study dynamic problems where the input comes in a sequence instead of all at once, and the output must be produced while the input is arriving. In these problems, predictions are often made based only on partial information. We see this dynamic setting in many real-time, interactive applications. These problems usually involve a trade-off between the amount of input received (cost) and the quality of the output prediction (accuracy). Therefore, the evaluation considers both objectives (e.g., plotting a Pareto curve). Our goal is to develop a formal understanding of sequential prediction and decision-making problems in natural language processing and to propose efficient solutions. Toward this end, we present meta-algorithms that take an existent batch model and produce a dynamic model to handle sequential inputs and outputs. Webuild our framework upon theories of Markov Decision Process (MDP), which allows learning to trade off competing objectives in a principled way. The main machine learning techniques we use are from imitation learning and reinforcement learning, and we advance current techniques to tackle problems arising in our settings. We evaluate our algorithm on a variety of applications, including dependency parsing, machine translation, and question answering. We show that our approach achieves a better cost-accuracy trade-off than the batch approach and heuristic-based decision- making approaches. We first propose a general framework for cost-sensitive prediction, where dif- ferent parts of the input come at different costs. We formulate a decision-making process that selects pieces of the input sequentially, and the selection is adaptive to each instance. Our approach is evaluated on both standard classification tasks and a structured prediction task (dependency parsing). We show that it achieves similar prediction quality to methods that use all input, while inducing a much smaller cost. Next, we extend the framework to problems where the input is revealed incremen- tally in a fixed order. We study two applications: simultaneous machine translation and quiz bowl (incremental text classification). We discuss challenges in this set- ting and show that adding domain knowledge eases the decision-making problem. A central theme throughout the chapters is an MDP formulation of a challenging problem with sequential input/output and trade-off decisions, accompanied by a learning algorithm that solves the MDP.

Análisis de las simulaciones del proceso de deshidratación del gas natural con Aspen Hysys y Aspen Plus

El gas natural ha tomado un rol estratégico importante en el suministro de energía a nivel mundial como consecuencia de la creciente demanda global de energía. El agua es probablemente el componente indeseable más común en el gas natural no tratado ya que su presencia puede ocasionar la formación de hidratos y problemas de corrosión. Debido a las potenciales consecuencias costosas, el gas debe ser sometido a procesos de acondicionamiento a fin de alcanzar las especificaciones requeridas para su venta, transporte hacia los centros de distribución y consumo final. En los últimos años, la simulación de procesos está jugando un papel muy importante en la industria del gas y petróleo como una herramienta adecuada y oportuna para el diseño, caracterización, optimización y monitoreo del funcionamiento de procesos industriales. En el presente trabajo se describe el desarrollo de dos simulaciones estacionarias del proceso de deshidratación de gas natural por absorción con trietilenglicol (TEG), empleando los simuladores comerciales de procesos Aspen HYSYS V8.3 y Aspen PLUS V8.2. La composición del gas natural, la configuración del proceso y las condiciones de operación empleadas en los cálculos y la simulación son típicas de los yacimientos y plantas de acondicionamiento de la provincia de Salta (Argentina).

Avaliação Pós-Ocupação da iluminação natural das salas dos setores de aulas teóricas da Universidade Federal do Rio Grande do Norte

The objective of this study is to assess the natural light of the classrooms sectors, at Universidade Federal do Rio Grande do Norte. It was applied the Post-Occupation Evaluation technique, by using questionnaires and brightness levels measurements inside the classrooms. In order to check the users satisfaction degree, it was initially done a general approach on the related aspects to natural light: their characteristics, availability, sources, opening systems and evaluating tools. It was also determined the necessary brightness levels for the activities development in the classroom and the Post-Occupation Evaluation technique used in the search analyses. Then, it was made the UFRN Campus` characterization; the models` definition which formed the data collection basis; the detailing of the procedures used in the research, the processing description and the data analysis. Subsequently, the results that clarify the issues raised were shown through quantitative and / or qualitative data analyses. This research notes a high level of satisfaction by the users, despite some problems such as the reflections occurrence on the board, the lack of uniformity and, occasionally, the brightness low levels

Análise de métodos para aplicação de ventilação natural em projetos de edificações em Natal-RN

Natural ventilation is an efficient bioclimatic strategy, one that provides thermal comfort, healthful and cooling to the edification. However, the disregard for quality environment, the uncertainties involved in the phenomenon and the popularization of artificial climate systems are held as an excuse for those who neglect the benefits of passive cooling. The unfamiliarity with the concept may be lessened if ventilation is observed in every step of the project, especially in the initial phase in which decisions bear a great impact in the construction process. The tools available in order to quantify the impact of projected decisions consist basically of the renovation rate calculations or computer simulations of fluids, commonly dubbed CFD, which stands for Computational Fluid Dynamics , both somewhat apart from the project s execution and unable to adapt for use in parametric studies. Thus, we chose to verify, through computer simulation, the representativeness of the results with a method of simplified air reconditioning rate calculation, as well as making it more compatible with the questions relevant to the first phases of the project s process. The case object consists of a model resulting from the recommendations of the Código de Obras de Natal/ RN, customized according to the NBR 15220. The study has shown the complexity in aggregating a CFD tool to the process and the need for a method capable of generating data at the compatible rate to the flow of ideas and are discarded during the project s development. At the end of our study, we discuss the necessary concessions for the realization of simulations, the applicability and the limitations of both the tools used and the method adopted, as well as the representativeness of the results obtained

Ecological infrastructures in sustainable olive growing: studies about Prays oleae (Bernard) and its natural enemies

Doutoramento em Engenharia Agronómica - Instituto Superior de Agronomia - UL

Contribuição para a valorização, geoconservação e gestão da jazida fossilífera de Cacela (Parque Natural da Ria Formosa, Algarve, Portugal)

Dissertação de mest. em Gestão e Conservação da Natureza, Faculdade de Ciências do Mar e do Ambiente, Univ. do Algarve, 2004

A novel concept-level approach for ultra-concise opinion summarization

The Web 2.0 has resulted in a shift as to how users consume and interact with the information, and has introduced a wide range of new textual genres, such as reviews or microblogs, through which users communicate, exchange, and share opinions. The exploitation of all this user-generated content is of great value both for users and companies, in order to assist them in their decision-making processes. Given this context, the analysis and development of automatic methods that can help manage online information in a quicker manner are needed. Therefore, this article proposes and evaluates a novel concept-level approach for ultra-concise opinion abstractive summarization. Our approach is characterized by the integration of syntactic sentence simplification, sentence regeneration and internal concept representation into the summarization process, thus being able to generate abstractive summaries, which is one the most challenging issues for this task. In order to be able to analyze different settings for our approach, the use of the sentence regeneration module was made optional, leading to two different versions of the system (one with sentence regeneration and one without). For testing them, a corpus of 400 English texts, gathered from reviews and tweets belonging to two different domains, was used. Although both versions were shown to be reliable methods for generating this type of summaries, the results obtained indicate that the version without sentence regeneration yielded to better results, improving the results of a number of state-of-the-art systems by 9%, whereas the version with sentence regeneration proved to be more robust to noisy data.

Sistemas de medição de desempenho para projetos de PD&I no Setor de Petróleo e Gás Natural

Organizations are seeking new ideas, tools and methods aiming to improve management process and performance. On the other hand, system performance measurement needs to portray organizational changes and provide managers with a set of true and more appropriate information for the decision-making process. This work aims to propose a performance measurement system in the academic field regarding Research, Development and Innovation (RDI) in the oil and gas industry. The research performed a bibliographic review in a descriptive exploratory manner. A field research was conducted with an expert focus group in order to gather new indicators. As for the validation of these indicators, a survey with experienced professional was also realized. The research surveyed four segments in and outside of the Federal University of Rio Grande do Norte-Brazil such as oil and gas project coordinators, staff at Academic Planning Offices, FUNPEC employees as well as coordinators from Petrobrás. The performance measuring system created from this study features three interrelated performance indicators pointed out as: process indicators, outcome indicators and global indicators. The proposal includes performance indicators that seek to establish more appropriate strategies for effective institution management. It might help policy making of university-industry interaction policies