The Use of the Relative Interior in Integration with Nonconvex Data

Introducing an appropriate inclusion between approximate minima associated with two nonconvex functions, we derive explicit relations between the closed convex hulls of these functions. The formula we obtain goes beyond the so-called epi-pointed property of functions which is usually concerned with such a topic.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Proceedings of the Interior Space in Other Places : An IDEA [Interior Design/Interior Architecture Educators Association] Symposium [Edited Volume of Proceedings]

Conference curatorial outline The focus of this symposium was to question whether interior design is changing relative to local conditions, and the effect globalization has on the performance of regional, particularly Southern hemisphere identities. The intention being to understand how theory and practice is transposed to ‘distant lands’, and how ideas shift from one place to another. To this extent the symposium invited papers on the export, translation and adoption of theories and practices of interior design to differing climates, cultures, and landscapes. This process, sometimes referred to as a shift from ‘the centre to the margins’, seeks new perspectives on the adoption of European and US design ideas abroad, as well as their return to their place of origin. Papers were invited from a range of perspectives including the export of ideas/attitudes to interior spaces, history of interior spaces abroad, and the adoption of ideas/processes to new conditions. Paralleling this trafficking of ideas are broader observations about interior space that emerge through specificity of place. These include new and emerging directions and differences in our understanding of interiority; both real and virtual, and an ever-changing relationship to city, suburb and country. Keeping within the Symposium theme the intention was to examine other places, particularly on the margins of the discipline’s domain. Semantic slippage aside, there are a range of approaches that engage outside events and practices enabling a transdisciplinary practice that draws from other philosophical and theoretical frameworks. Moreover as the field expands and new territories are opened up, the virtual worlds of computer gaming, animations, and interactive environments, both rely on and produce new forms of expression. This raises questions about the extent such spaces adopt or translate existing theory and practice, that is the transposition from one area to another and their return to the discipline.

Inferences from tree rings on low frequency variations in runoff in the interior western United States

EXTRACT (SEE PDF FOR FULL ABSTRACT): Low frequency variations in runoff, AD 1700-1964, in the interior western United States are inferred from smoothed tree-ring series averaged over north, central, and south regions. ... Relative locations of peaks and troughs in streamflow, precipitation, temperature, and tree-ring series suggest that annual precipitation and warm season evapotranspiration variations may both be important to low frequency fluctuations in tree growth and in streamflow.

Relations, residuals, regular interiors, and relative regular equivalence

Given a relation α (a binary sociogram) and an a priori equivalence relation π, both on the same set of individuals, it is interesting to look for the largest equivalence πo that is contained in and is regular with respect to α. The equivalence relation πo is called the regular interior of π with respect to α. The computation of πo involves the left and right residuals, a concept that generalized group inverses to the algebra of relations. A polynomial-time procedure is presented (Theorem 11) and illustrated with examples. In particular, the regular interior gives meet in the lattice of regular equivalences: the regular meet of regular equivalences is the regular interior of their intersection. Finally, the concept of relative regular equivalence is defined and compared with regular equivalence.

Qualidade do ar interior em Escolas Básicas de 1.º ciclo: QAI em ambientes escolares: estudo orientado para as Escolas Básicas de 1.º ciclo de um agrupamento escolar

A Qualidade do Ar Interior (QAI) é um fator de grande preocupação. A importância de manter um ambiente salubre é mais acentuada em estabelecimentos escolares (EE), tendo em conta, que no interior destes permanecem crianças durante um elevado período de tempo. É fundamental garantir uma boa QAI nos edifícios escolares, de forma a salvaguardar a saúde, o bem-estar e o conforto dos ocupantes, bem como, não comprometer o seu desempenho escolar. Recentemente, foram construídos novos edifícios escolares e alguns dos existentes foram alvo de obras de remodelação. Contudo, a crescente tendência em construir edifícios cada vez mais herméticos, com vista à diminuição dos gastos de energia, origina problemas como a reduzida ventilação dos espaços. Vários estudos têm demonstrado a influência das atividades de limpeza na QAI. No entanto, verifica-se que na maioria das escolas não existem ainda procedimentos de limpeza padronizados. A falta de instruções de trabalho e a ausência de formação às assistentes operacionais pode comprometer a eficácia dos procedimentos de higienização, o que poderá ter influência na QAI dos espaços. Este estudo teve como principal objetivo avaliar a QAI em escolas básicas de 1.º ciclo. Foram contemplados no estudo fatores como a tipologia do edifício, a ocupação das salas e as atividades de limpeza. Procedeu-se à caracterização dos EE e à monitorização de parâmetros ambientais, como a temperatura do ar, a humidade relativa, a velocidade do ar, o dióxido de carbono, o monóxido de carbono, as partículas, os microrganismos mesófilos totais e os fungos. Estes parâmetros foram avaliados nas salas com ocupação, sem ocupação e durante a implementação de um plano de higienização. A ventilação inadequada parece ser o fator que mais condiciona a QAI das salas de aula avaliadas. Registaram-se elevadas concentrações de dióxido de carbono e de microrganismos mesófilos totais, que parecem estar relacionados com a permanência dos ocupantes nos locais e com a falta de ventilação adequada dos espaços. A concentração de dióxido de carbono foi mais elevada em edifícios recentes. Os picos elevados na concentração de partículas parecem estar associados com as atividades dos ocupantes. Obtiveram-se concentrações menores de fungos e de microrganismos mesófilos totais ao longo da implementação do plano de higienização, o que poderá significar que os procedimentos de limpeza contribuem para reduzir os níveis de contaminação dos espaços interiores. No entanto, tendo em conta, que a concentração de microrganismos mesófilos totais permaneceu elevada, as operações de limpeza parecem não ser suficientes para garantir uma boa QAI. O aumento da ventilação dos espaços poderia contribuir significativamente para a melhoria da QAI dos espaços avaliados.

Avaliação da Qualidade do Ar Interior de Ginásios

A prática de exercício físico é considerado condição essencial para a manutenção de uma boa saúde. A faixa etária de frequentadores de ginásios inclui utentes desde os 8 aos 80 anos, incluindo assim os grupos mais sensíveis à poluição do ar interior. Embora exista legislação específica para ginásios, nomeadamente para as condições de implementação, a mesma é reduzida e não contempla a qualidade do ar interior (QAI). O objetivo geral deste estudo consistiu na avaliação da QAI de quatro ginásios existentes na área metropolitana do Porto. O período de amostragem realizou-se entre 2 de Maio e 20 de Junho 2014 e, após a caracterização dos ginásios, foram monitorizados os seguintes parâmetros: partículas ultrafinas (< 100 nm), matéria particulada suspensa no ar de frações PM1, PM2,5, PM4 e PM10, dióxido de carbono, monóxido de carbono, ozono, compostos orgânicos voláteis, formaldeído, temperatura ambiente e humidade relativa durante 24 h/dia em salas com diferentes actividades (sala de musculação e cardiofitness e sala de aulas de grupo). Os resultados da avaliação dos parâmetros físicos e químicos foram comparados com os limiares de proteção e margem de tolerância do Decreto-Lei nº 118/2013 de 20 de Agosto, a Portaria nº 353-A/2013 de 4 de Dezembro e o Diploma que regula a construção, instalação e funcionamento dos ginásios. Os poluentes com maiores níveis de excedência são o dióxido de carbono, compostos orgânicos voláteis e as partículas PM2,5. As excedências devem-se essencialmente à sobrelotação das salas, excesso de atividade física e ventilação insuficiente. A localização da instalação dos ginásios é também um fator de extrema importância, sendo recomendado que este se situe em local pouco influenciado pelo tráfego automóvel, assim como, afastado de locais de possível interferência devido às atividades presentes, como é o caso da restauração existente em centros comerciais.

A 45 kyr palaeoclimate record from the lowland interior of tropical South America

We present a well-dated, high-resolution, ~ 45 kyr lake sediment record reflecting regional temperature and precipitation change in the continental interior of the Southern Hemisphere (SH) tropics of South America. The study site is Laguna La Gaiba (LLG), a large lake (95 km2) hydrologically-linked to the Pantanal, an immense, seasonally-flooded basin and the world's largest tropical wetland (135,000 km2). Lake-level changes at LLG are therefore reflective of regional precipitation. We infer past fluctuations in precipitation at this site through changes in: i) pollen-inferred extent of flood-tolerant forest; ii) relative abundance of terra firme humid tropical forest versus seasonally-dry tropical forest pollen types; and iii) proportions of deep- versus shallow-water diatoms. A probabilistic model, based on plant family and genus climatic optima, was used to generate quantitative estimates of past temperature from the fossil pollen data. Our temperature reconstruction demonstrates rising temperature (by 4 °C) at 19.5 kyr BP, synchronous with the onset of deglacial warming in the central Andes, strengthening the evidence that climatic warming in the SH tropics preceded deglacial warming in the Northern Hemisphere (NH) by at least 5 kyr. We provide unequivocal evidence that the climate at LLG was markedly drier during the last glacial period (45.0–12.2 kyr BP) than during the Holocene, contrasting with SH tropical Andean and Atlantic records that demonstrate a strengthening of the South American summer monsoon during the global Last Glacial Maximum (~ 21 kyr BP), in tune with the ~ 20 kyr precession orbital cycle. Holocene climate conditions occurred as early as 12.8–12.2 kyr BP, when increased precipitation in the Pantanal catchment caused heightened flooding and rising lake levels in LLG. In contrast to this strong geographic variation in LGM precipitation across the continent, expansion of tropical dry forest between 10 and 3 kyr BP at LLG strengthens the body of evidence for widespread early–mid Holocene drought across tropical South America.

Local adaptation in migrated interior Douglas-fir seedlings is mediated by ectomycorrhizas and other soil factors

Separating edaphic impacts on tree distributions from those of climate and geography is notoriously difficult. Aboveground and belowground factors play important roles, and determining their relative contribution to tree success will greatly assist in refining predictive models and forestry strategies in a changing climate. In a common glasshouse, seedlings of interior Douglas-fir (Pseudotsuga menziesii var. glauca) from multiple populations were grown in multiple forest soils. Fungicide was applied to half of the seedlings to separate soil fungal and nonfungal impacts on seedling performance. Soils of varying geographic and climatic distance from seed origin were compared, using a transfer function approach. Seedling height and biomass were optimized following seed transfer into drier soils, whereas survival was optimized when elevation transfer was minimised. Fungicide application reduced ectomycorrhizal root colonization by c. 50%, with treated seedlings exhibiting greater survival but reduced biomass. Local adaptation of Douglas-fir populations to soils was mediated by soil fungi to some extent in 56% of soil origin by response variable combinations. Mediation by edaphic factors in general occurred in 81% of combinations. Soil biota, hitherto unaccounted for in climate models, interacts with biogeography to influence plant ranges in a changing climate.

Late Quaternary environmental change in the interior South American tropics: new insight from leaf wax stable isotopes

Stable isotope analysis of leaf waxes in a sediment core from Laguna La Gaiba, a shallow lake located at the Bolivian margin of the Pantanal wetlands, provides new perspective on vegetation and climate change in the lowland interior tropics of South America over the past 40,000 years. The carbon isotopic compositions (δ13C) of long-chain n-alkanes reveal large shifts between C3-and C4-dominated vegetation communities since the last glacial period, consistent with landscape reconstructions generated with pollen data from the same sediment core. Leaf wax δ13C values during the last glacial period reflect an open landscape composed of C4grasses and C3herbs from 41–20ka. A peak in C4abundance during the Last Glacial Maximum (LGM, ∼21ka) suggests drier or more seasonal conditions relative to the earlier glacial period, while the development of a C3-dominated forest community after 20 ka points to increased humidity during the last deglaciation. Within the Holocene, large changes in the abundance of C4 vegetation indicate a transition from drier or more seasonal conditions during the early/mid-Holocene to wetter conditions in the late Holocene coincident with increasing austral summer insolation. Strong negative correlations between leaf wax δ13C and δD values over the entire record indicate that the majority of variability in leaf wax δD at this site can be explained by variability in the magnitude of biosynthetic fractionation by different vegetation types rather than changes in meteoric water δD signatures. However, positive δD deviations from the observed δ13C–δD trends are consistent with more enriched source water and drier or more seasonal conditions during the early/mid-Holocene and LGM. Overall, our record adds to evidence of varying influence of glacial boundary conditions and orbital forcing on South American Summer Monsoon precipitation in different regions of the South American tropics. Moreover, the relationships between leaf wax stable isotopes and pollen data observed at this site underscore the complementary nature of pollen and leaf wax δ13C data for reconstructing past vegetation changes and the potentially large effects of such changes on leaf wax δD signatures.

Simulação do escoamento multifásico no interior de bombas de cavidades progressivas metálicas

The progressing cavity pumping (PCP) is one of the most applied oil lift methods nowadays in oil extraction due to its ability to pump heavy and high gas fraction flows. The computational modeling of PCPs appears as a tool to help experiments with the pump and therefore, obtain precisely the pump operational variables, contributing to pump s project and field operation otimization in the respectively situation. A computational model for multiphase flow inside a metallic stator PCP which consider the relative motion between rotor and stator was developed in the present work. In such model, the gas-liquid bubbly flow pattern was considered, which is a very common situation in practice. The Eulerian-Eulerian approach, considering the homogeneous and inhomogeneous models, was employed and gas was treated taking into account an ideal gas state. The effects of the different gas volume fractions in pump volumetric eficiency, pressure distribution, power, slippage flow rate and volumetric flow rate were analyzed. The results shown that the developed model is capable of reproducing pump dynamic behaviour under the multiphase flow conditions early performed in experimental works

Análise comparativa da assembléia de aves em dois remanescentes florestais no interior do Estado de São Paulo, Brasil

Realizou-se o levantamento quantitativo e qualitativo da comunidade de aves de dois fragmentos de floresta estacional semidecídua no interior do estado de São Paulo de julho de 2004 a julho de 2005. Para o estudo quantitativo utilizou-se da metodologia de Pontos de Escuta. Foram analisados os índices de diversidade e de freqüência de ocorrência dessa comunidade. O levantamento qualitativo registrou 181 espécies na Fazenda Rio das Pedras - FRP (Itapetininga, 350 ha) e 126 espécies na Fazenda Santa Maria II - FSM (Buri, 480 ha), enquanto que o levantamento quantitativo registrou a presença de 73 espécies em 988 contatos e 64 espécies em 1019 contatos para FRP e FSM, respectivamente. O índice pontual de abundância (IPA) variou de 0,01 (1 contato) a 1,32 (132 contatos), para FRP e na FSM variou entre 0,01 (1 contato) a 0,97 (97 contatos). A diversidade do fragmento da FRP foi de H = 3,04 e na FSM de H = 2,85 onde a eqüitatividade em ambas áreas foi de 0,91. A comunidade de aves nos fragmentos estudados mostrou o mesmo padrão encontrado em outros fragmentos de floresta estacional semidecídua de tamanhos relativos. As categorias alimentares mais representativas nos dois remanescentes foram insetívoras (53% na FSM e 50% na FRP) e frugívoras (23% na FSM e 26% na FRP). Dentre os insetívoros, destacaram-se as famílias Tyrannidae na FSM e Thamnophilidae na FRP. Tanto na FSM como na FRP os insetívoros de sub-bosque foram mais representativos (53% e 51,4% respectivamente), seguidos pelos frugívoros de sub-bosque (50%) na FSM e frugívoros de copa (52,6%) na FRP. A importância do estudo de comunidade de aves esta ligada à elaboração do plano de manejo e conservação das áreas naturais.

Fenologia e sucesso reprodutivo de Attalea geraensis e Syagrus petraea (Arecaceae) na borda e interior de um fragmento de cerrado

Pós-graduação em Ciências Biológicas (Biologia Vegetal) - IBRC

Estrutura da comunidade de aves em dois fragmentos florestais no interior do Estado de São Paulo, Brasil

Pós-graduação em Ciências Biológicas (Zoologia) - IBB