Regular Derivations in Basic Superposition-Based Calculi

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.

Seguimento clinoceletrográfico de criançcas e adolescentes com crise epiléptica única não-provocada

Os fenômenos convulsivos despertaram o interesse de estudiosos e pensadores já na Antigüidade, quando aspectos mágicos e sobrenaturais eram a eles associados. No século XIX foram lançadas as bases dos conceitos atuais sobre a desestruturação funcional cerebral na epilepsia, e Berger, em 1929, marcou definitivamente a história com a descoberta dos ritmos cerebrais. Crise epiléptica e epilepsia não são sinônimos, já que o último termo refere-se a crises recorrentes espontâneas. Ela costuma iniciar na infância, daí a preocupação com o risco de repetição do primeiro episódio e com a decisão de instituir tratamento medicamentoso. Fatores prognósticos são apontados, mas não há consenso. No Brasil existem poucas pesquisas nesta linha, tanto de prevalência da epilepsia como de fatores envolvidos na recorrência de crises. Este estudo teve como objetivo geral avaliar aspectos clinicoeletrográficos capazes de auxiliar no prognóstico e no manejo da epilepsia da criança e do adolescente. Foram objetivos específicos determinar a incidência de crise epiléptica não provocada recorrente; identificar fatores remotos implicados na ocorrência de crise epiléptica; relacionar tipo de crise com achados eletrencefalográficos; relacionar tipo de crise, duração da crise, estado vigília/sono no momento da crise e achados eletrencefalográficos com possibilidade de recorrência; e identificar os fatores de risco para epilepsia. Foram acompanhados 109 pacientes com idades entre 1 mês e 16 anos, com primeira crise não-provocada, em média por 24 meses, a intervalos trimestrais, no Hospital de Clínicas de Porto Alegre (HCPA). Foram realizados eletrencefalogramas (EEG) após a primeira crise; depois, solicitados anualmente. Não foram incluídos casos com epilepsia ou síndrome epiléptica bem definida, ou que fizeram uso prévio de drogas antiepilépticas. A média de idade foi 6 anos, com predomínio da faixa etária de 6 a 12 anos. Setenta eram meninos e 39, meninas. Os indivíduos brancos eram 92, e os não-brancos, 17. O nível de escolaridade dos casos esteve de acordo com a distribuição da idade e, entre os responsáveis, predominaram 8 anos de escolaridade. Foi possível concluir que as crises únicas não-provocadas mais freqüentes foram generalizadas, e sem predomínio significativo do tipo de EEG. A incidência de crise não-provocada recorrente foi 51,4%. História de intercorrências pré-natais maternas aumentou em 2 vezes o risco de repetição de crises. Via de nascimento, escore de Apgar no 5º minuto, relação peso ao nascer/idade gestacional, intercorrências no período pós-natal imediato e desenvolvimento neuropsicomotor não tiveram influência na recorrência. História familiar de crises mostrou tendência à significância estatística para repetição dos episódios, com risco de 1,7. Não foi encontrada associação entre tipo de crise e achado eletrencefalográfico. A maioria das crises foi de curta duração (até 5 minutos), mas este dado não esteve relacionado com a recorrência. Estado de vigília teve efeito protetor na recorrência. Se a primeira crise foi parcial, o risco de repetição foi 1,62, com tendência à significância. Quando o primeiro EEG foi alterado, houve relação significativa com primeira crise tanto generalizada como parcial. O primeiro EEG com alterações paroxísticas focais apontou risco de repetição de 2,90. Quando as variáveis envolvidas na repetição de crises foram ajustadas pelo modelo de regressão de Cox, EEG alterado mostrou risco de 2,48, com riscos acumulados de 50%, 60%, 62% e 68%; com EEG normal, os riscos foram 26%, 32%, 34% e 36% em 6, 12, 18 e 24 meses respectivamente.

Operational functions for innovative startups in France

Nessa tese, é buscado um maior entendimento sobre a importância das funções operacionais nas startups francesas. Uma grande flexibilidade das tarefas a ser coberta e uma gestão horizontal caracterizam as startups. Desse jeito, não é muito comum para as empresas recentemente criadas como as startups ter uma politica clara de recursos humanos. Na verdade, cada participante na start-up pode ser levado a pensar de forma diferente em termos de vendas desenvolvimento de negócios, comercialização, marketing, tecnologia ou desenvolvimento de produto. Essa tese não vai explorar cada uma dessas tarefas. Mas vai procurar para identifcar a percepção sobre a alocação ótima de recursos para cada função chave da nova empresa. Qualquer seja o setor de mercado em consideração ou o estágio de amadurecimento da startup, funções chaves que são percebidas como sendo a base para start-ups bem sucedidas são pesquisa & desenvolvimento e comercialização. Funções de liderança não são tão importantes. Somente a startup focada na tecnologia tem uma "função de chefe executivo" com maior importância do que as startups médias. Além disso, empreendedores em série, bem sucedidos ou não, focam predominantemente aspectos relacionados ao marketing e à captação de recursos em detrimento de aspectos ligados à gestão do negócio. No final, os empresários, muitas vezes tem um preconceito ao respeito da sua formação acadêmica porque ele sobrestimam funções que eles pensam poder fazer em comparação das funções que eles são capazes de fazer. Nessa tese, intent-se demonstrar a relação entre as funções ocupadas por um sócio e as ações que ele possui na startup. Essa relação depende do número de sócios (conhecido como acionistas), o tipo de sócios (acionistas principais ou acionistas segundarias) e o impacto na administração corporativa a respeito da distribuição do capital próprio.

Generalized linear mixed models for the genetic evaluation of binary reproductive traits: a simulation study

The objective of this study was to evaluate the use of probit and logit link functions for the genetic evaluation of early pregnancy using simulated data. The following simulation/analysis structures were constructed: logit/logit, logit/probit, probit/logit, and probit/probit. The percentages of precocious females were 5, 10, 15, 20, 25 and 30% and were adjusted based on a change in the mean of the latent variable. The parametric heritability (h²) was 0.40. Simulation and genetic evaluation were implemented in the R software. Heritability estimates (ĥ²) were compared with h² using the mean squared error. Pearson correlations between predicted and true breeding values and the percentage of coincidence between true and predicted ranking, considering the 10% of bulls with the highest breeding values (TOP10) were calculated. The mean ĥ² values were under- and overestimated for all percentages of precocious females when logit/probit and probit/logit models used. In addition, the mean squared errors of these models were high when compared with those obtained with the probit/probit and logit/logit models. Considering ĥ², probit/probit and logit/logit were also superior to logit/probit and probit/logit, providing values close to the parametric heritability. Logit/probit and probit/logit presented low Pearson correlations, whereas the correlations obtained with probit/probit and logit/logit ranged from moderate to high. With respect to the TOP10 bulls, logit/probit and probit/logit presented much lower percentages than probit/probit and logit/logit. The genetic parameter estimates and predictions of breeding values of the animals obtained with the logit/logit and probit/probit models were similar. In contrast, the results obtained with probit/logit and logit/probit were not satisfactory. There is need to compare the estimation and prediction ability of logit and probit link functions.

On the Generalized Mittag-Leffler Function and its Application in a Fractional Telegraph Equation

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

On anomalous diffusion and the fractional generalized Langevin equation for a harmonic oscillator

The fractional generalized Langevin equation (FGLE) is proposed to discuss the anomalous diffusive behavior of a harmonic oscillator driven by a two-parameter Mittag-Leffler noise. The solution of this FGLE is discussed by means of the Laplace transform methodology and the kernels are presented in terms of the three-parameter Mittag-Leffler functions. Recent results associated with a generalized Langevin equation are recovered.

Benefits of physical exercise on executive functions in older people with Parkinson's disease

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

General massive one-loop off-shell three-point functions

In this work we compute the most general massive one-loop off-shell three-point vertex in D-dimensions, where the masses, external momenta and exponents of propagators are arbitrary. This follows our previous paper in which we have calculated several new hypergeometric series representations for massless and massive (with equal masses) scalar one-loop three-point functions, in the negative dimensional approach.

Massless and massive one-loop three-point functions in negative dimensional approach

In this article we present the complete massless and massive one-loop triangle diagram results using the negative dimensional integration method (NDIM). We consider the following cases: massless internal fields; one massive, two massive with the same mass m and three equal masses for the virtual particles. Our results are given in terms of hypergeometric and hypergeometric-type functions of the external momenta (and masses for the massive cases) where the propagators in the Feynman integrals are raised to arbitrary exponents and the dimension of the space-time is D. Our approach reproduces the known results; it produces other solutions as yet unknown in the literature as well. These new solutions occur naturally in the context of NDIM revealing a promising technique to solve Feynman integrals in quantum field theories.

Semiclassical scaling functions of sine-Gordon model

We present an analytic study of the finite size effects in sine-Gordon model, based on the semi-classical quantization of an appropriate kink background defined on a cylindrical geometry. The quasi-periodic kink is realized as an elliptic function with its real period related to the size of the system. The stability equation for the small quantum fluctuations around this classical background is of Lame type and the corresponding energy eigenvalues are selected inside the allowed bands by imposing periodic boundary conditions. We derive analytical expressions for the ground state and excited states scaling functions, which provide an explicit description of the flow between the IR and UV regimes of the model. Finally, the semiclassical form factors and two-point functions of the basic field and of the energy operator are obtained, completing the semiclassical quantization of the sine-Gordon model on the cylinder. (C) 2004 Elsevier B.V. All rights reserved.

A discrete finite-dimensional phase space approach for the description of Fe8 magnetic clusters: Wigner and Husimi functions

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

Path integral quantization of generalized quantum electrodynamics

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

On the hardy space H¹ on products of half-spaces

We show that the Hardy space H¹ anal (R2+ x R2+) can be identified with the class of functions f such that f and all its double and partial Hubert transforms Hk f belong to L¹ (R2). A basic tool used in the proof is the bisubharmonicity of |F|q, where F is a vector field that satisfies a generalized conjugate system of Cauchy-Riemann type.

COMPARISON OF THE ANOMALOUS AND NONANOMALOUS GENERALIZED SCHWINGER MODELS VIA THE FUNCTIONAL FORMALISM

We calculate the Green functions of the two versions of the generalized Schwinger model, the anomalous and the nonanomalous one, in their higher order Lagrangian density form. Furthermore, it is shown through a sequence of transformations that the bosonized Lagrangian density is equivalent to the former, at least for the bosonic correlation functions. The introduction of the sources from the beginning, leading to a gauge-invariant source term, is also considered. It is verified that the two models have the same correlation functions only if the gauge-invariant sector is taken into account. Finally, there is presented a generalization of the Wess-Zumino term, and its physical consequences are studied, in particular the appearance of gauge-dependent massive excitations.

Integration of polyharmonic functions

The results in this paper are motivated by two analogies. First, m-harmonic functions in R(n) are extensions of the univariate algebraic polynomials of odd degree 2m-1. Second, Gauss' and Pizzetti's mean value formulae are natural multivariate analogues of the rectangular and Taylor's quadrature formulae, respectively. This point of view suggests that some theorems concerning quadrature rules could be generalized to results about integration of polyharmonic functions. This is done for the Tchakaloff-Obrechkoff quadrature formula and for the Gaussian quadrature with two nodes.