Scale-invariant moving finite elements for nonlinear partial differential equations in two dimensions

A scale-invariant moving finite element method is proposed for the adaptive solution of nonlinear partial differential equations. The mesh movement is based on a finite element discretisation of a scale-invariant conservation principle incorporating a monitor function, while the time discretisation of the resulting system of ordinary differential equations is carried out using a scale-invariant time-stepping which yields uniform local accuracy in time. The accuracy and reliability of the algorithm are successfully tested against exact self-similar solutions where available, and otherwise against a state-of-the-art h-refinement scheme for solutions of a two-dimensional porous medium equation problem with a moving boundary. The monitor functions used are the dependent variable and a monitor related to the surface area of the solution manifold. (c) 2005 IMACS. Published by Elsevier B.V. All rights reserved.

Mathematical model for low density lipoprotein (LDL) endocytosis by hepatocytes

Individuals with elevated levels of plasma low density lipoprotein (LDL) cholesterol (LDL-C) are considered to be at risk of developing coronary heart disease. LDL particles are removed from the blood by a process known as receptor-mediated endocytosis, which occurs mainly in the liver. A series of classical experiments delineated the major steps in the endocytotic process; apolipoprotein B-100 present on LDL particles binds to a specific receptor (LDL receptor, LDL-R) in specialized areas of the cell surface called clathrin-coated pits. The pit comprising the LDL-LDL-R complex is internalized forming a cytoplasmic endosome. Fusion of the endosome with a lysosome leads to degradation of the LDL into its constituent parts (that is, cholesterol, fatty acids, and amino acids), which are released for reuse by the cell, or are excreted. In this paper, we formulate a mathematical model of LDL endocytosis, consisting of a system of ordinary differential equations. We validate our model against existing in vitro experimental data, and we use it to explore differences in system behavior when a single bolus of extracellular LDL is supplied to cells, compared to when a continuous supply of LDL particles is available. Whereas the former situation is common to in vitro experimental systems, the latter better reflects the in vivo situation. We use asymptotic analysis and numerical simulations to study the longtime behavior of model solutions. The implications of model-derived insights for experimental design are discussed.

Cognitive phenomenology : real life

Cognitive phenomenology starts from something that has been obscured in much recent analytic philosophy: the fact that lived conscious experience isn’t just a matter of sensation or feeling, but is also cognitive in character, through and through. This is obviously true of ordinary human perceptual experience, and cognitive phenomenology is also concerned with something more exclusively cognitive, which we may call propositional meaning-experience, e.g. occurrent experience of linguistic representations as meaning something, as this occurs in thinking or reading or hearing others speak.

Geostatistical radar-raingauge combination with nonparametric correlograms: methodological considerations and application in Switzerland

Modelling spatial covariance is an essential part of all geostatistical methods. Traditionally, parametric semivariogram models are fit from available data. More recently, it has been suggested to use nonparametric correlograms obtained from spatially complete data fields. Here, both estimation techniques are compared. Nonparametric correlograms are shown to have a substantial negative bias. Nonetheless, when combined with the sample variance of the spatial field under consideration, they yield an estimate of the semivariogram that is unbiased for small lag distances. This justifies the use of this estimation technique in geostatistical applications. Various formulations of geostatistical combination (Kriging) methods are used here for the construction of hourly precipitation grids for Switzerland based on data from a sparse realtime network of raingauges and from a spatially complete radar composite. Two variants of Ordinary Kriging (OK) are used to interpolate the sparse gauge observations. In both OK variants, the radar data are only used to determine the semivariogram model. One variant relies on a traditional parametric semivariogram estimate, whereas the other variant uses the nonparametric correlogram. The variants are tested for three cases and the impact of the semivariogram model on the Kriging prediction is illustrated. For the three test cases, the method using nonparametric correlograms performs equally well or better than the traditional method, and at the same time offers great practical advantages. Furthermore, two variants of Kriging with external drift (KED) are tested, both of which use the radar data to estimate nonparametric correlograms, and as the external drift variable. The first KED variant has been used previously for geostatistical radar-raingauge merging in Catalonia (Spain). The second variant is newly proposed here and is an extension of the first. Both variants are evaluated for the three test cases as well as an extended evaluation period. It is found that both methods yield merged fields of better quality than the original radar field or fields obtained by OK of gauge data. The newly suggested KED formulation is shown to be beneficial, in particular in mountainous regions where the quality of the Swiss radar composite is comparatively low. An analysis of the Kriging variances shows that none of the methods tested here provides a satisfactory uncertainty estimate. A suitable variable transformation is expected to improve this.

Numerical Methods for Stiff Two-Point Boundary Value Problems

We consider the two-point boundary value problem for stiff systems of ordinary differential equations. For systems that can be transformed to essentially diagonally dominant form with appropriate smoothness conditions, a priori estimates are obtained. Problems with turning points can be treated with this theory, and we discuss this in detail. We give robust difference approximations and present error estimates for these schemes. In particular we give a detailed description of how to transform a general system to essentially diagonally dominant form and then stretch the independent variable so that the system will satisfy the correct smoothness conditions. Numerical examples are presented for both linear and nonlinear problems.

Contrasting cases

This paper concerns the philosophical significance of a choice about how to design the context-shifting experiments used by contextualists and anti-intellectualists: Should contexts be judged jointly, with contrast, or separately, without contrast? Findings in experimental psychology suggest (1) that certain contextual features are difficult to evaluate when considered separately, and there are reasons to think that one feature that interests contextualists and anti- intellectualists—stakes or importance—is such a difficult to evaluate attribute, and (2) that joint evaluation of contexts can yield judgments that are more reflective and rational in certain respects. With those two points in mind, a question is raised about what source of evidence provides better support for philosophical theories of how contextual features affect knowledge ascriptions and evidence: Should we prefer evidence consisting of "ordinary" judgments, or more reflective, perhaps more rational judgments? That question is answered in relation to different accounts of what such theories aim to explain, and it is concluded that evidence from contexts evaluated jointly should be an important source of evidence for contextualist and anti-intellectualist theories, a conclusion that is at odds with the methodology of some recent studies in experimental epistemology.

After the referendum: options for a constitutional convention

Whatever the result of Scotland’s independence referendum, careful constitutional thinking will be needed. If Scots vote Yes, Scotland will need a new constitution and the rest of the UK will have to rethink its governing structures. Even in the event of a No vote, everyone agrees that the shape of the Union will need to change over the coming years. This paper examines how such constitution-making should take place. It sets out the options, gathers evidence from around the world on how those options might work, and weighs the advantages and disadvantages of each alternative. It concludes that constitutional proposals in the UK should best be developed by a convention comprising a mixture of ordinary members of the public and politicians; these proposals should be put to a referendum. This approach, the paper argues, offers the best route to high-quality debate, stronger democratic engagement, and, ultimately, deeper legitimacy for our governing structures.

Do non-philosophers think epistemic consequentialism is counterintuitive?

Direct epistemic consequentialism is the idea that X is epistemically permissible iff X maximizes epistemic value. It has received lots of attention in recent years and is widely accepted by philosophers to have counterintuitive implications. There are various reasons one might suspect that the relevant intuitions will not be widely shared among non-philosophers. This paper presents an initial empirical study of ordinary intuitions. The results of two experiments demonstrate that the counterintuitiveness of epistemic consequentialism is more than a philosophers' worry---the folk seem to agree!

Estimation or simulation? That is the question

The issue of smoothing in kriging has been addressed either by estimation or simulation. The solution via estimation calls for postprocessing kriging estimates in order to correct the smoothing effect. Stochastic simulation provides equiprobable images presenting no smoothing and reproducing the covariance model. Consequently, these images reproduce both the sample histogram and the sample semivariogram. However, there is still a problem, which is the lack of local accuracy of simulated images. In this paper, a postprocessing algorithm for correcting the smoothing effect of ordinary kriging estimates is compared with sequential Gaussian simulation realizations. Based on samples drawn from exhaustive data sets, the postprocessing algorithm is shown to be superior to any individual simulation realization yet, at the expense of providing one deterministic estimate of the random function.

Bias correction in a multivariate normal regression model with general parameterization

This paper derives the second-order biases Of maximum likelihood estimates from a multivariate normal model where the mean vector and the covariance matrix have parameters in common. We show that the second order bias can always be obtained by means of ordinary weighted least-squares regressions. We conduct simulation studies which indicate that the bias correction scheme yields nearly unbiased estimators. (C) 2009 Elsevier B.V. All rights reserved.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.

Influência da mudança organizacional na percepção dos papéis desempenhados no trabalho: o caso do arsenal de Marinha do Rio de Janeiro

O Objetivo desta pesquisa é analisar a influência da mudança organizacional sofrida pelo Arsenal de Marinha do Rio de Janeiro (AMRJ) sobre a percepção em relação aos papéis desempenhados pelos seus servidores, dos níveis gerencial e operacional, no que tange a valores e crenças sobre o seu trabalho. Esta pesquisa constitui um estudo de caso, e se deu por meio de pesquisa de campo, de cunho qualitativo, e por isso, os dados foram analisados de forma descritivo-interpretativa sobre a avaliação documental e do seu conteúdo. Os dados primários foram obtidos a partir de análise de documentos, tais como relatórios, normas, publicações e regulamentos internos; e os dados secundários foram provenientes de entrevistas semiestruturadas; e possibilitaram averiguar as categorias analíticas envolvidas na pesquisa. As amostras para as entrevistas foram selecionadas de populações, dentro do AMRJ que fossem semelhantes ou equivalentes a populações de indústrias privadas e os sujeitos das mesmas, que, igualmente, tivessem equivalência funcional em outras indústrias ou empresas a fim de serem representativas para a composição do conteúdo da pesquisa. Os dados coletados permitiram concluir que o AMRJ ainda se encontra em processo de acomodação à mudança que se iniciou, e que o trabalho passou a ser mais gratificante para o nível gerencial, assumindo uma perspectiva de desafio e crescimento profissional a partir de um novo enfoque dado a ele, porém, para o nível operacional, devido a uma motivação decrescente e a interesses frustrados, sua percepção considera o trabalho como menos gratificante que o outro nível, apesar do sentimento positivo que tem pela instituição. Concluiu-se, também, que as mudanças são necessárias, apesar das dificuldades inerentes a ela, e influenciam a percepção das pessoas, mas podem ficar comprometidas caso não seja levado em conta que deve haver uma equivalência na distribuição, entre todos os níveis, dos benefícios que podem favorecê-la.

Audiência única e a duração razoável do processo nos juizados especiais cíveis

Esta dissertação pretende demonstrar que os Juizados Especiais Cíveis Estaduais, regulados pela Lei n° 9.099/95, orientados pelos princípios da oralidade, simplicidade, informalidade, economia processual e celeridade, que foram criados em decorrência da necessidade de viabilizar um maior acesso à justiça, principalmente da população mais carente, com redução de custos e simplificação de procedimentos que possibilitassem os julgamentos dentro de um prazo razoável, na realidade da práxis forense, estão sendo desvirtuado dos seus objetivos. Neste sentido, o estudo apresenta números comprovando que os Juizados Especiais cumpriram seu desiderato de proporcionar o acesso ao judiciário, mas que passaram a padecer do mesmo problema da justiça comum: a morosidade na entrega da prestação jurisdicional. Além da incompatibilidade de estrutura com a atual demanda que obviamente vai ensejar lentidão nos Juizados, o estudo apresenta como motivo para esse quadro a conduta dos juizes, responsáveis pela administração do processo, que reproduzem nos Juizados o fomlalismo e a burocracia inerente ao processo civil comum, ao instituir, em evidente descompasso com a lei e seus princípios, um procedimento com duas audiências, sendo uma para conciliação e outra, nos casos em que não é obtido acordo, para instrução e julgamento, em dias distintos, aumentando o tempo de duração dos processos. O estudo conclui que a utilização de audiência única, além de ser uma detenninação legal e estar em sintonia com seus princípios, proporciona celeridade nos julgamentos. diminuindo o custo e o tempo de espera dos litigantes, obstáculos do acesso à justiça que a Lei n° 9.099/95 procurou remover.

Fundos de investimento em direitos creditórios: determinantes da taxa de captação dos FIDCs

O mercado de securitização através de Fundos de Investimento em Direitos Creditórios (FIDCs) no Brasil ainda não é tão desenvolvido quando comparado aos mercados internacionais. O desenvolvimento desse mercado facultaria a bancos e empresas acesso a fontes de financiamento além da sua geração de caixa ou da emissão de novas ações. Bancos e empresas devem manter a busca por formas alternativas de financiamento, obtendo, assim, diversificação de suas fontes de recursos. O objetivo desse trabalho é avaliar como as características dos FIDCs afetam a taxa de captação de suas cotas sênior. Para isso foram avaliadas 151 séries de cotas, emitidas entre 2002 e 2014. Na análise foram usadas análises multivariadas através da regressão linear múltipla, usando o método de Mínimos Quadrados Ordinários (MQO), para avaliar o efeito das variáveis sobre o spread das cotas. Os resultados apontaram que o volume de emissão afeta a forma como outras variáveis afetam o spread. Os fundos com tamanho de oferta maior têm seu spread influenciado por características de seus cedentes e por características de sua estruturação, enquanto que fundos menores são apreçados por negociações entre emissor e investidores.

Modelagem dinâmica e simulação computacional de poços de petróleo verticais e direcionais com elevação por bombeio mecânico

LINS, Filipe C. A. et al. Modelagem dinâmica e simulação computacional de poços de petróleo verticais e direcionais com elevação por bombeio mecânico. In: CONGRESSO BRASILEIRO DE PESQUISA E DESENVOLVIMENTO EM PETRÓLEO E GÁS, 5. 2009, Fortaleza, CE. Anais... Fortaleza: CBPDPetro, 2009.