Da prova: na atuação policial e no âmbito da infração tributária

Relatório de atividade profissional de mestrado em Direito Judiciário

Proving the suitability of magnetoelectric stimuli for tissue engineering applications

A novel approach for tissue engineering applications based on the use of magnetoelectric materials is presented. This work proves that magnetoelectric Terfenol-D/poly(vinylidene fluoride-co-trifluoroethylene) composites are able to provide mechanical and electrical stimuli to MC3T3-E1 pre-osteoblast cells and that those stimuli can be remotely triggered by an applied magnetic field. Cell proliferation is enhanced up to 25% when cells are cultured under mechanical (up to 110 ppm) and electrical stimulation (up to 0.115 mV), showing that magnetoelectric cell stimulation is a novel and suitable approach for tissue engineering allowing magnetic, mechanical and electrical stimuli.

Nicolas Sanson and his Map: The Course of the Amazon River

One of the first scientific maps of the Amazon region, The Course of the Amazon River (Le Cours de La Rivière des Amazones), was constructed by Nicolas Sanson, a French cartographer of the seventeenth century, and served as the prototype for many others. The evaluation of this chart, until now, has been that it is a very defective map, a sketch based on a historical account, according to the opinion of La Condamine. Thus, the aim of the present work was to prove that the map of the Amazon River traced by Nicolas Sanson is a scientific work, a map that presents precise geographic coordinates considering its time, shows a well-determined prime meridian, and also employs a creative methodology to deduce longitudes from latitudes and distances that had been covered. To show such characteristics, an analysis of the accuracy of the map was made by comparing its latitudes and longitudes with those of a current map. We determined the prime meridian of this map and analyzed the methodology used for the calculation of longitudes. The conclusion is that it is actually a good map for the time, particularly considering the technology and the limited information that Sanson had at his disposal. This proves that the negative assertion of La Condamine is unfounded.

Avaliação e gestão de riscos em sistemas de saneamento

Dissertação de mestrado integrado em Engenharia Civil

Eficácia publicitária, um eterno desafio: o estudo de caso Mebocaína

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

A eficácia da Mediação Familiar no contexto das Responsabilidades Parentais

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Sôbre uma propriedade da equação utilizada para interpolação da Lei de Mitscherlich

The author proves that equation, Σy n ΣZx | ΣxyZx ΣxZx ΣxZ2x | = 0, Σy ΣZx Σy2x | where Z = 10-cq and q is a numerical constant, used by Pimentel Gomes and Malavolta in several articles for the interpolation of Mitscherlih's equation y = A [ 1 - 10 - c (x + b) ] by the least squares method, always has a zero of order three for Z = 1. Therefore, equation A Zm + A1Zm -1 + ........... + Am = 0 obtained from that determinant can be divided by (Z-1)³. This property provides a good test for the correctness of the computations and facilitates the solution of the equation.

Sôbre um sistema de equações relativas a um modêlo matemático de populações de Himenópteros endogâmicos

This paper deals with the solution of a system of equations relating with a mathematical model of populations of endogamic Hymenoptera. The Author proves that, unless inequality (5.1) 4R5 + 8R R4 - 4R R³ + 8R² (R -1) R² - A a A a A a a A - R² (4R² + 4R - 1) R +2R³ < 0 a a A a is satisfied, one of the genes is eliminated from the population. He shows that the relative frequencies of different kinds of matings in the population can be obtained when the root R between zero and VRa of equation 2R4 + 2R³ -2R² (RA + Ra) - R(RA +Ra) + 2RA Ra =0 is known. In special, if we let b = RA / Ra > 1 , inequation (5.1) shows that we must have __________________ b³ + 2b² + b + V2b4 + 2b³ - 2b² + 2b Ra < __________________________________ = f(b) 2 (b4 + 2b³ + 2b - 1) The greatest value of f (b) is 0,75 and is obtained for b = 1, that is for RA = Ra.

Dois teoremas sôbre a função gama

This paper proves the following theorems on the gamma function: Theorem I The integral ∫O∞ t u e-t dt = Γ ( u + 1 ) , where u, real or complex, is such that R (u) > -1, will not change its value if we substitute z = Q (cos φ + i sen φ) for the real variable t, being jconstant and such that - Π/2 < φ < Π/2 , Theorem II The integral ∫-∞∞ w2u + 1 e -w² dw = Γ ( u + 1 ) , where 2u + 1 is supposed to be a non negative even integer, will not change its value if we substitute z = w + fi, f being a real constant, for the real variable w. The proof of both theorems is obtained by means of the well known Cauchy theorem on contour integrals on the complex plane, as suggested by CRAMÉR (1, p. 126) and LEVY (3, p. 178).

The orthogonal subcategory problem in homotopy theory

It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. One proves similarly, on one hand, that homotopy localization exists with respect to sets of maps in every cofibrantly generated, left proper, simplicial model category M whose underlying category is locally presentable. On the other hand, as we show in this article, the existence of localization with respect to possibly proper classes of maps in a model category M satisfying the above assumptions is implied by a large-cardinal axiom called Vopënka's principle, although we do not know if the reverse implication holds. We also show that, under the same assumptions on M, every endofunctor of M that is idempotent up to homotopy is equivalent to localization with respect to some class S of maps, and if Vopënka's principle holds then S can be chosen to be a set. There are examples showing that the latter need not be true if M is not cofibrantly generated. The above assumptions on M are satisfied by simplicial sets and symmetric spectra over simplicial sets, among many other model categories.

Memòria del plantejament del projecte PADICAT (Patrimoni Digital de Catalunya)

El projecte PADICAT té l'objectiu de dissenyar i produir un sistema que permeti a la Biblioteca de Catalunya compilar, processar i donar accés permanent a la producció digital catalana. En alguns països s'anomena "dipòsits digitals nacionals" a projectes similars, essent els més coneguts el gegant Internet Archive, l'australià Pandora o el suec Kulturarw3. D'acord amb la tendència generalitzada arreu de les biblioteques nacionals, el model de dipòsit que persegueix la Biblioteca de Catalunya és el sistema híbrid, consistent a: - Compilar massivament els recursos digitals publicats en obert a Internet - Impulsar el dipòsit sistemàtic de la producció web dels agents implicats a Catalunya - Promoure línies de recerca per mitjà de la integració dels recursos digitals de determinats esdeveniments de la vida pública catalana. L'any 2005 ha representat el període de planificació i proves del projecte que lidera la Biblioteca de Catalunya, que té previst sistematitzar el dipòsit digital de la producció web catalana en el període 2006-2008. La Memòria del plantejament del projecte PADICAT presenta el recull d'informes tècnics generats per la Biblioteca de Catalunya durant aquesta fase de planificació i proves. El projecte PADICAT compta amb la col·laboració del CESCA (Centre de Supercomputació de Catalunya) i el DURSI (Departament d'Universitats, Recerca i Societat de la Informació de la Generalitat de Catalunya).

L'aventura d'apendre a parlar

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2005. L’objectiu fonamental ha estat la descripció i l’anàlisi lingüística de la parla dels nens petits, és a dir, dels nens de P-2 a P-5, mitjançant una aproximació eminentment pràctica amb un breu recolzament teòric. En una breu introducció teòrica es defineixen els termes lingüístics i les disciplines utilitzades en l’estudi, s’expliquen els diferents factors que intervenen en el procés de la parla, ja que el fet de parlar suposa haver arribat a un grau determinat de desenvolupament físic, motor, sensorial, cognitiu, etc. També s’esmenten les relacions entre llenguatge i pensament i les diverses teories que expliquen l’origen del llenguatge. I, per acabar, es fa una pinzellada a les característiques evolutives dels nens des del seu naixement fins que tenen cinc-sis anys. En la part pràctica, s’analitza la parla dels nens de P-2 a P-5 mitjançant el mètode de l’enquesta directa a una seixantena de nens i d’altres proves, fent referència a una sèrie d’aspectes lingüístics considerats importants per tal d’entendre l’evolució de la parla en cada edat com són els nivells morfològic, sintàctic, fonètic, lèxic, així com els elements de la comunicació no verbal.

Matemàtica i música amb ADN

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2005. Estudi sobre l’ADN que té com a finalitat conèixer introductòriament l’utilització del càlcul matemàtic computacional en les investigacions sobre aquest. Els objectius de l’estudi són per una part, conèixer què és l'ADN i quins són els seus mecanismes de duplicació i de transmissió de la informació genètica, així com el paper d'altres molècules que intervenen en aquest procés ; també s’estudia quins han estat els processos de la cèl·lula que l'ésser humà ha estat capaç de copiar o imitar. A partir d’aquesta introducció, es vol conèixer què s'entén concretament per computació amb ADN i alguns dels problemes matemàtics que s'han resolt, així com algunes aplicacions de l'ADN en altres camps. La recerca ha permès arribar a diverses conclusions. Primerament que l'ADN és un excel·lent candidat per poder fer càlculs matemàtics. En segon lloc, tot i que en el present treball no se solucionen problemes computacionalment difícils es mostra la capacitat de les molècules d'ADN per resoldre problemes. En tercer lloc, l'interès mostrat per importants empreses dedicades a la informàtica fa més esperançador que en un futur hi pugui haver ordinadors que funcionin amb molècules d'ADN. Finalment, es demostra que les matemàtiques, la informàtica i la biologia són tres camps que estan interrelacionats. Per tal de trencar una mica amb la serietat del treball, s'acaba descrivint una manera de posar música a les cadenes d'ADN, i es mostren alguns resultats com són les músiques associades als 24 cromosomes humans, així com les corresponents a 29 proteïnes.

Creating and using a non-dedicated HPC cluster with ParallelKnoppix

This note describes ParallelKnoppix, a bootable CD that allows econometricians with average knowledge of computers to create and begin using a high performance computing cluster for parallel computing in very little time. The computers used may be heterogeneous machines, and clusters of up to 200 nodes are supported. When the cluster is shut down, all machines are in their original state, so their temporary use in the cluster does not interfere with their normal uses. An example shows how a Monte Carlo study of a bootstrap test procedure may be done in parallel. Using a cluster of 20 nodes, the example runs approximately 20 times faster than it does on a single computer.

A note on the separability principle in economies with single-peaked

We consider the problem of allocating an infinitely divisible commodity among a group of agents with single-peaked preferences. A rule that has played a central role in the analysis of the problem is the so-called uniform rule. Chun (2001) proves that the uniform rule is the only rule satisfying Pareto optimality, no-envy, separability, and continuity (with respect to the social endowment). We obtain an alternative characterization by using a weak replication-invariance condition, called duplication-invariance, instead of continuity. Furthermore, we prove that Pareto optimality, equal division lower bound, and separability imply no-envy. Using this result, we strengthen one of Chun's (2001) characterizations of the uniform rule by showing that the uniform rule is the only rule satisfying Pareto optimality, equal división lower bound, separability, and either continuity or duplication-invariance.