Abstract:
tethered spinal cord (tsc) is a rare disorder; it occurs when the conus medularis is anchored to the base of the vertebral canal by thickened filum terminale cysts, lipoma and spinal dysraphia. this disorder may cause paraplegia, sensory and sphincter disturbance. we report a twenty-two months-old girl presenting with paraplegia. tsc diagnostic was confirmed by myelotomography. the patient was submitted to surgical relief of tethered filum terminale.

Abstract:
A medula presa (MP) é entidade pouco frequente que ocorre quando há restri o da migra o normal do cone medular por cistos, lipomas ou disrafismos espinhais. Esta patologia pode levar a paraplegia, distúrbios sensoriais e esficterianos. Relatamos o caso de uma menina de 22 meses que consultou com quadro de paraplegia. O diagnóstico de medula presa foi confirmado pela mielotomografia e a paciente foi submetida à cirurgia para libera o do filo terminal.

Abstract:
influenced by pragmatism and pepperian contextualism, some behavior analysts have denied any ontological assumption concerning substance to radical behaviorism. as a result, a radical version of relationism is defended in which the only property relevant to the existence of behavior is the very relation that defines it. the aim of this paper is to evaluate the pertinence of that position. three questions will guide our analysis: (1) why is substance not important to radical behaviorism?; (2) why is substance important to radical behaviorism?, and (3) what is, in fact, the ontological attitude more consistent with radical behaviorism? it is argued that extreme relationism does not accurately reflect radical behavioristic ontology and it is suggested that substantial relationism is a more coherent position.

Abstract:
The Black-collared Hawk has a wide distribution in Brazil, but records are scarce in the southern limits of its range. In the state of Santa Catarina its occurrence was reported for the first time in 1999. In April 2007, a juvenile was seen and photographed in southern Santa Catarina. This is the first documented record of the species for the state.

Abstract:
We prove the existence of entire solutions with exponential growth for the semilinear elliptic system [\begin{cases} -\Delta u = -u v^2 & \text{in $\R^N$} -\Delta v= -u^2 v & \text{in $\R^N$} u,v>0, \end{cases}] for every $N \ge 2$. Our construction is based on an approximation procedure, whose convergence is ensured by suitable Almgren-type monotonicity formulae. The construction of \emph{some} solutions is extended to systems with $k$ components, for every $k > 2$.

Abstract:
For a class of systems of semi-linear elliptic equations, including \[ -\Delta u_i=f_i(x,u_i) - \beta u_i\sum_{j\neq i}a_{ij}u_j^p,\qquad i=1,\dots,k, \] for $p=2$ (variational-type interaction) or $p = 1$ (symmetric-type interaction), we prove that uniform $L^\infty$ boundedness of the solutions implies uniform boundedness of their Lipschitz norm as $\beta \to +\infty$, that is, in the limit of strong competition. This extends known quasi-optimal regularity results and covers the optimal case for this class of problems. The proof rests on monotonicity formulae of Alt-Caffarelli-Friedman and Almgren type in the variational setting and Caffarelli-Jerison-Kenig in the symmetric one.

Abstract:
For the system of semilinear elliptic equations \[ \Delta V_i = V_i \sum_{j \neq i} V_j^2, \qquad V_i > 0 \qquad \text{in $\mathbb{R}^N$} \] we devise a new method to construct entire solutions. The method extends the existence results already available in the literature, which are concerned with the 2-dimensional case, also in higher dimensions $N \ge 3$. In particular, we provide an explicit relation between orthogonal symmetry subgroups, optimal partition problems of the sphere, the existence of solutions and their asymptotic growth. This is achieved by means of new asymptotic estimates for competing system and new sharp versions for monotonicity formulae of Alt-Caffarelli-Friedman type.

Abstract:
We consider a system of differential equations with nonlinear Steklov boundary conditions, related to the fractional problem $$(-\Delta)^s u_i = f_i(x,u_i) - \beta u_i^p \sum_{j\neq i} a_{ij} u_j^p,$$ where $i = i,\dots, k$, $s\in(0,1)$, $p>0$, $a_{ij}>0$ and $\beta>0$. When $k=2$ we develop a quasi-optimal regularity theory in $C^{0,\alpha}$, uniformly w.r.t. $\beta$, for every $\alpha < \alpha_{\mathrm opt}=min(1,2s)$; moreover we show that the traces of the limiting profiles as $\beta\to+\infty$ are Lipschitz continuous and segregated. Such results are extended to the case of $k\geq3$ densities, with some restrictions on $s$, $p$ and $a_{ij}$.

Abstract:
We consider a family of positive solutions to the system of $k$ components \[ -\Delta u_{i,\beta} = f(x, u_{i,\beta}) - \beta u_{i,\beta} \sum_{j \neq i} a_{ij} u_{j,\beta}^2 \qquad \text{in $\Omega$}, \] where $\Omega \subset \mathbb{R}^N$ with $N \ge 2$. It is known that uniform bounds in $L^\infty$ of $\{\mathbf{u}_{\beta}\}$ imply convergence of the densities to a segregated configuration, as the competition parameter $\beta$ diverges to $+\infty$. In this paper %we study more closely the asymptotic property of the solutions of the system in this singular limit: we establish sharp quantitative point-wise estimates for the densities around the interface between different components, and we characterize the asymptotic profile of $\mathbf{u}_\beta$ in terms of entire solutions to the limit system \[ \Delta U_i = U_i \sum_{j\neq i} a_{ij} U_j^2. \] Moreover, we develop a uniform-in-$\beta$ regularity theory for the interfaces.

Abstract:
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee that each instant terminates and to bound the size of the values computed by the system as a function of the size of its parameters at the beginning of the instant. Our method generalises an approach designed for first-order functional languages that relies on a combination of standard termination techniques for term rewriting systems and an analysis of the size of the computed values based on the notion of quasi-interpretation. We show that these two methods can be combined to obtain an explicit polynomial bound on the resources needed for the execution of the system during an instant. As a second contribution, we introduce a virtual machine and a related bytecode thus producing a precise description of the resources needed for the execution of a system. In this context, we present a suitable control flow analysis that allows to formulte the static analyses for resource control at byte code level.